Speaking of small functions

J. Garrett Morris trevion at gmail.com
Sun Oct 29 00:33:24 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
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://www.haskell.org/mailman/listinfo/libraries

It is myself I have never met, whose face is pasted on the underside of my mind.

More information about the Libraries mailing list