Documentation

type Binding = String Source

type Code = String Source

type Inspection = Binding -> Code -> Bool Source

hasComposition :: Inspection Source

hasGuards :: Inspection Source

hasLambda :: Inspection Source

hasBinding :: Inspection Source

isParseable :: Code -> Bool Source

testAnyWithBindingExpr :: (EO -> Bool) -> Binding -> Code -> Bool Source

testAnyWithBindingRhs :: (HsRhs -> Bool) -> Binding -> Code -> Bool Source

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

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

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

rhsForBinding :: HsDecl -> [HsRhs] Source

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

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

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

orFalse :: Maybe Bool -> Bool Source