Proposal: Adding Kleisli composition to Control.Monad
Donald Bruce Stewart
dons at cse.unsw.edu.au
Mon Nov 13 07:54:41 EST 2006
> 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? :)
More information about the Libraries