cryptol-2.6.0: Cryptol: The Language of Cryptography
| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Cryptol.Transform.AddModParams
Description
Transformed a parametrized module into an ordinary module where everything is parameterized by the module's parameters. Note that this reuses the names from the original parameterized module.
You can find any exported type, constructor, class, function or pattern defined in this package by (approximate) name.
| Key | Shortcut |
|---|---|
| s | Open this search box |
| esc | Close this search box |
| ↓,ctrl + j | Move down in search results |
| ↑,ctrl + k | Move up in search results |
| ↵ | Go to active search result |