fix: let MaybeT.orElse return any inner type

andy.patterson · andnp · commit da0d41493eb6 · 2018-05-14T15:10:23.000-04:00
diff --git a/src/transformer.ts b/src/transformer.ts
@@ -47,7 +47,7 @@ export class MaybeT<T extends MonadLike<Unknown>> {
         ));
     }
 
-    orElse<U extends MonadValue<T>>(def: U | (() => U)): U {
+    orElse<U extends MonadValue<any>>(def: U | (() => U)): T | U {
         const map = getMap(this.value);
         return map(inner =>
             maybe(inner)

Original file line number	Diff line number	Diff line change
`@@ -47,7 +47,7 @@ export class MaybeT<T extends MonadLike<Unknown>> {`
`47`	`47`	`));`
`48`	`48`	`}`
`49`	`49`
`50`		`- orElse<U extends MonadValue<T>>(def: U \| (() => U)): U {`
	`50`	`+ orElse<U extends MonadValue<any>>(def: U \| (() => U)): T \| U {`
`51`	`51`	`const map = getMap(this.value);`
`52`	`52`	`return map(inner =>`
`53`	`53`	`maybe(inner)`