| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Cryptol.ModuleSystem.InstantiateModule
Description
Assumes that local names do not shadow top level names.
Documentation
Arguments
| :: FreshM m | |
| => Module | Parametrized module |
| -> ModName | Name of the new module |
| -> Map TParam Type | Type params |
| -> Map Name Expr | Value parameters |
| -> m ([Located Prop], Module) | Instantiated constraints, fresh module, new supply |
Convert a module instantiation into a partial module. The resulting module is incomplete because it is missing the definitions from the instantiation.