[Haskell-cafe] Inverting a Monad
Bas van Dijk
v.dijk.bas at gmail.com
Wed Feb 6 06:54:51 EST 2008
On Feb 6, 2008 12:50 PM, Miguel Mitrofanov <miguelimo38 at yandex.ru> wrote:
> class Monad m => MonadInv m where inv :: m a -> m ()
> With this constraint you certainly can have your "inv".
Yes indeed. But I was kind of hoping that I could use standard Haskell
classes without adding my own.
(BTW I would like to know of other possible applications of 'inv'
besides my parser. So yell if you find one please)
More information about the Haskell-Cafe