Safe Haskell | Safe-Infered |
---|

Guess a value for a combinator

Based on De-typechecker: converting from a type to a term
by oleg at pobox.com
http:www.haskell.org*pipermail*haskell*2005-March*015423.html

- combinator :: GuessCombinator t HNil => t

# Documentation

combinator :: GuessCombinator t HNil => tSource

Guess a combinator given its type

Example:

`>>>`

`let f = combinator :: (b -> c) -> (a -> b) -> a -> c`

`>>>`

[(True, 10)]`f (:[]) ((,) True) 10`