Proposal: Adding Kleisli composition to Control.Monad
lemming at henning-thielemann.de
Mon Nov 13 08:50:51 EST 2006
On Mon, 13 Nov 2006, Malcolm Wallace wrote:
> dons at cse.unsw.edu.au (Donald Bruce Stewart) wrote:
> > > Add Kleisli composition to Control.Monad.
> > >
> > > (>=>) :: (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? :)
> No. :-) I've never used them, nor wanted to, so I have no opinion.
> I can see the nice compositional pattern they embody though.
Strange, the first time, I used them, was processing HTML data parsed by
More information about the Libraries