From 53929cea325049a28e12f6c896c92d174391c0bb Mon Sep 17 00:00:00 2001
From: DenisFrezzato <denis.frezzato@tutanota.com>
Date: Fri, 20 Aug 2021 08:13:41 +0200
Subject: [PATCH] Add chainFirstEitherK(W) in ReaderTaskEither module

---
 package.json             |  2 +-
 src/ReaderTaskEither.ts  | 18 ++++++++++++++++++
 test/ReaderTaskEither.ts |  5 +++++
 3 files changed, 24 insertions(+), 1 deletion(-)

diff --git a/package.json b/package.json
index 4120c7cae4..f23651128b 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "fp-ts",
-  "version": "2.11.5",
+  "version": "2.11.4",
   "description": "Functional programming in TypeScript",
   "main": "lib/index.js",
   "module": "es6/index.js",
diff --git a/src/ReaderTaskEither.ts b/src/ReaderTaskEither.ts
index dfa68bca6a..1158c1de03 100644
--- a/src/ReaderTaskEither.ts
+++ b/src/ReaderTaskEither.ts
@@ -1156,6 +1156,24 @@ export const chainEitherKW: <E2, A, B>(
   f: (a: A) => Either<E2, B>
 ) => <R, E1>(ma: ReaderTaskEither<R, E1, A>) => ReaderTaskEither<R, E1 | E2, B> = chainEitherK as any
 
+/**
+ * Less strict version of [`chainFirstEitherK`](#chainfirsteitherk).
+ *
+ * @category combinators
+ * @since 2.12.0
+ */
+export const chainFirstEitherKW: <E2, A, B>(
+  f: (a: A) => Either<E2, B>
+) => <R, E1>(ma: ReaderTaskEither<R, E1, A>) => ReaderTaskEither<R, E1 | E2, A> = (f) => chainFirstW(fromEitherK(f))
+
+/**
+ * @category combinators
+ * @since 2.12.0
+ */
+export const chainFirstEitherK: <E, A, B>(
+  f: (a: A) => Either<E, B>
+) => <R>(ma: ReaderTaskEither<R, E, A>) => ReaderTaskEither<R, E, A> = chainFirstEitherKW
+
 /**
  * @category constructors
  * @since 2.0.0
diff --git a/test/ReaderTaskEither.ts b/test/ReaderTaskEither.ts
index e9d94ee096..a4047727d6 100644
--- a/test/ReaderTaskEither.ts
+++ b/test/ReaderTaskEither.ts
@@ -420,6 +420,11 @@ describe('ReaderTaskEither', () => {
     U.deepStrictEqual(await pipe(_.right('a'), _.chainEitherK(f))(undefined)(), E.right(1))
   })
 
+  it('chainFirstEitherKW', async () => {
+    const f = (s: string) => E.right<string, number>(s.length)
+    U.deepStrictEqual(await pipe(_.right<{}, number, string>('a'), _.chainFirstEitherKW(f))({})(), E.right('a'))
+  })
+
   it('chainIOEitherK', async () => {
     const f = (s: string) => IE.right(s.length)
     U.deepStrictEqual(await pipe(_.right('a'), _.chainIOEitherK(f))(undefined)(), E.right(1))