ghc-6.12.3: The GHC API Source code Contents Index

VectMonad

Documentation

data Scope a b Source

Constructors Global a Local b

data VM a Source

Instances Monad VM

noV :: VM a Source

traceNoV :: String -> SDoc -> VM a Source

ensureV :: Bool -> VM () Source

traceEnsureV :: String -> SDoc -> Bool -> VM () Source

tryV :: VM a -> VM (Maybe a) Source

maybeV :: VM (Maybe a) -> VM a Source

traceMaybeV :: String -> SDoc -> VM (Maybe a) -> VM a Source

orElseV :: VM a -> VM a -> VM a Source

onlyIfV :: Bool -> VM a -> VM a Source

fixV :: (a -> VM a) -> VM a Source

localV :: VM a -> VM a Source

closedV :: VM a -> VM a Source

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

cantVectorise :: String -> SDoc -> a Source

maybeCantVectorise :: String -> SDoc -> Maybe a -> a Source

maybeCantVectoriseM :: Monad m => String -> SDoc -> m (Maybe a) -> m a Source

liftDs :: DsM a -> VM a Source

cloneName :: (OccName -> OccName) -> Name -> VM Name Source

cloneId :: (OccName -> OccName) -> Id -> Type -> VM Id Source

cloneVar :: Var -> VM Var Source

newExportedVar :: OccName -> Type -> VM Var Source

newLocalVar :: FastString -> Type -> VM Var Source

newLocalVars :: FastString -> [Type] -> VM [Var] Source

newDummyVar :: Type -> VM Var Source

newTyVar :: FastString -> Kind -> VM Var Source

data Builtins Source

Constructors Builtins dphModules :: Modules parrayTyCon :: TyCon parrayDataCon :: DataCon pdataTyCon :: TyCon paTyCon :: TyCon paDataCon :: DataCon preprTyCon :: TyCon prTyCon :: TyCon prDataCon :: DataCon voidTyCon :: TyCon wrapTyCon :: TyCon selTys :: Array Int Type selReplicates :: Array Int CoreExpr selPicks :: Array Int CoreExpr selEls :: Array (Int, Int) CoreExpr sumTyCons :: Array Int TyCon closureTyCon :: TyCon voidVar :: Var pvoidVar :: Var punitVar :: Var mkPRVar :: Var closureVar :: Var applyVar :: Var liftedClosureVar :: Var liftedApplyVar :: Var replicatePDVar :: Var emptyPDVar :: Var packPDVar :: Var combinePDVars :: Array Int Var scalarClass :: Class scalarZips :: Array Int Var closureCtrFuns :: Array Int Var liftingContext :: Var

sumTyCon :: Int -> Builtins -> TyCon Source

prodTyCon :: Int -> Builtins -> TyCon Source

prodDataCon :: Int -> Builtins -> DataCon Source

selTy :: Int -> Builtins -> Type Source

selReplicate :: Int -> Builtins -> CoreExpr Source

selPick :: Int -> Builtins -> CoreExpr Source

selElements :: Int -> Int -> Builtins -> CoreExpr Source

combinePDVar :: Int -> Builtins -> Var Source

scalarZip :: Int -> Builtins -> Var Source

closureCtrFun :: Int -> Builtins -> Var Source

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

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

data GlobalEnv Source

Constructors GlobalEnv global_vars :: VarEnv Var global_scalars :: VarSet global_exported_vars :: VarEnv (Var, Var) global_tycons :: NameEnv TyCon global_datacons :: NameEnv DataCon global_pa_funs :: NameEnv Var global_pr_funs :: NameEnv Var global_boxed_tycons :: NameEnv TyCon global_inst_env :: (InstEnv, InstEnv) global_fam_inst_env :: FamInstEnvs global_bindings :: [(Var, CoreExpr)]

setFamInstEnv :: FamInstEnv -> GlobalEnv -> GlobalEnv Source

readGEnv :: (GlobalEnv -> a) -> VM a Source

setGEnv :: GlobalEnv -> VM () Source

updGEnv :: (GlobalEnv -> GlobalEnv) -> VM () Source

data LocalEnv Source

Constructors LocalEnv local_vars :: VarEnv (Var, Var) local_tyvars :: [TyVar] local_tyvar_pa :: VarEnv CoreExpr local_bind_name :: FastString

readLEnv :: (LocalEnv -> a) -> VM a Source

setLEnv :: LocalEnv -> VM () Source

updLEnv :: (LocalEnv -> LocalEnv) -> VM () Source

getBindName :: VM FastString Source

inBind :: Id -> VM a -> VM a Source

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

defGlobalVar :: Var -> Var -> VM () Source

globalScalars :: VM VarSet Source

lookupTyCon :: TyCon -> VM (Maybe TyCon) Source

defTyCon :: TyCon -> TyCon -> VM () Source

lookupDataCon :: DataCon -> VM (Maybe DataCon) Source

defDataCon :: DataCon -> DataCon -> VM () Source

lookupTyConPA :: TyCon -> VM (Maybe Var) Source

defTyConPA :: TyCon -> Var -> VM () Source

defTyConPAs :: [(TyCon, Var)] -> VM () Source

lookupTyConPR :: TyCon -> VM (Maybe Var) Source

lookupBoxedTyCon :: TyCon -> VM (Maybe TyCon) Source

lookupPrimMethod :: TyCon -> String -> VM (Maybe Var) Source

lookupPrimPArray :: TyCon -> VM (Maybe TyCon) Source

lookupTyVarPA :: Var -> VM (Maybe CoreExpr) Source

defLocalTyVar :: TyVar -> VM () Source

defLocalTyVarWithPA :: TyVar -> CoreExpr -> VM () Source

localTyVars :: VM [TyVar] Source

lookupInst :: Class -> [Type] -> VM (DFunId, [Type]) Source

lookupFamInst :: TyCon -> [Type] -> VM (TyCon, [Type]) Source

Produced by Haddock version 2.6.1