export missing instances

gcanti · Feb 17, 2021 · 93dcc86 · 93dcc86
1 parent 4da1e91
commit 93dcc86
Show file tree

Hide file tree

Showing 13 changed files with 527 additions and 17 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -17,16 +17,48 @@ high state of flux, you're at risk of it changing without notice.
 
 # 2.10.0-rc.2
 
-- `Choice`
-  - deprecate `splitChoice` in favour of `split`
-  - deprecate `fanin` in favour of `fanIn`
-- `Compactable`
-  - split `compact` / `separate` constraints
-- `Reader`
-  - export `first`, `second`, `left`, `right`
-- `Strong`
-  - deprecate `splitString` in favour of `split`
-  - deprecate `fanout` in favour of `fanOut`
+- **Deprecations**
+  - `Choice`
+    - deprecate `splitChoice` in favour of `split`
+    - deprecate `fanin` in favour of `fanIn`
+  - `Strong`
+    - deprecate `splitString` in favour of `split`
+    - deprecate `fanout` in favour of `fanOut`
+- **New Feature**
+  - `Reader`
+    - export `first`, `second`, `left`, `right`
+  - `ReaderTask`
+    - export `Chain` instance
+    - export `Monad` instance
+    - export `MonadIO` instance
+    - export `MonadTask` instance
+  - `ReaderTaskEither`
+    - export `Chain` instance
+    - export `Monad` instance
+    - export `MonadIO` instance
+    - export `MonadTask` instance
+    - export `MonadThrow` instance
+  - `StateReaderTaskEither`
+    - export `MonadIO` instance
+    - export `MonadTask` instance
+    - export `MonadThrow` instance
+  - `Task`
+    - export `Chain` instance
+    - export `Monad` instance
+    - export `MonadIO` instance
+    - export `MonadTask` instance
+  - `TaskEither`
+    - export `Chain` instance
+    - export `Monad` instance
+    - export `MonadIO` instance
+    - export `MonadTask` instance
+    - export `MonadThrow` instance
+  - `TaskOption`
+    - export `Chain` instance
+    - export `Monad` instance
+- **Polish**
+  - `Compactable`
+    - split `compact` / `separate` constraints
 
 # 2.10.0-rc.1
 

diff --git a/docs/modules/ReaderTask.ts.md b/docs/modules/ReaderTask.ts.md
@@ -46,9 +46,13 @@ Added in v2.3.0
   - [ApplicativeSeq](#applicativeseq)
   - [ApplyPar](#applypar)
   - [ApplySeq](#applyseq)
+  - [Chain](#chain)
   - [FromIO](#fromio)
   - [FromTask](#fromtask)
   - [Functor](#functor-1)
+  - [Monad](#monad-1)
+  - [MonadIO](#monadio)
+  - [MonadTask](#monadtask)
   - [Pointed](#pointed-1)
   - [URI](#uri)
   - [URI (type alias)](#uri-type-alias)
@@ -395,6 +399,16 @@ export declare const ApplySeq: Apply2<'ReaderTask'>
 
 Added in v2.10.0
 
+## Chain
+
+**Signature**
+
+```ts
+export declare const Chain: Chain2<'ReaderTask'>
+```
+
+Added in v2.10.0
+
 ## FromIO
 
 **Signature**
@@ -425,6 +439,36 @@ export declare const Functor: Functor2<'ReaderTask'>
 
 Added in v2.7.0
 
+## Monad
+
+**Signature**
+
+```ts
+export declare const Monad: Monad2<'ReaderTask'>
+```
+
+Added in v2.10.0
+
+## MonadIO
+
+**Signature**
+
+```ts
+export declare const MonadIO: MonadIO2<'ReaderTask'>
+```
+
+Added in v2.10.0
+
+## MonadTask
+
+**Signature**
+
+```ts
+export declare const MonadTask: MonadTask2<'ReaderTask'>
+```
+
+Added in v2.10.0
+
 ## Pointed
 
 **Signature**

diff --git a/docs/modules/ReaderTaskEither.ts.md b/docs/modules/ReaderTaskEither.ts.md
@@ -96,10 +96,15 @@ Added in v2.0.0
   - [ApplyPar](#applypar)
   - [ApplySeq](#applyseq)
   - [Bifunctor](#bifunctor-1)
+  - [Chain](#chain)
   - [FromEither](#fromeither)
   - [FromIO](#fromio)
   - [FromTask](#fromtask)
   - [Functor](#functor-1)
+  - [Monad](#monad-1)
+  - [MonadIO](#monadio)
+  - [MonadTask](#monadtask)
+  - [MonadThrow](#monadthrow-1)
   - [Pointed](#pointed-1)
   - [URI](#uri)
   - [URI (type alias)](#uri-type-alias)
@@ -1038,6 +1043,16 @@ export declare const Bifunctor: Bifunctor3<'ReaderTaskEither'>
 
 Added in v2.7.0
 
+## Chain
+
+**Signature**
+
+```ts
+export declare const Chain: Chain3<'ReaderTaskEither'>
+```
+
+Added in v2.10.0
+
 ## FromEither
 
 **Signature**
@@ -1078,6 +1093,46 @@ export declare const Functor: Functor3<'ReaderTaskEither'>
 
 Added in v2.7.0
 
+## Monad
+
+**Signature**
+
+```ts
+export declare const Monad: Monad3<'ReaderTaskEither'>
+```
+
+Added in v2.10.0
+
+## MonadIO
+
+**Signature**
+
+```ts
+export declare const MonadIO: MonadIO3<'ReaderTaskEither'>
+```
+
+Added in v2.10.0
+
+## MonadTask
+
+**Signature**
+
+```ts
+export declare const MonadTask: MonadTask3<'ReaderTaskEither'>
+```
+
+Added in v2.10.0
+
+## MonadThrow
+
+**Signature**
+
+```ts
+export declare const MonadThrow: MonadThrow3<'ReaderTaskEither'>
+```
+
+Added in v2.10.0
+
 ## Pointed
 
 **Signature**

diff --git a/docs/modules/StateReaderTaskEither.ts.md b/docs/modules/StateReaderTaskEither.ts.md
@@ -95,6 +95,9 @@ Added in v2.0.0
   - [FromTask](#fromtask)
   - [Functor](#functor-1)
   - [Monad](#monad-1)
+  - [MonadIO](#monadio)
+  - [MonadTask](#monadtask)
+  - [MonadThrow](#monadthrow-1)
   - [Pointed](#pointed-1)
   - [URI](#uri)
   - [URI (type alias)](#uri-type-alias)
@@ -1018,6 +1021,36 @@ export declare const Monad: Monad4<'StateReaderTaskEither'>
 
 Added in v2.10.0
 
+## MonadIO
+
+**Signature**
+
+```ts
+export declare const MonadIO: MonadIO4<'StateReaderTaskEither'>
+```
+
+Added in v2.10.0
+
+## MonadTask
+
+**Signature**
+
+```ts
+export declare const MonadTask: MonadTask4<'StateReaderTaskEither'>
+```
+
+Added in v2.10.0
+
+## MonadThrow
+
+**Signature**
+
+```ts
+export declare const MonadThrow: MonadThrow4<'StateReaderTaskEither'>
+```
+
+Added in v2.10.0
+
 ## Pointed
 
 **Signature**

diff --git a/docs/modules/Task.ts.md b/docs/modules/Task.ts.md
@@ -48,9 +48,13 @@ Added in v2.0.0
   - [ApplicativeSeq](#applicativeseq)
   - [ApplyPar](#applypar)
   - [ApplySeq](#applyseq)
+  - [Chain](#chain)
   - [FromIO](#fromio)
   - [FromTask](#fromtask-1)
   - [Functor](#functor-1)
+  - [Monad](#monad-1)
+  - [MonadIO](#monadio)
+  - [MonadTask](#monadtask)
   - [Pointed](#pointed-1)
   - [URI](#uri)
   - [URI (type alias)](#uri-type-alias)
@@ -331,6 +335,16 @@ export declare const ApplySeq: Apply1<'Task'>
 
 Added in v2.10.0
 
+## Chain
+
+**Signature**
+
+```ts
+export declare const Chain: Chain1<'Task'>
+```
+
+Added in v2.10.0
+
 ## FromIO
 
 **Signature**
@@ -361,6 +375,36 @@ export declare const Functor: Functor1<'Task'>
 
 Added in v2.7.0
 
+## Monad
+
+**Signature**
+
+```ts
+export declare const Monad: Monad1<'Task'>
+```
+
+Added in v2.10.0
+
+## MonadIO
+
+**Signature**
+
+```ts
+export declare const MonadIO: MonadIO1<'Task'>
+```
+
+Added in v2.10.0
+
+## MonadTask
+
+**Signature**
+
+```ts
+export declare const MonadTask: MonadTask1<'Task'>
+```
+
+Added in v2.10.0
+
 ## Pointed
 
 **Signature**