
29 Oct
2006
29 Oct
'06
12:33 a.m.
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
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@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.