Allow dependencies to be widen when using orLeft

gcanti · May 19, 2024 · 909c7c6 · 909c7c6
1 parent a94d4f8
commit 909c7c6
Show file tree

Hide file tree

Showing 8 changed files with 74 additions and 0 deletions.
diff --git a/docs/modules/ReaderEither.ts.md b/docs/modules/ReaderEither.ts.md
@@ -51,6 +51,7 @@ Added in v2.0.0
   - [orElse](#orelse)
   - [orElseW](#orelsew)
   - [orLeft](#orleft)
+  - [orLeftW](#orleftw)
   - [tapError](#taperror)
 - [filtering](#filtering)
   - [filterOrElse](#filterorelse)
@@ -652,6 +653,18 @@ export declare const orLeft: <E1, R, E2>(
 
 Added in v2.11.0
 
+## orLeftW
+
+**Signature**
+
+```ts
+export declare const orLeftW: <E1, R2, E2>(
+  onLeft: (e: E1) => R.Reader<R2, E2>
+) => <R1, A>(fa: ReaderEither<R1, E1, A>) => ReaderEither<R1 & R2, E2, A>
+```
+
+Added in v2.16.6
+
 ## tapError
 
 Returns an effect that effectfully "peeks" at the failure of this effect.

diff --git a/docs/modules/ReaderTaskEither.ts.md b/docs/modules/ReaderTaskEither.ts.md
@@ -71,6 +71,7 @@ Added in v2.0.0
   - [orElse](#orelse)
   - [orElseW](#orelsew)
   - [orLeft](#orleft)
+  - [orLeftW](#orleftw)
   - [tapError](#taperror)
 - [filtering](#filtering)
   - [filterOrElse](#filterorelse)
@@ -1038,6 +1039,18 @@ export declare const orLeft: <E1, R, E2>(
 
 Added in v2.11.0
 
+## orLeftW
+
+**Signature**
+
+```ts
+export declare const orLeftW: <E1, R2, E2>(
+  onLeft: (e: E1) => RT.ReaderTask<R2, E2>
+) => <R1, A>(fa: ReaderTaskEither<R1, E1, A>) => ReaderTaskEither<R1 & R2, E2, A>
+```
+
+Added in v2.16.6
+
 ## tapError
 
 Returns an effect that effectfully "peeks" at the failure of this effect.

diff --git a/dtslint/ts3.5/ReaderEither.ts b/dtslint/ts3.5/ReaderEither.ts
@@ -63,6 +63,16 @@ pipe(
   _.orLeft((a) => R.of(a.length))
 )
 
+//
+// orLeftW
+//
+
+// $ExpectType ReaderEither<{ a: string; } & { b: string; }, number, never>
+pipe(
+  _.left<{ a: string }, string, never>('a'),
+  _.orLeftW((a) => R.of<{ b: string }, number>(a.length))
+)
+
 //
 // chainW
 //

diff --git a/dtslint/ts3.5/ReaderTaskEither.ts b/dtslint/ts3.5/ReaderTaskEither.ts
@@ -80,6 +80,16 @@ pipe(
   _.orLeft((a) => RT.of(a.length))
 )
 
+//
+// orLeftW
+//
+
+// $ExpectType ReaderTaskEither<{ a: string; } & { b: string; }, number, never>
+pipe(
+  _.left<{ a: string }, string, never>('a'),
+  _.orLeftW((a) => RT.of<{ b: string }, number>(a.length))
+)
+
 //
 // chainW
 //

diff --git a/src/ReaderEither.ts b/src/ReaderEither.ts
@@ -279,6 +279,14 @@ export const orLeft: <E1, R, E2>(
   onLeft: (e: E1) => Reader<R, E2>
 ) => <A>(fa: ReaderEither<R, E1, A>) => ReaderEither<R, E2, A> = /*#__PURE__*/ ET.orLeft(R.Monad)
 
+/**
+ * @category error handling
+ * @since 2.16.6
+ */
+export const orLeftW: <E1, R2, E2>(
+  onLeft: (e: E1) => Reader<R2, E2>
+) => <R1, A>(fa: ReaderEither<R1, E1, A>) => ReaderEither<R1 & R2, E2, A> = orLeft as any
+
 /**
  * @since 2.0.0
  */

diff --git a/src/ReaderTaskEither.ts b/src/ReaderTaskEither.ts
@@ -431,6 +431,14 @@ export const orLeft: <E1, R, E2>(
   onLeft: (e: E1) => ReaderTask<R, E2>
 ) => <A>(fa: ReaderTaskEither<R, E1, A>) => ReaderTaskEither<R, E2, A> = /*#__PURE__*/ ET.orLeft(RT.Monad)
 
+/**
+ * @category error handling
+ * @since 2.16.6
+ */
+export const orLeftW: <E1, R2, E2>(
+  onLeft: (e: E1) => ReaderTask<R2, E2>
+) => <R1, A>(fa: ReaderTaskEither<R1, E1, A>) => ReaderTaskEither<R1 & R2, E2, A> = orLeft as any
+
 /**
  * @since 2.0.0
  */

diff --git a/test/ReaderEither.ts b/test/ReaderEither.ts
@@ -211,6 +211,12 @@ describe.concurrent('ReaderEither', () => {
     U.deepStrictEqual(pipe(_.left('a'), f)({}), E.left('a!'))
   })
 
+  it('orLeftW', () => {
+    const f = _.orLeftW((s: string) => R.of(s + '!'))
+    U.deepStrictEqual(pipe(_.right(1), f)({}), E.right(1))
+    U.deepStrictEqual(pipe(_.left('a'), f)({}), E.left('a!'))
+  })
+
   describe.concurrent('getSemigroup', () => {
     it('concat', () => {
       const S = _.getSemigroup(N.SemigroupSum)

diff --git a/test/ReaderTaskEither.ts b/test/ReaderTaskEither.ts
@@ -346,6 +346,12 @@ describe.concurrent('ReaderTaskEither', () => {
     U.deepStrictEqual(await pipe(_.left('a'), f)({})(), E.left('a!'))
   })
 
+  it('orLeftW', async () => {
+    const f = _.orLeftW((s: string) => RT.of(s + '!'))
+    U.deepStrictEqual(await pipe(_.right(1), f)({})(), E.right(1))
+    U.deepStrictEqual(await pipe(_.left('a'), f)({})(), E.left('a!'))
+  })
+
   describe.concurrent('MonadIO', () => {
     it('fromIO', async () => {
       U.deepStrictEqual(await _.fromIO(() => 1)({})(), E.right(1))