| ||||
| ||||
Documentation | ||||
vectTyCon :: TyCon -> VM TyCon | ||||
vectAndLiftType :: Type -> VM (Type, Type) | ||||
vectType :: Type -> VM Type | ||||
vectTypeEnv :: TypeEnv -> VM (TypeEnv, [FamInst], [(Var, CoreExpr)]) | ||||
buildPADict :: TyCon -> TyCon -> TyCon -> Var -> VM CoreExpr | ||||
fromVect :: Type -> CoreExpr -> VM CoreExpr | ||||
Produced by Haddock version 2.6.1 |