Module Config.Types

Summary of exported operations:

cvCheck
                  :: String -> Check

configName
                  :: String

defaultCfg
                  :: [(Check,Int)]

defaultLgth
                  :: Int

defaultAutoC
                  :: String

help
                  :: String

Exported datatypes:

Check

Constructors:

CDataBars :: Check
CDataComponents :: Check
CDataConstructors :: Check
CCase :: Check
CExportList :: Check
CIfThenElseKW :: Check
CIfThenElseSubExpr :: Check
CImport :: Check
CLet :: Check
CLineLength :: Check
CRecordCommas :: Check
CRecordDoubleColons :: Check
CRecordFieldNames :: Check
CRecordTypes :: Check
CRhsBars :: Check
CRhsEq :: Check
CTypeArrow :: Check

Exported operations:

cvCheck :: String -> Check

configName :: String

Further infos:

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

defaultCfg :: [(Check,Int)]

defaultLgth :: Int

Further infos:

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

defaultAutoC :: String

Further infos:

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

help :: String