| ||||
| ||||
| 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.7.2 |