Re: [Haskell-cafe] Using MonadError within other Monads

2005-12-19 Thread Andrew Pimlott
On Mon, Dec 19, 2005 at 10:21:36PM +1300, Karl Grapone wrote: > I still find monadic signatures a little confusing, I believe ghci > was, at some point, deriving types for f or g that had MonadError in > place of Either String, so I'll have to think carefully about why it > is so different from the

Re: [Haskell-cafe] Using MonadError within other Monads

2005-12-19 Thread Karl Grapone
On 12/19/05, Andrew Pimlott <[EMAIL PROTECTED]> wrote: > [It is best to post questions only to haskell-cafe.] Roger. > > On Mon, Dec 19, 2005 at 03:53:53PM +1300, Karl Grapone wrote: > > I'm having trouble making use of MonadError within another Monad, in > > this case IO. snip > Looking at the s

Re: [Haskell-cafe] Using MonadError within other Monads

2005-12-18 Thread Andrew Pimlott
[It is best to post questions only to haskell-cafe.] On Mon, Dec 19, 2005 at 03:53:53PM +1300, Karl Grapone wrote: > I'm having trouble making use of MonadError within another Monad, in > this case IO. > I've blundered around for a while, trying various combinations of > things, but I don't think

[Haskell-cafe] Using MonadError within other Monads

2005-12-18 Thread Karl Grapone
Hi, I'm having trouble making use of MonadError within another Monad, in this case IO. I've blundered around for a while, trying various combinations of things, but I don't think I've fully cottoned-on to nesting of monads. Following is some code which does not compile, but hopefully shows you wh