VectType

Documentation

vectTyCon :: TyCon -> VM TyCon

vectAndLiftType :: Type -> VM (Type, Type)

vectType :: Type -> VM Type

vectTypeEnv :: TypeEnv -> VM (TypeEnv, [FamInst], [(Var, CoreExpr)])

mkRepr :: TyCon -> VM Repr

arrShapeTys :: Repr -> VM [Type]

arrShapeVars :: Repr -> VM [Var]

arrSelector :: Repr -> [CoreExpr] -> VM (CoreExpr, CoreExpr, CoreExpr)

buildPADict :: Repr -> TyCon -> TyCon -> TyCon -> Var -> VM CoreExpr

fromVect :: Type -> CoreExpr -> VM CoreExpr

Produced by Haddock version 2.3.0