diff --git a/docs/modules/Const.ts.md b/docs/modules/Const.ts.md
index fe643e076..58e8afd15 100644
--- a/docs/modules/Const.ts.md
+++ b/docs/modules/Const.ts.md
@@ -18,15 +18,13 @@ Added in v2.0.0
Table of contents
-- [Contravariant](#contravariant)
- - [contramap](#contramap)
- [constructors](#constructors)
- [make](#make)
- [error handling](#error-handling)
- [mapLeft](#mapleft)
- [instances](#instances)
- [Bifunctor](#bifunctor)
- - [Contravariant](#contravariant-1)
+ - [Contravariant](#contravariant)
- [Functor](#functor)
- [getApplicative](#getapplicative)
- [getApply](#getapply)
@@ -49,23 +47,13 @@ Added in v2.0.0
- [type lambdas](#type-lambdas)
- [URI](#uri)
- [URI (type alias)](#uri-type-alias)
+- [utils](#utils)
+ - [contramap](#contramap)
- [zone of death](#zone-of-death)
- [~~const\_~~](#const_)
---
-# Contravariant
-
-## contramap
-
-**Signature**
-
-```ts
-export declare const contramap: (f: (b: B) => A) => (fa: Const) => Const
-```
-
-Added in v2.0.0
-
# constructors
## make
@@ -315,6 +303,18 @@ export type URI = typeof URI
Added in v2.0.0
+# utils
+
+## contramap
+
+**Signature**
+
+```ts
+export declare const contramap: (f: (b: B) => A) => (fa: Const) => Const
+```
+
+Added in v2.0.0
+
# zone of death
## ~~const\_~~
diff --git a/docs/modules/Eq.ts.md b/docs/modules/Eq.ts.md
index e0e63b10c..c6a36b8c2 100644
--- a/docs/modules/Eq.ts.md
+++ b/docs/modules/Eq.ts.md
@@ -20,12 +20,10 @@ Added in v2.0.0
Table of contents
-- [Contravariant](#contravariant)
- - [contramap](#contramap)
- [constructors](#constructors)
- [fromEquals](#fromequals)
- [instances](#instances)
- - [Contravariant](#contravariant-1)
+ - [Contravariant](#contravariant)
- [eqStrict](#eqstrict)
- [getMonoid](#getmonoid)
- [getSemigroup](#getsemigroup)
@@ -35,6 +33,7 @@ Added in v2.0.0
- [URI](#uri)
- [URI (type alias)](#uri-type-alias)
- [utils](#utils)
+ - [contramap](#contramap)
- [struct](#struct)
- [tuple](#tuple)
- [zone of death](#zone-of-death)
@@ -49,61 +48,6 @@ Added in v2.0.0
---
-# Contravariant
-
-## contramap
-
-A typical use case for `contramap` would be like, given some `User` type, to construct an `Eq`.
-
-We can do so with a function from `User -> X` where `X` is some value that we know how to compare
-for equality (meaning we have an `Eq`)
-
-For example, given the following `User` type, we want to construct an `Eq` that just looks at the `key` field
-for each user (since it's known to be unique).
-
-If we have a way of comparing `UUID`s for equality (`eqUUID: Eq`) and we know how to go from `User -> UUID`,
-using `contramap` we can do this
-
-**Signature**
-
-```ts
-export declare const contramap: (f: (b: B) => A) => (fa: Eq) => Eq
-```
-
-**Example**
-
-```ts
-import { contramap, Eq } from 'fp-ts/Eq'
-import { pipe } from 'fp-ts/function'
-import * as S from 'fp-ts/string'
-
-type UUID = string
-
-interface User {
- readonly key: UUID
- readonly firstName: string
- readonly lastName: string
-}
-
-const eqUUID: Eq = S.Eq
-
-const eqUserByKey: Eq = pipe(
- eqUUID,
- contramap((user) => user.key)
-)
-
-assert.deepStrictEqual(
- eqUserByKey.equals({ key: 'k1', firstName: 'a1', lastName: 'b1' }, { key: 'k2', firstName: 'a1', lastName: 'b1' }),
- false
-)
-assert.deepStrictEqual(
- eqUserByKey.equals({ key: 'k1', firstName: 'a1', lastName: 'b1' }, { key: 'k1', firstName: 'a2', lastName: 'b1' }),
- true
-)
-```
-
-Added in v2.0.0
-
# constructors
## fromEquals
@@ -196,6 +140,59 @@ Added in v2.0.0
# utils
+## contramap
+
+A typical use case for `contramap` would be like, given some `User` type, to construct an `Eq`.
+
+We can do so with a function from `User -> X` where `X` is some value that we know how to compare
+for equality (meaning we have an `Eq`)
+
+For example, given the following `User` type, we want to construct an `Eq` that just looks at the `key` field
+for each user (since it's known to be unique).
+
+If we have a way of comparing `UUID`s for equality (`eqUUID: Eq`) and we know how to go from `User -> UUID`,
+using `contramap` we can do this
+
+**Signature**
+
+```ts
+export declare const contramap: (f: (b: B) => A) => (fa: Eq) => Eq
+```
+
+**Example**
+
+```ts
+import { contramap, Eq } from 'fp-ts/Eq'
+import { pipe } from 'fp-ts/function'
+import * as S from 'fp-ts/string'
+
+type UUID = string
+
+interface User {
+ readonly key: UUID
+ readonly firstName: string
+ readonly lastName: string
+}
+
+const eqUUID: Eq = S.Eq
+
+const eqUserByKey: Eq = pipe(
+ eqUUID,
+ contramap((user) => user.key)
+)
+
+assert.deepStrictEqual(
+ eqUserByKey.equals({ key: 'k1', firstName: 'a1', lastName: 'b1' }, { key: 'k2', firstName: 'a1', lastName: 'b1' }),
+ false
+)
+assert.deepStrictEqual(
+ eqUserByKey.equals({ key: 'k1', firstName: 'a1', lastName: 'b1' }, { key: 'k1', firstName: 'a2', lastName: 'b1' }),
+ true
+)
+```
+
+Added in v2.0.0
+
## struct
**Signature**
diff --git a/docs/modules/IOEither.ts.md b/docs/modules/IOEither.ts.md
index 297502cf8..0535eb97d 100644
--- a/docs/modules/IOEither.ts.md
+++ b/docs/modules/IOEither.ts.md
@@ -18,10 +18,6 @@ Added in v2.0.0
Table of contents
-- [Apply](#apply)
- - [apW](#apw)
-- [MonadThrow](#monadthrow)
- - [throwError](#throwerror)
- [constructors](#constructors)
- [left](#left)
- [leftIO](#leftio)
@@ -51,6 +47,7 @@ Added in v2.0.0
- [mapLeft](#mapleft)
- [orElse](#orelse)
- [orElseFirst](#orelsefirst)
+ - [orElseFirstIOK](#orelsefirstiok)
- [orElseFirstW](#orelsefirstw)
- [orElseW](#orelsew)
- [orLeft](#orleft)
@@ -71,7 +68,7 @@ Added in v2.0.0
- [Functor](#functor)
- [Monad](#monad)
- [MonadIO](#monadio)
- - [MonadThrow](#monadthrow-1)
+ - [MonadThrow](#monadthrow)
- [Pointed](#pointed)
- [interop](#interop)
- [tryCatch](#trycatch)
@@ -119,12 +116,13 @@ Added in v2.0.0
- [apFirstW](#apfirstw)
- [apSecond](#apsecond)
- [apSecondW](#apsecondw)
+ - [apW](#apw)
- [bracket](#bracket)
- [bracketW](#bracketw)
- - [orElseFirstIOK](#orelsefirstiok)
- [sequenceArray](#sequencearray)
- [sequenceSeqArray](#sequenceseqarray)
- [swap](#swap)
+ - [throwError](#throwerror)
- [traverseArray](#traversearray)
- [traverseArrayWithIndex](#traversearraywithindex)
- [traverseReadonlyArrayWithIndex](#traversereadonlyarraywithindex)
@@ -143,36 +141,6 @@ Added in v2.0.0
---
-# Apply
-
-## apW
-
-Less strict version of [`ap`](#ap).
-
-The `W` suffix (short for **W**idening) means that the error types will be merged.
-
-**Signature**
-
-```ts
-export declare const apW: (
- fa: IOEither
-) => (fab: IOEither B>) => IOEither
-```
-
-Added in v2.8.0
-
-# MonadThrow
-
-## throwError
-
-**Signature**
-
-```ts
-export declare const throwError: (e: E) => IOEither
-```
-
-Added in v2.7.0
-
# constructors
## left
@@ -475,6 +443,16 @@ export declare const orElseFirst: (onLeft: (e: E) => IOEither) => (onLeft: (e: E) => I.IO) => (ma: IOEither) => IOEither
+```
+
+Added in v2.12.0
+
## orElseFirstW
The `W` suffix (short for **W**idening) means that the error types will be merged.
@@ -1201,6 +1179,22 @@ export declare const apSecondW: (
Added in v2.12.0
+## apW
+
+Less strict version of [`ap`](#ap).
+
+The `W` suffix (short for **W**idening) means that the error types will be merged.
+
+**Signature**
+
+```ts
+export declare const apW: (
+ fa: IOEither
+) => (fab: IOEither B>) => IOEither
+```
+
+Added in v2.8.0
+
## bracket
Make sure that a resource is cleaned up in the event of an exception (\*). The release action is called regardless of
@@ -1238,16 +1232,6 @@ export declare const bracketW: (
Added in v2.12.0
-## orElseFirstIOK
-
-**Signature**
-
-```ts
-export declare const orElseFirstIOK: (onLeft: (e: E) => I.IO) => (ma: IOEither) => IOEither
-```
-
-Added in v2.12.0
-
## sequenceArray
**Signature**
@@ -1278,6 +1262,16 @@ export declare const swap: (ma: IOEither) => IOEither
Added in v2.0.0
+## throwError
+
+**Signature**
+
+```ts
+export declare const throwError: (e: E) => IOEither
+```
+
+Added in v2.7.0
+
## traverseArray
**Signature**
diff --git a/docs/modules/Ord.ts.md b/docs/modules/Ord.ts.md
index 031d7e322..4d3e413c9 100644
--- a/docs/modules/Ord.ts.md
+++ b/docs/modules/Ord.ts.md
@@ -20,14 +20,12 @@ Added in v2.0.0
Table of contents
-- [Contravariant](#contravariant)
- - [contramap](#contramap)
- [constructors](#constructors)
- [fromCompare](#fromcompare)
- [defaults](#defaults)
- [equalsDefault](#equalsdefault)
- [instances](#instances)
- - [Contravariant](#contravariant-1)
+ - [Contravariant](#contravariant)
- [getMonoid](#getmonoid)
- [getSemigroup](#getsemigroup)
- [model](#model)
@@ -38,6 +36,7 @@ Added in v2.0.0
- [utils](#utils)
- [between](#between)
- [clamp](#clamp)
+ - [contramap](#contramap)
- [equals](#equals)
- [geq](#geq)
- [gt](#gt)
@@ -59,61 +58,6 @@ Added in v2.0.0
---
-# Contravariant
-
-## contramap
-
-A typical use case for `contramap` would be like, given some `User` type, to construct an `Ord`.
-
-We can do so with a function from `User -> X` where `X` is some value that we know how to compare
-for ordering (meaning we have an `Ord`)
-
-For example, given the following `User` type, there are lots of possible choices for `X`,
-but let's say we want to sort a list of users by `lastName`.
-
-If we have a way of comparing `lastName`s for ordering (`ordLastName: Ord`) and we know how to go from `User -> string`,
-using `contramap` we can do this
-
-**Signature**
-
-```ts
-export declare const contramap: (f: (b: B) => A) => (fa: Ord) => Ord
-```
-
-**Example**
-
-```ts
-import { pipe } from 'fp-ts/function'
-import { contramap, Ord } from 'fp-ts/Ord'
-import * as RA from 'fp-ts/ReadonlyArray'
-import * as S from 'fp-ts/string'
-
-interface User {
- readonly firstName: string
- readonly lastName: string
-}
-
-const ordLastName: Ord = S.Ord
-
-const ordByLastName: Ord = pipe(
- ordLastName,
- contramap((user) => user.lastName)
-)
-
-assert.deepStrictEqual(
- RA.sort(ordByLastName)([
- { firstName: 'a', lastName: 'd' },
- { firstName: 'c', lastName: 'b' },
- ]),
- [
- { firstName: 'c', lastName: 'b' },
- { firstName: 'a', lastName: 'd' },
- ]
-)
-```
-
-Added in v2.0.0
-
# constructors
## fromCompare
@@ -344,6 +288,59 @@ export declare const clamp: (O: Ord) => (low: A, hi: A) => (a: A) => A
Added in v2.0.0
+## contramap
+
+A typical use case for `contramap` would be like, given some `User` type, to construct an `Ord`.
+
+We can do so with a function from `User -> X` where `X` is some value that we know how to compare
+for ordering (meaning we have an `Ord`)
+
+For example, given the following `User` type, there are lots of possible choices for `X`,
+but let's say we want to sort a list of users by `lastName`.
+
+If we have a way of comparing `lastName`s for ordering (`ordLastName: Ord`) and we know how to go from `User -> string`,
+using `contramap` we can do this
+
+**Signature**
+
+```ts
+export declare const contramap: (f: (b: B) => A) => (fa: Ord) => Ord
+```
+
+**Example**
+
+```ts
+import { pipe } from 'fp-ts/function'
+import { contramap, Ord } from 'fp-ts/Ord'
+import * as RA from 'fp-ts/ReadonlyArray'
+import * as S from 'fp-ts/string'
+
+interface User {
+ readonly firstName: string
+ readonly lastName: string
+}
+
+const ordLastName: Ord = S.Ord
+
+const ordByLastName: Ord = pipe(
+ ordLastName,
+ contramap((user) => user.lastName)
+)
+
+assert.deepStrictEqual(
+ RA.sort(ordByLastName)([
+ { firstName: 'a', lastName: 'd' },
+ { firstName: 'c', lastName: 'b' },
+ ]),
+ [
+ { firstName: 'c', lastName: 'b' },
+ { firstName: 'a', lastName: 'd' },
+ ]
+)
+```
+
+Added in v2.0.0
+
## equals
**Signature**
diff --git a/docs/modules/Predicate.ts.md b/docs/modules/Predicate.ts.md
index a232a0329..921cf0bfa 100644
--- a/docs/modules/Predicate.ts.md
+++ b/docs/modules/Predicate.ts.md
@@ -12,10 +12,8 @@ Added in v2.11.0
Table of contents
-- [Contravariant](#contravariant)
- - [contramap](#contramap)
- [instances](#instances)
- - [Contravariant](#contravariant-1)
+ - [Contravariant](#contravariant)
- [getMonoidAll](#getmonoidall)
- [getMonoidAny](#getmonoidany)
- [getSemigroupAll](#getsemigroupall)
@@ -26,23 +24,12 @@ Added in v2.11.0
- [utils](#utils)
- [Predicate (interface)](#predicate-interface)
- [and](#and)
+ - [contramap](#contramap)
- [not](#not)
- [or](#or)
---
-# Contravariant
-
-## contramap
-
-**Signature**
-
-```ts
-export declare const contramap: (f: (b: B) => A) => (predicate: Predicate) => Predicate
-```
-
-Added in v2.11.0
-
# instances
## Contravariant
@@ -141,6 +128,16 @@ export declare const and: (second: Predicate) => (first: Predicate) =>
Added in v2.11.0
+## contramap
+
+**Signature**
+
+```ts
+export declare const contramap: (f: (b: B) => A) => (predicate: Predicate) => Predicate
+```
+
+Added in v2.11.0
+
## not
**Signature**
diff --git a/docs/modules/Reader.ts.md b/docs/modules/Reader.ts.md
index 08ac78c04..cde3a962c 100644
--- a/docs/modules/Reader.ts.md
+++ b/docs/modules/Reader.ts.md
@@ -54,39 +54,32 @@ Added in v2.0.0
Table of contents
-- [Apply](#apply)
- - [apW](#apw)
-- [Category](#category)
- - [id](#id)
-- [Choice](#choice)
- - [left](#left)
- - [right](#right)
-- [Profunctor](#profunctor)
- - [promap](#promap)
-- [Semigroupoid](#semigroupoid)
- - [compose](#compose)
-- [Strong](#strong)
- - [first](#first)
- - [second](#second)
- [constructors](#constructors)
- [ask](#ask)
- [asks](#asks)
+ - [asksReader](#asksreader)
+ - [asksReaderW](#asksreaderw)
+ - [id](#id)
- [of](#of)
- [do notation](#do-notation)
- [Do](#do)
- [apS](#aps)
- [apSW](#apsw)
+ - [bind](#bind)
+ - [bindTo](#bindto)
+ - [bindW](#bindw)
+ - [let](#let)
- [instances](#instances)
- [Applicative](#applicative)
- - [Apply](#apply-1)
- - [Category](#category-1)
+ - [Apply](#apply)
+ - [Category](#category)
- [Chain](#chain)
- - [Choice](#choice-1)
+ - [Choice](#choice)
- [Functor](#functor)
- [Monad](#monad)
- [Pointed](#pointed)
- - [Profunctor](#profunctor-1)
- - [Strong](#strong-1)
+ - [Profunctor](#profunctor)
+ - [Strong](#strong)
- [mapping](#mapping)
- [flap](#flap)
- [map](#map)
@@ -110,13 +103,14 @@ Added in v2.0.0
- [apFirstW](#apfirstw)
- [apSecond](#apsecond)
- [apSecondW](#apsecondw)
- - [asksReader](#asksreader)
- - [asksReaderW](#asksreaderw)
- - [bind](#bind)
- - [bindTo](#bindto)
- - [bindW](#bindw)
- - [let](#let)
+ - [apW](#apw)
+ - [compose](#compose)
+ - [first](#first)
+ - [left](#left)
- [local](#local)
+ - [promap](#promap)
+ - [right](#right)
+ - [second](#second)
- [sequenceArray](#sequencearray)
- [traverseArray](#traversearray)
- [traverseArrayWithIndex](#traversearraywithindex)
@@ -129,179 +123,170 @@ Added in v2.0.0
---
-# Apply
-
-## apW
+# constructors
-Less strict version of [`ap`](#ap).
+## ask
-The `W` suffix (short for **W**idening) means that the environment types will be merged.
+Reads the current context
**Signature**
```ts
-export declare const apW: (fa: Reader) => (fab: Reader B>) => Reader
+export declare const ask: () => Reader
```
-Added in v2.8.0
+Added in v2.0.0
-# Category
+## asks
-## id
+Projects a value from the global context in a Reader
**Signature**
```ts
-export declare const id: () => Reader
+export declare const asks: (f: (r: R) => A) => Reader
```
Added in v2.0.0
-# Choice
+## asksReader
-## left
+Effectfully accesses the environment.
**Signature**
```ts
-export declare const left: (pab: Reader) => Reader, E.Either>
+export declare const asksReader: (f: (r: R) => Reader) => Reader
```
-Added in v2.10.0
+Added in v2.11.0
-## right
+## asksReaderW
+
+Less strict version of [`asksReader`](#asksreader).
+
+The `W` suffix (short for **W**idening) means that the environment types will be merged.
**Signature**
```ts
-export declare const right: (pbc: Reader) => Reader, E.Either>
+export declare const asksReaderW: (f: (r1: R1) => Reader) => Reader
```
-Added in v2.10.0
-
-# Profunctor
+Added in v2.11.0
-## promap
+## id
**Signature**
```ts
-export declare const promap: (f: (d: D) => E, g: (a: A) => B) => (fea: Reader) => Reader
+export declare const id: () => Reader
```
Added in v2.0.0
-# Semigroupoid
-
-## compose
+## of
**Signature**
```ts
-export declare const compose: (ab: Reader) => (bc: Reader) => Reader
+export declare const of: (a: A) => Reader
```
Added in v2.0.0
-# Strong
+# do notation
-## first
+## Do
**Signature**
```ts
-export declare const first: (pab: Reader) => Reader<[A, C], [B, C]>
+export declare const Do: Reader
```
-Added in v2.10.0
+Added in v2.9.0
-## second
+## apS
**Signature**
```ts
-export declare const second: (pab: Reader) => Reader<[A, B], [A, C]>
+export declare const apS: (
+ name: Exclude,
+ fb: Reader
+) => (fa: Reader) => Reader
```
-Added in v2.10.0
+Added in v2.8.0
-# constructors
+## apSW
-## ask
+Less strict version of [`apS`](#aps).
-Reads the current context
+The `W` suffix (short for **W**idening) means that the environment types will be merged.
**Signature**
```ts
-export declare const ask: () => Reader
+export declare const apSW: (
+ name: Exclude,
+ fb: Reader
+) => (fa: Reader) => Reader
```
-Added in v2.0.0
-
-## asks
+Added in v2.8.0
-Projects a value from the global context in a Reader
+## bind
**Signature**
```ts
-export declare const asks: (f: (r: R) => A) => Reader
+export declare const bind: (
+ name: Exclude,
+ f: (a: A) => Reader
+) => (ma: Reader) => Reader
```
-Added in v2.0.0
+Added in v2.8.0
-## of
+## bindTo
**Signature**
```ts
-export declare const of: (a: A) => Reader
+export declare const bindTo: (name: N) => (fa: Reader) => Reader
```
-Added in v2.0.0
-
-# do notation
-
-## Do
-
-**Signature**
-
-```ts
-export declare const Do: Reader
-```
+Added in v2.8.0
-Added in v2.9.0
+## bindW
-## apS
+The `W` suffix (short for **W**idening) means that the environment types will be merged.
**Signature**
```ts
-export declare const apS: (
+export declare const bindW: (
name: Exclude,
- fb: Reader
-) => (fa: Reader) => Reader
+ f: (a: A) => Reader
+) => (fa: Reader) => Reader
```
Added in v2.8.0
-## apSW
-
-Less strict version of [`apS`](#aps).
-
-The `W` suffix (short for **W**idening) means that the environment types will be merged.
+## let
**Signature**
```ts
-export declare const apSW: (
+export declare const let: (
name: Exclude,
- fb: Reader
-) => (fa: Reader) => Reader
+ f: (a: A) => B
+) => (fa: Reader) => Reader
```
-Added in v2.8.0
+Added in v2.13.0
# instances
@@ -623,82 +608,49 @@ export declare const apSecondW: (second: Reader) => (first:
Added in v2.12.0
-## asksReader
-
-Effectfully accesses the environment.
-
-**Signature**
-
-```ts
-export declare const asksReader: (f: (r: R) => Reader) => Reader
-```
-
-Added in v2.11.0
-
-## asksReaderW
+## apW
-Less strict version of [`asksReader`](#asksreader).
+Less strict version of [`ap`](#ap).
The `W` suffix (short for **W**idening) means that the environment types will be merged.
**Signature**
```ts
-export declare const asksReaderW: (f: (r1: R1) => Reader) => Reader
-```
-
-Added in v2.11.0
-
-## bind
-
-**Signature**
-
-```ts
-export declare const bind: (
- name: Exclude,
- f: (a: A) => Reader
-) => (ma: Reader) => Reader
+export declare const apW: (fa: Reader) => (fab: Reader B>) => Reader
```
Added in v2.8.0
-## bindTo
+## compose
**Signature**
```ts
-export declare const bindTo: (name: N) => (fa: Reader) => Reader
+export declare const compose: (ab: Reader) => (bc: Reader) => Reader
```
-Added in v2.8.0
-
-## bindW
+Added in v2.0.0
-The `W` suffix (short for **W**idening) means that the environment types will be merged.
+## first
**Signature**
```ts
-export declare const bindW: (
- name: Exclude,
- f: (a: A) => Reader
-) => (fa: Reader) => Reader
+export declare const first: (pab: Reader) => Reader<[A, C], [B, C]>
```
-Added in v2.8.0
+Added in v2.10.0
-## let
+## left
**Signature**
```ts
-export declare const let: (
- name: Exclude,
- f: (a: A) => B
-) => (fa: Reader) => Reader
+export declare const left: (pab: Reader) => Reader, E.Either>
```
-Added in v2.13.0
+Added in v2.10.0
## local
@@ -740,6 +692,36 @@ assert.deepStrictEqual(
Added in v2.0.0
+## promap
+
+**Signature**
+
+```ts
+export declare const promap: (f: (d: D) => E, g: (a: A) => B) => (fea: Reader) => Reader
+```
+
+Added in v2.0.0
+
+## right
+
+**Signature**
+
+```ts
+export declare const right: (pbc: Reader) => Reader, E.Either>
+```
+
+Added in v2.10.0
+
+## second
+
+**Signature**
+
+```ts
+export declare const second: (pab: Reader) => Reader<[A, B], [A, C]>
+```
+
+Added in v2.10.0
+
## sequenceArray
**Signature**
diff --git a/docs/modules/ReaderEither.ts.md b/docs/modules/ReaderEither.ts.md
index 6edda9351..7fc0548ab 100644
--- a/docs/modules/ReaderEither.ts.md
+++ b/docs/modules/ReaderEither.ts.md
@@ -12,13 +12,11 @@ Added in v2.0.0
Table of contents
-- [Apply](#apply)
- - [apW](#apw)
-- [MonadThrow](#monadthrow)
- - [throwError](#throwerror)
- [constructors](#constructors)
- [ask](#ask)
- [asks](#asks)
+ - [asksReaderEither](#asksreadereither)
+ - [asksReaderEitherW](#asksreadereitherw)
- [left](#left)
- [leftReader](#leftreader)
- [of](#of)
@@ -58,14 +56,14 @@ Added in v2.0.0
- [instances](#instances)
- [Alt](#alt)
- [Applicative](#applicative)
- - [Apply](#apply-1)
+ - [Apply](#apply)
- [Bifunctor](#bifunctor)
- [Chain](#chain)
- [FromEither](#fromeither)
- [FromReader](#fromreader)
- [Functor](#functor)
- [Monad](#monad)
- - [MonadThrow](#monadthrow-1)
+ - [MonadThrow](#monadthrow)
- [Pointed](#pointed)
- [lifting](#lifting)
- [fromEitherK](#fromeitherk)
@@ -112,11 +110,11 @@ Added in v2.0.0
- [apFirstW](#apfirstw)
- [apSecond](#apsecond)
- [apSecondW](#apsecondw)
- - [asksReaderEither](#asksreadereither)
- - [asksReaderEitherW](#asksreadereitherw)
+ - [apW](#apw)
- [local](#local)
- [sequenceArray](#sequencearray)
- [swap](#swap)
+ - [throwError](#throwerror)
- [traverseArray](#traversearray)
- [traverseArrayWithIndex](#traversearraywithindex)
- [traverseReadonlyArrayWithIndex](#traversereadonlyarraywithindex)
@@ -130,61 +128,59 @@ Added in v2.0.0
---
-# Apply
-
-## apW
+# constructors
-Less strict version of [`ap`](#ap).
+## ask
-The `W` suffix (short for **W**idening) means that the environment types and the error types will be merged.
+Reads the current context.
**Signature**
```ts
-export declare const apW: (
- fa: ReaderEither
-) => (fab: ReaderEither B>) => ReaderEither
+export declare const ask: () => ReaderEither
```
-Added in v2.8.0
+Added in v2.0.0
-# MonadThrow
+## asks
-## throwError
+Projects a value from the global context in a `ReaderEither`.
**Signature**
```ts
-export declare const throwError: (e: E) => ReaderEither
+export declare const asks: (f: (r: R) => A) => ReaderEither
```
-Added in v2.7.0
-
-# constructors
+Added in v2.0.0
-## ask
+## asksReaderEither
-Reads the current context.
+Effectfully accesses the environment.
**Signature**
```ts
-export declare const ask: () => ReaderEither
+export declare const asksReaderEither: (f: (r: R) => ReaderEither) => ReaderEither
```
-Added in v2.0.0
+Added in v2.11.0
-## asks
+## asksReaderEitherW
-Projects a value from the global context in a `ReaderEither`.
+Less strict version of [`asksReaderEither`](#asksreadereither).
+
+The `W` suffix (short for **W**idening) means that the environment types will be merged.
**Signature**
```ts
-export declare const asks: (f: (r: R) => A) => ReaderEither
+export declare const asksReaderEitherW: (
+ f: (r1: R1) => ReaderEither
+) => ReaderEither
```
-Added in v2.0.0
+Added in v2.11.0
## left
@@ -1243,33 +1239,21 @@ export declare const apSecondW: (
Added in v2.12.0
-## asksReaderEither
-
-Effectfully accesses the environment.
-
-**Signature**
-
-```ts
-export declare const asksReaderEither: (f: (r: R) => ReaderEither) => ReaderEither
-```
-
-Added in v2.11.0
-
-## asksReaderEitherW
+## apW
-Less strict version of [`asksReaderEither`](#asksreadereither).
+Less strict version of [`ap`](#ap).
-The `W` suffix (short for **W**idening) means that the environment types will be merged.
+The `W` suffix (short for **W**idening) means that the environment types and the error types will be merged.
**Signature**
```ts
-export declare const asksReaderEitherW: (
- f: (r1: R1) => ReaderEither
-) => ReaderEither
+export declare const apW: (
+ fa: ReaderEither