[Haskell-cafe] how do you deal with mplus?

[Daryoush Mehrtash]

Assuming A, B, C are monadic operation.   How do you read the following
function:

    do
        A 'mplus'  B
        C

I expect this to translate to:

(A 'mplus' B) >>= C


Can I then say it is equivalent to:

  (A >>=C)  mplus (B >>=C)


Thanks,

Daryoush

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe