ghc-7.2.1: The GHC API

Vectorise.Monad

Contents

Synopsis

Documentation

initV :: HscEnv -> ModGuts -> VectInfo -> VM a -> IO (Maybe (VectInfo, a))Source

Run a vectorisation computation.

Builtins

liftBuiltinDs :: (Builtins -> DsM a) -> VM aSource

Lift a desugaring computation using the Builtins into the vectorisation monad.

builtin :: (Builtins -> a) -> VM aSource

Project something from the set of builtins.

builtins :: (a -> Builtins -> b) -> VM (a -> b)Source

Lift a function using the Builtins into the vectorisation monad.

Variables

lookupVar :: Var -> VM (Scope Var (Var, Var))Source

Lookup the vectorised and/or lifted versions of this variable. If it's in the global environment we get the vectorised version. If it's in the local environment we get both the vectorised and lifted version.

Primitives