Contents Index

Source.ToCore.Lambda

Documentation

addTypeLambdas :: Var -> Exp -> CoreM Exp

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

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

addTypeApps :: Var -> Var -> Exp -> CoreM Exp

addApps :: Var -> Var -> Exp -> Type -> Type -> CoreM Exp

addAppsRec :: Var -> Var -> Exp -> Type -> CoreM Exp

getTypeApp :: Var -> Var -> Type -> Type -> [(Var, Var)] -> CoreM Exp

Produced by Haddock version 0.7