[Haskell-cafe] Parsec monad transformer with IO?
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
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