Documentation

splitDataConApp_maybe :: Exp -> Maybe (Qual Dcon, [Ty], [Exp])Source

splitApp :: Exp -> (Exp, [Exp])Source

splitAppIgnoreCasts :: Exp -> (Exp, [Exp])Source

splitFunTy_maybe :: Ty -> Maybe ([Ty], Ty)Source

splitFunTy2_maybe :: Ty -> Maybe (Ty, Ty)Source

vdefNamesQ :: [Vdef] -> [Qual Var]Source

vdefNames :: [Vdef] -> [Var]Source

vdefTys :: [Vdef] -> [Ty]Source

vdefgNames :: Vdefg -> [Var]Source

vdefgNamesQ :: Vdefg -> [Qual Var]Source

vdefgTys :: Vdefg -> [Ty]Source

vdefgBodies :: Vdefg -> [Exp]Source

vbNames :: [Vbind] -> [Var]Source

substIn :: Data a => Var -> Var -> a -> aSource

substVars :: Data a => [Var] -> [Var] -> a -> aSource

tdefNames :: [Tdef] -> [Qual Var]Source

tdefDcons :: [Tdef] -> [Qual Var]Source

tdefTcons :: [Tdef] -> [Qual Var]Source

filterVdefgs :: (Vdef -> Bool) -> [Vdefg] -> [Vdefg]Source

applyNewtype :: CoercionKind -> [Ty] -> (Ty, Ty)Source

substl :: [Tvar] -> [Ty] -> Ty -> TySource

freeTvars :: Ty -> [Tvar]Source

freshTvar :: [Tvar] -> TvarSource

splitLambda :: Exp -> ([Bind], Exp)Source

vbinds :: [Bind] -> [(Var, Ty)]Source

splitBinds :: [Bind] -> ([(Tvar, Kind)], [(Var, Ty)])Source

freeVars :: Exp -> [Qual Var]Source

freeVarss :: [Exp] -> [Qual Var]Source

mapVdefg :: Monad m => (Vdef -> m Vdef) -> Vdefg -> m VdefgSource