@lsby/ts-fp-data 0.1.3 → 0.2.0

package/dist/cjs/data/either.cjs

@@ -25,6 +25,80 @@ __export(either_exports, {
   Right: () => Right
 });
 module.exports = __toCommonJS(either_exports);
+
+// src/data/maybe.ts
+var Maybe = class {
+  static pure(a) {
+    return new Just(a);
+  }
+};
+var Just = class _Just extends Maybe {
+  constructor(\u503C) {
+    super();
+    this.\u503C = \u503C;
+  }
+  map(f) {
+    return new _Just(f(this.\u503C));
+  }
+  bind(f) {
+    return f(this.\u503C);
+  }
+  isJust() {
+    return true;
+  }
+  isNothing() {
+    return false;
+  }
+  assertJust() {
+    return this;
+  }
+  assertNothing() {
+    throw new Error("\u65AD\u8A00\u5931\u8D25");
+  }
+  getJust() {
+    return this.\u503C;
+  }
+  getJustOrNull() {
+    return this.\u503C;
+  }
+  match(_onNothing, onJust) {
+    return onJust(this.\u503C);
+  }
+  mplus(_a) {
+    return this;
+  }
+};
+var Nothing = class _Nothing extends Maybe {
+  map(_f) {
+    return new _Nothing();
+  }
+  bind(_f) {
+    return new _Nothing();
+  }
+  isJust() {
+    return false;
+  }
+  isNothing() {
+    return true;
+  }
+  assertJust() {
+    throw new Error("\u65AD\u8A00\u5931\u8D25");
+  }
+  assertNothing() {
+    return this;
+  }
+  getJustOrNull() {
+    return null;
+  }
+  match(onNothing, _onJust) {
+    return onNothing();
+  }
+  mplus(a) {
+    return a;
+  }
+};
+
+// src/data/either.ts
 var Either = class {
   static pure(a) {
     return new Right(a);
@@ -65,6 +139,12 @@ var Left = class _Left extends Either {
   match(onLeft, _onRight) {
     return onLeft(this.\u503C);
   }
+  mplus(a) {
+    return a;
+  }
+  toMaybe() {
+    return new Nothing();
+  }
 };
 var Right = class _Right extends Either {
   constructor(\u503C) {
@@ -101,6 +181,12 @@ var Right = class _Right extends Either {
   match(_onLeft, onRight) {
     return onRight(this.\u503C);
   }
+  mplus(_a) {
+    return this;
+  }
+  toMaybe() {
+    return new Just(this.\u503C);
+  }
 };
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {

package/dist/cjs/data/either.d.cts

@@ -1,3 +1,5 @@
+import { Maybe } from './maybe.cjs';
+
 declare abstract class Either<L, R> {
     static pure<L, R>(a: R): Either<L, R>;
     abstract map<B>(_f: (a: R) => B): Either<L, B>;
@@ -9,6 +11,8 @@ declare abstract class Either<L, R> {
     abstract assertLeft(): Left<L, R>;
     abstract assertRight(): Right<L, R>;
     abstract match<X>(onLeft: (a: L) => X, onRight: (a: R) => X): X;
+    abstract mplus(a: Either<L, R>): Either<L, R>;
+    abstract toMaybe(): Maybe<R>;
 }
 declare class Left<L, R> extends Either<L, R> {
     private 值;
@@ -23,6 +27,8 @@ declare class Left<L, R> extends Either<L, R> {
     assertLeft(): Left<L, R>;
     assertRight(): Right<L, R>;
     match<X>(onLeft: (a: L) => X, _onRight: (a: R) => X): X;
+    mplus(a: Either<L, R>): Either<L, R>;
+    toMaybe(): Maybe<R>;
 }
 declare class Right<L, R> extends Either<L, R> {
     private 值;
@@ -37,6 +43,8 @@ declare class Right<L, R> extends Either<L, R> {
     assertLeft(): Left<L, R>;
     assertRight(): Right<L, R>;
     match<X>(_onLeft: (a: L) => X, onRight: (a: R) => X): X;
+    mplus(_a: Either<L, R>): Either<L, R>;
+    toMaybe(): Maybe<R>;
 }
 
 export { Either, Left, Right };

package/dist/cjs/data/maybe.cjs

@@ -59,9 +59,12 @@ var Just = class _Just extends Maybe {
   getJustOrNull() {
     return this.\u503C;
   }
-  match(onJust, _onNothing) {
+  match(_onNothing, onJust) {
     return onJust(this.\u503C);
   }
+  mplus(_a) {
+    return this;
+  }
 };
 var Nothing = class _Nothing extends Maybe {
   map(_f) {
@@ -85,9 +88,12 @@ var Nothing = class _Nothing extends Maybe {
   getJustOrNull() {
     return null;
   }
-  match(_onJust, onNothing) {
+  match(onNothing, _onJust) {
     return onNothing();
   }
+  mplus(a) {
+    return a;
+  }
 };
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {

package/dist/cjs/data/maybe.d.cts

@@ -5,9 +5,10 @@ declare abstract class Maybe<A> {
     abstract isJust(): this is Just<A>;
     abstract isNothing(): this is Nothing<A>;
     abstract assertJust(): Just<A>;
-    abstract assertNothing(): Nothing<A>;
+    abstract assertNothing(): Nothing<any>;
     abstract getJustOrNull(): A | null;
-    abstract match<B>(onJust: (a: A) => B, onNothing: () => B): B;
+    abstract match<B>(onNothing: () => B, onJust: (a: A) => B): B;
+    abstract mplus(a: Maybe<A>): Maybe<A>;
 }
 declare class Just<A> extends Maybe<A> {
     private 值;
@@ -20,7 +21,8 @@ declare class Just<A> extends Maybe<A> {
     assertNothing(): Nothing<A>;
     getJust(): A;
     getJustOrNull(): A | null;
-    match<B>(onJust: (a: A) => B, _onNothing: () => B): B;
+    match<B>(_onNothing: () => B, onJust: (a: A) => B): B;
+    mplus(_a: Maybe<A>): Maybe<A>;
 }
 declare class Nothing<A> extends Maybe<A> {
     map<B>(_f: (a: A) => B): Maybe<B>;
@@ -30,7 +32,8 @@ declare class Nothing<A> extends Maybe<A> {
     assertJust(): Just<A>;
     assertNothing(): Nothing<A>;
     getJustOrNull(): A | null;
-    match<B>(_onJust: (a: A) => B, onNothing: () => B): B;
+    match<B>(onNothing: () => B, _onJust: (a: A) => B): B;
+    mplus(a: Maybe<A>): Maybe<A>;
 }
 
 export { Just, Maybe, Nothing };

package/dist/cjs/data/task.cjs

@@ -25,6 +25,78 @@ __export(task_exports, {
 });
 module.exports = __toCommonJS(task_exports);
 
+// src/data/maybe.ts
+var Maybe = class {
+  static pure(a) {
+    return new Just(a);
+  }
+};
+var Just = class _Just extends Maybe {
+  constructor(\u503C) {
+    super();
+    this.\u503C = \u503C;
+  }
+  map(f) {
+    return new _Just(f(this.\u503C));
+  }
+  bind(f) {
+    return f(this.\u503C);
+  }
+  isJust() {
+    return true;
+  }
+  isNothing() {
+    return false;
+  }
+  assertJust() {
+    return this;
+  }
+  assertNothing() {
+    throw new Error("\u65AD\u8A00\u5931\u8D25");
+  }
+  getJust() {
+    return this.\u503C;
+  }
+  getJustOrNull() {
+    return this.\u503C;
+  }
+  match(_onNothing, onJust) {
+    return onJust(this.\u503C);
+  }
+  mplus(_a) {
+    return this;
+  }
+};
+var Nothing = class _Nothing extends Maybe {
+  map(_f) {
+    return new _Nothing();
+  }
+  bind(_f) {
+    return new _Nothing();
+  }
+  isJust() {
+    return false;
+  }
+  isNothing() {
+    return true;
+  }
+  assertJust() {
+    throw new Error("\u65AD\u8A00\u5931\u8D25");
+  }
+  assertNothing() {
+    return this;
+  }
+  getJustOrNull() {
+    return null;
+  }
+  match(onNothing, _onJust) {
+    return onNothing();
+  }
+  mplus(a) {
+    return a;
+  }
+};
+
 // src/data/either.ts
 var Either = class {
   static pure(a) {
@@ -66,6 +138,12 @@ var Left = class _Left extends Either {
   match(onLeft, _onRight) {
     return onLeft(this.\u503C);
   }
+  mplus(a) {
+    return a;
+  }
+  toMaybe() {
+    return new Nothing();
+  }
 };
 var Right = class _Right extends Either {
   constructor(\u503C) {
@@ -102,6 +180,12 @@ var Right = class _Right extends Either {
   match(_onLeft, onRight) {
     return onRight(this.\u503C);
   }
+  mplus(_a) {
+    return this;
+  }
+  toMaybe() {
+    return new Just(this.\u503C);
+  }
 };
 
 // src/data/task.ts

package/dist/cjs/data/task.d.cts

@@ -1,4 +1,5 @@
 import { Either } from './either.cjs';
+import './maybe.cjs';
 
 type TaskDoTypeBase<Env extends Record<string, any>, A> = {
     let<K extends string, X>(name: K, task: (env: Env) => X): TaskDoTypeNoGet<Env & Record<K, X>, A>;

package/dist/cjs/func/seq.cjs

@@ -20,13 +20,88 @@ var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: tru
 // src/func/seq.ts
 var seq_exports = {};
 __export(seq_exports, {
-  seqArrayEither: () => seqArrayEither,
+  seqArrayEitherFirstLeft: () => seqArrayEitherFirstLeft,
+  seqArrayMaybeFirstNothing: () => seqArrayMaybeFirstNothing,
   seqArrayTask: () => seqArrayTask,
   seqEitherArray: () => seqEitherArray,
-  seqEitherTask: () => seqEitherTask
+  seqEitherTask: () => seqEitherTask,
+  seqMaybeArray: () => seqMaybeArray,
+  seqMaybeTask: () => seqMaybeTask
 });
 module.exports = __toCommonJS(seq_exports);
 
+// src/data/maybe.ts
+var Maybe = class {
+  static pure(a) {
+    return new Just(a);
+  }
+};
+var Just = class _Just extends Maybe {
+  constructor(\u503C) {
+    super();
+    this.\u503C = \u503C;
+  }
+  map(f) {
+    return new _Just(f(this.\u503C));
+  }
+  bind(f) {
+    return f(this.\u503C);
+  }
+  isJust() {
+    return true;
+  }
+  isNothing() {
+    return false;
+  }
+  assertJust() {
+    return this;
+  }
+  assertNothing() {
+    throw new Error("\u65AD\u8A00\u5931\u8D25");
+  }
+  getJust() {
+    return this.\u503C;
+  }
+  getJustOrNull() {
+    return this.\u503C;
+  }
+  match(_onNothing, onJust) {
+    return onJust(this.\u503C);
+  }
+  mplus(_a) {
+    return this;
+  }
+};
+var Nothing = class _Nothing extends Maybe {
+  map(_f) {
+    return new _Nothing();
+  }
+  bind(_f) {
+    return new _Nothing();
+  }
+  isJust() {
+    return false;
+  }
+  isNothing() {
+    return true;
+  }
+  assertJust() {
+    throw new Error("\u65AD\u8A00\u5931\u8D25");
+  }
+  assertNothing() {
+    return this;
+  }
+  getJustOrNull() {
+    return null;
+  }
+  match(onNothing, _onJust) {
+    return onNothing();
+  }
+  mplus(a) {
+    return a;
+  }
+};
+
 // src/data/either.ts
 var Either = class {
   static pure(a) {
@@ -68,6 +143,12 @@ var Left = class _Left extends Either {
   match(onLeft, _onRight) {
     return onLeft(this.\u503C);
   }
+  mplus(a) {
+    return a;
+  }
+  toMaybe() {
+    return new Nothing();
+  }
 };
 var Right = class _Right extends Either {
   constructor(\u503C) {
@@ -104,6 +185,12 @@ var Right = class _Right extends Either {
   match(_onLeft, onRight) {
     return onRight(this.\u503C);
   }
+  mplus(_a) {
+    return this;
+  }
+  toMaybe() {
+    return new Just(this.\u503C);
+  }
 };
 
 // src/data/task.ts
@@ -218,17 +305,39 @@ function seqEitherArray(value) {
     (data) => data.map((a) => new Right(a))
   );
 }
-function seqArrayEither(value) {
-  const err = value.filter((a) => a.isLeft())[0];
+function seqArrayEitherFirstLeft(value) {
+  var err = value.filter((a) => a.isLeft())[0];
   if (err)
     return err;
-  const data = value.map((a) => a.assertRight().getRight());
+  var data = value.map((a) => a.assertRight().getRight());
   return new Right(data);
 }
+function seqArrayMaybeFirstNothing(a) {
+  const firstNothing = a.find((maybe) => maybe.isNothing());
+  if (firstNothing)
+    return new Nothing();
+  const values = a.map((maybe) => maybe.assertJust().getJust());
+  return new Just(values);
+}
+function seqMaybeArray(a) {
+  return a.match(
+    () => [new Nothing()],
+    (array) => array.map((x) => new Just(x))
+  );
+}
+function seqMaybeTask(a) {
+  return a.match(
+    () => Task.pure(new Nothing()),
+    (task) => task.map((a2) => new Just(a2))
+  );
+}
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
-  seqArrayEither,
+  seqArrayEitherFirstLeft,
+  seqArrayMaybeFirstNothing,
   seqArrayTask,
   seqEitherArray,
-  seqEitherTask
+  seqEitherTask,
+  seqMaybeArray,
+  seqMaybeTask
 });

package/dist/cjs/func/seq.d.cts

@@ -1,9 +1,13 @@
 import { Either } from '../data/either.cjs';
+import { Maybe } from '../data/maybe.cjs';
 import { Task } from '../data/task.cjs';
 
 declare function seqArrayTask<A>(a: Array<Task<A>>): Task<Array<A>>;
 declare function seqEitherTask<L, R>(value: Either<L, Task<R>>): Task<Either<L, R>>;
 declare function seqEitherArray<A, B>(value: Either<A, Array<B>>): Array<Either<A, B>>;
-declare function seqArrayEither<A, B>(value: Array<Either<A, B>>): Either<A, Array<B>>;
+declare function seqArrayEitherFirstLeft<A, B>(value: Array<Either<A, B>>): Either<A, Array<B>>;
+declare function seqArrayMaybeFirstNothing<X>(a: Array<Maybe<X>>): Maybe<Array<X>>;
+declare function seqMaybeArray<X>(a: Maybe<Array<X>>): Array<Maybe<X>>;
+declare function seqMaybeTask<X>(a: Maybe<Task<X>>): Task<Maybe<X>>;
 
-export { seqArrayEither, seqArrayTask, seqEitherArray, seqEitherTask };
+export { seqArrayEitherFirstLeft, seqArrayMaybeFirstNothing, seqArrayTask, seqEitherArray, seqEitherTask, seqMaybeArray, seqMaybeTask };

package/dist/cjs/index.cjs

@@ -31,13 +31,88 @@ __export(src_exports, {
   Right: () => Right,
   Task: () => Task,
   TaskDo: () => TaskDo,
-  seqArrayEither: () => seqArrayEither,
+  seqArrayEitherFirstLeft: () => seqArrayEitherFirstLeft,
+  seqArrayMaybeFirstNothing: () => seqArrayMaybeFirstNothing,
   seqArrayTask: () => seqArrayTask,
   seqEitherArray: () => seqEitherArray,
-  seqEitherTask: () => seqEitherTask
+  seqEitherTask: () => seqEitherTask,
+  seqMaybeArray: () => seqMaybeArray,
+  seqMaybeTask: () => seqMaybeTask
 });
 module.exports = __toCommonJS(src_exports);
 
+// src/data/maybe.ts
+var Maybe = class {
+  static pure(a) {
+    return new Just(a);
+  }
+};
+var Just = class _Just extends Maybe {
+  constructor(\u503C) {
+    super();
+    this.\u503C = \u503C;
+  }
+  map(f) {
+    return new _Just(f(this.\u503C));
+  }
+  bind(f) {
+    return f(this.\u503C);
+  }
+  isJust() {
+    return true;
+  }
+  isNothing() {
+    return false;
+  }
+  assertJust() {
+    return this;
+  }
+  assertNothing() {
+    throw new Error("\u65AD\u8A00\u5931\u8D25");
+  }
+  getJust() {
+    return this.\u503C;
+  }
+  getJustOrNull() {
+    return this.\u503C;
+  }
+  match(_onNothing, onJust) {
+    return onJust(this.\u503C);
+  }
+  mplus(_a) {
+    return this;
+  }
+};
+var Nothing = class _Nothing extends Maybe {
+  map(_f) {
+    return new _Nothing();
+  }
+  bind(_f) {
+    return new _Nothing();
+  }
+  isJust() {
+    return false;
+  }
+  isNothing() {
+    return true;
+  }
+  assertJust() {
+    throw new Error("\u65AD\u8A00\u5931\u8D25");
+  }
+  assertNothing() {
+    return this;
+  }
+  getJustOrNull() {
+    return null;
+  }
+  match(onNothing, _onJust) {
+    return onNothing();
+  }
+  mplus(a) {
+    return a;
+  }
+};
+
 // src/data/either.ts
 var Either = class {
   static pure(a) {
@@ -79,6 +154,12 @@ var Left = class _Left extends Either {
   match(onLeft, _onRight) {
     return onLeft(this.\u503C);
   }
+  mplus(a) {
+    return a;
+  }
+  toMaybe() {
+    return new Nothing();
+  }
 };
 var Right = class _Right extends Either {
   constructor(\u503C) {
@@ -115,6 +196,12 @@ var Right = class _Right extends Either {
   match(_onLeft, onRight) {
     return onRight(this.\u503C);
   }
+  mplus(_a) {
+    return this;
+  }
+  toMaybe() {
+    return new Just(this.\u503C);
+  }
 };
 
 // src/data/lazy.ts
@@ -149,72 +236,6 @@ var LazyForceValue = class _LazyForceValue extends Lazy {
   }
 };
 
-// src/data/maybe.ts
-var Maybe = class {
-  static pure(a) {
-    return new Just(a);
-  }
-};
-var Just = class _Just extends Maybe {
-  constructor(\u503C) {
-    super();
-    this.\u503C = \u503C;
-  }
-  map(f) {
-    return new _Just(f(this.\u503C));
-  }
-  bind(f) {
-    return f(this.\u503C);
-  }
-  isJust() {
-    return true;
-  }
-  isNothing() {
-    return false;
-  }
-  assertJust() {
-    return this;
-  }
-  assertNothing() {
-    throw new Error("\u65AD\u8A00\u5931\u8D25");
-  }
-  getJust() {
-    return this.\u503C;
-  }
-  getJustOrNull() {
-    return this.\u503C;
-  }
-  match(onJust, _onNothing) {
-    return onJust(this.\u503C);
-  }
-};
-var Nothing = class _Nothing extends Maybe {
-  map(_f) {
-    return new _Nothing();
-  }
-  bind(_f) {
-    return new _Nothing();
-  }
-  isJust() {
-    return false;
-  }
-  isNothing() {
-    return true;
-  }
-  assertJust() {
-    throw new Error("\u65AD\u8A00\u5931\u8D25");
-  }
-  assertNothing() {
-    return this;
-  }
-  getJustOrNull() {
-    return null;
-  }
-  match(_onJust, onNothing) {
-    return onNothing();
-  }
-};
-
 // src/data/task.ts
 var TaskDo = class _TaskDo {
   constructor(accTask) {
@@ -327,13 +348,32 @@ function seqEitherArray(value) {
     (data) => data.map((a) => new Right(a))
   );
 }
-function seqArrayEither(value) {
-  const err = value.filter((a) => a.isLeft())[0];
+function seqArrayEitherFirstLeft(value) {
+  var err = value.filter((a) => a.isLeft())[0];
   if (err)
     return err;
-  const data = value.map((a) => a.assertRight().getRight());
+  var data = value.map((a) => a.assertRight().getRight());
   return new Right(data);
 }
+function seqArrayMaybeFirstNothing(a) {
+  const firstNothing = a.find((maybe) => maybe.isNothing());
+  if (firstNothing)
+    return new Nothing();
+  const values = a.map((maybe) => maybe.assertJust().getJust());
+  return new Just(values);
+}
+function seqMaybeArray(a) {
+  return a.match(
+    () => [new Nothing()],
+    (array) => array.map((x) => new Just(x))
+  );
+}
+function seqMaybeTask(a) {
+  return a.match(
+    () => Task.pure(new Nothing()),
+    (task) => task.map((a2) => new Just(a2))
+  );
+}
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
   Either,
@@ -347,8 +387,11 @@ function seqArrayEither(value) {
   Right,
   Task,
   TaskDo,
-  seqArrayEither,
+  seqArrayEitherFirstLeft,
+  seqArrayMaybeFirstNothing,
   seqArrayTask,
   seqEitherArray,
-  seqEitherTask
+  seqEitherTask,
+  seqMaybeArray,
+  seqMaybeTask
 });

package/dist/cjs/index.d.cts

@@ -2,4 +2,4 @@ export { Either, Left, Right } from './data/either.cjs';
 export { Lazy, LazyDeferValue, LazyForceValue } from './data/lazy.cjs';
 export { Just, Maybe, Nothing } from './data/maybe.cjs';
 export { Task, TaskDo, TaskDoType, TaskDoTypeBase, TaskDoTypeGet, TaskDoTypeIf, TaskDoTypeIfReturn, TaskDoTypeNoGet, TaskDoTypeReturn } from './data/task.cjs';
-export { seqArrayEither, seqArrayTask, seqEitherArray, seqEitherTask } from './func/seq.cjs';
+export { seqArrayEitherFirstLeft, seqArrayMaybeFirstNothing, seqArrayTask, seqEitherArray, seqEitherTask, seqMaybeArray, seqMaybeTask } from './func/seq.cjs';

package/dist/esm/{chunk-VTI5CRVQ.js → chunk-BE7V6GBG.js}

@@ -1,3 +1,8 @@
+import {
+  Just,
+  Nothing
+} from "./chunk-NXA54GUD.js";
+
 // src/data/either.ts
 var Either = class {
   static pure(a) {
@@ -39,6 +44,12 @@ var Left = class _Left extends Either {
   match(onLeft, _onRight) {
     return onLeft(this.\u503C);
   }
+  mplus(a) {
+    return a;
+  }
+  toMaybe() {
+    return new Nothing();
+  }
 };
 var Right = class _Right extends Either {
   constructor(\u503C) {
@@ -75,6 +86,12 @@ var Right = class _Right extends Either {
   match(_onLeft, onRight) {
     return onRight(this.\u503C);
   }
+  mplus(_a) {
+    return this;
+  }
+  toMaybe() {
+    return new Just(this.\u503C);
+  }
 };
 
 export {

package/dist/esm/{chunk-OYLE35IQ.js → chunk-IB4BVSOW.js}

@@ -1,7 +1,7 @@
 import {
   Left,
   Right
-} from "./chunk-VTI5CRVQ.js";
+} from "./chunk-BE7V6GBG.js";
 
 // src/data/task.ts
 var TaskDo = class _TaskDo {

package/dist/esm/{chunk-CQG32QQC.js → chunk-NXA54GUD.js}

@@ -33,9 +33,12 @@ var Just = class _Just extends Maybe {
   getJustOrNull() {
     return this.\u503C;
   }
-  match(onJust, _onNothing) {
+  match(_onNothing, onJust) {
     return onJust(this.\u503C);
   }
+  mplus(_a) {
+    return this;
+  }
 };
 var Nothing = class _Nothing extends Maybe {
   map(_f) {
@@ -59,9 +62,12 @@ var Nothing = class _Nothing extends Maybe {
   getJustOrNull() {
     return null;
   }
-  match(_onJust, onNothing) {
+  match(onNothing, _onJust) {
     return onNothing();
   }
+  mplus(a) {
+    return a;
+  }
 };
 
 export {

package/dist/esm/chunk-UTZJVGHH.js

@@ -0,0 +1,66 @@
+import {
+  Task
+} from "./chunk-IB4BVSOW.js";
+import {
+  Left,
+  Right
+} from "./chunk-BE7V6GBG.js";
+import {
+  Just,
+  Nothing
+} from "./chunk-NXA54GUD.js";
+
+// src/func/seq.ts
+function seqArrayTask(a) {
+  return new Task(async () => {
+    return Promise.all(a.map(async (a2) => await a2.run()));
+  });
+}
+function seqEitherTask(value) {
+  return value.match(
+    (err) => Task.pure(new Left(err)),
+    (data) => data.map((a) => new Right(a))
+  );
+}
+function seqEitherArray(value) {
+  return value.match(
+    (err) => [new Left(err)],
+    (data) => data.map((a) => new Right(a))
+  );
+}
+function seqArrayEitherFirstLeft(value) {
+  var err = value.filter((a) => a.isLeft())[0];
+  if (err)
+    return err;
+  var data = value.map((a) => a.assertRight().getRight());
+  return new Right(data);
+}
+function seqArrayMaybeFirstNothing(a) {
+  const firstNothing = a.find((maybe) => maybe.isNothing());
+  if (firstNothing)
+    return new Nothing();
+  const values = a.map((maybe) => maybe.assertJust().getJust());
+  return new Just(values);
+}
+function seqMaybeArray(a) {
+  return a.match(
+    () => [new Nothing()],
+    (array) => array.map((x) => new Just(x))
+  );
+}
+function seqMaybeTask(a) {
+  return a.match(
+    () => Task.pure(new Nothing()),
+    (task) => task.map((a2) => new Just(a2))
+  );
+}
+
+export {
+  seqArrayTask,
+  seqEitherTask,
+  seqEitherArray,
+  seqArrayEitherFirstLeft,
+  seqArrayMaybeFirstNothing,
+  seqMaybeArray,
+  seqMaybeTask
+};

package/dist/esm/data/either.d.ts

@@ -1,3 +1,5 @@
+import { Maybe } from './maybe.js';
+
 declare abstract class Either<L, R> {
     static pure<L, R>(a: R): Either<L, R>;
     abstract map<B>(_f: (a: R) => B): Either<L, B>;
@@ -9,6 +11,8 @@ declare abstract class Either<L, R> {
     abstract assertLeft(): Left<L, R>;
     abstract assertRight(): Right<L, R>;
     abstract match<X>(onLeft: (a: L) => X, onRight: (a: R) => X): X;
+    abstract mplus(a: Either<L, R>): Either<L, R>;
+    abstract toMaybe(): Maybe<R>;
 }
 declare class Left<L, R> extends Either<L, R> {
     private 值;
@@ -23,6 +27,8 @@ declare class Left<L, R> extends Either<L, R> {
     assertLeft(): Left<L, R>;
     assertRight(): Right<L, R>;
     match<X>(onLeft: (a: L) => X, _onRight: (a: R) => X): X;
+    mplus(a: Either<L, R>): Either<L, R>;
+    toMaybe(): Maybe<R>;
 }
 declare class Right<L, R> extends Either<L, R> {
     private 值;
@@ -37,6 +43,8 @@ declare class Right<L, R> extends Either<L, R> {
     assertLeft(): Left<L, R>;
     assertRight(): Right<L, R>;
     match<X>(_onLeft: (a: L) => X, onRight: (a: R) => X): X;
+    mplus(_a: Either<L, R>): Either<L, R>;
+    toMaybe(): Maybe<R>;
 }
 
 export { Either, Left, Right };

package/dist/esm/data/either.js

@@ -2,7 +2,8 @@ import {
   Either,
   Left,
   Right
-} from "../chunk-VTI5CRVQ.js";
+} from "../chunk-BE7V6GBG.js";
+import "../chunk-NXA54GUD.js";
 export {
   Either,
   Left,

package/dist/esm/data/maybe.d.ts

@@ -5,9 +5,10 @@ declare abstract class Maybe<A> {
     abstract isJust(): this is Just<A>;
     abstract isNothing(): this is Nothing<A>;
     abstract assertJust(): Just<A>;
-    abstract assertNothing(): Nothing<A>;
+    abstract assertNothing(): Nothing<any>;
     abstract getJustOrNull(): A | null;
-    abstract match<B>(onJust: (a: A) => B, onNothing: () => B): B;
+    abstract match<B>(onNothing: () => B, onJust: (a: A) => B): B;
+    abstract mplus(a: Maybe<A>): Maybe<A>;
 }
 declare class Just<A> extends Maybe<A> {
     private 值;
@@ -20,7 +21,8 @@ declare class Just<A> extends Maybe<A> {
     assertNothing(): Nothing<A>;
     getJust(): A;
     getJustOrNull(): A | null;
-    match<B>(onJust: (a: A) => B, _onNothing: () => B): B;
+    match<B>(_onNothing: () => B, onJust: (a: A) => B): B;
+    mplus(_a: Maybe<A>): Maybe<A>;
 }
 declare class Nothing<A> extends Maybe<A> {
     map<B>(_f: (a: A) => B): Maybe<B>;
@@ -30,7 +32,8 @@ declare class Nothing<A> extends Maybe<A> {
     assertJust(): Just<A>;
     assertNothing(): Nothing<A>;
     getJustOrNull(): A | null;
-    match<B>(_onJust: (a: A) => B, onNothing: () => B): B;
+    match<B>(onNothing: () => B, _onJust: (a: A) => B): B;
+    mplus(a: Maybe<A>): Maybe<A>;
 }
 
 export { Just, Maybe, Nothing };

package/dist/esm/data/maybe.js

@@ -2,7 +2,7 @@ import {
   Just,
   Maybe,
   Nothing
-} from "../chunk-CQG32QQC.js";
+} from "../chunk-NXA54GUD.js";
 export {
   Just,
   Maybe,

package/dist/esm/data/task.d.ts

@@ -1,4 +1,5 @@
 import { Either } from './either.js';
+import './maybe.js';
 
 type TaskDoTypeBase<Env extends Record<string, any>, A> = {
     let<K extends string, X>(name: K, task: (env: Env) => X): TaskDoTypeNoGet<Env & Record<K, X>, A>;

package/dist/esm/data/task.js

@@ -1,8 +1,9 @@
 import {
   Task,
   TaskDo
-} from "../chunk-OYLE35IQ.js";
-import "../chunk-VTI5CRVQ.js";
+} from "../chunk-IB4BVSOW.js";
+import "../chunk-BE7V6GBG.js";
+import "../chunk-NXA54GUD.js";
 export {
   Task,
   TaskDo

package/dist/esm/func/seq.d.ts

@@ -1,9 +1,13 @@
 import { Either } from '../data/either.js';
+import { Maybe } from '../data/maybe.js';
 import { Task } from '../data/task.js';
 
 declare function seqArrayTask<A>(a: Array<Task<A>>): Task<Array<A>>;
 declare function seqEitherTask<L, R>(value: Either<L, Task<R>>): Task<Either<L, R>>;
 declare function seqEitherArray<A, B>(value: Either<A, Array<B>>): Array<Either<A, B>>;
-declare function seqArrayEither<A, B>(value: Array<Either<A, B>>): Either<A, Array<B>>;
+declare function seqArrayEitherFirstLeft<A, B>(value: Array<Either<A, B>>): Either<A, Array<B>>;
+declare function seqArrayMaybeFirstNothing<X>(a: Array<Maybe<X>>): Maybe<Array<X>>;
+declare function seqMaybeArray<X>(a: Maybe<Array<X>>): Array<Maybe<X>>;
+declare function seqMaybeTask<X>(a: Maybe<Task<X>>): Task<Maybe<X>>;
 
-export { seqArrayEither, seqArrayTask, seqEitherArray, seqEitherTask };
+export { seqArrayEitherFirstLeft, seqArrayMaybeFirstNothing, seqArrayTask, seqEitherArray, seqEitherTask, seqMaybeArray, seqMaybeTask };

package/dist/esm/func/seq.js

@@ -1,14 +1,21 @@
 import {
-  seqArrayEither,
+  seqArrayEitherFirstLeft,
+  seqArrayMaybeFirstNothing,
   seqArrayTask,
   seqEitherArray,
-  seqEitherTask
-} from "../chunk-IHXXIFRN.js";
-import "../chunk-OYLE35IQ.js";
-import "../chunk-VTI5CRVQ.js";
+  seqEitherTask,
+  seqMaybeArray,
+  seqMaybeTask
+} from "../chunk-UTZJVGHH.js";
+import "../chunk-IB4BVSOW.js";
+import "../chunk-BE7V6GBG.js";
+import "../chunk-NXA54GUD.js";
 export {
-  seqArrayEither,
+  seqArrayEitherFirstLeft,
+  seqArrayMaybeFirstNothing,
   seqArrayTask,
   seqEitherArray,
-  seqEitherTask
+  seqEitherTask,
+  seqMaybeArray,
+  seqMaybeTask
 };

package/dist/esm/index.d.ts

@@ -2,4 +2,4 @@ export { Either, Left, Right } from './data/either.js';
 export { Lazy, LazyDeferValue, LazyForceValue } from './data/lazy.js';
 export { Just, Maybe, Nothing } from './data/maybe.js';
 export { Task, TaskDo, TaskDoType, TaskDoTypeBase, TaskDoTypeGet, TaskDoTypeIf, TaskDoTypeIfReturn, TaskDoTypeNoGet, TaskDoTypeReturn } from './data/task.js';
-export { seqArrayEither, seqArrayTask, seqEitherArray, seqEitherTask } from './func/seq.js';
+export { seqArrayEitherFirstLeft, seqArrayMaybeFirstNothing, seqArrayTask, seqEitherArray, seqEitherTask, seqMaybeArray, seqMaybeTask } from './func/seq.js';

package/dist/esm/index.js

@@ -4,25 +4,28 @@ import {
   LazyForceValue
 } from "./chunk-NEBLA4MD.js";
 import {
-  Just,
-  Maybe,
-  Nothing
-} from "./chunk-CQG32QQC.js";
-import {
-  seqArrayEither,
+  seqArrayEitherFirstLeft,
+  seqArrayMaybeFirstNothing,
   seqArrayTask,
   seqEitherArray,
-  seqEitherTask
-} from "./chunk-IHXXIFRN.js";
+  seqEitherTask,
+  seqMaybeArray,
+  seqMaybeTask
+} from "./chunk-UTZJVGHH.js";
 import {
   Task,
   TaskDo
-} from "./chunk-OYLE35IQ.js";
+} from "./chunk-IB4BVSOW.js";
 import {
   Either,
   Left,
   Right
-} from "./chunk-VTI5CRVQ.js";
+} from "./chunk-BE7V6GBG.js";
+import {
+  Just,
+  Maybe,
+  Nothing
+} from "./chunk-NXA54GUD.js";
 export {
   Either,
   Just,
@@ -35,8 +38,11 @@ export {
   Right,
   Task,
   TaskDo,
-  seqArrayEither,
+  seqArrayEitherFirstLeft,
+  seqArrayMaybeFirstNothing,
   seqArrayTask,
   seqEitherArray,
-  seqEitherTask
+  seqEitherTask,
+  seqMaybeArray,
+  seqMaybeTask
 };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lsby/ts-fp-data",
-  "version": "0.1.3",
+  "version": "0.2.0",
   "type": "module",
   "exports": {
     "require": "./dist/cjs/index.cjs",

package/dist/esm/chunk-IHXXIFRN.js

@@ -1,40 +0,0 @@
-import {
-  Task
-} from "./chunk-OYLE35IQ.js";
-import {
-  Left,
-  Right
-} from "./chunk-VTI5CRVQ.js";
-
-// src/func/seq.ts
-function seqArrayTask(a) {
-  return new Task(async () => {
-    return Promise.all(a.map(async (a2) => await a2.run()));
-  });
-}
-function seqEitherTask(value) {
-  return value.match(
-    (err) => Task.pure(new Left(err)),
-    (data) => data.map((a) => new Right(a))
-  );
-}
-function seqEitherArray(value) {
-  return value.match(
-    (err) => [new Left(err)],
-    (data) => data.map((a) => new Right(a))
-  );
-}
-function seqArrayEither(value) {
-  const err = value.filter((a) => a.isLeft())[0];
-  if (err)
-    return err;
-  const data = value.map((a) => a.assertRight().getRight());
-  return new Right(data);
-}
-
-export {
-  seqArrayTask,
-  seqEitherTask,
-  seqEitherArray,
-  seqArrayEither
-};