hlint

HSE.Util

Documentation

opExp :: QOp S -> Exp_

expOp :: Exp_ -> Maybe (QOp S)

fromPParen :: Pat s -> Pat s

isDol :: QOp S -> Bool

isDot :: QOp S -> Bool

dotApp :: Exp_ -> Exp_ -> Exp_

dotApps :: [Exp_] -> Exp_

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_)]

toSrcLoc :: SrcInfo si => si -> SrcLoc

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

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