Skip to content

Commit 1e2f488

Browse files
authored
Name internal type parameter
1 parent fdda2a7 commit 1e2f488

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
@@ -154,13 +154,15 @@ module Operators =
154154
/// To be used in pipe-forward style expressions
155155
/// </summary>
156156
/// <category index="1">Functor</category>
157-
let inline (|>>>) (x: '``Functor1<Functor2<'T>>``) (f: 'T -> 'U) : '``Functor1<Functor2<'U>>`` = (Map.Invoke >> Map.Invoke) f x
157+
let inline (|>>>) (x: '``Functor1<Functor2<'T>>``) (f: 'T -> 'U) : '``Functor1<Functor2<'U>>`` =
158+
(Map.Invoke >> (Map.Invoke: ('``Functor2<'T>`` -> '``Functor2<'U>``) -> _)) f x
158159

159160
/// <summary>
160161
/// Lifts a function into two Functors.
161162
/// </summary>
162163
/// <category index="1">Functor</category>
163-
let inline (<<<|) (f: 'T -> 'U) (x: '``Functor1<Functor2<'T>>``) : '``Functor1<Functor2<'U>`` = (Map.Invoke >> Map.Invoke) f x
164+
let inline (<<<|) (f: 'T -> 'U) (x: '``Functor1<Functor2<'T>>``) : '``Functor1<Functor2<'U>`` =
165+
(Map.Invoke >> (Map.Invoke: ('``Functor2<'T>`` -> '``Functor2<'U>``) -> _)) f x
164166

165167
/// <summary>
166168
/// Like map but ignoring the results.

0 commit comments

Comments
 (0)