Hello Chris,
Saturday, August 12, 2006, 4:05:44 AM, you wrote:
Nine Base Monads:
IO STM ST ST.Lazy GenParser [] Maybe Either (-)
Seven MonadTrans:
ListT ContT ErrorT ReaderT StateT WriterT RWST
i'm not sure, but isn't Id monad also required for completeness?
at least it's included
Bulat Ziganshin wrote:
Hello Chris,
Saturday, August 12, 2006, 4:05:44 AM, you wrote:
Nine Base Monads:
IO STM ST ST.Lazy GenParser [] Maybe Either (-)
Seven MonadTrans:
ListT ContT ErrorT ReaderT StateT WriterT RWST
i'm not sure, but isn't Id monad also required for completeness?
Hi
I'm trying to understand Monad Transformers. The code below works as
expected but I have the following questions:
- why can I use liftIO but not lift in the doSomething function?
- why is there no liftSTM function?
now to the code:
module Main where
import Control.Monad.Reader
import
2006/8/11, Stefan Aeschbacher [EMAIL PROTECTED]:
HiI'm trying to understand Monad Transformers. The code below works asexpected but I have the following questions: - why can I use liftIO but not lift in the doSomething function?I will first try to explain why it is not possible to use lift.
Short
I will try any make a simpler explanation:
Hi
I'm trying to understand Monad Transformers. The code below works as
expected but I have the following questions:
- why can I use liftIO but not lift in the doSomething function?
Replacing liftIO with (lift . lift) does work:
doSomething :: MyM
I put a more comprehensive MonadBase module on the wiki at:
http://haskell.org/haskellwiki/NewMonads
Nine Base Monads:
IO STM ST ST.Lazy GenParser [] Maybe Either (-)
Seven MonadTrans:
ListT ContT ErrorT ReaderT StateT WriterT RWST
___