rearrange type parameters

gcanti · Apr 21, 2022 · 87ac9b0 · 87ac9b0
1 parent 4a7c32e
commit 87ac9b0
Show file tree

Hide file tree

Showing 6 changed files with 55 additions and 4 deletions.
diff --git a/docs/modules/IOEither.ts.md b/docs/modules/IOEither.ts.md
@@ -122,6 +122,7 @@ Added in v2.0.0
   - [bindTo](#bindto)
   - [bindW](#bindw)
   - [bracket](#bracket)
+  - [bracketW](#bracketw)
   - [sequenceArray](#sequencearray)
   - [sequenceSeqArray](#sequenceseqarray)
   - [traverseArray](#traversearray)
@@ -1251,6 +1252,22 @@ export declare const bracket: <E, A, B>(
 
 Added in v2.0.0
 
+## bracketW
+
+Less strict version of [`bracket`](#bracket).
+
+**Signature**
+
+```ts
+export declare const bracketW: <E1, A, E2, B, E3>(
+  acquire: IOEither<E1, A>,
+  use: (a: A) => IOEither<E2, B>,
+  release: (a: A, e: E.Either<E2, B>) => IOEither<E3, void>
+) => IOEither<E1 | E2 | E3, B>
+```
+
+Added in v2.12.0
+
 ## sequenceArray
 
 **Signature**

diff --git a/docs/modules/ReaderTaskEither.ts.md b/docs/modules/ReaderTaskEither.ts.md
@@ -162,6 +162,7 @@ Added in v2.0.0
   - [bindTo](#bindto)
   - [bindW](#bindw)
   - [bracket](#bracket)
+  - [bracketW](#bracketw)
   - [sequenceArray](#sequencearray)
   - [sequenceSeqArray](#sequenceseqarray)
   - [traverseArray](#traversearray)
@@ -1861,14 +1862,30 @@ whether the body action throws (\*) or returns.
 
 ```ts
 export declare function bracket<R, E, A, B>(
-  aquire: ReaderTaskEither<R, E, A>,
+  acquire: ReaderTaskEither<R, E, A>,
   use: (a: A) => ReaderTaskEither<R, E, B>,
   release: (a: A, e: Either<E, B>) => ReaderTaskEither<R, E, void>
 ): ReaderTaskEither<R, E, B>
 ```
 
 Added in v2.0.4
 
+## bracketW
+
+Less strict version of [`bracket`](#bracket).
+
+**Signature**
+
+```ts
+export declare function bracketW<R1, E1, A, R2, E2, B, R3, E3>(
+  acquire: ReaderTaskEither<R1, E1, A>,
+  use: (a: A) => ReaderTaskEither<R2, E2, B>,
+  release: (a: A, e: Either<E2, B>) => ReaderTaskEither<R3, E3, void>
+): ReaderTaskEither<R1 & R2 & R3, E1 | E2 | E3, B>
+```
+
+Added in v2.12.0
+
 ## sequenceArray
 
 **Signature**

diff --git a/docs/modules/TaskEither.ts.md b/docs/modules/TaskEither.ts.md
@@ -143,6 +143,7 @@ Added in v2.0.0
   - [bindTo](#bindto)
   - [bindW](#bindw)
   - [bracket](#bracket)
+  - [bracketW](#bracketw)
   - [sequenceArray](#sequencearray)
   - [sequenceSeqArray](#sequenceseqarray)
   - [taskify](#taskify)
@@ -1543,6 +1544,22 @@ export declare const bracket: <E, A, B>(
 
 Added in v2.0.0
 
+## bracketW
+
+Less strict version of [`bracket`](#bracket).
+
+**Signature**
+
+```ts
+export declare const bracketW: <E1, A, E2, B, E3>(
+  acquire: TaskEither<E1, A>,
+  use: (a: A) => TaskEither<E2, B>,
+  release: (a: A, e: E.Either<E2, B>) => TaskEither<E3, void>
+) => TaskEither<E1 | E2 | E3, B>
+```
+
+Added in v2.12.0
+
 ## sequenceArray
 
 **Signature**

diff --git a/src/IOEither.ts b/src/IOEither.ts
@@ -896,7 +896,7 @@ export const bracket = <E, A, B>(
  *
  * @since 2.12.0
  */
-export const bracketW: <E1, E2, E3, A, B>(
+export const bracketW: <E1, A, E2, B, E3>(
   acquire: IOEither<E1, A>,
   use: (a: A) => IOEither<E2, B>,
   release: (a: A, e: E.Either<E2, B>) => IOEither<E3, void>

diff --git a/src/ReaderTaskEither.ts b/src/ReaderTaskEither.ts
@@ -1343,7 +1343,7 @@ export function bracket<R, E, A, B>(
  *
  * @since 2.12.0
  */
-export function bracketW<R1, R2, R3, E1, E2, E3, A, B>(
+export function bracketW<R1, E1, A, R2, E2, B, R3, E3>(
   acquire: ReaderTaskEither<R1, E1, A>,
   use: (a: A) => ReaderTaskEither<R2, E2, B>,
   release: (a: A, e: Either<E2, B>) => ReaderTaskEither<R3, E3, void>

diff --git a/src/TaskEither.ts b/src/TaskEither.ts
@@ -1190,7 +1190,7 @@ export const bracket = <E, A, B>(
  *
  * @since 2.12.0
  */
-export const bracketW: <E1, E2, E3, A, B>(
+export const bracketW: <E1, A, E2, B, E3>(
   acquire: TaskEither<E1, A>,
   use: (a: A) => TaskEither<E2, B>,
   release: (a: A, e: E.Either<E2, B>) => TaskEither<E3, void>