| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Inferno.Module.Prelude
Documentation
type ModuleMap m c = Map ModuleName (PinnedModule (ImplEnvM m c (TermEnv VCObjectHash c (ImplEnvM m c)))) Source #
baseOpsTable :: forall m c. (MonadError EvalError m, Pretty c, Eq c) => ModuleMap m c -> OpsTable Source #
builtinModulesOpsTable :: forall m c. (MonadError EvalError m, Pretty c, Eq c) => ModuleMap m c -> Map ModuleName OpsTable Source #
builtinModulesPinMap :: forall m c. (MonadError EvalError m, Pretty c, Eq c) => ModuleMap m c -> Map (Scoped ModuleName) (Map Namespace (Pinned VCObjectHash)) Source #
builtinModulesTerms :: forall m c. (MonadError EvalError m, Pretty c, Eq c) => ModuleMap m c -> ImplEnvM m c (TermEnv VCObjectHash c (ImplEnvM m c)) Source #
preludeNameToTypeMap :: forall m c. (MonadError EvalError m, Pretty c, Eq c) => ModuleMap m c -> Map (Maybe ModuleName, Namespace) (TypeMetadata TCScheme) Source #
builtinModules :: (MonadError EvalError m, Pretty c, Eq c) => ModuleMap m c Source #