Safe Haskell | None |
---|---|
Language | Haskell2010 |
Vectorise variables and literals.
Documentation
vectBndrNew :: Var -> FastString -> VM VVar #
Vectorise a binder variable, along with its attached type, but give the result a new name.
vectBndrIn :: Var -> VM a -> VM (VVar, a) #
Vectorise a binder then run a computation with that binder in scope.
vectBndrNewIn :: Var -> FastString -> VM a -> VM (VVar, a) #
Vectorise a binder, give it a new name, then run a computation with that binder in scope.