Speaking of small functions

Donald Bruce Stewart dons at cse.unsw.edu.au
Sun Oct 29 00:47:13 EDT 2006

> I've found myself using this quite a bit, actually; I strongly support
> its addition to the Prelude or Control.Monad.
> /g
> On 10/28/06, Cale Gibbard <cgibbard at gmail.com> wrote:
> >Speaking of small functions, Kleisli composition should at least be in
> >Control.Monad. It's a simple thing, and not commonly explicitly used
> >at the moment, but rather important conceptually.
> >
> >(@@) :: (Monad m) => (b -> m c) -> (a -> m b) -> (a -> m c)
> >g @@ f = \x -> f x >>= g

This does seem useful. However, the only way to make this actually
happen is to submit a patch following this process:


otherwise, we'll just be about which colour we prefer for the bikeshed.
  * darcs patch
  * haddock comments
  * trac entry

-- Don

More information about the Libraries mailing list