Ambiguate keyValuePair

fsprojects · Nov 25, 2023 · 25baab4 · 25baab4
1 parent ee0f250
commit 25baab4
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/src/FSharpPlus/Control/Applicative.fs b/src/FSharpPlus/Control/Applicative.fs
@@ -37,6 +37,12 @@ type Apply =
     static member        ``<*>`` ((f: Result<_,'E>     , x: Result<'T,'E>        , _output: Result<'b,'E>       ) , [<Optional>]_mthd: Apply) = Result.apply f x : Result<'U,'E>
     static member        ``<*>`` ((f: Choice<_,'E>     , x: Choice<'T,'E>        , _output: Choice<'b,'E>       ) , [<Optional>]_mthd: Apply) = Choice.apply f x : Choice<'U,'E>
     static member inline ``<*>`` ((KeyValue(a: 'Key, f), KeyValue(b: 'Key, x: 'T), _output: KeyValuePair<'Key,'U>), [<Optional>]_mthd: Apply) : KeyValuePair<'Key,'U> = KeyValuePair (Plus.Invoke a b, f x)
+    static member inline ``<*>`` ((f: KeyValuePair2<'Key, _>, x: KeyValuePair2<'Key, 'T>, _output: KeyValuePair2<'Key,'U>), [<Optional>]_mthd: Apply) : KeyValuePair2<'Key,'U> =
+        let a = f.Key
+        let b = x.Key
+        let f = f.Value
+        let x = x.Value
+        KeyValuePair2 (Plus.Invoke a b, f x)
 
     static member        ``<*>`` ((f: Map<'Key,_>      , x: Map<'Key,'T>         , _output: Map<'Key,'U>        ) , [<Optional>]_mthd: Apply) : Map<'Key,'U> = Map (seq {
        for KeyValue(k, vf) in f do

diff --git a/src/FSharpPlus/Internals.fs b/src/FSharpPlus/Internals.fs
@@ -125,6 +125,12 @@ type Either<'t,'u> =
 
 type DmStruct = struct end
 
+type KeyValuePair2<'TKey, 'TValue> = struct
+    val Key : 'TKey
+    val Value : 'TValue
+    new (key, value) = { Key = key; Value = value }
+end
+
 [<Sealed>]
 type Set2<'T when 'T: comparison >() = class end