chore: fix signatures (since tag and type parameters order)

gcanti · May 22, 2023 · 9a83dcf · 9a83dcf
1 parent 56b0a62
commit 9a83dcf
Show file tree

Hide file tree

Showing 13 changed files with 25 additions and 25 deletions.
diff --git a/docs/modules/ReaderEither.ts.md b/docs/modules/ReaderEither.ts.md
@@ -1431,11 +1431,11 @@ Added in v2.15.0
 ```ts
 export declare const flatMapReader: {
   <A, R2, B>(f: (a: A) => R.Reader<R2, B>): <R1, E>(self: ReaderEither<R1, E, A>) => ReaderEither<R1 & R2, E, B>
-  <R1, R2, E, A, B>(self: ReaderEither<R1, E, A>, f: (a: A) => R.Reader<R2, B>): ReaderEither<R1 & R2, E, B>
+  <R1, E, A, R2, B>(self: ReaderEither<R1, E, A>, f: (a: A) => R.Reader<R2, B>): ReaderEither<R1 & R2, E, B>
 }
 ```
 
-Added in v2.15.0
+Added in v2.16.0
 
 ## flatten
 

diff --git a/docs/modules/ReaderIO.ts.md b/docs/modules/ReaderIO.ts.md
@@ -678,8 +678,8 @@ Added in v2.16.0
 
 ```ts
 export declare const flatMapReader: {
-  <A, R2, B>(f: (a: A) => R.Reader<R2, B>): <R1>(ma: ReaderIO<R1, A>) => ReaderIO<R1 & R2, B>
-  <R1, A, R2, B>(ma: ReaderIO<R1, A>, f: (a: A) => R.Reader<R2, B>): ReaderIO<R1 & R2, B>
+  <A, R2, B>(f: (a: A) => R.Reader<R2, B>): <R1>(self: ReaderIO<R1, A>) => ReaderIO<R1 & R2, B>
+  <R1, A, R2, B>(self: ReaderIO<R1, A>, f: (a: A) => R.Reader<R2, B>): ReaderIO<R1 & R2, B>
 }
 ```
 

diff --git a/docs/modules/ReaderTask.ts.md b/docs/modules/ReaderTask.ts.md
@@ -947,8 +947,8 @@ Added in v2.16.0
 
 ```ts
 export declare const flatMapReader: {
-  <R2, A, B>(f: (a: A) => R.Reader<R2, B>): <R1>(self: ReaderTask<R1, A>) => ReaderTask<R1 & R2, B>
-  <R1, R2, A, B>(self: ReaderTask<R1, A>, f: (a: A) => R.Reader<R2, B>): ReaderTask<R1 & R2, B>
+  <A, R2, B>(f: (a: A) => R.Reader<R2, B>): <R1>(self: ReaderTask<R1, A>) => ReaderTask<R1 & R2, B>
+  <R1, A, R2, B>(self: ReaderTask<R1, A>, f: (a: A) => R.Reader<R2, B>): ReaderTask<R1 & R2, B>
 }
 ```
 

diff --git a/docs/modules/ReaderTaskEither.ts.md b/docs/modules/ReaderTaskEither.ts.md
@@ -2359,8 +2359,8 @@ Added in v2.15.0
 
 ```ts
 export declare const flatMapReader: {
-  <R2, A, B>(f: (a: A) => R.Reader<R2, B>): <R1, E>(self: ReaderTaskEither<R1, E, A>) => ReaderTaskEither<R1 & R2, E, B>
-  <R1, R2, E, A, B>(self: ReaderTaskEither<R1, E, A>, f: (a: A) => R.Reader<R2, B>): ReaderTaskEither<R1 & R2, E, B>
+  <A, R2, B>(f: (a: A) => R.Reader<R2, B>): <R1, E>(self: ReaderTaskEither<R1, E, A>) => ReaderTaskEither<R1 & R2, E, B>
+  <R1, E, A, R2, B>(self: ReaderTaskEither<R1, E, A>, f: (a: A) => R.Reader<R2, B>): ReaderTaskEither<R1 & R2, E, B>
 }
 ```
 

diff --git a/docs/modules/StateReaderTaskEither.ts.md b/docs/modules/StateReaderTaskEither.ts.md
@@ -1479,10 +1479,10 @@ Added in v2.16.0
 
 ```ts
 export declare const flatMapReader: {
-  <R2, A, B>(f: (a: A) => R.Reader<R2, B>): <S, R1, E>(
+  <A, R2, B>(f: (a: A) => R.Reader<R2, B>): <S, R1, E>(
     self: StateReaderTaskEither<S, R1, E, A>
   ) => StateReaderTaskEither<S, R1 & R2, E, B>
-  <S, R1, R2, E, A, B>(self: StateReaderTaskEither<S, R1, E, A>, f: (a: A) => R.Reader<R2, B>): StateReaderTaskEither<
+  <S, R1, E, A, R2, B>(self: StateReaderTaskEither<S, R1, E, A>, f: (a: A) => R.Reader<R2, B>): StateReaderTaskEither<
     S,
     R1 & R2,
     E,

diff --git a/docs/modules/TaskEither.ts.md b/docs/modules/TaskEither.ts.md
@@ -1887,7 +1887,7 @@ export declare const flatMapTask: {
 }
 ```
 
-Added in v2.15.0
+Added in v2.16.0
 
 ## flatten
 

diff --git a/src/ReaderEither.ts b/src/ReaderEither.ts
@@ -942,11 +942,11 @@ export const flatMapEither: {
 
 /**
  * @category sequencing
- * @since 2.15.0
+ * @since 2.16.0
  */
 export const flatMapReader: {
   <A, R2, B>(f: (a: A) => Reader<R2, B>): <R1, E>(self: ReaderEither<R1, E, A>) => ReaderEither<R1 & R2, E, B>
-  <R1, R2, E, A, B>(self: ReaderEither<R1, E, A>, f: (a: A) => Reader<R2, B>): ReaderEither<R1 & R2, E, B>
+  <R1, E, A, R2, B>(self: ReaderEither<R1, E, A>, f: (a: A) => Reader<R2, B>): ReaderEither<R1 & R2, E, B>
 } = /*#__PURE__*/ _.flatMapReader(_FromReader, _FlatMap)
 
 /**

diff --git a/src/ReaderIO.ts b/src/ReaderIO.ts
@@ -324,8 +324,8 @@ export const flatMapIO: {
  * @since 2.16.0
  */
 export const flatMapReader: {
-  <A, R2, B>(f: (a: A) => Reader<R2, B>): <R1>(ma: ReaderIO<R1, A>) => ReaderIO<R1 & R2, B>
-  <R1, A, R2, B>(ma: ReaderIO<R1, A>, f: (a: A) => Reader<R2, B>): ReaderIO<R1 & R2, B>
+  <A, R2, B>(f: (a: A) => Reader<R2, B>): <R1>(self: ReaderIO<R1, A>) => ReaderIO<R1 & R2, B>
+  <R1, A, R2, B>(self: ReaderIO<R1, A>, f: (a: A) => Reader<R2, B>): ReaderIO<R1 & R2, B>
 } = /*#__PURE__*/ _.flatMapReader(_FromReader, _FlatMap)
 
 /**

diff --git a/src/ReaderTask.ts b/src/ReaderTask.ts
@@ -423,8 +423,8 @@ export const flatMapTask: {
  * @since 2.16.0
  */
 export const flatMapReader: {
-  <R2, A, B>(f: (a: A) => R.Reader<R2, B>): <R1>(self: ReaderTask<R1, A>) => ReaderTask<R1 & R2, B>
-  <R1, R2, A, B>(self: ReaderTask<R1, A>, f: (a: A) => R.Reader<R2, B>): ReaderTask<R1 & R2, B>
+  <A, R2, B>(f: (a: A) => R.Reader<R2, B>): <R1>(self: ReaderTask<R1, A>) => ReaderTask<R1 & R2, B>
+  <R1, A, R2, B>(self: ReaderTask<R1, A>, f: (a: A) => R.Reader<R2, B>): ReaderTask<R1 & R2, B>
 } = _.flatMapReader(_FromReader, _FlatMap)
 
 /**

diff --git a/src/ReaderTaskEither.ts b/src/ReaderTaskEither.ts
@@ -1588,8 +1588,8 @@ export const flatMapTask: {
  * @since 2.16.0
  */
 export const flatMapReader: {
-  <R2, A, B>(f: (a: A) => Reader<R2, B>): <R1, E>(self: ReaderTaskEither<R1, E, A>) => ReaderTaskEither<R1 & R2, E, B>
-  <R1, R2, E, A, B>(self: ReaderTaskEither<R1, E, A>, f: (a: A) => Reader<R2, B>): ReaderTaskEither<R1 & R2, E, B>
+  <A, R2, B>(f: (a: A) => Reader<R2, B>): <R1, E>(self: ReaderTaskEither<R1, E, A>) => ReaderTaskEither<R1 & R2, E, B>
+  <R1, E, A, R2, B>(self: ReaderTaskEither<R1, E, A>, f: (a: A) => Reader<R2, B>): ReaderTaskEither<R1 & R2, E, B>
 } = /*#__PURE__*/ _.flatMapReader(_FromReader, _FlatMap)
 
 /**

diff --git a/src/StateReaderTaskEither.ts b/src/StateReaderTaskEither.ts
@@ -502,10 +502,10 @@ export const flatMapTask: {
  * @since 2.16.0
  */
 export const flatMapReader: {
-  <R2, A, B>(f: (a: A) => Reader<R2, B>): <S, R1, E>(
+  <A, R2, B>(f: (a: A) => Reader<R2, B>): <S, R1, E>(
     self: StateReaderTaskEither<S, R1, E, A>
   ) => StateReaderTaskEither<S, R1 & R2, E, B>
-  <S, R1, R2, E, A, B>(self: StateReaderTaskEither<S, R1, E, A>, f: (a: A) => Reader<R2, B>): StateReaderTaskEither<
+  <S, R1, E, A, R2, B>(self: StateReaderTaskEither<S, R1, E, A>, f: (a: A) => Reader<R2, B>): StateReaderTaskEither<
     S,
     R1 & R2,
     E,

diff --git a/src/TaskEither.ts b/src/TaskEither.ts
@@ -1253,7 +1253,7 @@ export const flatMapIO: {
 
 /**
  * @category sequencing
- * @since 2.15.0
+ * @since 2.16.0
  */
 export const flatMapTask: {
   <A, B>(f: (a: A) => Task<B>): <E>(self: TaskEither<E, A>) => TaskEither<E, B>

diff --git a/src/internal.ts b/src/internal.ts
@@ -275,11 +275,11 @@ export const flatMapReader = <F extends TypeLambda>(
   F: FromReader<F>,
   M: FlatMap<F>
 ): {
-  <R2, A, B>(f: (a: A) => Reader<R2, B>): <R1, O, E>(self: Kind<F, R1, O, E, A>) => Kind<F, R1 & R2, O, E, B>
-  <R1, R2, O, E, A, B>(self: Kind<F, R1, O, E, A>, f: (a: A) => Reader<R2, B>): Kind<F, R1 & R2, O, E, B>
+  <A, R2, B>(f: (a: A) => Reader<R2, B>): <R1, O, E>(self: Kind<F, R1, O, E, A>) => Kind<F, R1 & R2, O, E, B>
+  <R1, O, E, A, R2, B>(self: Kind<F, R1, O, E, A>, f: (a: A) => Reader<R2, B>): Kind<F, R1 & R2, O, E, B>
 } =>
   /*#__PURE__*/ dual(
     2,
-    <R1, R2, O, E, A, B>(self: Kind<F, R1, O, E, A>, f: (a: A) => Reader<R2, B>): Kind<F, R1 & R2, O, E, B> =>
+    <R1, O, E, A, R2, B>(self: Kind<F, R1, O, E, A>, f: (a: A) => Reader<R2, B>): Kind<F, R1 & R2, O, E, B> =>
       M.flatMap(self, (a) => F.fromReader(f(a)))
   )