[MLton-user] Extended Basis Library: Proposal for "swapped" bind

[Vesa Karvonen]

On 4/4/07, Geoffrey Alan Washburn <geoffw at cis.upenn.edu> wrote:
> This just introduces a new binary operation =<< which is the same as >>=
> but takes the arguments in the reverse order.  It might make sense to
> also update fixity definitions in public/export/infixes.sml to include
> this operator.

I agree.  Please add the fixity declaration (with same precendence, but
opposite associativity than >>=, I guess).

> +   fun op =<< x = ((op >>=) o Pair.swap) x

I'd remove the extra parentheses around op (parentheses are never
required around op X).  Otherwise looks good.

-Vesa Karvonen