Comments on: Wrapping IO, part 1

By: Magnus

Magnus — Tue, 08 Sep 2009 20:56:31 +0000

Jean-Denis, cool, and good to know for the future, though it’s hardly good for understanding

Jean-Denis Koeck — Tue, 08 Sep 2009 16:38:35 +0000

You can derive the monad instance like this:

{-# LANGUAGE GeneralizedNewtypeDeriving #-}

newtype HideIO a = HideIO { runHideIO :: IO a }
    deriving(Monad)

sfvisser — Tue, 08 Sep 2009 07:01:39 +0000

Please check the ‘jail’ package on Hackage for another example of this kind of trickery.

therning.org/ magnus » Blog Archive » Wrapping IO, part 2 — Mon, 07 Sep 2009 22:17:16 +0000

[...] Incoherent mumblings « Wrapping IO, part 1 [...]