These: add missing MonadThrow instance

CHANGELOG.md

@@ -14,6 +14,12 @@
 **Note**: Gaps between patch versions are faulty/broken releases. **Note**: A feature tagged as Experimental is in a
 high state of flux, you're at risk of it changing without notice.
 
+# 2.5.1
+
+- **Polish**
+  - `These`
+    - add missing `MonadThrow` instance (@gcanti)
+
 # 2.5.0
 
 - **New Feature**

docs/modules/These.ts.md

@@ -237,7 +237,7 @@ Added in v2.0.0
 **Signature**
 
 ```ts
-export function getMonad<E>(S: Semigroup<E>): Monad2C<URI, E> { ... }
+export function getMonad<E>(S: Semigroup<E>): Monad2C<URI, E> & MonadThrow2C<URI, E> { ... }
 ```
 
 Added in v2.0.0

package.json

@@ -1,6 +1,6 @@
 {
   "name": "fp-ts",
-  "version": "2.5.0",
+  "version": "2.5.1",
   "description": "Functional programming in TypeScript",
   "files": [
     "lib",

src/These.ts

@@ -27,6 +27,7 @@ import { Foldable2 } from './Foldable'
 import { Functor2 } from './Functor'
 import { HKT } from './HKT'
 import { Monad2C } from './Monad'
+import { MonadThrow2C } from './MonadThrow'
 import { isNone, none, Option, some } from './Option'
 import { pipeable } from './pipeable'
 import { Semigroup } from './Semigroup'
@@ -164,7 +165,7 @@ export function getSemigroup<E, A>(SE: Semigroup<E>, SA: Semigroup<A>): Semigrou
 /**
  * @since 2.0.0
  */
-export function getMonad<E>(S: Semigroup<E>): Monad2C<URI, E> {
+export function getMonad<E>(S: Semigroup<E>): Monad2C<URI, E> & MonadThrow2C<URI, E> {
   const chain = <A, B>(ma: These<E, A>, f: (a: A) => These<E, B>): These<E, B> => {
     if (isLeft(ma)) {
       return ma
@@ -186,7 +187,8 @@ export function getMonad<E>(S: Semigroup<E>): Monad2C<URI, E> {
     map: these.map,
     of: right,
     ap: (mab, ma) => chain(mab, f => these.map(ma, f)),
-    chain
+    chain,
+    throwError: left
   }
 }