ghc-6.12.3: The GHC APISource codeContentsIndex
VectMonad
Documentation
data Scope a b Source
Constructors
Global a
Local b
data VM a Source
show/hide Instances
noV :: VM aSource
traceNoV :: String -> SDoc -> VM aSource
ensureV :: Bool -> VM ()Source
traceEnsureV :: String -> SDoc -> Bool -> VM ()Source
tryV :: VM a -> VM (Maybe a)Source
maybeV :: VM (Maybe a) -> VM aSource
traceMaybeV :: String -> SDoc -> VM (Maybe a) -> VM aSource
orElseV :: VM a -> VM a -> VM aSource
onlyIfV :: Bool -> VM a -> VM aSource
fixV :: (a -> VM a) -> VM aSource
localV :: VM a -> VM aSource
closedV :: VM a -> VM aSource
initV :: PackageId -> HscEnv -> ModGuts -> VectInfo -> VM a -> IO (Maybe (VectInfo, a))Source
cantVectorise :: String -> SDoc -> aSource
maybeCantVectorise :: String -> SDoc -> Maybe a -> aSource
maybeCantVectoriseM :: Monad m => String -> SDoc -> m (Maybe a) -> m aSource
liftDs :: DsM a -> VM aSource
cloneName :: (OccName -> OccName) -> Name -> VM NameSource
cloneId :: (OccName -> OccName) -> Id -> Type -> VM IdSource
cloneVar :: Var -> VM VarSource
newExportedVar :: OccName -> Type -> VM VarSource
newLocalVar :: FastString -> Type -> VM VarSource
newLocalVars :: FastString -> [Type] -> VM [Var]Source
newDummyVar :: Type -> VM VarSource
newTyVar :: FastString -> Kind -> VM VarSource
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 -> TyConSource
prodTyCon :: Int -> Builtins -> TyConSource
prodDataCon :: Int -> Builtins -> DataConSource
selTy :: Int -> Builtins -> TypeSource
selReplicate :: Int -> Builtins -> CoreExprSource
selPick :: Int -> Builtins -> CoreExprSource
selElements :: Int -> Int -> Builtins -> CoreExprSource
combinePDVar :: Int -> Builtins -> VarSource
scalarZip :: Int -> Builtins -> VarSource
closureCtrFun :: Int -> Builtins -> VarSource
builtin :: (Builtins -> a) -> VM aSource
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 -> GlobalEnvSource
readGEnv :: (GlobalEnv -> a) -> VM aSource
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 aSource
setLEnv :: LocalEnv -> VM ()Source
updLEnv :: (LocalEnv -> LocalEnv) -> VM ()Source
getBindName :: VM FastStringSource
inBind :: Id -> VM a -> VM aSource
lookupVar :: Var -> VM (Scope Var (Var, Var))Source
defGlobalVar :: Var -> Var -> VM ()Source
globalScalars :: VM VarSetSource
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