|
definition:
|
readCheckList :: [String] -> CheckList -> CheckList
readCheckList [] checkl
= checkl
readCheckList (l:ls) checkl
| isPrefixOf "lineLength" l && isSuffixOf "0" l
= readCheckList ls $ checkl { lineLength = False }
| isPrefixOf "tabs" l && isSuffixOf "0" l
= readCheckList ls $ checkl {tab = False}
| isPrefixOf "ifThenElse" l && isSuffixOf "0" l
= readCheckList ls $ checkl {ifThenElse = False}
| isPrefixOf "case" l && isSuffixOf "0" l
= readCheckList ls $ checkl {caseIndent = False}
| isPrefixOf "do" l && isSuffixOf "0" l
= readCheckList ls $ checkl {doIndent = False}
| isPrefixOf "let" l && isSuffixOf "0" l
= readCheckList ls $ checkl {letIndent = False}
| isPrefixOf "guard" l && isSuffixOf "0" l
= readCheckList ls $ checkl {letIndent = False}
| isPrefixOf "functionRhs" l && isSuffixOf "0" l
= readCheckList ls $ checkl {rhsAlign = False}
| isPrefixOf "equalstrue" l && isSuffixOf "0" l
= readCheckList ls $ checkl {equalstrue = False}
| isPrefixOf "signatures" l && isSuffixOf "0" l
= readCheckList ls $ checkl {topLevelSig = False}
| isPrefixOf "blankLines" l && isSuffixOf "0" l
= readCheckList ls $ checkl {blankLines = False}
| isPrefixOf "trailingSpaces" l && isSuffixOf "0" l
= readCheckList ls $ checkl {trailingS = False}
| isPrefixOf "moduleHeader" l && isSuffixOf "0" l
= readCheckList ls $ checkl {moduleheader = False}
| isPrefixOf "imports" l && isSuffixOf "0" l
= readCheckList ls $ checkl {imports = False}
| isPrefixOf "data" l && isSuffixOf "0" l
= readCheckList ls $ checkl {dataIndent = False}
| isPrefixOf "list" l && isSuffixOf "0" l
= readCheckList ls $ checkl {listIndent = False}
| isPrefixOf "thentrueelsefalse" l && isSuffixOf "0" l
= readCheckList ls $ checkl {thenTrueElseFalse = False}
| isPrefixOf "notEqual" l && isSuffixOf "0" l
= readCheckList ls $ checkl {notEqual = False}
| isPrefixOf "notOrd" l && isSuffixOf "0" l
= readCheckList ls $ checkl {notOrd = False}
| isPrefixOf "equalsEmptyList" l && isSuffixOf "0" l
= readCheckList ls $ checkl {equalsEmptyList = False}
| isPrefixOf "identFunc" l && isSuffixOf "0" l
= readCheckList ls $ checkl {identFunc = False}
| isPrefixOf "constFunc" l && isSuffixOf "0" l
= readCheckList ls $ checkl {constFunc = False}
| isPrefixOf "andOr" l && isSuffixOf "0" l
= readCheckList ls $ checkl {andOr = False}
| isPrefixOf "print" l && isSuffixOf "0" l
= readCheckList ls $ checkl {printCheck = False}
| isPrefixOf "deriving" l && isSuffixOf "0" l
= readCheckList ls $ checkl {derivingIndent = False}
| isPrefixOf "class" l && isSuffixOf "0" l
= readCheckList ls $ checkl {classIndent = False}
| isPrefixOf "instance" l && isSuffixOf "0" l
= readCheckList ls $ checkl {instanceIndent = False}
| otherwise
= readCheckList ls checkl
|
|
demand:
|
argument 1
|
|
deterministic:
|
deterministic operation
|
|
documentation:
|
--parseChecklist, if a line starts with corresponding option,
--if check is 0, turn off check (since default is on)
|
|
failfree:
|
(_, _)
|
|
indeterministic:
|
referentially transparent operation
|
|
infix:
|
no fixity defined
|
|
iotype:
|
{({[]},_) |-> _ || ({:},_) |-> _}
|
|
name:
|
readCheckList
|
|
precedence:
|
no precedence defined
|
|
result-values:
|
_
|
|
signature:
|
[String] -> Types.CheckList -> Types.CheckList
|
|
solution-complete:
|
operation might suspend on free variables
|
|
terminating:
|
possibly non-terminating
|
|
totally-defined:
|
possibly non-reducible on same data term
|