checkModule
:: Module -> [Message]
|
checkImpDecl
:: ImportDecl -> [Message]
|
checkExpSpec
:: Maybe ExportSpec -> [Message]
|
checkDecl
:: Decl -> [Message]
|
checkConstrDecl
:: ConstrDecl -> [Message]
|
checkNewConstrDecl
:: NewConstrDecl -> [Message]
|
checkFieldDecl
:: FieldDecl -> [Message]
|
checkTypeExpr
:: TypeExpr -> [Message]
|
checkQualTypeExpr
:: QualTypeExpr -> [Message]
|
checkEquation
:: Equation -> [Message]
|
checkLhs
:: Lhs -> [Message]
|
checkRhs
:: Rhs -> [Message]
|
checkCondExpr
:: CondExpr -> [Message]
|
checkPattern
:: Pattern -> [Message]
|
checkExpression
:: Expression -> [Message]
|
checkStatement
:: Statement -> [Message]
|
checkAlt
:: Alt -> [Message]
|
subTypeExprs
:: TypeExpr -> [TypeExpr]
|
subLhs
:: Lhs -> [Lhs]
|
subPattern
:: Pattern -> [Pattern]
|
subExprs
:: Expression -> [Expression]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|