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.
> 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
More information about the Libraries