summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
75ea0fa)
Generalise the type of listens slightly; a suggestion from Tom Pledger
listen :: m a -> m (a, w)
pass :: m (a, w -> w) -> m a
listen :: m a -> m (a, w)
pass :: m (a, w -> w) -> m a
-listens :: (MonadWriter w m) => (w -> w) -> m a -> m (a, w)
+listens :: (MonadWriter w m) => (w -> b) -> m a -> m (a, b)
listens f m = do
(a, w) <- listen m
return (a, f w)
listens f m = do
(a, w) <- listen m
return (a, f w)