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
It is myself I have never met, whose face is pasted on the underside of my mind.
More information about the Libraries