tokstyle

Safe Haskell	None
Language	Haskell2010

Tokstyle.C.IntervalLinter

Description

What the linters built on the interval analysis share.

Synopsis

analysedFunctions :: (FunDef -> Bool) -> Trav Env [(FunDef, [(Node, Facts, [Term])])]
exprDoc :: CExpr -> Doc a
valuesDoc :: Range -> Doc a
recordWrap :: Term -> NodeInfo -> Doc AnsiStyle -> Trav Env ()

Documentation

analysedFunctions :: (FunDef -> Bool) -> Trav Env [(FunDef, [(Node, Facts, [Term])])] Source #

The functions of the translation unit a linter looks at, with the facts before each of their nodes.

exprDoc :: CExpr -> Doc a Source #

valuesDoc :: Range -> Doc a Source #

recordWrap :: Term -> NodeInfo -> Doc AnsiStyle -> Trav Env () Source #

Records an error at a term, pointing at where its value wrapped around if that was elsewhere.