| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 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.7.2 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||