Safe Haskell	None
Language	Haskell2010

Language.Cimple.Diagnostics

Documentation

data DiagnosticLevel Source #

Constructors

ErrorLevel
WarningLevel
NoteLevel
HelpLevel

Instances

Instances details

Eq DiagnosticLevel Source #
Instance details Defined in Language.Cimple.Diagnostics Methods (==) :: DiagnosticLevel -> DiagnosticLevel -> Bool # (/=) :: DiagnosticLevel -> DiagnosticLevel -> Bool #
Ord DiagnosticLevel Source #
Instance details Defined in Language.Cimple.Diagnostics Methods compare :: DiagnosticLevel -> DiagnosticLevel -> Ordering # (<) :: DiagnosticLevel -> DiagnosticLevel -> Bool # (<=) :: DiagnosticLevel -> DiagnosticLevel -> Bool # (>) :: DiagnosticLevel -> DiagnosticLevel -> Bool # (>=) :: DiagnosticLevel -> DiagnosticLevel -> Bool # max :: DiagnosticLevel -> DiagnosticLevel -> DiagnosticLevel # min :: DiagnosticLevel -> DiagnosticLevel -> DiagnosticLevel #
Show DiagnosticLevel Source #
Instance details Defined in Language.Cimple.Diagnostics Methods showsPrec :: Int -> DiagnosticLevel -> ShowS # show :: DiagnosticLevel -> String # showList :: [DiagnosticLevel] -> ShowS #

data DiagnosticSpan pos Source #

Constructors

DiagnosticSpan
Fields spanPos :: pos spanLen :: Int spanLabels :: [Doc AnsiStyle]

data Diagnostic pos Source #

Constructors

Diagnostic
Fields diagPos :: pos diagLen :: Int diagLevel :: DiagnosticLevel diagMsg :: Doc AnsiStyle diagFlag :: Maybe Text diagSpans :: [DiagnosticSpan pos] diagFooter :: [(DiagnosticLevel, Doc AnsiStyle)]

Instances

Instances details

HasDiagnosticsRich [Diagnostic pos] pos Source #
Instance details Defined in Language.Cimple.Diagnostics Methods addDiagnosticRich :: Diagnostic pos -> [Diagnostic pos] -> [Diagnostic pos] Source #

class IsPosition p where Source #

Minimal complete definition

posFile, posLine, posColumn

Methods

posFile :: p -> FilePath Source #

posLine :: p -> Int Source #

posColumn :: p -> Int Source #

isRealPos :: p -> Bool Source #

Instances

Instances details

IsPosition CimplePos Source #
Instance details Defined in Language.Cimple.Diagnostics Methods posFile :: CimplePos -> FilePath Source # posLine :: CimplePos -> Int Source # posColumn :: CimplePos -> Int Source # isRealPos :: CimplePos -> Bool Source #

class IsPosition pos => HasDiagnosticInfo at pos | at -> pos where Source #

Methods

getDiagnosticInfo :: FilePath -> at -> (pos, Int) Source #

Instances

Instances details

HasDiagnosticInfo (Node (Lexeme Text)) CimplePos Source #
Instance details Defined in Language.Cimple.Diagnostics Methods getDiagnosticInfo :: FilePath -> Node (Lexeme Text) -> (CimplePos, Int) Source #
HasDiagnosticInfo (Lexeme Text) CimplePos Source #
Instance details Defined in Language.Cimple.Diagnostics Methods getDiagnosticInfo :: FilePath -> Lexeme Text -> (CimplePos, Int) Source #

data CimplePos Source #

Constructors

CimplePos
Fields cimpleFile :: FilePath cimpleLine :: Int cimpleColumn :: Int

Instances

Instances details

Eq CimplePos Source #
Instance details Defined in Language.Cimple.Diagnostics Methods (==) :: CimplePos -> CimplePos -> Bool # (/=) :: CimplePos -> CimplePos -> Bool #
Ord CimplePos Source #
Instance details Defined in Language.Cimple.Diagnostics Methods compare :: CimplePos -> CimplePos -> Ordering # (<) :: CimplePos -> CimplePos -> Bool # (<=) :: CimplePos -> CimplePos -> Bool # (>) :: CimplePos -> CimplePos -> Bool # (>=) :: CimplePos -> CimplePos -> Bool # max :: CimplePos -> CimplePos -> CimplePos # min :: CimplePos -> CimplePos -> CimplePos #
Show CimplePos Source #
Instance details Defined in Language.Cimple.Diagnostics Methods showsPrec :: Int -> CimplePos -> ShowS # show :: CimplePos -> String # showList :: [CimplePos] -> ShowS #
IsPosition CimplePos Source #
Instance details Defined in Language.Cimple.Diagnostics Methods posFile :: CimplePos -> FilePath Source # posLine :: CimplePos -> Int Source # posColumn :: CimplePos -> Int Source # isRealPos :: CimplePos -> Bool Source #
HasDiagnosticInfo (Node (Lexeme Text)) CimplePos Source #
Instance details Defined in Language.Cimple.Diagnostics Methods getDiagnosticInfo :: FilePath -> Node (Lexeme Text) -> (CimplePos, Int) Source #
HasDiagnosticInfo (Lexeme Text) CimplePos Source #
Instance details Defined in Language.Cimple.Diagnostics Methods getDiagnosticInfo :: FilePath -> Lexeme Text -> (CimplePos, Int) Source #

type DiagnosticsT diags a = State diags a Source #

type Diagnostics a = DiagnosticsT [Text] a Source #

class HasDiagnostics a where Source #

Methods

addDiagnostic :: Text -> a -> a Source #

Instances

Instances details

HasDiagnostics [Text] Source #
Instance details Defined in Language.Cimple.Diagnostics Methods addDiagnostic :: Text -> [Text] -> [Text] Source #

class HasDiagnosticsRich a pos | a -> pos where Source #

Methods

addDiagnosticRich :: Diagnostic pos -> a -> a Source #

Instances

Instances details

HasDiagnosticsRich [Diagnostic pos] pos Source #
Instance details Defined in Language.Cimple.Diagnostics Methods addDiagnosticRich :: Diagnostic pos -> [Diagnostic pos] -> [Diagnostic pos] Source #

warn :: (HasLocation at, HasDiagnostics diags) => FilePath -> at -> Text -> DiagnosticsT diags () Source #

warnRich :: HasDiagnosticsRich diags pos => Diagnostic pos -> DiagnosticsT diags () Source #

sloc :: HasLocation a => FilePath -> a -> Text Source #

lexemePos :: FilePath -> Lexeme text -> CimplePos Source #

nodePos :: FilePath -> Node (Lexeme text) -> CimplePos Source #

nodePosAndLen :: FilePath -> Node (Lexeme Text) -> (CimplePos, Int) Source #

renderPure :: IsPosition pos => Map FilePath [Text] -> [Diagnostic pos] -> [Doc AnsiStyle] Source #

diagToText :: IsPosition pos => Diagnostic pos -> Text Source #