+ "Deep map" pipe operators

fsprojects · Jan 25, 2024 · 3eaa3c8 · 3eaa3c8
1 parent 88fd94c
commit 3eaa3c8
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/src/FSharpPlus/Operators.fs b/src/FSharpPlus/Operators.fs
@@ -143,6 +143,19 @@ module Operators =
     /// <category index="1">Functor</category>
     let inline (|>>) (x: '``Functor<'T>``) (f: 'T->'U) : '``Functor<'U>`` = Map.Invoke f x
 
+    /// <summary>
+    /// Lifts a function into two Functors.
+    /// To be used in pipe-forward style expressions
+    /// </summary>
+    /// <category index="1">Functor</category>
+    let inline (|>>>) (x: '``Functor1<Functor2<'T>>``) (f: 'T -> 'U) : '``Functor1<Functor2<'U>>`` = (Map.Invoke >> Map.Invoke) f x
+
+    /// <summary>
+    /// Lifts a function into two Functors.
+    /// </summary>
+    /// <category index="1">Functor</category>
+    let inline (<<<|) (f: 'T -> 'U) (x: '``Functor1<Functor2<'T>>``) : '``Functor1<Functor2<'U>`` = (Map.Invoke >> Map.Invoke) f x
+
     /// <summary>
     /// Like map but ignoring the results.
     /// </summary>