
13 Nov
2006
13 Nov
'06
7:54 a.m.
dons:
http://hackage.haskell.org/trac/ghc/ticket/997
Add Kleisli composition to Control.Monad.
Kleisli composition of monads is a foundational feature missing from the current Control.Monad library. A recent discussion revealed solid support for its inclusion.
This patch adds:
(>=>) :: (Monad m) => (a -> m b) -> (b -> m c) -> (a -> m c) (<=<) :: (Monad m) => (b -> m c) -> (a -> m b) -> (a -> m c)
Does anyone have an opinion about these guys? :) -- Don