CurryInfo: stylechecker-2.0.0 / Check.AST.checks

checks :: Checks a
checks = Checks (\e i -> do checkConf topLevelSig checkTopLevelSig e i
                            checkConf blankLines checkBlankLines e i
                            checkConf moduleheader checkModuleHeader e i
                            checkConf imports checkImports e i)
                (\e i -> do checkConf rhsAlign checkRhs e i
                            checkConf whereIndent checkWhere e i
                            checkConf dataIndent checkData e i
                            checkConf derivingIndent checkDeriving e i
                            checkConf classIndent checkClass e i
                            checkConf instanceIndent checkInstance e i)
                (\e i -> do checkConf guardIndent checkGuard e i)
                (\e i -> do checkConf listIndent checkListTuple e i)
                default_
                (\e i -> do checkConf ifThenElse checkIfThenElse e i
                            checkConf doIndent checkDo e i
                            checkConf letIndent checkLet e i
                            checkConf caseIndent checkCase e i
                            checkConf equalstrue checkEqualsTrue e i
                            checkConf thenTrueElseFalse checkThenTrueElseFalse e i
                            checkConf notEqual checkNotEqual e i
                            checkConf notOrd checkNotOrd e i
                            checkConf equalsEmptyList checkEqualsEmptyList e i
                            checkConf identFunc checkIdentFunc e i
                            checkConf constFunc checkConstFunc e i
                            checkConf andOr checkAndOr e i
                            checkConf printCheck checkPrint e i)
                default_
                default_

no demanded arguments

deterministic operation

-- all Checks in form of record, that are to applied on their types,
-- if in config a certain key is True, check will be applied

<FAILING>

referentially transparent operation

no fixity defined

{() |-> {Checks}}

checks

no precedence defined

{Checks}

Types.Checks a

operation might suspend on free variables

possibly non-terminating

possibly non-reducible on same data term