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.

 /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
> _______________________________________________
> 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