Re: [Haskell-cafe] Parsec monad transformer with IO?

Stephen Tetley wrote:

On 18 March 2010 21:34, Andrew Coppin 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

Thank you. :-) I had heard rumous that things like this exist somewhere, but it's almost impossible to Google for...