Module Types

Summary of exported operations:

anyAST
                  ::  Config -> Bool

anySrc
                  ::  Config -> Bool

report
                  ::  Message -> State CheckState ()

getConfig
                  ::  State CheckState Config

getCheckList
                  ::  State CheckState CheckList

getCol
                  ::  SpanInfo -> Int

getLi
                  ::  SpanInfo -> Int

getEndLi
                  ::  SpanInfo -> Int

getSpan
                  :: HasSpanInfo a => a -> Span

getSpanLi
                  ::  Span -> Int

getSpanCol
                  ::  Span -> Int

checkAlign
                  :: HasSpanInfo a => (SpanInfo -> Int) -> Int -> [a] -> Bool

spanAlign
                  ::  [Span] -> Bool

colorizeText
                  ::  (Doc -> Doc) -> String -> Doc

colorizeKey
                  ::  String -> Doc

checkInfixCompare
                  ::  Expression a -> (SpanInfo,Expression a,String,Expression a)

checkApplyCompare
                  ::  Expression a -> (SpanInfo,String,Expression a,Expression a)

Exported datatypes:

SrcLine

Type synonym: SrcLine = (Int,String)

Flag

Constructors:

Ignore :: String -> Flag
Add :: String -> Flag
OType :: String -> Flag
Verbosity :: Int -> Flag
Help :: Flag

ProgramName

Type synonym: ProgramName = String

Arguments

Type synonym: Arguments = (ProgramName,[Flag],[String])

CheckList

Constructors:

CheckList :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> CheckList
Fields:
- lineLength :: Bool
- tab :: Bool
- trailingS :: Bool
- whiteSpace :: Bool
- ifThenElse :: Bool
- doIndent :: Bool
- letIndent :: Bool
- caseIndent :: Bool
- guardIndent :: Bool
- rhsAlign :: Bool
- whereIndent :: Bool
- equalstrue :: Bool
- topLevelSig :: Bool
- blankLines :: Bool
- moduleheader :: Bool
- imports :: Bool
- dataIndent :: Bool
- listIndent :: Bool
- thenTrueElseFalse :: Bool
- notEqual :: Bool
- notOrd :: Bool
- equalsEmptyList :: Bool
- identFunc :: Bool
- constFunc :: Bool
- andOr :: Bool
- printCheck :: Bool
- derivingIndent :: Bool
- classIndent :: Bool
- instanceIndent :: Bool

Checks

Constructors:

Checks :: (Module a -> Int -> CSM ()) -> (Decl a -> Int -> CSM ()) -> (Equation a -> Int -> CSM ()) -> (Rhs a -> Int -> CSM ()) -> (CondExpr a -> Int -> CSM ()) -> (Expression a -> Int -> CSM ()) -> (Statement a -> Int -> CSM ()) -> (Alt a -> Int -> CSM ()) -> Checks a
Fields:
- modu :: (Module a -> Int -> CSM ())
- decl :: (Decl a -> Int -> CSM ())
- eq :: (Equation a -> Int -> CSM ())
- rhs :: (Rhs a -> Int -> CSM ())
- cExpr :: (CondExpr a -> Int -> CSM ())
- expr :: (Expression a -> Int -> CSM ())
- stat :: (Statement a -> Int -> CSM ())
- alt :: (Alt a -> Int -> CSM ())

OutPut

Constructors:

JSON :: OutPut
TEXT :: OutPut

Config

Constructors:

Config :: CheckList -> OutPut -> Int -> Bool -> Bool -> Int -> Config
Fields:
- checks :: CheckList
- oType :: OutPut
- verbosity :: Int
- hints :: Bool
- code :: Bool
- maxLineLength :: Int

Message

Constructors:

Message :: Span -> Doc -> Doc -> Message

CheckState

Constructors:

CheckState :: String -> Config -> [Message] -> CheckState
Fields:
- fileName :: String
- config :: Config
- messages :: [Message]

CSM

Type synonym: CSM = State CheckState

Exported operations:

anyAST :: Config -> Bool

anySrc :: Config -> Bool

report :: Message -> State CheckState ()

getConfig :: State CheckState Config

getCheckList :: State CheckState CheckList

getCol :: SpanInfo -> Int

Further infos:

partially defined
solution complete, i.e., able to compute all solutions

getLi :: SpanInfo -> Int

Further infos:

partially defined
solution complete, i.e., able to compute all solutions

getEndLi :: SpanInfo -> Int

Further infos:

partially defined
solution complete, i.e., able to compute all solutions

getSpan :: HasSpanInfo a => a -> Span

getSpanLi :: Span -> Int

Further infos:

partially defined
solution complete, i.e., able to compute all solutions

getSpanCol :: Span -> Int

Further infos:

partially defined
solution complete, i.e., able to compute all solutions

checkAlign :: HasSpanInfo a => (SpanInfo -> Int) -> Int -> [a] -> Bool

spanAlign :: [Span] -> Bool

Further infos:

partially defined

colorizeText :: (Doc -> Doc) -> String -> Doc

colorizeKey :: String -> Doc

checkInfixCompare :: Expression a -> (SpanInfo,Expression a,String,Expression a)

Further infos:

partially defined
solution complete, i.e., able to compute all solutions

checkApplyCompare :: Expression a -> (SpanInfo,String,Expression a,Expression a)

Further infos:

partially defined
solution complete, i.e., able to compute all solutions