New monads
From HaskellWiki
(Difference between revisions)
m (→MonadBase) |
m (→MonadBase) |
||
| Line 3: | Line 3: | ||
== MonadBase == | == MonadBase == | ||
| - | It seems that the liftIO function from MonadIO can be generalized to access whatever the base of a transformer stack happens to be. So there is no need for a liftSTM, liftST, etc. | + | It seems that the liftIO function from MonadIO can be generalized to access whatever the base of a transformer stack happens to be. So there is no need for a liftSTM, liftST, etc. |
| + | |||
| + | View [[MonadBase]]. | ||
== MonadLib == | == MonadLib == | ||
Revision as of 17:11, 24 August 2006
Contents |
1 MonadBase
It seems that the liftIO function from MonadIO can be generalized to access whatever the base of a transformer stack happens to be. So there is no need for a liftSTM, liftST, etc.
View MonadBase.
2 MonadLib
This is by Iavor S. Diatchki and can be found at http://www.cse.ogi.edu/~diatchki/monadLib/
It is a new version of the mtl package with transformers: ReaderT WriterT StateT ExceptT SearchT ContT
It also defines BaseM which is like MonadBase above.
