Safe Haskell | None |
---|---|
Language | Haskell98 |
- mAX_DPH_SCALAR_ARGS :: Int
- data Builtins = Builtins {
- parrayTyCon :: TyCon
- pdataTyCon :: TyCon
- pdatasTyCon :: TyCon
- prClass :: Class
- prTyCon :: TyCon
- preprTyCon :: TyCon
- paClass :: Class
- paTyCon :: TyCon
- paDataCon :: DataCon
- paPRSel :: Var
- replicatePDVar :: Var
- replicatePD_PrimVars :: NameEnv Var
- emptyPDVar :: Var
- emptyPD_PrimVars :: NameEnv Var
- packByTagPDVar :: Var
- packByTagPD_PrimVars :: NameEnv Var
- combinePDVars :: Array Int Var
- combinePD_PrimVarss :: Array Int (NameEnv Var)
- scalarClass :: Class
- scalarZips :: Array Int Var
- voidTyCon :: TyCon
- voidVar :: Var
- fromVoidVar :: Var
- sumTyCons :: Array Int TyCon
- wrapTyCon :: TyCon
- pvoidVar :: Var
- pvoidsVar :: Var
- closureTyCon :: TyCon
- closureVar :: Var
- liftedClosureVar :: Var
- applyVar :: Var
- liftedApplyVar :: Var
- closureCtrFuns :: Array Int Var
- selTys :: Array Int Type
- selsTys :: Array Int Type
- selsLengths :: Array Int CoreExpr
- selReplicates :: Array Int CoreExpr
- selTagss :: Array Int CoreExpr
- selElementss :: Array (Int, Int) CoreExpr
- liftingContext :: Var
- selTy :: Int -> Builtins -> Type
- selsTy :: Int -> Builtins -> Type
- selReplicate :: Int -> Builtins -> CoreExpr
- selTags :: Int -> Builtins -> CoreExpr
- selElements :: Int -> Int -> Builtins -> CoreExpr
- selsLength :: Int -> Builtins -> CoreExpr
- sumTyCon :: Int -> Builtins -> TyCon
- prodTyCon :: Int -> Builtins -> TyCon
- prodDataCon :: Int -> Builtins -> DataCon
- replicatePD_PrimVar :: TyCon -> Builtins -> Var
- emptyPD_PrimVar :: TyCon -> Builtins -> Var
- packByTagPD_PrimVar :: TyCon -> Builtins -> Var
- combinePDVar :: Int -> Builtins -> Var
- combinePD_PrimVar :: Int -> TyCon -> Builtins -> Var
- scalarZip :: Int -> Builtins -> Var
- closureCtrFun :: Int -> Builtins -> Var
- initBuiltins :: DsM Builtins
- initBuiltinVars :: Builtins -> DsM [(Var, Var)]
Restrictions
Builtins
Holds the names of the types and functions from Prim
that are used by the
vectoriser.
Wrapped selectors
selReplicate :: Int -> Builtins -> CoreExprSource
selsLength :: Int -> Builtins -> CoreExprSource
prodDataCon :: Int -> Builtins -> DataConSource
replicatePD_PrimVar :: TyCon -> Builtins -> VarSource
emptyPD_PrimVar :: TyCon -> Builtins -> VarSource
packByTagPD_PrimVar :: TyCon -> Builtins -> VarSource
combinePDVar :: Int -> Builtins -> VarSource
closureCtrFun :: Int -> Builtins -> VarSource
Initialisation
initBuiltins :: DsM BuiltinsSource
Create the initial map of builtin types and functions.