[Haskell-cafe] Parsec monad transformer with IO?

[Stephen Tetley]

On 18 March 2010 21:34, Andrew Coppin <andrewcoppin at btinternet.com> wrote:

> Is there a tool anywhere which can figure out how to construct a function
> with a specific type signature? Hoogle works if the thing you seek is a
> single function, but not so much if you need to throw several functions
> together.
>


Hi Andrew

There is Lennart Augustsson's Djinn & Oleg Kiselyov's 'de-typechecker'


http://hackage.haskell.org/package/djinn

Reversing Haskell typechecker: converting from undefined to defined
http://okmij.org/ftp/Haskell/types.html

Clean has something similar to generate test functions for GAST -
Clean's equivalent to QuickCheck.