|
definition:
|
updateChecks :: String -> CheckList -> Bool -> Config -> IO CheckList
updateChecks s checkl b c = case s of
"tabs" -> return checkl {tab = b}
"lineLength" -> return checkl {lineLength = b}
"ifThenElse" -> return checkl {ifThenElse = b}
"case" -> return checkl {caseIndent = b}
"do" -> return checkl {doIndent = b}
"let" -> return checkl {letIndent = b}
"guard" -> return checkl {guardIndent = b}
"functionRhs" -> return checkl {rhsAlign = b}
"equalsTrue" -> return checkl {equalstrue = b}
"signatures" -> return checkl {topLevelSig = b}
"blankLines" -> return checkl {blankLines = b}
"trailingSpaces" -> return checkl {trailingS = b}
"whiteSpaces" -> return checkl {whiteSpace = b}
"moduleHeader" -> return checkl {moduleheader = b}
"imports" -> return checkl {imports = b}
"data" -> return checkl {dataIndent = b}
"list" -> return checkl {listIndent = b}
"thentrueelsefalse" -> return checkl {thenTrueElseFalse = b}
"notEqual" -> return checkl {notEqual = b}
"notOrd" -> return checkl {notOrd = b}
"equalsEmptyList" -> return checkl {equalsEmptyList = b}
"identFunc" -> return checkl {identFunc = b}
"constFunc" -> return checkl {constFunc = b}
"andOr" -> return checkl {andOr = b}
"print" -> return checkl {printCheck = b}
"deriving" -> return checkl {derivingIndent = b}
"class" -> return checkl {classIndent = b}
"instance" -> return checkl {instanceIndent = b}
_ -> do restrict c 2
( "WARNING: tried to "
++ (if b then "add" else "ignore")
++ " an invalid check ´"
++ s
++ "´, passing over" )
return checkl
|
|
demand:
|
argument 1
|
|
deterministic:
|
deterministic operation
|
|
documentation:
|
-- Updates one check according to given string (check name) and bool.
|
|
indeterministic:
|
referentially transparent operation
|
|
infix:
|
no fixity defined
|
|
iotype:
|
{(_,_,_,_) |-> _}
|
|
name:
|
updateChecks
|
|
precedence:
|
no precedence defined
|
|
result-values:
|
_
|
|
signature:
|
String -> Types.CheckList -> Prelude.Bool -> Types.Config
-> Prelude.IO Types.CheckList
|
|
solution-complete:
|
operation might suspend on free variables
|
|
terminating:
|
possibly non-terminating
|
|
totally-defined:
|
possibly non-reducible on same data term
|