| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Tokstyle.C.Env
Documentation
data DiagnosticLevel #
Constructors
| ErrorLevel | |
| WarningLevel | |
| NoteLevel | |
| HelpLevel |
Instances
| Eq DiagnosticLevel | |
Defined in Language.Cimple.Diagnostics Methods (==) :: DiagnosticLevel -> DiagnosticLevel -> Bool # (/=) :: DiagnosticLevel -> DiagnosticLevel -> Bool # | |
| Ord DiagnosticLevel | |
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 | |
Defined in Language.Cimple.Diagnostics Methods showsPrec :: Int -> DiagnosticLevel -> ShowS # show :: DiagnosticLevel -> String # showList :: [DiagnosticLevel] -> ShowS # | |
data DiagnosticSpan pos #
Constructors
| DiagnosticSpan | |
Constructors
| CPosition | |
Fields | |
type LinterError = Diagnostic CPosition Source #
Constructors
| Env | |
Fields
| |
defaultEnv :: Env Source #
unsetRetTy :: Trav Env () Source #
recordRichError :: NodeInfo -> DiagnosticLevel -> Doc AnsiStyle -> [DiagnosticSpan Position] -> [(DiagnosticLevel, Doc AnsiStyle)] -> Trav Env () Source #
safePosFile :: Position -> String Source #