| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cryptol.TypeCheck.Module
Documentation
Arguments
| :: Located (ImpName Name) | Name for the new module |
| -> Located (ImpName Name) | Functor being instantiated |
| -> ModuleInstanceArgs Name | Instance arguments |
| -> Map Name Name | Instantitation. These is the renaming for the functor that arises from generativity (i.e., it is something that will make the names "fresh"). |
| -> NamingEnv | Names in the enclosing scope of the instantiated module |
| -> Maybe Text | Documentation for the module being generated |
| -> InferM (Maybe TCTopEntity) |