guess-combinator-0.1.1: Generate simple combinators given their type

Safe HaskellSafe-Infered

Guess.Combinator

Description

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.orgpipermailhaskell2005-March015423.html

Synopsis

Documentation

combinator :: GuessCombinator t HNil => tSource

Guess a combinator given its type

Example: 

>>> let f = combinator :: (b -> c) -> (a -> b) -> a -> c
>>> f (:[]) ((,) True) 10
[(True, 10)]