Skip to content

Commit 79d1052

Browse files
gustywallymathieu
authored andcommitted
Name internal type parameter
1 parent 35e12a1 commit 79d1052

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

src/FSharpPlus/Operators.fs

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -157,13 +157,15 @@ module Operators =
157157
/// To be used in pipe-forward style expressions
158158
/// </summary>
159159
/// <category index="1">Functor</category>
160-
let inline (|>>>) (x: '``Functor1<Functor2<'T>>``) (f: 'T -> 'U) : '``Functor1<Functor2<'U>>`` = (Map.Invoke >> Map.Invoke) f x
160+
let inline (|>>>) (x: '``Functor1<Functor2<'T>>``) (f: 'T -> 'U) : '``Functor1<Functor2<'U>>`` =
161+
(Map.Invoke >> (Map.Invoke: ('``Functor2<'T>`` -> '``Functor2<'U>``) -> _)) f x
161162

162163
/// <summary>
163164
/// Lifts a function into two Functors.
164165
/// </summary>
165166
/// <category index="1">Functor</category>
166-
let inline (<<<|) (f: 'T -> 'U) (x: '``Functor1<Functor2<'T>>``) : '``Functor1<Functor2<'U>`` = (Map.Invoke >> Map.Invoke) f x
167+
let inline (<<<|) (f: 'T -> 'U) (x: '``Functor1<Functor2<'T>>``) : '``Functor1<Functor2<'U>`` =
168+
(Map.Invoke >> (Map.Invoke: ('``Functor2<'T>`` -> '``Functor2<'U>``) -> _)) f x
167169

168170
/// <summary>
169171
/// Like map but ignoring the results.

0 commit comments

Comments
 (0)