t-tasks 1.0.1 → 1.0.2

package/dist/either.d.ts

@@ -40,7 +40,7 @@ export interface Right<R, L> {
      */
     matchTap(op: {
         right: (value: R) => void;
-        left: (error: any) => void;
+        left: (error: L) => void;
     }): this;
     /**
      * Either transformer function
@@ -79,11 +79,11 @@ export interface Right<R, L> {
      */
     matchMap<R2, R3 = R2>(this: Right<R, L>, op: {
         right: (value: R) => R2;
-        left: (error: any) => R3;
+        left: (error: L) => R3;
     }): Right<R2, never>;
     matchMap<R2, R3 = R2>(this: Either<R, L>, op: {
         right: (value: R) => R2;
-        left: (error: any) => R3;
+        left: (error: L) => R3;
     }): Right<R2 | R3, never>;
     /**
      * Either composition function
@@ -135,75 +135,75 @@ export interface Right<R, L> {
      */
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Right<R, L>, op: {
         right: (value: R) => Right<R2, L2>;
-        left: (error: any) => Right<R3, L3>;
+        left: (error: L) => Right<R3, L3>;
     }): Right<R2, never>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Right<R, L>, op: {
         right: (value: R) => Left<R2, L2>;
-        left: (error: any) => Right<R3, L3>;
+        left: (error: L) => Right<R3, L3>;
     }): Left<never, L2>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Right<R, L>, op: {
         right: (value: R) => Right<R2, L2>;
-        left: (error: any) => Left<R3, L3>;
+        left: (error: L) => Left<R3, L3>;
     }): Right<R2, never>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Right<R, L>, op: {
         right: (value: R) => Left<R2, L2>;
-        left: (error: any) => Left<R3, L3>;
+        left: (error: L) => Left<R3, L3>;
     }): Left<never, L2>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Right<R, L>, op: {
         right: (value: R) => Either<R2, L2>;
-        left: (error: any) => Right<R3, L3>;
+        left: (error: L) => Right<R3, L3>;
     }): Either<R2, L2>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Right<R, L>, op: {
         right: (value: R) => Either<R2, L2>;
-        left: (error: any) => Left<R3, L3>;
+        left: (error: L) => Left<R3, L3>;
     }): Either<R2, L2>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Right<R, L>, op: {
         right: (value: R) => Right<R2, L2>;
-        left: (error: any) => Either<R3, L3>;
+        left: (error: L) => Either<R3, L3>;
     }): Right<R2, never>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Right<R, L>, op: {
         right: (value: R) => Left<R2, L2>;
-        left: (error: any) => Either<R3, L3>;
+        left: (error: L) => Either<R3, L3>;
     }): Left<never, L2>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Right<R, L>, op: {
         right: (value: R) => Either<R2, L2>;
-        left: (error: any) => Either<R3, L3>;
+        left: (error: L) => Either<R3, L3>;
     }): Either<R2, L2>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Either<R, L>, op: {
         right: (value: R) => Right<R2, L2>;
-        left: (error: any) => Right<R3, L3>;
+        left: (error: L) => Right<R3, L3>;
     }): Right<R2 | R3, never>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Either<R, L>, op: {
         right: (value: R) => Left<R2, L2>;
-        left: (error: any) => Right<R3, L3>;
+        left: (error: L) => Right<R3, L3>;
     }): Either<R3, L2>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Either<R, L>, op: {
         right: (value: R) => Right<R2, L2>;
-        left: (error: any) => Left<R3, L3>;
+        left: (error: L) => Left<R3, L3>;
     }): Either<R2, L3>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Either<R, L>, op: {
         right: (value: R) => Left<R2, L2>;
-        left: (error: any) => Left<R3, L3>;
+        left: (error: L) => Left<R3, L3>;
     }): Left<never, L2 | L3>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Either<R, L>, op: {
         right: (value: R) => Either<R2, L2>;
-        left: (error: any) => Right<R3, L3>;
+        left: (error: L) => Right<R3, L3>;
     }): Either<R2 | R3, L2>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Either<R, L>, op: {
         right: (value: R) => Either<R2, L2>;
-        left: (error: any) => Left<R3, L3>;
+        left: (error: L) => Left<R3, L3>;
     }): Either<R2, L2 | L3>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Either<R, L>, op: {
         right: (value: R) => Right<R2, L2>;
-        left: (error: any) => Either<R3, L3>;
+        left: (error: L) => Either<R3, L3>;
     }): Either<R2 | R3, L3>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Either<R, L>, op: {
         right: (value: R) => Left<R2, L2>;
-        left: (error: any) => Either<R3, L3>;
+        left: (error: L) => Either<R3, L3>;
     }): Either<R3, L2 | L3>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Either<R, L>, op: {
         right: (value: R) => Either<R2, L2>;
-        left: (error: any) => Either<R3, L3>;
+        left: (error: L) => Either<R3, L3>;
     }): Either<R2 | R3, L2 | L3>;
     /**
      * Either type guard for 'right'
@@ -231,6 +231,14 @@ export interface Right<R, L> {
      * ```
      */
     isLeft(): this is Left<R, L>;
+    /**
+     * Wrap Maybe to singleton generator
+     *
+     * Userful in order to avoid ambiguous yied types
+     *
+     * @returns generator of Maybe wrapping this
+     */
+    generator: EitherGeneratorFunction<[], R, Right<R, L>, R>;
 }
 /**
  * Left (erroneous) value of type L
@@ -274,7 +282,7 @@ export interface Left<R, L> {
      */
     matchTap(op: {
         right: (value: R) => void;
-        left: (error: any) => void;
+        left: (error: L) => void;
     }): this;
     /**
      * Either transformer function
@@ -313,11 +321,11 @@ export interface Left<R, L> {
      */
     matchMap<R2, R3 = R2>(this: Left<R, L>, op: {
         right: (value: R) => R2;
-        left: (error: any) => R3;
+        left: (error: L) => R3;
     }): Right<R3, never>;
     matchMap<R2, R3 = R2>(this: Either<R, L>, op: {
         right: (value: R) => R2;
-        left: (error: any) => R3;
+        left: (error: L) => R3;
     }): Right<R2 | R3, never>;
     /**
      * Either composition function
@@ -369,75 +377,75 @@ export interface Left<R, L> {
      */
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Left<R, L>, op: {
         right: (value: R) => Right<R2, L2>;
-        left: (error: any) => Right<R3, L3>;
+        left: (error: L) => Right<R3, L3>;
     }): Right<R3, never>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Left<R, L>, op: {
         right: (value: R) => Left<R2, L2>;
-        left: (error: any) => Right<R3, L3>;
+        left: (error: L) => Right<R3, L3>;
     }): Right<R3, never>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Left<R, L>, op: {
         right: (value: R) => Right<R2, L2>;
-        left: (error: any) => Left<R3, L3>;
+        left: (error: L) => Left<R3, L3>;
     }): Left<never, L3>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Left<R, L>, op: {
         right: (value: R) => Left<R2, L2>;
-        left: (error: any) => Left<R3, L3>;
+        left: (error: L) => Left<R3, L3>;
     }): Left<never, L3>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Left<R, L>, op: {
         right: (value: R) => Either<R2, L2>;
-        left: (error: any) => Right<R3, L3>;
+        left: (error: L) => Right<R3, L3>;
     }): Right<R3, never>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Left<R, L>, op: {
         right: (value: R) => Either<R2, L2>;
-        left: (error: any) => Left<R3, L3>;
+        left: (error: L) => Left<R3, L3>;
     }): Left<never, L3>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Left<R, L>, op: {
         right: (value: R) => Right<R2, L2>;
-        left: (error: any) => Either<R3, L3>;
+        left: (error: L) => Either<R3, L3>;
     }): Either<R3, L3>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Left<R, L>, op: {
         right: (value: R) => Left<R2, L2>;
-        left: (error: any) => Either<R3, L3>;
+        left: (error: L) => Either<R3, L3>;
     }): Either<R3, L3>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Left<R, L>, op: {
         right: (value: R) => Either<R2, L2>;
-        left: (error: any) => Either<R3, L3>;
+        left: (error: L) => Either<R3, L3>;
     }): Either<R3, L3>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Either<R, L>, op: {
         right: (value: R) => Right<R2, L2>;
-        left: (error: any) => Right<R3, L3>;
+        left: (error: L) => Right<R3, L3>;
     }): Right<R2 | R3, never>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Either<R, L>, op: {
         right: (value: R) => Left<R2, L2>;
-        left: (error: any) => Right<R3, L3>;
+        left: (error: L) => Right<R3, L3>;
     }): Either<R3, L2>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Either<R, L>, op: {
         right: (value: R) => Right<R2, L2>;
-        left: (error: any) => Left<R3, L3>;
+        left: (error: L) => Left<R3, L3>;
     }): Either<R2, L3>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Either<R, L>, op: {
         right: (value: R) => Left<R2, L2>;
-        left: (error: any) => Left<R3, L3>;
+        left: (error: L) => Left<R3, L3>;
     }): Left<never, L2 | L3>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Either<R, L>, op: {
         right: (value: R) => Either<R2, L2>;
-        left: (error: any) => Right<R3, L3>;
+        left: (error: L) => Right<R3, L3>;
     }): Either<R2 | R3, L2>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Either<R, L>, op: {
         right: (value: R) => Either<R2, L2>;
-        left: (error: any) => Left<R3, L3>;
+        left: (error: L) => Left<R3, L3>;
     }): Either<R2, L2 | L3>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Either<R, L>, op: {
         right: (value: R) => Right<R2, L2>;
-        left: (error: any) => Either<R3, L3>;
+        left: (error: L) => Either<R3, L3>;
     }): Either<R2 | R3, L3>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Either<R, L>, op: {
         right: (value: R) => Left<R2, L2>;
-        left: (error: any) => Either<R3, L3>;
+        left: (error: L) => Either<R3, L3>;
     }): Either<R3, L2 | L3>;
     matchChain<R2, L2, R3 = R2, L3 = L2>(this: Either<R, L>, op: {
         right: (value: R) => Either<R2, L2>;
-        left: (error: any) => Either<R3, L3>;
+        left: (error: L) => Either<R3, L3>;
     }): Either<R2 | R3, L2 | L3>;
     /**
      * Either type guard for 'right'
@@ -465,6 +473,14 @@ export interface Left<R, L> {
      * ```
      */
     isLeft(): this is Left<R, L>;
+    /**
+     * Wrap Maybe to singleton generator
+     *
+     * Userful in order to avoid ambiguous yied types
+     *
+     * @returns generator of Maybe wrapping this
+     */
+    generator: EitherGeneratorFunction<[], R, Left<R, L>, R>;
 }
 /**
  * Either data type: either Right value of type R or Left value of type L
@@ -502,6 +518,8 @@ export declare namespace Left {
      */
     function left<R, L>(left: Left<R, L>): L;
 }
+export declare type EitherGenerator<T, TT extends Either<T, any>, R> = Generator<TT, R, T>;
+export declare type EitherGeneratorFunction<A extends unknown[], T, TT extends Either<T, any>, R> = (...args: A) => EitherGenerator<T, TT, R>;
 export declare namespace Either {
     /**
      * Right monad constructor
@@ -577,7 +595,7 @@ export declare namespace Either {
      * @param eithers a list of Either
      * @returns true in case at least one list element is Right
      */
-    function someRight<R, L>(eithers: Either<R, L>[]): eithers is Right<R, never>[];
+    function someRight<R, L>(eithers: Either<R, L>[]): boolean;
     /**
      * Standalone list predicate
      *
@@ -591,5 +609,18 @@ export declare namespace Either {
      * @param eithers a list of Either
      * @returns true in case at least one list element is Left
      */
-    function someLeft<R, L>(eithers: Either<R, L>[]): eithers is Left<never, L>[];
+    function someLeft<R, L>(eithers: Either<R, L>[]): boolean;
+    /**
+     * Create compound Either from generator function
+     *
+     * Applying yield to a Maybe within the generator function unwraps the Maybe and returns underlying value in case of success
+     * However the convinient option for typescript is to use ```yield* maybe.generator()``` as othervise one may have to deal with union types
+     *
+     * @template TT yielded Maybe type
+     * @template R returned underlying type
+     * @param maybeGeneratorFunction Maybe generator function
+     * @returns Just wrapping the result of generator function or Nothing
+     * ```
+     */
+    function generate<T, TT extends Either<T, any>, R>(eitherGeneratorFunction: EitherGeneratorFunction<[], T, TT, R>): Either<R, any>;
 }

package/dist/maybe.d.ts

@@ -226,6 +226,14 @@ export interface Just<R> {
      * ```
      */
     isNothing(): this is Nothing<R>;
+    /**
+     * Wrap Maybe to singleton generator
+     *
+     * Userful in order to avoid ambiguous yied types
+     *
+     * @returns generator of Maybe wrapping this
+     */
+    generator: MaybeGeneratorFunction<[], R, Just<R>, R>;
 }
 /**
  * Absolutely Nothing
@@ -452,6 +460,14 @@ export interface Nothing<R> {
      * ```
      */
     isNothing(): this is Nothing<R>;
+    /**
+     * Wrap Maybe to singleton generator
+     *
+     * Userful in order to avoid ambiguous yied types
+     *
+     * @returns generator of Maybe wrapping this
+     */
+    generator: MaybeGeneratorFunction<[], R, Nothing<R>, R>;
 }
 /**
  * Genric Maybe monad interface
@@ -475,6 +491,8 @@ export declare namespace Just {
     function just<R>(just: Just<R>): R;
 }
 export declare namespace Nothing { }
+export declare type MaybeGenerator<T, TT extends Maybe<T>, R> = Generator<TT, R, T>;
+export declare type MaybeGeneratorFunction<A extends unknown[], T, TT extends Maybe<T>, R> = (...args: A) => MaybeGenerator<T, TT, R>;
 export declare namespace Maybe {
     /**
      * Non-empty monad constructor
@@ -546,7 +564,7 @@ export declare namespace Maybe {
      * @param maybes a list of Maybe
      * @returns true in case al east one list element is Just
      */
-    function someJust<R>(maybes: Maybe<R>[]): maybes is Just<R>[];
+    function someJust<R>(maybes: Maybe<R>[]): boolean;
     /**
      * Standalone list predicate
      *
@@ -560,5 +578,18 @@ export declare namespace Maybe {
      * @param maybes a list of Maybe
      * @returns true in case at least one list element is Nothing
      */
-    function someNothing<R>(maybes: Maybe<R>[]): maybes is Nothing<never>[];
+    function someNothing<R>(maybes: Maybe<R>[]): boolean;
+    /**
+     * Create compound Maybe from generator function
+     *
+     * Applying yield to a Maybe within the generator function unwraps the Maybe and returns underlying value in case of success
+     * However the convinient option for typescript is to use ```yield* maybe.generator()``` as othervise one may have to deal with union types
+     *
+     * @template TT yielded Maybe type
+     * @template R returned underlying type
+     * @param maybeGeneratorFunction Maybe generator function
+     * @returns Just wrapping the result of generator function or Nothing
+     * ```
+     */
+    function generate<T, TT extends Maybe<T>, R>(maybeGeneratorFunction: MaybeGeneratorFunction<[], T, TT, R>): Maybe<R>;
 }

package/dist/t-tasks.esm.js

@@ -1,2 +1,2 @@
-var t,r;!function(t){t.just=function(t){return t.just}}(t||(t={})),function(t){t.just=function(t){return new e(t)},t.nothing=function(){return n},t.fromOptional=function(r){return void 0!==r?t.just(r):t.nothing()},t.fromNullable=function(r){return t.fromOptional(r).chain(r=>null!==r?t.just(r):t.nothing())},t.isJust=function(t){return t.isJust()},t.isNothing=function(t){return t.isNothing()},t.everyJust=function(r){return r.every(t.isJust)},t.someJust=function(r){return r.some(t.isJust)},t.everyNothing=function(r){return r.every(t.isNothing)},t.someNothing=function(r){return r.some(t.isNothing)}}(r||(r={}));class e{constructor(t){this.just=void 0,this.just=t}tap(t){return t(this.just),this}orTap(){return this}map(t){return r.just(t(this.just))}orMap(){return this}chain(t){return t(this.just)}orChain(){return this}isJust(){return!0}isNothing(){return!1}matchTap(t){return this.tap(t.just)}matchMap(t){return this.map(t.just)}matchChain(t){return this.chain(t.just)}}const n=new class{tap(){return this}orTap(t){return t(),this}map(){return this}orMap(t){return r.just(t())}chain(){return this}orChain(t){return t()}isJust(){return!1}isNothing(){return!0}matchTap(t){return this.orTap(t.nothing)}matchMap(t){return this.orMap(t.nothing)}matchChain(t){return this.orChain(t.nothing)}};var i,u,c,o;!function(t){t.right=function(t){return t.right}}(i||(i={})),function(t){t.left=function(t){return t.left}}(u||(u={})),function(t){t.right=function(t){return new s(t)},t.left=function(t){return new a(t)},t.fromOptional=function(r,e){return void 0!==r?t.right(r):t.left(e)},t.fromNullable=function(r,e){return t.fromOptional(r,e).chain(n=>null!==n?t.right(r):t.left(e))},t.isRight=function(t){return t.isRight()},t.isLeft=function(t){return t.isLeft()},t.everyRight=function(r){return r.every(t.isRight)},t.someRight=function(r){return r.some(t.isRight)},t.everyLeft=function(r){return r.every(t.isLeft)},t.someLeft=function(r){return r.some(t.isLeft)}}(c||(c={}));class s{constructor(t){this.right=void 0,this.right=t}tap(t){return t(this.right),this}orTap(){return this}map(t){return c.right(t(this.right))}orMap(){return this}chain(t){return t(this.right)}orChain(){return this}isRight(){return!0}isLeft(){return!1}matchTap(t){return this.tap(t.right)}matchMap(t){return this.map(t.right)}matchChain(t){return this.chain(t.right)}}class a{constructor(t){this.left=void 0,this.left=t}tap(){return this}orTap(t){return t(this.left),this}map(){return this}orMap(t){return c.right(t(this.left))}chain(){return this}orChain(t){return t(this.left)}isRight(){return!1}isLeft(){return!0}matchTap(t){return this.orTap(t.left)}matchMap(t){return this.orMap(t.left)}matchChain(t){return this.orChain(t.left)}}!function(e){function n(t,n){let i;const[u,o]=h();return e.create(new Promise(e=>{o(e),i=t(t=>u(r.just(c.right(t))),t=>u(r.just(c.left(t))))}),t=>{u(t.map(c.left)),n(i)})}e.create=function(t,r){return new d(t,r)},e.resolved=function(t){return e.create(Promise.resolve(r.just(c.right(t))),()=>{})},e.rejected=function(t){return e.create(Promise.resolve(r.just(c.left(t))),()=>{})},e.canceled=function(){return e.create(Promise.resolve(r.nothing()),()=>{})},e.fromPromise=function(t){const[n,i]=h();return e.create(new Promise(e=>{i(e),t.then(c.right,c.left).then(r.just).then(n)}),t=>n(t.map(c.left)))},e.fromFunction=function(t,n){const[i,u]=h(),o=t=>i(t.map(c.left));return n.cancel=o,e.create(new Promise(e=>{u(e);try{i(r.just(c.right(t())))}catch(t){i(r.just(c.left(t)))}}),o)},e.promiseGenerator=function(t){return e.fromPromise(t).generator()},e.lift=function(t){return function(){return e.fromPromise(t(...[].slice.call(arguments)))}},e.generate=function(t){const r=t(),n=t=>t.done?e.resolved(t.value):t.value.matchChain({resolved:t=>n(r.next(t)),rejected:t=>n(r.throw(t)),canceled:e.canceled});return e.resolved(void 0).chain(()=>n(r.next()))},e.timeout=function(t){return n(r=>setTimeout(()=>r(),t),clearTimeout)},e.fromCallback=n,e.sequence=function(t){return Array.from(t).reduce((t,r)=>t.chain(t=>r().map(r=>t.concat(r))),e.resolved([]))},e.all=function(n){const[i,u]=h(),o=Array.from(n),s=t=>o.forEach(r=>r._cancel(t)),a=o.map(r.nothing),f=t=>{i(t.map(c.left)),s(t)};return e.create(new Promise(e=>{if(u(e),o.length<1)return i(r.just(c.right([])));o.map((e,n)=>e.matchTap({resolved:e=>((e,n)=>{a[n]=r.just(e),r.everyJust(a)&&i(r.just(c.right(a.map(t.just))))})(e,n),rejected:t=>f(r.just(t)),canceled:()=>f(r.nothing())}))}),s)},e.any=function(n){const[i,u]=h(),o=Array.from(n),s=t=>o.forEach(r=>r._cancel(t)),a=o.map(r.nothing),f=t=>{i(t.map(c.right)),s(r.nothing())};return e.create(new Promise(e=>{if(u(e),o.length<1)return i(r.nothing());o.map((e,n)=>e.matchTap({resolved:t=>f(r.just(t)),rejected:e=>((e,n)=>{a[n]=r.just(e),r.everyJust(a)&&i(r.just(c.left(a.map(t.just))))})(e,n),canceled:()=>f(r.nothing())}))}),s)},e.limit=function(t,r){return e.any([t,r.chain(e.canceled)]).chainRejected(t=>e.rejected(t[0]))},e.repeat=function(t){const r=()=>t().chainRejected(r);return r()}}(o||(o={}));const h=()=>{const t=()=>{};let r=t;return[e=>{const n=r;r=t,n(e)},t=>{r=t}]};function f(t,e){const n={cancel:t._cancel};return o.create(t._invoke.then(function(t){try{return Promise.resolve(function(t,r){try{var e=t()}catch(t){return r(t)}return e&&e.then?e.then(void 0,r):e}(function(){const{_invoke:i,_cancel:u}=o.fromFunction(()=>e(t),n);return n.cancel=u,Promise.resolve(i).then(function(t){if(t.isNothing())return r.nothing();if(t.just.isLeft())return r.just(c.left(t.just.left));const{_invoke:e,_cancel:i}=t.just.right;return n.cancel=i,e})},function(t){return r.just(c.left(t))}))}catch(t){return Promise.reject(t)}}),t=>n.cancel(t))}function l(t,r){return f(t,t=>t.map(r).orMap(o.canceled).just)}function m(t,r){return f(t,t=>r(t).matchMap({just:t=>t.matchMap({right:o.resolved,left:o.rejected}).right,nothing:o.canceled}).just)}function p(t,r){return m(t,t=>t.map(r))}function g(t,r){return m(t,t=>(r(t),t))}function j(t,r){return g(t,t=>t.tap(r))}class d{constructor(t,r){this._invoke=void 0,this._cancel=void 0,this._invoke=t,this._cancel=r}tapCanceled(t){return g(this,r=>r.orTap(t))}tapRejected(t){return j(this,r=>r.orTap(t))}tap(t){return j(this,r=>r.tap(t))}mapCanceled(t){return m(this,r=>r.orMap(()=>c.right(t())))}mapRejected(t){return p(this,r=>r.orMap(t))}map(t){return p(this,r=>r.map(t))}chainCanceled(t){const r=t=>t.map(o.resolved).orMap(o.rejected).right;return f(this,e=>e.map(r).orMap(t).just)}chainRejected(t){return l(this,r=>r.map(o.resolved).orMap(t).right)}chain(t){return l(this,r=>r.map(t).orMap(o.rejected).right)}resolve(){return this._invoke}cancel(){return this._cancel(r.nothing())}reject(t){return this._cancel(r.just(t))}generator(){/*#__PURE__*/return regeneratorRuntime.mark(function t(r){return regeneratorRuntime.wrap(function(t){for(;;)switch(t.prev=t.next){case 0:return t.next=2,r;case 2:return t.abrupt("return",t.sent);case 3:case"end":return t.stop()}},t)})(this)}matchTap(t){return g(this,r=>r.matchTap({just:r=>r.matchTap({right:t.resolved,left:t.rejected}),nothing:t.canceled}))}matchMap(t){return m(this,r=>r.matchMap({just:r=>r.matchMap({right:t.resolved,left:t.rejected}),nothing:()=>c.right(t.canceled())}))}matchChain(t){return f(this,r=>r.matchMap({just:r=>r.matchMap({right:t.resolved,left:t.rejected}).right,nothing:t.canceled}).just)}}export{c as Either,t as Just,u as Left,r as Maybe,i as Right,o as Task};
+var t,e;!function(t){t.just=function(t){return t.just}}(t||(t={})),function(t){t.just=function(t){return new r(t)},t.nothing=function(){return n},t.fromOptional=function(e){return void 0!==e?t.just(e):t.nothing()},t.fromNullable=function(e){return t.fromOptional(e).chain(e=>null!==e?t.just(e):t.nothing())},t.isJust=function(t){return t.isJust()},t.isNothing=function(t){return t.isNothing()},t.everyJust=function(e){return e.every(t.isJust)},t.someJust=function(e){return e.some(t.isJust)},t.everyNothing=function(e){return e.every(t.isNothing)},t.someNothing=function(e){return e.some(t.isNothing)},t.generate=function(e){const r=e(),n=e=>e.done?t.just(e.value):e.value.matchChain({just:t=>n(r.next(t)),nothing:t.nothing});return t.just(void 0).chain(()=>n(r.next()))}}(e||(e={}));class r{constructor(t){this.just=void 0,this.just=t}tap(t){return t(this.just),this}orTap(){return this}map(t){return e.just(t(this.just))}orMap(){return this}chain(t){return t(this.just)}orChain(){return this}isJust(){return!0}isNothing(){return!1}matchTap(t){return this.tap(t.just)}matchMap(t){return this.map(t.just)}matchChain(t){return this.chain(t.just)}generator(){/*#__PURE__*/return regeneratorRuntime.mark(function t(e){return regeneratorRuntime.wrap(function(t){for(;;)switch(t.prev=t.next){case 0:return t.next=2,e;case 2:return t.abrupt("return",t.sent);case 3:case"end":return t.stop()}},t)})(this)}}const n=new class{tap(){return this}orTap(t){return t(),this}map(){return this}orMap(t){return e.just(t())}chain(){return this}orChain(t){return t()}isJust(){return!1}isNothing(){return!0}matchTap(t){return this.orTap(t.nothing)}matchMap(t){return this.orMap(t.nothing)}matchChain(t){return this.orChain(t.nothing)}generator(){/*#__PURE__*/return regeneratorRuntime.mark(function t(e){return regeneratorRuntime.wrap(function(t){for(;;)switch(t.prev=t.next){case 0:return t.next=2,e;case 2:return t.abrupt("return",t.sent);case 3:case"end":return t.stop()}},t)})(this)}};var i,u,o,a;!function(t){t.right=function(t){return t.right}}(i||(i={})),function(t){t.left=function(t){return t.left}}(u||(u={})),function(t){t.right=function(t){return new c(t)},t.left=function(t){return new s(t)},t.fromOptional=function(e,r){return void 0!==e?t.right(e):t.left(r)},t.fromNullable=function(e,r){return t.fromOptional(e,r).chain(n=>null!==n?t.right(e):t.left(r))},t.isRight=function(t){return t.isRight()},t.isLeft=function(t){return t.isLeft()},t.everyRight=function(e){return e.every(t.isRight)},t.someRight=function(e){return e.some(t.isRight)},t.everyLeft=function(e){return e.every(t.isLeft)},t.someLeft=function(e){return e.some(t.isLeft)},t.generate=function(e){const r=e(),n=e=>e.done?t.right(e.value):e.value.matchChain({right:t=>n(r.next(t)),left:t.left});return t.right(void 0).chain(()=>n(r.next()))}}(o||(o={}));class c{constructor(t){this.right=void 0,this.right=t}tap(t){return t(this.right),this}orTap(){return this}map(t){return o.right(t(this.right))}orMap(){return this}chain(t){return t(this.right)}orChain(){return this}isRight(){return!0}isLeft(){return!1}matchTap(t){return this.tap(t.right)}matchMap(t){return this.map(t.right)}matchChain(t){return this.chain(t.right)}generator(){/*#__PURE__*/return regeneratorRuntime.mark(function t(e){return regeneratorRuntime.wrap(function(t){for(;;)switch(t.prev=t.next){case 0:return t.next=2,e;case 2:return t.abrupt("return",t.sent);case 3:case"end":return t.stop()}},t)})(this)}}class s{constructor(t){this.left=void 0,this.left=t}tap(){return this}orTap(t){return t(this.left),this}map(){return this}orMap(t){return o.right(t(this.left))}chain(){return this}orChain(t){return t(this.left)}isRight(){return!1}isLeft(){return!0}matchTap(t){return this.orTap(t.left)}matchMap(t){return this.orMap(t.left)}matchChain(t){return this.orChain(t.left)}generator(){/*#__PURE__*/return regeneratorRuntime.mark(function t(e){return regeneratorRuntime.wrap(function(t){for(;;)switch(t.prev=t.next){case 0:return t.next=2,e;case 2:return t.abrupt("return",t.sent);case 3:case"end":return t.stop()}},t)})(this)}}!function(r){function n(t,n){let i;const[u,a]=h();return r.create(new Promise(r=>{a(r),i=t(t=>u(e.just(o.right(t))),t=>u(e.just(o.left(t))))}),t=>{u(t.map(o.left)),n(i)})}r.create=function(t,e){return new d(t,e)},r.resolved=function(t){return r.create(Promise.resolve(e.just(o.right(t))),()=>{})},r.rejected=function(t){return r.create(Promise.resolve(e.just(o.left(t))),()=>{})},r.canceled=function(){return r.create(Promise.resolve(e.nothing()),()=>{})},r.fromPromise=function(t){const[n,i]=h();return r.create(new Promise(r=>{i(r),t.then(o.right,o.left).then(e.just).then(n)}),t=>n(t.map(o.left)))},r.fromFunction=function(t,n){const[i,u]=h(),a=t=>i(t.map(o.left));return n.cancel=a,r.create(new Promise(r=>{u(r);try{i(e.just(o.right(t())))}catch(t){i(e.just(o.left(t)))}}),a)},r.promiseGenerator=function(t){return r.fromPromise(t).generator()},r.timeoutGenerator=function(t){return r.timeout(t).generator()},r.lift=function(t){return function(){return r.fromPromise(t(...[].slice.call(arguments)))}},r.generate=function(t){const e=t(),n=t=>t.done?r.resolved(t.value):t.value.matchChain({resolved:t=>n(e.next(t)),rejected:t=>n(e.throw(t)),canceled:r.canceled});return r.resolved(void 0).chain(()=>n(e.next()))},r.timeout=function(t){return n(e=>setTimeout(()=>e(),t),clearTimeout)},r.fromCallback=n,r.sequence=function(t){return Array.from(t).reduce((t,e)=>t.chain(t=>e().map(e=>t.concat(e))),r.resolved([]))},r.all=function(n){const[i,u]=h(),a=Array.from(n),c=t=>a.forEach(e=>e._cancel(t)),s=a.map(e.nothing),f=t=>{i(t.map(o.left)),c(t)};return r.create(new Promise(r=>{if(u(r),a.length<1)return i(e.just(o.right([])));a.map((r,n)=>r.matchTap({resolved:r=>((r,n)=>{s[n]=e.just(r),e.everyJust(s)&&i(e.just(o.right(s.map(t.just))))})(r,n),rejected:t=>f(e.just(t)),canceled:()=>f(e.nothing())}))}),c)},r.any=function(n){const[i,u]=h(),a=Array.from(n),c=t=>a.forEach(e=>e._cancel(t)),s=a.map(e.nothing),f=t=>{i(t.map(o.right)),c(e.nothing())};return r.create(new Promise(r=>{if(u(r),a.length<1)return i(e.nothing());a.map((r,n)=>r.matchTap({resolved:t=>f(e.just(t)),rejected:r=>((r,n)=>{s[n]=e.just(r),e.everyJust(s)&&i(e.just(o.left(s.map(t.just))))})(r,n),canceled:()=>f(e.nothing())}))}),c)},r.limit=function(t,e){return r.any([t,e.chain(r.canceled)]).chainRejected(t=>r.rejected(t[0]))},r.repeat=function(t){const e=()=>t().chainRejected(e);return e()}}(a||(a={}));const h=()=>{const t=()=>{};let e=t;return[r=>{const n=e;e=t,n(r)},t=>{e=t}]};function f(t,r){const n={cancel:t._cancel};return a.create(t._invoke.then(function(t){try{return Promise.resolve(function(t,e){try{var r=t()}catch(t){return e(t)}return r&&r.then?r.then(void 0,e):r}(function(){const{_invoke:i,_cancel:u}=a.fromFunction(()=>r(t),n);return n.cancel=u,Promise.resolve(i).then(function(t){if(t.isNothing())return e.nothing();if(t.just.isLeft())return e.just(o.left(t.just.left));const{_invoke:r,_cancel:i}=t.just.right;return n.cancel=i,r})},function(t){return e.just(o.left(t))}))}catch(t){return Promise.reject(t)}}),t=>n.cancel(t))}function l(t,e){return f(t,t=>t.map(e).orMap(a.canceled).just)}function m(t,e){return f(t,t=>e(t).matchMap({just:t=>t.matchMap({right:a.resolved,left:a.rejected}).right,nothing:a.canceled}).just)}function p(t,e){return m(t,t=>t.map(e))}function g(t,e){return m(t,t=>(e(t),t))}function j(t,e){return g(t,t=>t.tap(e))}class d{constructor(t,e){this._invoke=void 0,this._cancel=void 0,this._invoke=t,this._cancel=e}tapCanceled(t){return g(this,e=>e.orTap(t))}tapRejected(t){return j(this,e=>e.orTap(t))}tap(t){return j(this,e=>e.tap(t))}mapCanceled(t){return m(this,e=>e.orMap(()=>o.right(t())))}mapRejected(t){return p(this,e=>e.orMap(t))}map(t){return p(this,e=>e.map(t))}chainCanceled(t){const e=t=>t.map(a.resolved).orMap(a.rejected).right;return f(this,r=>r.map(e).orMap(t).just)}chainRejected(t){return l(this,e=>e.map(a.resolved).orMap(t).right)}chain(t){return l(this,e=>e.map(t).orMap(a.rejected).right)}resolve(){return this._invoke}cancel(){return this._cancel(e.nothing())}reject(t){return this._cancel(e.just(t))}generator(){/*#__PURE__*/return regeneratorRuntime.mark(function t(e){return regeneratorRuntime.wrap(function(t){for(;;)switch(t.prev=t.next){case 0:return t.next=2,e;case 2:return t.abrupt("return",t.sent);case 3:case"end":return t.stop()}},t)})(this)}matchTap(t){return g(this,e=>e.matchTap({just:e=>e.matchTap({right:t.resolved,left:t.rejected}),nothing:t.canceled}))}matchMap(t){return m(this,e=>e.matchMap({just:e=>e.matchMap({right:t.resolved,left:t.rejected}),nothing:()=>o.right(t.canceled())}))}matchChain(t){return f(this,e=>e.matchMap({just:e=>e.matchMap({right:t.resolved,left:t.rejected}).right,nothing:t.canceled}).just)}}export{o as Either,t as Just,u as Left,e as Maybe,i as Right,a as Task};
 //# sourceMappingURL=t-tasks.esm.js.map