[Haskell-cafe] Composing monads

Jonathan Cast jonathanccast at fastmail.fm
Thu Nov 22 13:22:02 EST 2007


On 22 Nov 2007, at 10:17 AM, Maurí cio wrote:

> Hi,
>
> If I have two computations a->IO b
> and b->IO c, can I join them to
> get an a->IO c computation? I imagine
> something like a liftM dot operator.

This is called Kleisli composition, by the way; it's defined as (>=>)  
in Control.Monad.

jcc



More information about the Haskell-Cafe mailing list