| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Compiler.Treeless.EliminateLiteralPatterns
Description
Converts case matches on literals to if cascades with equality comparisons.
| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Compiler.Treeless.EliminateLiteralPatterns
Description
Converts case matches on literals to if cascades with equality comparisons.
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 |