| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Inferno.Infer.Pinned
Documentation
pinExpr :: (MonadError [TypeError SourcePos] m, Eq a) => Map (Scoped ModuleName) (Map Namespace (Pinned a)) -> Expr h SourcePos -> m (Expr (Pinned a) SourcePos) Source #
insertHardcodedModule :: ModuleName -> Map Namespace (Pinned a) -> Map (Scoped ModuleName) (Map Namespace (Pinned a)) -> Map (Scoped ModuleName) (Map Namespace (Pinned a)) Source #
insertBuiltinModule :: Map (Scoped ModuleName) (Map Namespace (Pinned a)) -> Map (Scoped ModuleName) (Map Namespace (Pinned a)) Source #
openModule :: ModuleName -> Map (Scoped ModuleName) (Map Namespace (Pinned a)) -> Map (Scoped ModuleName) (Map Namespace (Pinned a)) Source #