[Haskell-cafe] Parsec monad transformer with IO?

Andrew Coppin andrewcoppin at btinternet.com
Thu Mar 18 18:01:17 EDT 2010


Stephen Tetley wrote:
> 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
>   

Thank you. :-)

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



More information about the Haskell-Cafe mailing list