| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.Holes
Description
TIP solver for simply typed lambda calculus to automatically infer code from type definitions.
haskell-holes-th-2.0.0.0: Infer haskell code by given type.
| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.Holes
Description
TIP solver for simply typed lambda calculus to automatically infer code from type definitions.
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 |