Generalize MonadIO to MonadBase
Bas van Dijk
v.dijk.bas at gmail.com
Tue Apr 20 16:53:40 EDT 2010
On Tue, Apr 20, 2010 at 7:26 PM, John Lato <jwlato at gmail.com> wrote:
> I personally wouldn't find this particularly useful. Nearly all of my
> monadic programming (i.e. everything that comes to mind) uses one of
> three types of monads:
> 1. IO
> 2. ST
(In my case I will also add Maybe and STM).
> 3. Monad transformers stacked on IO
> Lifting functions are only useful in the third case, and then I only
> need "lift" and "liftIO". I do like the idea and I'm not opposed to
> the suggestion, I just don't see a use for it myself.
To be honest I also never used a stack of monad transformers that had
another base monad than IO. So I also don't see myself using it.
However I can imagine other people will use it or are already using it
(users of MonadLib for example) and I'm interested in their use-cases
More information about the Libraries