You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: src/FSharpPlus/Control/Applicative.fs
+5-7Lines changed: 5 additions & 7 deletions
Original file line number
Diff line number
Diff line change
@@ -37,11 +37,9 @@ type Apply =
37
37
static member ``<*>`` (struct(f:Result<_,'E>,x:Result<'T,'E>),_output:Result<'b,'E>,[<Optional>]_mthd:Apply)= Result.apply f x : Result<'U,'E>
38
38
static member ``<*>`` (struct(f:Choice<_,'E>,x:Choice<'T,'E>),_output:Choice<'b,'E>,[<Optional>]_mthd:Apply)= Choice.apply f x : Choice<'U,'E>
39
39
static member inline ``<*>`` (struct(KeyValue(a:'Key,f),KeyValue(b:'Key,x:'T)),_output:KeyValuePair<'Key,'U>,[<Optional>]_mthd:Default3):KeyValuePair<'Key,'U>= KeyValuePair (Plus.Invoke a b, f x)
40
-
static member inline ``<*>`` (struct(f:KeyValuePair2<'Key,_>,x:KeyValuePair2<'Key,'T>),_output:KeyValuePair2<'Key,'U>,[<Optional>]_mthd:Default3):KeyValuePair2<'Key,'U>=
41
-
leta= f.Key
42
-
letb= x.Key
43
-
letf= f.Value
44
-
letx= x.Value
40
+
static member inline ``<*>`` (struct(f:KeyValuePair2<_,_>,x:KeyValuePair2<_,'T>),_output:KeyValuePair2<_,'U>,[<Optional>]_mthd:Default3):KeyValuePair2<'Key,'U>=
41
+
leta,b = f.Key, x.Key
42
+
letf,x = f.Value, x.Value
45
43
KeyValuePair2 (Plus.Invoke a b, f x)
46
44
47
45
static member ``<*>`` (struct(f:Map<'Key,_>,x:Map<'Key,'T>),_output:Map<'Key,'U>,[<Optional>]_mthd:Apply):Map<'Key,'U>= Map (seq{
@@ -65,7 +63,7 @@ type Apply =
65
63
|true, vx -> dct.Add (k, vf vx)
66
64
|_->()
67
65
dct :> IDictionary<'Key,'U>
68
-
66
+
69
67
static member ``<*>`` (struct(f:IReadOnlyDictionary<'Key,_>,x:IReadOnlyDictionary<'Key,'T>),_output:IReadOnlyDictionary<'Key,'U>,[<Optional>]_mthd:Apply):IReadOnlyDictionary<'Key,'U>=
70
68
letdct= Dictionary ()
71
69
for KeyValue(k, vf)in f do
@@ -78,7 +76,7 @@ type Apply =
78
76
static member ``<*>`` (struct(f:Expr<'T->'U>,x:Expr<'T>),_output:Expr<'U>,[<Optional>]_mthd:Apply)= Expr.Cast<'U>(Expr.Application (f, x))
79
77
#endif
80
78
static member ``<*>`` (struct(f:('T->'U) ResizeArray,x:'T ResizeArray),_output:'U ResizeArray,[<Optional>]_mthd:Apply)= ResizeArray.apply f x : 'U ResizeArray
81
-
79
+
82
80
static member inlineInvoke(f:'``Applicative<'T->'U>``)(x:'``Applicative<'T>``):'``Applicative<'U>`` =
83
81
let inlinecall(mthd :^M,input1:^I1,input2:^I2,output:^R)=
84
82
((^Mor^I1or^I2or^R):(static member ``<*>`` :struct (_*_)* _ * _ -> _)(struct(input1,input2)),output,mthd)
0 commit comments