Vectorise.Builtins.Initialise
Contents
- initBuiltins :: PackageId -> DsM Builtins
- initBuiltinVars :: Builtins -> DsM [(Var, Var)]
- initBuiltinTyCons :: Builtins -> DsM [(Name, TyCon)]
- initBuiltinDataCons :: Builtins -> [(Name, DataCon)]
- initBuiltinPAs :: Builtins -> (InstEnv, InstEnv) -> DsM [(Name, Var)]
- initBuiltinPRs :: Builtins -> (InstEnv, InstEnv) -> DsM [(Name, Var)]
- initBuiltinBoxedTyCons :: Builtins -> DsM [(Name, TyCon)]
Initialisation
Create the initial map of builtin types and functions.
initBuiltinVars :: Builtins -> DsM [(Var, Var)]Source
Get the mapping of names in the Prelude to names in the DPH library.
initBuiltinTyCons :: Builtins -> DsM [(Name, TyCon)]Source
Get a list of names to TyCons in the mock prelude.
initBuiltinDataCons :: Builtins -> [(Name, DataCon)]Source
Get a list of names to DataCons in the mock prelude.
initBuiltinPAs :: Builtins -> (InstEnv, InstEnv) -> DsM [(Name, Var)]Source
Get the names of all buildin instance functions for the PA class.