Re: [Haskell-cafe] need help with monad transformers

2012-03-01 Thread Dmitry Olshansky
If I'm running register outside runWriterT everything will work. Maybe just lift $ register $ print freed2 or I didn't catch something? 2012/3/1 Alexander V Vershilov alexander.vershi...@gmail.com Hello. I'm trying to add monad stack into network-conduit, and everything works except

Re: [Haskell-cafe] need help with monad transformers

2012-03-01 Thread Alexander V Vershilov
It will not work due: gistfile1.hs:29:36: Could not deduce (m ~ ResourceT m0) from the context (Base m ~ IO, MonadReader SInit m, MonadIO m, IsSource src, Resource m) bound by the type signature

Re: [Haskell-cafe] need help with monad transformers

2012-03-01 Thread Alexander V Vershilov
I've found a solution, I should not use lift for runWriterT, and should explicilty lift all computation of level I need, i.e. (lift.lift) for ask and lift for register. Thu, Mar 01, 2012 at 02:19:29PM +0400, Dmitry Olshansky wrote If I'm running register outside runWriterT everything will work.

Re: [Haskell-cafe] need help with monad transformers

2012-03-01 Thread Dmitry Olshansky
Did you try to use transformers instead of mtl? I am just in doubt about it in my work. I've found that Conduit use it. So you remove extra dependency. I hope that transformers have more readable messages (without FD) and you can control what is lift more clear. I have no experience although.

[Haskell-cafe] need help with monad transformers

2012-02-29 Thread Alexander V Vershilov
Hello. I'm trying to add monad stack into network-conduit, and everything works except some details [1]. I've run runReaderT $ runTCPServer (wrapper around runResourceT) and inside conduit I want to run writer to gather results of inner computation. In inner computation I want to use IO, data