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
.