| Safe Haskell | None | 
|---|
Vectorise.Type.Type
Documentation
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.