Safe Haskell	Safe
Language	Haskell98

LLVM.Diagnostic

Description

Diagnostics describe parse errors

Synopsis

Documentation

data DiagnosticKind Source #

What kind of problem does a diagnostic describe?

Constructors

ErrorKind
WarningKind
NoteKind

Instances

Eq DiagnosticKind Source #
Methods (==) :: DiagnosticKind -> DiagnosticKind -> Bool # (/=) :: DiagnosticKind -> DiagnosticKind -> Bool #
Data DiagnosticKind Source #
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 :: (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 #
Ord DiagnosticKind Source #
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 #
Read DiagnosticKind Source #
Methods readsPrec :: Int -> ReadS DiagnosticKind # readList :: ReadS [DiagnosticKind] # readPrec :: ReadPrec DiagnosticKind # readListPrec :: ReadPrec [DiagnosticKind] #
Show DiagnosticKind Source #
Methods showsPrec :: Int -> DiagnosticKind -> ShowS # show :: DiagnosticKind -> String # showList :: [DiagnosticKind] -> ShowS #
Generic DiagnosticKind Source #
Associated Types type Rep DiagnosticKind :: * -> * # Methods from :: DiagnosticKind -> Rep DiagnosticKind x # to :: Rep DiagnosticKind x -> DiagnosticKind #
type Rep DiagnosticKind Source #
type Rep DiagnosticKind = D1 * (MetaData "DiagnosticKind" "LLVM.Diagnostic" "llvm-hs-6.0.0-EjgSsky2697DZDcRDj9Ond" False) ((:+:) * (C1 * (MetaCons "ErrorKind" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "WarningKind" PrefixI False) (U1 )) (C1 (MetaCons "NoteKind" PrefixI False) (U1 *))))

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

Eq Diagnostic Source #
Methods (==) :: Diagnostic -> Diagnostic -> Bool # (/=) :: Diagnostic -> Diagnostic -> Bool #
Ord Diagnostic Source #
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 #
Read Diagnostic Source #
Methods readsPrec :: Int -> ReadS Diagnostic # readList :: ReadS [Diagnostic] # readPrec :: ReadPrec Diagnostic # readListPrec :: ReadPrec [Diagnostic] #
Show Diagnostic Source #
Methods showsPrec :: Int -> Diagnostic -> ShowS # show :: Diagnostic -> String # showList :: [Diagnostic] -> ShowS #

diagnosticDisplay :: Diagnostic -> String Source #

Convert a Diagnostic to a printable form.