Add orElseFirstIOK and orElseFirstTaskK

docs/modules/IOEither.ts.md

@@ -53,6 +53,7 @@ Added in v2.0.0
   - [fromOptionK](#fromoptionk)
   - [orElse](#orelse)
   - [orElseFirst](#orelsefirst)
+  - [orElseFirstIOK](#orelsefirstiok)
   - [orElseFirstW](#orelsefirstw)
   - [orElseW](#orelsew)
   - [orLeft](#orleft)
@@ -519,6 +520,16 @@ export declare const orElseFirst: <E, B>(onLeft: (e: E) => IOEither<E, B>) => <A
 
 Added in v2.11.0
 
+## orElseFirstIOK
+
+**Signature**
+
+```ts
+export declare const orElseFirstIOK: <E, B>(onLeft: (e: E) => I.IO<B>) => <A>(ma: IOEither<E, A>) => IOEither<E, A>
+```
+
+Added in v2.11.8
+
 ## orElseFirstW
 
 **Signature**

docs/modules/TaskEither.ts.md

@@ -65,6 +65,8 @@ Added in v2.0.0
   - [fromTaskOptionK](#fromtaskoptionk)
   - [orElse](#orelse)
   - [orElseFirst](#orelsefirst)
+  - [orElseFirstIOK](#orelsefirstiok)
+  - [orElseFirstTaskK](#orelsefirsttaskk)
   - [orElseFirstW](#orelsefirstw)
   - [orElseW](#orelsew)
   - [orLeft](#orleft)
@@ -696,6 +698,28 @@ export declare const orElseFirst: <E, B>(
 
 Added in v2.11.0
 
+## orElseFirstIOK
+
+**Signature**
+
+```ts
+export declare const orElseFirstIOK: <E, B>(onLeft: (e: E) => IO<B>) => <A>(ma: TaskEither<E, A>) => TaskEither<E, A>
+```
+
+Added in v2.11.8
+
+## orElseFirstTaskK
+
+**Signature**
+
+```ts
+export declare const orElseFirstTaskK: <E, B>(
+  onLeft: (e: E) => T.Task<B>
+) => <A>(ma: TaskEither<E, A>) => TaskEither<E, A>
+```
+
+Added in v2.11.8
+
 ## orElseFirstW
 
 **Signature**

dtslint/ts3.5/IOEither.ts

@@ -53,6 +53,16 @@ pipe(
   _.orElseFirstW((a) => _.left(a.length))
 )
 
+//
+// orElseFirstIOK
+//
+
+// $ExpectType IOEither<string, never>
+pipe(
+  _.left('a'),
+  _.orElseFirstIOK((a) => IO.of(a.length))
+)
+
 //
 // orLeft
 //

dtslint/ts3.5/TaskEither.ts

@@ -2,6 +2,7 @@ import * as _ from '../../src/TaskEither'
 import * as T from '../../src/Task'
 import * as E from '../../src/Either'
 import * as TO from '../../src/TaskOption'
+import * as IO from '../../src/IO'
 import * as IOE from '../../src/IOEither'
 import { pipe } from '../../src/function'
 
@@ -55,6 +56,26 @@ pipe(
   _.orElseFirstW((a) => _.left(a.length))
 )
 
+//
+// orElseFirstIOK
+//
+
+// $ExpectType TaskEither<string, never>
+pipe(
+  _.left('a'),
+  _.orElseFirstIOK((a) => IO.of(a.length))
+)
+
+//
+// orElseFirstTaskK
+//
+
+// $ExpectType TaskEither<string, never>
+pipe(
+  _.left('a'),
+  _.orElseFirstTaskK((a) => T.of(a.length))
+)
+
 //
 // orLeft
 //

src/IOEither.ts

@@ -263,6 +263,13 @@ export const orElseFirstW: <E1, E2, B>(
   onLeft: (e: E1) => IOEither<E2, B>
 ) => <A>(ma: IOEither<E1, A>) => IOEither<E1 | E2, A> = orElseFirst as any
 
+/**
+ * @category combinators
+ * @since 2.11.8
+ */
+export const orElseFirstIOK: <E, B>(onLeft: (e: E) => IO<B>) => <A>(ma: IOEither<E, A>) => IOEither<E, A> = (onLeft) =>
+  orElseFirst(fromIOK(onLeft))
+
 /**
  * @category combinators
  * @since 2.11.0

src/TaskEither.ts

@@ -349,6 +349,22 @@ export const orElseFirstW: <E1, E2, B>(
   onLeft: (e: E1) => TaskEither<E2, B>
 ) => <A>(ma: TaskEither<E1, A>) => TaskEither<E1 | E2, A> = orElseFirst as any
 
+/**
+ * @category combinators
+ * @since 2.11.8
+ */
+export const orElseFirstIOK: <E, B>(onLeft: (e: E) => IO<B>) => <A>(ma: TaskEither<E, A>) => TaskEither<E, A> = (
+  onLeft
+) => orElseFirst(fromIOK(onLeft))
+
+/**
+ * @category combinators
+ * @since 2.11.8
+ */
+export const orElseFirstTaskK: <E, B>(onLeft: (e: E) => Task<B>) => <A>(ma: TaskEither<E, A>) => TaskEither<E, A> = (
+  onLeft
+) => orElseFirst(fromTaskK(onLeft))
+
 /**
  * @category combinators
  * @since 2.11.0

test/IOEither.ts

@@ -274,6 +274,12 @@ describe('IOEither', () => {
     U.deepStrictEqual(pipe(_.left('aa'), f)(), E.left('aa!'))
   })
 
+  it('orElseFirstIOK', () => {
+    const f = _.orElseFirstIOK((e: string) => I.of(e.length))
+    U.deepStrictEqual(pipe(_.right(1), f)(), E.right(1))
+    U.deepStrictEqual(pipe(_.left('a'), f)(), E.left('a'))
+  })
+
   it('orLeft', () => {
     const f = _.orLeft((e: string) => I.of(e + '!'))
     U.deepStrictEqual(pipe(_.right(1), f)(), E.right(1))

test/TaskEither.ts

@@ -431,6 +431,18 @@ describe('TaskEither', () => {
     U.deepStrictEqual(await pipe(_.left('aa'), f)(), E.left('aa!'))
   })
 
+  it('orElseFirstIOK', async () => {
+    const f = _.orElseFirstIOK((e: string) => I.of(e.length))
+    U.deepStrictEqual(await pipe(_.right(1), f)(), E.right(1))
+    U.deepStrictEqual(await pipe(_.left('a'), f)(), E.left('a'))
+  })
+
+  it('orElseFirstTaskK', async () => {
+    const f = _.orElseFirstTaskK((e: string) => T.of(e.length))
+    U.deepStrictEqual(await pipe(_.right(1), f)(), E.right(1))
+    U.deepStrictEqual(await pipe(_.left('a'), f)(), E.left('a'))
+  })
+
   it('orLeft', async () => {
     const f = _.orLeft((e: string) => T.of(e + '!'))
     U.deepStrictEqual(await pipe(_.right(1), f)(), E.right(1))