| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Documentation | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
data Scope a b | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
data VM a | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
noV :: VM a | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
traceNoV :: String -> SDoc -> VM a | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ensureV :: Bool -> VM () | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
traceEnsureV :: String -> SDoc -> Bool -> VM () | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
tryV :: VM a -> VM (Maybe a) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
maybeV :: VM (Maybe a) -> VM a | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
traceMaybeV :: String -> SDoc -> VM (Maybe a) -> VM a | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
orElseV :: VM a -> VM a -> VM a | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
onlyIfV :: Bool -> VM a -> VM a | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
fixV :: (a -> VM a) -> VM a | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
localV :: VM a -> VM a | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
closedV :: VM a -> VM a | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
initV :: PackageId -> HscEnv -> ModGuts -> VectInfo -> VM a -> IO (Maybe (VectInfo, a)) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
cantVectorise :: String -> SDoc -> a | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
maybeCantVectorise :: String -> SDoc -> Maybe a -> a | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
maybeCantVectoriseM :: Monad m => String -> SDoc -> m (Maybe a) -> m a | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
liftDs :: DsM a -> VM a | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
cloneName :: (OccName -> OccName) -> Name -> VM Name | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
cloneId :: (OccName -> OccName) -> Id -> Type -> VM Id | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
cloneVar :: Var -> VM Var | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
newExportedVar :: OccName -> Type -> VM Var | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
newLocalVar :: FastString -> Type -> VM Var | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
newLocalVars :: FastString -> [Type] -> VM [Var] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
newDummyVar :: Type -> VM Var | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
newTyVar :: FastString -> Kind -> VM Var | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
data Builtins | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
sumTyCon :: Int -> Builtins -> TyCon | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
prodTyCon :: Int -> Builtins -> TyCon | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
prodDataCon :: Int -> Builtins -> DataCon | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
selTy :: Int -> Builtins -> Type | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
selReplicate :: Int -> Builtins -> CoreExpr | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
selPick :: Int -> Builtins -> CoreExpr | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
selElements :: Int -> Int -> Builtins -> CoreExpr | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
combinePDVar :: Int -> Builtins -> Var | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
scalarZip :: Int -> Builtins -> Var | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
closureCtrFun :: Int -> Builtins -> Var | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
builtin :: (Builtins -> a) -> VM a | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
builtins :: (a -> Builtins -> b) -> VM (a -> b) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
data GlobalEnv | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
setFamInstEnv :: FamInstEnv -> GlobalEnv -> GlobalEnv | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
readGEnv :: (GlobalEnv -> a) -> VM a | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
setGEnv :: GlobalEnv -> VM () | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
updGEnv :: (GlobalEnv -> GlobalEnv) -> VM () | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
data LocalEnv | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
readLEnv :: (LocalEnv -> a) -> VM a | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
setLEnv :: LocalEnv -> VM () | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
updLEnv :: (LocalEnv -> LocalEnv) -> VM () | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
getBindName :: VM FastString | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
inBind :: Id -> VM a -> VM a | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
lookupVar :: Var -> VM (Scope Var (Var, Var)) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
defGlobalVar :: Var -> Var -> VM () | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
globalScalars :: VM VarSet | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
lookupTyCon :: TyCon -> VM (Maybe TyCon) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
defTyCon :: TyCon -> TyCon -> VM () | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
lookupDataCon :: DataCon -> VM (Maybe DataCon) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
defDataCon :: DataCon -> DataCon -> VM () | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
lookupTyConPA :: TyCon -> VM (Maybe Var) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
defTyConPA :: TyCon -> Var -> VM () | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
defTyConPAs :: [(TyCon, Var)] -> VM () | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
lookupTyConPR :: TyCon -> VM (Maybe Var) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
lookupBoxedTyCon :: TyCon -> VM (Maybe TyCon) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
lookupPrimMethod :: TyCon -> String -> VM (Maybe Var) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
lookupPrimPArray :: TyCon -> VM (Maybe TyCon) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
lookupTyVarPA :: Var -> VM (Maybe CoreExpr) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
defLocalTyVar :: TyVar -> VM () | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
defLocalTyVarWithPA :: TyVar -> CoreExpr -> VM () | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
localTyVars :: VM [TyVar] | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
lookupInst :: Class -> [Type] -> VM (DFunId, [Type]) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
lookupFamInst :: TyCon -> [Type] -> VM (TyCon, [Type]) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Produced by Haddock version 2.6.0 |