RE: Type of Control.Monad.Writer.listens

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 | | Hi. | | Is this an appropriate place to report library bugs, or should I post | to the various <implementation>-bugs lists instead? | | According to | http://www.haskell.org/ghc/docs/latest/html/base/Control.Monad.Writer.ht ml | | listens :: (MonadWriter w m) => (w -> w) -> m a -> m (a, w) | | but the inferred type is more general (and more useful) | | listens :: (MonadWriter w m) => (w -> b) -> m a -> m (a, b) | | Regards, | Tom | | _______________________________________________ | Libraries mailing list | Libraries@haskell.org | http://www.haskell.org/mailman/listinfo/libraries
participants (1)
-
Simon Peyton-Jones