Safe Haskell | None |
---|---|
Language | Haskell2010 |
Vectorise.Type.Type
Documentation
vectTyCon :: TyCon -> VM TyCon
Vectorise a type constructor. Unless there is a vectorised version (stripped of embedded parallel arrays), the vectorised version is the same as the original.
vectAndLiftType :: Type -> VM (Type, Type)
Produce the vectorised and lifted versions of a type.
NB: Here we are limited to properly handle predicates at the toplevel only. Anything embedded
in what is called the body_ty
below will end up as an argument to the type family PData
.