On Fri, Aug 8, 2014 at 7:51 PM, Nicola Gigante <nicola.gigante@gmail.com> wrote:
> Moreover, I see that peek and poke return IO a, so I
> can't pretend that the interface that I'm wrapping is pure,
> can I?

I believe that providing a pure interface to FFI functions was in fact
the reason unsafePerformIO was introduced. So if you know the function
you're wrapping is in fact pure, you can use it to provide a pure
Haskell interface to it.

Erik

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe