From 3eaa3c880ae8ca69279049758ff10318c6c39721 Mon Sep 17 00:00:00 2001
From: Gustavo Leon <1261319+gusty@users.noreply.github.com>
Date: Thu, 25 Jan 2024 20:26:30 +0100
Subject: [PATCH] + "Deep map" pipe operators

---
 src/FSharpPlus/Operators.fs | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/src/FSharpPlus/Operators.fs b/src/FSharpPlus/Operators.fs
index 81a099789..b55e6ae99 100644
--- 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>