Language.Haskell.Inspector

Documentation

type Binding = String

type Code = String

type Inspection = Binding -> Code -> Bool

hasComposition :: Inspection

Inspection that tells whether a binding uses the composition operator . in its definition

hasGuards :: Inspection

Inspection that tells whether a binding uses guards in its definition

hasIf :: Inspection

Inspection that tells whether a binding uses ifs in its definition

hasConditional :: Inspection

Inspection that tells whether a binding uses ifs or guards in its definition

hasLambda :: Inspection

Inspection that tells whether a binding uses a lambda expression in its definition

hasDirectRecursion :: Inspection

Inspection that tells whether a binding is direct recursive

hasUsage :: String -> Inspection

Inspection that tells whether a binding uses the the given target binding in its definition

hasComprehension :: Inspection

Inspection that tells whether a binding uses lists comprehensions in its definition

hasBinding :: Inspection

Inspection that tells whether a top level binding exists

hasTypeDeclaration :: Inspection

hasTypeSignature :: Inspection

isParseable :: Code -> Bool

negateInspection :: Inspection -> Inspection

isName :: String -> HsName -> Bool

nameOf :: HsName -> String

bindingInMatch :: HsMatch -> String

isBindingEO :: (EO -> Bool) -> Binding -> Code -> Bool

isBindingRhs :: (HsRhs -> Bool) -> Binding -> Code -> Bool

testWithBindingRhs :: ([HsRhs] -> Bool) -> Binding -> Code -> Bool

withBindingRhs :: ([HsRhs] -> a) -> Binding -> Code -> Maybe a

findBindingRhs :: String -> Code -> Maybe [HsRhs]

rhsForBinding :: HsDecl -> [HsRhs]

concatRhs :: HsRhs -> [HsDecl] -> [HsRhs]

testWithCode :: ([HsDecl] -> Bool) -> Code -> Bool

withCode :: ([HsDecl] -> a) -> Code -> Maybe a

orFalse :: Maybe Bool -> Bool

orNil :: Maybe [t] -> [t]