LLVM.Diagnostic

Diagnostics describe parse errors

Documentation

data DiagnosticKind

What kind of problem does a diagnostic describe?

Constructors

ErrorKind

WarningKind

NoteKind

Instances

Eq DiagnosticKind

Methods

(==) :: DiagnosticKind -> DiagnosticKind -> Bool

(/=) :: DiagnosticKind -> DiagnosticKind -> Bool

Data DiagnosticKind

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

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

Methods

readsPrec :: Int -> ReadS DiagnosticKind

readList :: ReadS [DiagnosticKind]

readPrec :: ReadPrec DiagnosticKind

readListPrec :: ReadPrec [DiagnosticKind]

Show DiagnosticKind

Methods

showsPrec :: Int -> DiagnosticKind -> ShowS

show :: DiagnosticKind -> String

showList :: [DiagnosticKind] -> ShowS

Generic DiagnosticKind

Associated Types

type Rep DiagnosticKind :: * -> *

Methods

from :: DiagnosticKind -> Rep DiagnosticKind x

to :: Rep DiagnosticKind x -> DiagnosticKind

type Rep DiagnosticKind

type Rep DiagnosticKind = D1 * (MetaData "DiagnosticKind" "LLVM.Diagnostic" "llvm-hs-5.1.0-KkQomdOyEuPQ38FC4GG8s" False) ((:+:) * (C1 * (MetaCons "ErrorKind" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "WarningKind" PrefixI False) (U1 *)) (C1 * (MetaCons "NoteKind" PrefixI False) (U1 *))))

data Diagnostic

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

Methods

(==) :: Diagnostic -> Diagnostic -> Bool

(/=) :: Diagnostic -> Diagnostic -> Bool

Ord 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

Read Diagnostic

Methods

readsPrec :: Int -> ReadS Diagnostic

readList :: ReadS [Diagnostic]

readPrec :: ReadPrec Diagnostic

readListPrec :: ReadPrec [Diagnostic]

Show Diagnostic

Methods

showsPrec :: Int -> Diagnostic -> ShowS

show :: Diagnostic -> String

showList :: [Diagnostic] -> ShowS

diagnosticDisplay :: Diagnostic -> String

Convert a Diagnostic to a printable form.