[Haskell-cafe] Parsec monad transformer with IO?

Stephen Tetley stephen.tetley at gmail.com
Thu Mar 18 17:55:47 EDT 2010

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'


Reversing Haskell typechecker: converting from undefined to defined

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

More information about the Haskell-Cafe mailing list