hlint

Safe HaskellSafe-Infered

HSE.Util

Documentation

opExp :: QOp S -> Exp_

expOp :: Exp_ -> Maybe (QOp S)

fromPParen :: Pat s -> Pat s

isVar :: Exp t -> Bool

isApp :: Exp t -> Bool

isList :: Exp t -> Bool

isAnyApp :: Exp t -> Bool

isParen :: Exp t -> Bool

isLambda :: Exp t -> Bool

isMDo :: Exp t -> Bool

isDol :: QOp S -> Bool

isDot :: QOp S -> Bool

dotApp :: Exp_ -> Exp_ -> Exp_

dotApps :: [Exp_] -> Exp_

isLexeme :: Exp t -> 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]

toSrcLoc :: SrcInfo si => si -> SrcLoc

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

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

elem_, 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, neqList :: (Annotated f, Eq (f ())) => [f S] -> [f S] -> Bool

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