Contents Index

Core.Lift.AddFree

Synopsis

bindFreeVarsP :: Top -> LiftM (Top, [Var]) addLambdas :: [(Var, Type)] -> Exp -> Exp addForallVKs :: [(Var, Type)] -> Type -> Type stripLambdas :: Exp -> (Exp, [(Var, Type)]) sortVTs :: [(Var, Type)] -> [(Var, Type)] filterVTs :: NameSpace -> [(Var, Type)] -> [(Var, Type)] addFun :: Type -> Type -> Type

Documentation

bindFreeVarsP :: Top -> LiftM (Top, [Var])

addLambdas :: [(Var, Type)] -> Exp -> Exp

addForallVKs :: [(Var, Type)] -> Type -> Type

stripLambdas :: Exp -> (Exp, [(Var, Type)])

strip the lambdas off an expression

sortVTs :: [(Var, Type)] -> [(Var, Type)]

filterVTs :: NameSpace -> [(Var, Type)] -> [(Var, Type)]

addFun :: Type -> Type -> Type

Produced by Haddock version 0.7