remove some anys

gcanti · Jun 10, 2020 · 7165ee5 · 7165ee5
1 parent dbf6cf9
commit 7165ee5
Show file tree

Hide file tree

Showing 16 changed files with 416 additions and 346 deletions.
diff --git a/docs/modules/Either.ts.md b/docs/modules/Either.ts.md
@@ -271,6 +271,8 @@ Added in v2.0.0
 
 ## chainW
 
+Less strict version of [`chain`](#chain).
+
 **Signature**
 
 ```ts
@@ -546,13 +548,15 @@ Added in v2.0.0
 **Signature**
 
 ```ts
-export declare function getOrElse<E, A>(onLeft: (e: E) => A): (ma: Either<E, A>) => A
+export declare const getOrElse: <E, A>(onLeft: (e: E) => A) => (ma: Either<E, A>) => A
 ```
 
 Added in v2.0.0
 
 ## getOrElseW
 
+Less strict version of [`getOrElse`](#getOrElse).
+
 **Signature**
 
 ```ts

diff --git a/docs/modules/IOEither.ts.md b/docs/modules/IOEither.ts.md
@@ -190,6 +190,8 @@ Added in v2.0.0
 
 ## chainW
 
+Less strict version of [`chain`](#chain).
+
 **Signature**
 
 ```ts
@@ -236,19 +238,21 @@ Added in v2.0.0
 **Signature**
 
 ```ts
-export declare function chainEitherK<E, A, B>(f: (a: A) => Either<E, B>): (ma: IOEither<E, A>) => IOEither<E, B>
+export declare const chainEitherK: <E, A, B>(f: (a: A) => E.Either<E, B>) => (ma: IOEither<E, A>) => IOEither<E, B>
 ```
 
 Added in v2.4.0
 
 ## chainEitherKW
 
+Less strict version of [`chainEitherK`](#chainEitherK).
+
 **Signature**
 
 ```ts
-export declare const chainEitherKW: <D, A, B>(
-  f: (a: A) => E.Either<D, B>
-) => <E>(ma: IOEither<E, A>) => IOEither<D | E, B>
+export declare const chainEitherKW: <E, A, B>(
+  f: (a: A) => E.Either<E, B>
+) => <D>(ma: IOEither<D, A>) => IOEither<E | D, B>
 ```
 
 Added in v2.6.1
@@ -412,6 +416,8 @@ Added in v2.0.0
 
 ## getOrElseW
 
+Less strict version of [`getOrElse`](#getOrElse).
+
 **Signature**
 
 ```ts

diff --git a/docs/modules/Option.ts.md b/docs/modules/Option.ts.md
@@ -634,7 +634,7 @@ Extracts the value out of the structure, if it exists. Otherwise returns the giv
 **Signature**
 
 ```ts
-export declare function getOrElse<A>(onNone: () => A): (ma: Option<A>) => A
+export declare const getOrElse: <A>(onNone: () => A) => (ma: Option<A>) => A
 ```
 
 **Example**
@@ -663,6 +663,8 @@ Added in v2.0.0
 
 ## getOrElseW
 
+Less strict version of [`getOrElse`](#getOrElse).
+
 **Signature**
 
 ```ts

diff --git a/docs/modules/Reader.ts.md b/docs/modules/Reader.ts.md
@@ -139,10 +139,12 @@ Added in v2.0.0
 
 ## chainW
 
+Less strict version of [`chain`](#chain).
+
 **Signature**
 
 ```ts
-export declare const chainW: <Q, A, B>(f: (a: A) => Reader<Q, B>) => <R>(ma: Reader<R, A>) => Reader<R & Q, B>
+export declare const chainW: <R, A, B>(f: (a: A) => Reader<R, B>) => <Q>(ma: Reader<Q, A>) => Reader<Q & R, B>
 ```
 
 Added in v2.6.0

diff --git a/docs/modules/ReaderEither.ts.md b/docs/modules/ReaderEither.ts.md
@@ -25,12 +25,12 @@ Added in v2.0.0
   - [map](#map)
 - [Monad](#monad)
   - [chain](#chain)
-  - [chainEitherKW](#chaineitherkw)
   - [chainFirst](#chainfirst)
   - [chainW](#chainw)
   - [flatten](#flatten)
 - [combinators](#combinators)
   - [chainEitherK](#chaineitherk)
+  - [chainEitherKW](#chaineitherkw)
   - [filterOrElse](#filterorelse)
   - [fromEitherK](#fromeitherk)
   - [local](#local)
@@ -181,18 +181,6 @@ export declare const chain: <R, E, A, B>(
 
 Added in v2.0.0
 
-## chainEitherKW
-
-**Signature**
-
-```ts
-export declare const chainEitherKW: <D, A, B>(
-  f: (a: A) => E.Either<D, B>
-) => <R, E>(ma: ReaderEither<R, E, A>) => ReaderEither<R, D | E, B>
-```
-
-Added in v2.6.1
-
 ## chainFirst
 
 Composes computations in sequence, using the return value of one computation to determine the next computation and
@@ -210,12 +198,14 @@ Added in v2.0.0
 
 ## chainW
 
+Less strict version of [`chain`](#chain).
+
 **Signature**
 
 ```ts
-export declare const chainW: <Q, D, A, B>(
-  f: (a: A) => ReaderEither<Q, D, B>
-) => <R, E>(ma: ReaderEither<R, E, A>) => ReaderEither<R & Q, D | E, B>
+export declare const chainW: <R, E, A, B>(
+  f: (a: A) => ReaderEither<R, E, B>
+) => <Q, D>(ma: ReaderEither<Q, D, A>) => ReaderEither<Q & R, E | D, B>
 ```
 
 Added in v2.6.0
@@ -237,13 +227,27 @@ Added in v2.0.0
 **Signature**
 
 ```ts
-export declare function chainEitherK<E, A, B>(
-  f: (a: A) => Either<E, B>
-): <R>(ma: ReaderEither<R, E, A>) => ReaderEither<R, E, B>
+export declare const chainEitherK: <E, A, B>(
+  f: (a: A) => E.Either<E, B>
+) => <R>(ma: ReaderEither<R, E, A>) => ReaderEither<R, E, B>
 ```
 
 Added in v2.4.0
 
+## chainEitherKW
+
+Less strict version of [`chainEitherK`](#chainEitherK).
+
+**Signature**
+
+```ts
+export declare const chainEitherKW: <E, A, B>(
+  f: (a: A) => E.Either<E, B>
+) => <R, D>(ma: ReaderEither<R, D, A>) => ReaderEither<R, E | D, B>
+```
+
+Added in v2.6.1
+
 ## filterOrElse
 
 **Signature**
@@ -427,12 +431,14 @@ Added in v2.0.0
 
 ## getOrElseW
 
+Less strict version of [`getOrElse`](#getOrElse).
+
 **Signature**
 
 ```ts
-export declare const getOrElseW: <Q, E, B>(
-  onLeft: (e: E) => R.Reader<Q, B>
-) => <R, A>(ma: ReaderEither<R, E, A>) => R.Reader<R & Q, B | A>
+export declare const getOrElseW: <R, E, B>(
+  onLeft: (e: E) => R.Reader<R, B>
+) => <Q, A>(ma: ReaderEither<Q, E, A>) => R.Reader<Q & R, B | A>
 ```
 
 Added in v2.6.0