Type of Control.Monad.Writer.listens

[Simon Peyton-Jones]

No one has replied, so I propose to make this change.

Simon

| -----Original Message-----
| From: libraries-admin@haskell.org [mailto:libraries-admin@haskell.org]
On Behalf Of Tom Pledger
| Sent: 05 May 2003 21:48
| To: libraries@haskell.org
| Subject: Type of Control.Monad.Writer.listens
|=20
| Hi.
|=20
| Is this an appropriate place to report library bugs, or should I post
| to the various <implementation>-bugs lists instead?
|=20
| According to
|
http://www.haskell.org/ghc/docs/latest/html/base/Control.Monad.Writer.ht
ml
|=20
|     listens :: (MonadWriter w m) =3D> (w -> w) -> m a -> m (a, w)
|=20
| but the inferred type is more general (and more useful)
|=20
|     listens :: (MonadWriter w m) =3D> (w -> b) -> m a -> m (a, b)
|=20
| Regards,
| Tom
|=20
| _______________________________________________
| Libraries mailing list
| Libraries@haskell.org
| http://www.haskell.org/mailman/listinfo/libraries