support variadic functions

gcanti · Jan 2, 2020 · add2ffa · add2ffa
1 parent 5c0578a
commit add2ffa
Show file tree

Hide file tree

Showing 14 changed files with 82 additions and 50 deletions.
diff --git a/docs/modules/IOEither.ts.md b/docs/modules/IOEither.ts.md
@@ -187,7 +187,7 @@ Added in v2.0.0
 **Signature**
 
 ```ts
-export function fromEitherK<E, A, B>(f: (a: A) => Either<E, B>): (a: A) => IOEither<E, B> { ... }
+export function fromEitherK<E, A extends Array<unknown>, B>(f: (...a: A) => Either<E, B>): (...a: A) => IOEither<E, B> { ... }
 ```
 
 Added in v2.4.0

diff --git a/docs/modules/ReaderEither.ts.md b/docs/modules/ReaderEither.ts.md
@@ -190,7 +190,9 @@ Added in v2.0.0
 **Signature**
 
 ```ts
-export function fromEitherK<E, A, B>(f: (a: A) => Either<E, B>): <R>(a: A) => ReaderEither<R, E, B> { ... }
+export function fromEitherK<E, A extends Array<unknown>, B>(
+  f: (...a: A) => Either<E, B>
+): <R>(...a: A) => ReaderEither<R, E, B> { ... }
 ```
 
 Added in v2.4.0

diff --git a/docs/modules/ReaderTask.ts.md b/docs/modules/ReaderTask.ts.md
@@ -180,7 +180,7 @@ Added in v2.3.0
 **Signature**
 
 ```ts
-export function fromIOK<A, B>(f: (a: A) => IO<B>): <R>(a: A) => ReaderTask<R, B> { ... }
+export function fromIOK<A extends Array<unknown>, B>(f: (...a: A) => IO<B>): <R>(...a: A) => ReaderTask<R, B> { ... }
 ```
 
 Added in v2.4.0
@@ -190,7 +190,7 @@ Added in v2.4.0
 **Signature**
 
 ```ts
-export function fromTaskK<A, B>(f: (a: A) => Task<B>): <R>(a: A) => ReaderTask<R, B> { ... }
+export function fromTaskK<A extends Array<unknown>, B>(f: (...a: A) => Task<B>): <R>(...a: A) => ReaderTask<R, B> { ... }
 ```
 
 Added in v2.4.0

diff --git a/docs/modules/ReaderTaskEither.ts.md b/docs/modules/ReaderTaskEither.ts.md
@@ -241,7 +241,9 @@ Added in v2.0.0
 **Signature**
 
 ```ts
-export function fromEitherK<E, A, B>(f: (a: A) => Either<E, B>): <R>(a: A) => ReaderTaskEither<R, E, B> { ... }
+export function fromEitherK<E, A extends Array<unknown>, B>(
+  f: (...a: A) => Either<E, B>
+): <R>(...a: A) => ReaderTaskEither<R, E, B> { ... }
 ```
 
 Added in v2.4.0
@@ -261,7 +263,9 @@ Added in v2.0.0
 **Signature**
 
 ```ts
-export function fromIOEitherK<E, A, B>(f: (a: A) => IOEither<E, B>): <R>(a: A) => ReaderTaskEither<R, E, B> { ... }
+export function fromIOEitherK<E, A extends Array<unknown>, B>(
+  f: (...a: A) => IOEither<E, B>
+): <R>(...a: A) => ReaderTaskEither<R, E, B> { ... }
 ```
 
 Added in v2.4.0
@@ -281,7 +285,9 @@ Added in v2.0.0
 **Signature**
 
 ```ts
-export function fromTaskEitherK<E, A, B>(f: (a: A) => TaskEither<E, B>): <R>(a: A) => ReaderTaskEither<R, E, B> { ... }
+export function fromTaskEitherK<E, A extends Array<unknown>, B>(
+  f: (...a: A) => TaskEither<E, B>
+): <R>(...a: A) => ReaderTaskEither<R, E, B> { ... }
 ```
 
 Added in v2.4.0

diff --git a/docs/modules/StateReaderTaskEither.ts.md b/docs/modules/StateReaderTaskEither.ts.md
@@ -267,7 +267,9 @@ Added in v2.4.0
 **Signature**
 
 ```ts
-export function fromEitherK<E, A, B>(f: (a: A) => Either<E, B>): <S, R>(a: A) => StateReaderTaskEither<S, R, E, B> { ... }
+export function fromEitherK<E, A extends Array<unknown>, B>(
+  f: (...a: A) => Either<E, B>
+): <S, R>(...a: A) => StateReaderTaskEither<S, R, E, B> { ... }
 ```
 
 Added in v2.4.0
@@ -287,7 +289,9 @@ Added in v2.0.0
 **Signature**
 
 ```ts
-export function fromIOEitherK<E, A, B>(f: (a: A) => IOEither<E, B>): <S, R>(a: A) => StateReaderTaskEither<S, R, E, B> { ... }
+export function fromIOEitherK<E, A extends Array<unknown>, B>(
+  f: (...a: A) => IOEither<E, B>
+): <S, R>(...a: A) => StateReaderTaskEither<S, R, E, B> { ... }
 ```
 
 Added in v2.4.0
@@ -307,9 +311,9 @@ Added in v2.0.0
 **Signature**
 
 ```ts
-export function fromReaderTaskEitherK<R, E, A, B>(
-  f: (a: A) => ReaderTaskEither<R, E, B>
-): <S>(a: A) => StateReaderTaskEither<S, R, E, B> { ... }
+export function fromReaderTaskEitherK<R, E, A extends Array<unknown>, B>(
+  f: (...a: A) => ReaderTaskEither<R, E, B>
+): <S>(...a: A) => StateReaderTaskEither<S, R, E, B> { ... }
 ```
 
 Added in v2.4.0
@@ -329,9 +333,9 @@ Added in v2.0.0
 **Signature**
 
 ```ts
-export function fromTaskEitherK<E, A, B>(
-  f: (a: A) => TaskEither<E, B>
-): <S, R>(a: A) => StateReaderTaskEither<S, R, E, B> { ... }
+export function fromTaskEitherK<E, A extends Array<unknown>, B>(
+  f: (...a: A) => TaskEither<E, B>
+): <S, R>(...a: A) => StateReaderTaskEither<S, R, E, B> { ... }
 ```
 
 Added in v2.4.0

diff --git a/docs/modules/Task.ts.md b/docs/modules/Task.ts.md
@@ -128,7 +128,7 @@ Added in v2.0.0
 **Signature**
 
 ```ts
-export function fromIOK<A, B>(f: (a: A) => IO<B>): (a: A) => Task<B> { ... }
+export function fromIOK<A extends Array<unknown>, B>(f: (...a: A) => IO<B>): (...a: A) => Task<B> { ... }
 ```
 
 Added in v2.4.0

diff --git a/docs/modules/TaskEither.ts.md b/docs/modules/TaskEither.ts.md
@@ -229,7 +229,9 @@ Added in v2.0.0
 **Signature**
 
 ```ts
-export function fromEitherK<E, A, B>(f: (a: A) => Either<E, B>): (a: A) => TaskEither<E, B> { ... }
+export function fromEitherK<E, A extends Array<unknown>, B>(
+  f: (...a: A) => Either<E, B>
+): (...a: A) => TaskEither<E, B> { ... }
 ```
 
 Added in v2.4.0
@@ -239,7 +241,9 @@ Added in v2.4.0
 **Signature**
 
 ```ts
-export function fromIOEitherK<E, A, B>(f: (a: A) => IOEither<E, B>): (a: A) => TaskEither<E, B> { ... }
+export function fromIOEitherK<E, A extends Array<unknown>, B>(
+  f: (...a: A) => IOEither<E, B>
+): (...a: A) => TaskEither<E, B> { ... }
 ```
 
 Added in v2.4.0

diff --git a/src/IOEither.ts b/src/IOEither.ts
@@ -175,8 +175,8 @@ export function getFilterable<E>(M: Monoid<E>): Filterable2C<URI, E> {
 /**
  * @since 2.4.0
  */
-export function fromEitherK<E, A, B>(f: (a: A) => Either<E, B>): (a: A) => IOEither<E, B> {
-  return a => fromEither(f(a))
+export function fromEitherK<E, A extends Array<unknown>, B>(f: (...a: A) => Either<E, B>): (...a: A) => IOEither<E, B> {
+  return (...a) => fromEither(f(...a))
 }
 
 /**

diff --git a/src/ReaderEither.ts b/src/ReaderEither.ts
@@ -154,8 +154,10 @@ export function getReaderValidation<E>(
 /**
  * @since 2.4.0
  */
-export function fromEitherK<E, A, B>(f: (a: A) => Either<E, B>): <R>(a: A) => ReaderEither<R, E, B> {
-  return a => fromEither(f(a))
+export function fromEitherK<E, A extends Array<unknown>, B>(
+  f: (...a: A) => Either<E, B>
+): <R>(...a: A) => ReaderEither<R, E, B> {
+  return (...a) => fromEither(f(...a))
 }
 
 /**

diff --git a/src/ReaderTask.ts b/src/ReaderTask.ts
@@ -104,8 +104,8 @@ export function local<Q, R>(f: (f: Q) => R): <E, A>(ma: ReaderTask<R, A>) => Rea
 /**
  * @since 2.4.0
  */
-export function fromIOK<A, B>(f: (a: A) => IO<B>): <R>(a: A) => ReaderTask<R, B> {
-  return a => fromIO(f(a))
+export function fromIOK<A extends Array<unknown>, B>(f: (...a: A) => IO<B>): <R>(...a: A) => ReaderTask<R, B> {
+  return (...a) => fromIO(f(...a))
 }
 
 /**
@@ -118,8 +118,8 @@ export function chainIOK<A, B>(f: (a: A) => IO<B>): <R>(ma: ReaderTask<R, A>) =>
 /**
  * @since 2.4.0
  */
-export function fromTaskK<A, B>(f: (a: A) => Task<B>): <R>(a: A) => ReaderTask<R, B> {
-  return a => fromTask(f(a))
+export function fromTaskK<A extends Array<unknown>, B>(f: (...a: A) => Task<B>): <R>(...a: A) => ReaderTask<R, B> {
+  return (...a) => fromTask(f(...a))
 }
 
 /**

diff --git a/src/ReaderTaskEither.ts b/src/ReaderTaskEither.ts
@@ -251,8 +251,10 @@ export function getReaderTaskValidation<E>(
 /**
  * @since 2.4.0
  */
-export function fromEitherK<E, A, B>(f: (a: A) => Either<E, B>): <R>(a: A) => ReaderTaskEither<R, E, B> {
-  return a => fromEither(f(a))
+export function fromEitherK<E, A extends Array<unknown>, B>(
+  f: (...a: A) => Either<E, B>
+): <R>(...a: A) => ReaderTaskEither<R, E, B> {
+  return (...a) => fromEither(f(...a))
 }
 
 /**
@@ -267,8 +269,10 @@ export function chainEitherK<E, A, B>(
 /**
  * @since 2.4.0
  */
-export function fromIOEitherK<E, A, B>(f: (a: A) => IOEither<E, B>): <R>(a: A) => ReaderTaskEither<R, E, B> {
-  return a => fromIOEither(f(a))
+export function fromIOEitherK<E, A extends Array<unknown>, B>(
+  f: (...a: A) => IOEither<E, B>
+): <R>(...a: A) => ReaderTaskEither<R, E, B> {
+  return (...a) => fromIOEither(f(...a))
 }
 
 /**
@@ -283,8 +287,10 @@ export function chainIOEitherK<E, A, B>(
 /**
  * @since 2.4.0
  */
-export function fromTaskEitherK<E, A, B>(f: (a: A) => TaskEither<E, B>): <R>(a: A) => ReaderTaskEither<R, E, B> {
-  return a => fromTaskEither(f(a))
+export function fromTaskEitherK<E, A extends Array<unknown>, B>(
+  f: (...a: A) => TaskEither<E, B>
+): <R>(...a: A) => ReaderTaskEither<R, E, B> {
+  return (...a) => fromTaskEither(f(...a))
 }
 
 /**

diff --git a/src/StateReaderTaskEither.ts b/src/StateReaderTaskEither.ts
@@ -190,8 +190,10 @@ export const gets: <S, R, E = never, A = never>(f: (s: S) => A) => StateReaderTa
 /**
  * @since 2.4.0
  */
-export function fromEitherK<E, A, B>(f: (a: A) => Either<E, B>): <S, R>(a: A) => StateReaderTaskEither<S, R, E, B> {
-  return a => fromEither(f(a))
+export function fromEitherK<E, A extends Array<unknown>, B>(
+  f: (...a: A) => Either<E, B>
+): <S, R>(...a: A) => StateReaderTaskEither<S, R, E, B> {
+  return (...a) => fromEither(f(...a))
 }
 
 /**
@@ -206,8 +208,10 @@ export function chainEitherK<E, A, B>(
 /**
  * @since 2.4.0
  */
-export function fromIOEitherK<E, A, B>(f: (a: A) => IOEither<E, B>): <S, R>(a: A) => StateReaderTaskEither<S, R, E, B> {
-  return a => fromIOEither(f(a))
+export function fromIOEitherK<E, A extends Array<unknown>, B>(
+  f: (...a: A) => IOEither<E, B>
+): <S, R>(...a: A) => StateReaderTaskEither<S, R, E, B> {
+  return (...a) => fromIOEither(f(...a))
 }
 
 /**
@@ -222,10 +226,10 @@ export function chainIOEitherK<E, A, B>(
 /**
  * @since 2.4.0
  */
-export function fromTaskEitherK<E, A, B>(
-  f: (a: A) => TaskEither<E, B>
-): <S, R>(a: A) => StateReaderTaskEither<S, R, E, B> {
-  return a => fromTaskEither(f(a))
+export function fromTaskEitherK<E, A extends Array<unknown>, B>(
+  f: (...a: A) => TaskEither<E, B>
+): <S, R>(...a: A) => StateReaderTaskEither<S, R, E, B> {
+  return (...a) => fromTaskEither(f(...a))
 }
 
 /**
@@ -240,10 +244,10 @@ export function chainTaskEitherK<E, A, B>(
 /**
  * @since 2.4.0
  */
-export function fromReaderTaskEitherK<R, E, A, B>(
-  f: (a: A) => ReaderTaskEither<R, E, B>
-): <S>(a: A) => StateReaderTaskEither<S, R, E, B> {
-  return a => fromReaderTaskEither(f(a))
+export function fromReaderTaskEitherK<R, E, A extends Array<unknown>, B>(
+  f: (...a: A) => ReaderTaskEither<R, E, B>
+): <S>(...a: A) => StateReaderTaskEither<S, R, E, B> {
+  return (...a) => fromReaderTaskEither(f(...a))
 }
 
 /**

diff --git a/src/Task.ts b/src/Task.ts
@@ -117,8 +117,8 @@ export function of<A>(a: A): Task<A> {
 /**
  * @since 2.4.0
  */
-export function fromIOK<A, B>(f: (a: A) => IO<B>): (a: A) => Task<B> {
-  return a => fromIO(f(a))
+export function fromIOK<A extends Array<unknown>, B>(f: (...a: A) => IO<B>): (...a: A) => Task<B> {
+  return (...a) => fromIO(f(...a))
 }
 
 /**

diff --git a/src/TaskEither.ts b/src/TaskEither.ts
@@ -269,8 +269,10 @@ export function getFilterable<E>(M: Monoid<E>): Filterable2C<URI, E> {
 /**
  * @since 2.4.0
  */
-export function fromEitherK<E, A, B>(f: (a: A) => Either<E, B>): (a: A) => TaskEither<E, B> {
-  return a => fromEither(f(a))
+export function fromEitherK<E, A extends Array<unknown>, B>(
+  f: (...a: A) => Either<E, B>
+): (...a: A) => TaskEither<E, B> {
+  return (...a) => fromEither(f(...a))
 }
 
 /**
@@ -283,8 +285,10 @@ export function chainEitherK<E, A, B>(f: (a: A) => Either<E, B>): (ma: TaskEithe
 /**
  * @since 2.4.0
  */
-export function fromIOEitherK<E, A, B>(f: (a: A) => IOEither<E, B>): (a: A) => TaskEither<E, B> {
-  return a => fromIOEither(f(a))
+export function fromIOEitherK<E, A extends Array<unknown>, B>(
+  f: (...a: A) => IOEither<E, B>
+): (...a: A) => TaskEither<E, B> {
+  return (...a) => fromIOEither(f(...a))
 }
 
 /**