Generalize MonadIO to MonadBase

Brandon S. Allbery KF8NH allbery at
Wed Apr 21 02:34:58 EDT 2010

On Apr 20, 2010, at 17:45 , Evan Laforge wrote:
> I haven't really been following this discussion, but I use
> Identity-backed monads all the time.  Usually some combination of
> StateT, WriterT, ErrorT and ReaderT.
> Are there any "base" monads other than IO and Identity?

ST and STM, as I understand it.  All the others can be implemented as  
a transformer on top of Identity.

brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery at
system administrator [openafs,heimdal,too many hats] allbery at
electrical and computer engineering, carnegie mellon university    KF8NH

-------------- next part --------------
A non-text attachment was scrubbed...
Name: PGP.sig
Type: application/pgp-signature
Size: 195 bytes
Desc: This is a digitally signed message part
Url :

More information about the Libraries mailing list