Safe Haskell	Safe-Inferred
Language	Haskell2010

LLVM.Diagnostic

Description

Diagnostics describe parse errors

Synopsis

data DiagnosticKind
- = ErrorKind
- | WarningKind
- | NoteKind
data Diagnostic = Diagnostic {
- lineNumber :: Int
- columnNumber :: Int
- diagnosticKind :: DiagnosticKind
- filename :: String
- message :: String
- lineContents :: String
}
diagnosticDisplay :: Diagnostic -> String

Documentation

data DiagnosticKind Source #

What kind of problem does a diagnostic describe?

Constructors

ErrorKind
WarningKind
NoteKind

Instances

Instances details

Data DiagnosticKind Source #
Instance details Defined in LLVM.Diagnostic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DiagnosticKind -> c DiagnosticKind # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DiagnosticKind # toConstr :: DiagnosticKind -> Constr # dataTypeOf :: DiagnosticKind -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DiagnosticKind) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DiagnosticKind) # gmapT :: (forall b. Data b => b -> b) -> DiagnosticKind -> DiagnosticKind # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DiagnosticKind -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DiagnosticKind -> r # gmapQ :: (forall d. Data d => d -> u) -> DiagnosticKind -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DiagnosticKind -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DiagnosticKind -> m DiagnosticKind # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DiagnosticKind -> m DiagnosticKind # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DiagnosticKind -> m DiagnosticKind #
Generic DiagnosticKind Source #
Instance details Defined in LLVM.Diagnostic Associated Types type Rep DiagnosticKind :: Type -> Type # Methods from :: DiagnosticKind -> Rep DiagnosticKind x # to :: Rep DiagnosticKind x -> DiagnosticKind #
Read DiagnosticKind Source #
Instance details Defined in LLVM.Diagnostic Methods readsPrec :: Int -> ReadS DiagnosticKind # readList :: ReadS [DiagnosticKind] # readPrec :: ReadPrec DiagnosticKind # readListPrec :: ReadPrec [DiagnosticKind] #
Show DiagnosticKind Source #
Instance details Defined in LLVM.Diagnostic Methods showsPrec :: Int -> DiagnosticKind -> ShowS # show :: DiagnosticKind -> String # showList :: [DiagnosticKind] -> ShowS #
Eq DiagnosticKind Source #
Instance details Defined in LLVM.Diagnostic Methods (==) :: DiagnosticKind -> DiagnosticKind -> Bool # (/=) :: DiagnosticKind -> DiagnosticKind -> Bool #
Ord DiagnosticKind Source #
Instance details Defined in LLVM.Diagnostic Methods compare :: DiagnosticKind -> DiagnosticKind -> Ordering # (<) :: DiagnosticKind -> DiagnosticKind -> Bool # (<=) :: DiagnosticKind -> DiagnosticKind -> Bool # (>) :: DiagnosticKind -> DiagnosticKind -> Bool # (>=) :: DiagnosticKind -> DiagnosticKind -> Bool # max :: DiagnosticKind -> DiagnosticKind -> DiagnosticKind # min :: DiagnosticKind -> DiagnosticKind -> DiagnosticKind #
Monad m => DecodeM m DiagnosticKind DiagnosticKind Source #
Instance details Defined in LLVM.Internal.Diagnostic Methods decodeM :: DiagnosticKind0 -> m DiagnosticKind Source #
Monad m => EncodeM m DiagnosticKind DiagnosticKind Source #
Instance details Defined in LLVM.Internal.Diagnostic Methods encodeM :: DiagnosticKind -> m DiagnosticKind0 Source #
type Rep DiagnosticKind Source #
Instance details Defined in LLVM.Diagnostic type Rep DiagnosticKind = D1 ('MetaData "DiagnosticKind" "LLVM.Diagnostic" "llvm-party-12.1.1-inplace" 'False) (C1 ('MetaCons "ErrorKind" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "WarningKind" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NoteKind" 'PrefixI 'False) (U1 :: Type -> Type)))

data Diagnostic Source #

A Diagnostic described a problem during parsing of LLVM IR

Constructors

Diagnostic
Fields lineNumber :: Int columnNumber :: Int diagnosticKind :: DiagnosticKind filename :: String message :: String lineContents :: String

Instances

Instances details

Read Diagnostic Source #
Instance details Defined in LLVM.Diagnostic Methods readsPrec :: Int -> ReadS Diagnostic # readList :: ReadS [Diagnostic] # readPrec :: ReadPrec Diagnostic # readListPrec :: ReadPrec [Diagnostic] #
Show Diagnostic Source #
Instance details Defined in LLVM.Diagnostic Methods showsPrec :: Int -> Diagnostic -> ShowS # show :: Diagnostic -> String # showList :: [Diagnostic] -> ShowS #
Eq Diagnostic Source #
Instance details Defined in LLVM.Diagnostic Methods (==) :: Diagnostic -> Diagnostic -> Bool # (/=) :: Diagnostic -> Diagnostic -> Bool #
Ord Diagnostic Source #
Instance details Defined in LLVM.Diagnostic Methods compare :: Diagnostic -> Diagnostic -> Ordering # (<) :: Diagnostic -> Diagnostic -> Bool # (<=) :: Diagnostic -> Diagnostic -> Bool # (>) :: Diagnostic -> Diagnostic -> Bool # (>=) :: Diagnostic -> Diagnostic -> Bool # max :: Diagnostic -> Diagnostic -> Diagnostic # min :: Diagnostic -> Diagnostic -> Diagnostic #

diagnosticDisplay :: Diagnostic -> String Source #

Convert a Diagnostic to a printable form.