| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.Inspector
- hasComposition :: Inspection
- hasGuards :: Inspection
- hasIf :: Inspection
- hasConditional :: Inspection
- hasLambda :: Inspection
- hasDirectRecursion :: Inspection
- hasUsage :: String -> Inspection
- hasComprehension :: Inspection
- hasBinding :: Inspection
- hasTypeDeclaration :: Inspection
- hasTypeSignature :: Inspection
- hasExpression :: (Expression -> Bool) -> Inspection
- hasDecl :: (HsDecl -> Bool) -> GlobalInspection
- hasRhs :: (HsRhs -> Bool) -> Inspection
- isParseable :: GlobalInspection
- type Inspection = Binding -> Code -> Bool
- type GlobalInspection = Code -> Bool
Documentation
hasComposition :: Inspection Source
Inspection that tells whether a binding uses the composition operator .
in its definition
hasGuards :: Inspection Source
Inspection that tells whether a binding uses guards in its definition
Inspection that tells whether a binding uses ifs in its definition
hasConditional :: Inspection Source
Inspection that tells whether a binding uses ifs or guards in its definition
hasLambda :: Inspection Source
Inspection that tells whether a binding uses a lambda expression in its definition
hasDirectRecursion :: Inspection Source
Inspection that tells whether a binding is direct recursive
hasUsage :: String -> Inspection Source
Inspection that tells whether a binding uses the the given target binding in its definition
hasComprehension :: Inspection Source
Inspection that tells whether a binding uses lists comprehensions in its definition
hasBinding :: Inspection Source
Inspection that tells whether a top level binding exists
hasExpression :: (Expression -> Bool) -> Inspection Source
hasDecl :: (HsDecl -> Bool) -> GlobalInspection Source
hasRhs :: (HsRhs -> Bool) -> Inspection Source
type Inspection = Binding -> Code -> Bool Source
type GlobalInspection = Code -> Bool Source