hlint

Safe HaskellNone

HSE.Util

Documentation

opExp :: QOp S -> Exp_

expOp :: Exp_ -> Maybe (QOp S)

moduleName :: Module_ -> String

isChar :: Exp_ -> Bool

fromChar :: Exp_ -> Char

isString :: Exp_ -> Bool

fromString :: Exp_ -> String

isPString :: Pat t -> Bool

fromPString :: Pat t -> String

fromPParen :: Pat s -> Pat s

isVar :: Exp t -> Bool

isCon :: Exp t -> Bool

isApp :: Exp t -> Bool

isInfixApp :: Exp t -> Bool

isList :: Exp t -> Bool

isAnyApp :: Exp t -> Bool

isParen :: Exp t -> Bool

isIf :: Exp t -> Bool

isLambda :: Exp t -> Bool

isMDo :: Exp t -> Bool

isBoxed :: Boxed -> Bool

isDerivDecl :: Decl t -> Bool

isPBangPat :: Pat t -> Bool

isPExplTypeArg :: Pat t -> Bool

isPFieldPun :: PatField t -> Bool

isFieldPun :: FieldUpdate t -> Bool

isPWildCard :: Pat t -> Bool

isPViewPat :: Pat t -> Bool

isParComp :: Exp t -> Bool

isPatTypeSig :: Pat t -> Bool

isQuasiQuote :: Exp t -> Bool

isSpliceDecl :: Decl t -> Bool

isSection :: Exp t -> Bool

declBind :: Decl_ -> [String]

allowRightSection :: [Char] -> Bool

allowLeftSection :: [Char] -> Bool

isSpecial :: QName S -> Bool

isDol :: QOp S -> Bool

isDot :: QOp S -> Bool

isDotApp :: Exp_ -> Bool

dotApp :: Exp_ -> Exp_ -> Exp_

dotApps :: [Exp_] -> Exp_

isLexeme :: Exp t -> Bool

isWHNF :: Exp_ -> Bool

getEquations :: Decl s -> [Decl s]

toFunBind :: Decl s -> Decl s

replaceBranches :: Exp s -> ([Exp s], [Exp s] -> Exp s)

apps :: [Exp_] -> Exp_

descendApps :: (Exp_ -> Exp_) -> Exp_ -> Exp_

descendAppsM :: Monad m => (Exp_ -> m Exp_) -> Exp_ -> m Exp_

transformAppsM :: Monad m => (Exp_ -> m Exp_) -> Exp_ -> m Exp_

universeS :: Biplate x (f S) => x -> [f S]

childrenS :: Biplate x (f S) => x -> [f S]

vars :: Biplate a Exp_ => a -> [String]

pvars :: Biplate a Pat_ => a -> [String]

universeParentExp :: Biplate a Exp_ => a -> [(Maybe (Int, Exp_), Exp_)]

showSrcLoc :: SrcLoc -> String

toSrcLoc :: SrcInfo si => si -> SrcLoc

dropAnn :: Functor f => f s -> f ()

(/=~=) :: (Eq (a ()), Annotated a) => a l1 -> a l2 -> Bool

elem_ :: (Annotated f, Eq (f ())) => f S -> [f S] -> Bool

notElem_ :: (Annotated f, Eq (f ())) => f S -> [f S] -> Bool

nub_ :: (Annotated f, Eq (f ())) => [f S] -> [f S]

intersect_ :: (Annotated f, Eq (f ())) => [f S] -> [f S] -> [f S]

eqList :: (Annotated f, Eq (f ())) => [f S] -> [f S] -> Bool

neqList :: (Annotated f, Eq (f ())) => [f S] -> [f S] -> Bool

eqMaybe :: (Annotated f, Eq (f ())) => Maybe (f S) -> Maybe (f S) -> Bool