@@ -17,20 +17,20 @@ module ComputationExpressions =
1717 member inline x.BindReturn ( value : aval < 'T1 >, mapping : 'T1 -> 'T2 ) =
1818 AVal.map mapping value
1919
20- member inline x.Bind2Return ( v1 : aval < 'T1 >, v2 : aval < 'T2 >, mapping : 'T1 -> 'T2 -> 'T3 ) =
21- AVal.map2 mapping v1 v2
20+ member inline x.Bind2Return ( v1 : aval < 'T1 >, v2 : aval < 'T2 >, mapping : 'T1 * 'T2 -> 'T3 ) =
21+ AVal.map2 ( fun a b -> mapping( a , b )) v1 v2
2222
23- member inline x.Bind3Return ( v1 : aval < 'T1 >, v2 : aval < 'T2 >, v3 : aval < 'T3 >, mapping : 'T1 -> 'T2 -> 'T3 -> 'T4 ) =
24- AVal.map3 mapping v1 v2 v3
23+ member inline x.Bind3Return ( v1 : aval < 'T1 >, v2 : aval < 'T2 >, v3 : aval < 'T3 >, mapping : 'T1 * 'T2 * 'T3 -> 'T4 ) =
24+ AVal.map3 ( fun a b c -> mapping( a , b , c )) v1 v2 v3
2525
2626 member inline x.Bind ( value : aval < 'T1 >, mapping : 'T1 -> aval < 'T2 >) =
2727 AVal.bind mapping value
2828
29- member inline x.Bind2 ( v1 : aval < 'T1 >, v2 : aval < 'T2 >, mapping : 'T1 -> 'T2 -> aval < 'T3 >) =
30- AVal.bind2 mapping v1 v2
29+ member inline x.Bind2 ( v1 : aval < 'T1 >, v2 : aval < 'T2 >, mapping : 'T1 * 'T2 -> aval < 'T3 >) =
30+ AVal.bind2 ( fun a b -> mapping( a , b )) v1 v2
3131
32- member inline x.Bind3 ( v1 : aval < 'T1 >, v2 : aval < 'T2 >, v3 : aval < 'T3 >, mapping : 'T1 -> 'T2 -> 'T3 -> aval < 'T4 >) =
33- AVal.bind3 mapping v1 v2 v3
32+ member inline x.Bind3 ( v1 : aval < 'T1 >, v2 : aval < 'T2 >, v3 : aval < 'T3 >, mapping : 'T1 * 'T2 * 'T3 -> aval < 'T4 >) =
33+ AVal.bind3 ( fun a b c -> mapping( a , b , c )) v1 v2 v3
3434
3535 member inline x.Return ( value : 'T ) =
3636 AVal.constant value
0 commit comments