@lsby/ts-fp-data 0.2.1 → 0.2.2

package/dist/cjs/data/either.cjs

@@ -99,10 +99,17 @@ var Nothing = class _Nothing extends Maybe {
 };
 
 // src/data/either.ts
-var Either = class {
+var Either = class _Either {
   static pure(a) {
     return new Right(a);
   }
+  static lift(arr, f) {
+    const \u7B2C\u4E00\u4E2A\u5DE6\u503C = arr.find((a) => a.getTag() == "Left");
+    if (\u7B2C\u4E00\u4E2A\u5DE6\u503C != null) {
+      return \u7B2C\u4E00\u4E2A\u5DE6\u503C;
+    }
+    return _Either.pure(f(arr.map((a) => a.assertRight().getRight())));
+  }
 };
 var Left = class _Left extends Either {
   constructor(\u503C) {
@@ -130,6 +137,9 @@ var Left = class _Left extends Either {
   getValue() {
     return this.\u503C;
   }
+  getTag() {
+    return "Left";
+  }
   assertLeft() {
     return this;
   }
@@ -172,6 +182,9 @@ var Right = class _Right extends Either {
   getValue() {
     return this.\u503C;
   }
+  getTag() {
+    return "Right";
+  }
   assertLeft() {
     throw new Error("\u65AD\u8A00\u5931\u8D25");
   }

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

@@ -1,13 +1,19 @@
+import { 元组转联合 as _____ } from '../types/types.cjs';
 import { Maybe } from './maybe.cjs';
 
+type 任意Either = Either<any, any>;
+type 计算右值们<A> = A extends [] ? [] : A extends [infer x, ...infer xs] ? x extends Either<unknown, infer c> ? [c, ...计算右值们<xs>] : never : never;
+type 计算左值们<A> = A extends [] ? [] : A extends [infer x, ...infer xs] ? x extends Either<infer c, unknown> ? [c, ...计算左值们<xs>] : never : never;
 declare abstract class Either<L, R> {
     static pure<L, R>(a: R): Either<L, R>;
+    static lift<B, Arr extends 任意Either[]>(arr: [...Arr], f: (a: 计算右值们<Arr>) => B): Either<_____<计算左值们<Arr>>, B>;
     abstract map<B>(_f: (a: R) => B): Either<L, B>;
     abstract mapLeft<B>(f: (a: L) => B): Either<B, R>;
     abstract bind<B>(_f: (a: R) => Either<L, B>): Either<L, B>;
     abstract isLeft(): this is Left<L, R>;
     abstract isRight(): this is Right<L, R>;
     abstract getValue(): L | R;
+    abstract getTag(): 'Left' | 'Right';
     abstract assertLeft(): Left<L, R>;
     abstract assertRight(): Right<L, R>;
     abstract match<X>(onLeft: (a: L) => X, onRight: (a: R) => X): X;
@@ -24,6 +30,7 @@ declare class Left<L, R> extends Either<L, R> {
     isRight(): this is Right<L, R>;
     getLeft(): L;
     getValue(): L | R;
+    getTag(): 'Left' | 'Right';
     assertLeft(): Left<L, R>;
     assertRight(): Right<L, R>;
     match<X>(onLeft: (a: L) => X, _onRight: (a: R) => X): X;
@@ -40,6 +47,7 @@ declare class Right<L, R> extends Either<L, R> {
     isRight(): this is Right<L, R>;
     getRight(): R;
     getValue(): L | R;
+    getTag(): 'Left' | 'Right';
     assertLeft(): Left<L, R>;
     assertRight(): Right<L, R>;
     match<X>(_onLeft: (a: L) => X, onRight: (a: R) => X): X;
@@ -47,4 +55,4 @@ declare class Right<L, R> extends Either<L, R> {
     toMaybe(): Maybe<R>;
 }
 
-export { Either, Left, Right };
+export { Either, Left, Right, type 任意Either, type 计算右值们, type 计算左值们 };

package/dist/cjs/data/task.cjs

@@ -98,10 +98,17 @@ var Nothing = class _Nothing extends Maybe {
 };
 
 // src/data/either.ts
-var Either = class {
+var Either = class _Either {
   static pure(a) {
     return new Right(a);
   }
+  static lift(arr, f) {
+    const \u7B2C\u4E00\u4E2A\u5DE6\u503C = arr.find((a) => a.getTag() == "Left");
+    if (\u7B2C\u4E00\u4E2A\u5DE6\u503C != null) {
+      return \u7B2C\u4E00\u4E2A\u5DE6\u503C;
+    }
+    return _Either.pure(f(arr.map((a) => a.assertRight().getRight())));
+  }
 };
 var Left = class _Left extends Either {
   constructor(\u503C) {
@@ -129,6 +136,9 @@ var Left = class _Left extends Either {
   getValue() {
     return this.\u503C;
   }
+  getTag() {
+    return "Left";
+  }
   assertLeft() {
     return this;
   }
@@ -171,6 +181,9 @@ var Right = class _Right extends Either {
   getValue() {
     return this.\u503C;
   }
+  getTag() {
+    return "Right";
+  }
   assertLeft() {
     throw new Error("\u65AD\u8A00\u5931\u8D25");
   }
@@ -229,6 +242,7 @@ var TaskDo = class _TaskDo {
           (c) => c ? Task.pure(task(a.env)).bind((x) => Task.pure({ env: a.env, lastValue: x, lock: true })) : Task.pure({
             env: a.env,
             /*从类型可以确保if没命中的情况pureIf来补充正确的候选值, 所以这里跳过ts检查*/
+            // eslint-disable-next-line @typescript-eslint/no-unsafe-assignment
             lastValue: a.lastValue,
             lock: false
           })

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

@@ -1,4 +1,5 @@
 import { Either } from './either.cjs';
+import '../types/types.cjs';
 import './maybe.cjs';
 
 type TaskDoTypeBase<Env extends Record<string, any>, A> = {

package/dist/cjs/func/seq.cjs

@@ -105,10 +105,17 @@ var Nothing = class _Nothing extends Maybe {
 };
 
 // src/data/either.ts
-var Either = class {
+var Either = class _Either {
   static pure(a) {
     return new Right(a);
   }
+  static lift(arr, f) {
+    const \u7B2C\u4E00\u4E2A\u5DE6\u503C = arr.find((a) => a.getTag() == "Left");
+    if (\u7B2C\u4E00\u4E2A\u5DE6\u503C != null) {
+      return \u7B2C\u4E00\u4E2A\u5DE6\u503C;
+    }
+    return _Either.pure(f(arr.map((a) => a.assertRight().getRight())));
+  }
 };
 var Left = class _Left extends Either {
   constructor(\u503C) {
@@ -136,6 +143,9 @@ var Left = class _Left extends Either {
   getValue() {
     return this.\u503C;
   }
+  getTag() {
+    return "Left";
+  }
   assertLeft() {
     return this;
   }
@@ -178,6 +188,9 @@ var Right = class _Right extends Either {
   getValue() {
     return this.\u503C;
   }
+  getTag() {
+    return "Right";
+  }
   assertLeft() {
     throw new Error("\u65AD\u8A00\u5931\u8D25");
   }
@@ -236,6 +249,7 @@ var TaskDo = class _TaskDo {
           (c) => c ? Task.pure(task(a.env)).bind((x) => Task.pure({ env: a.env, lastValue: x, lock: true })) : Task.pure({
             env: a.env,
             /*从类型可以确保if没命中的情况pureIf来补充正确的候选值, 所以这里跳过ts检查*/
+            // eslint-disable-next-line @typescript-eslint/no-unsafe-assignment
             lastValue: a.lastValue,
             lock: false
           })

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

@@ -1,6 +1,7 @@
 import { Either } from '../data/either.cjs';
 import { Maybe } from '../data/maybe.cjs';
 import { Task } from '../data/task.cjs';
+import '../types/types.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>>;

package/dist/cjs/index.cjs

@@ -116,10 +116,17 @@ var Nothing = class _Nothing extends Maybe {
 };
 
 // src/data/either.ts
-var Either = class {
+var Either = class _Either {
   static pure(a) {
     return new Right(a);
   }
+  static lift(arr, f) {
+    const \u7B2C\u4E00\u4E2A\u5DE6\u503C = arr.find((a) => a.getTag() == "Left");
+    if (\u7B2C\u4E00\u4E2A\u5DE6\u503C != null) {
+      return \u7B2C\u4E00\u4E2A\u5DE6\u503C;
+    }
+    return _Either.pure(f(arr.map((a) => a.assertRight().getRight())));
+  }
 };
 var Left = class _Left extends Either {
   constructor(\u503C) {
@@ -147,6 +154,9 @@ var Left = class _Left extends Either {
   getValue() {
     return this.\u503C;
   }
+  getTag() {
+    return "Left";
+  }
   assertLeft() {
     return this;
   }
@@ -189,6 +199,9 @@ var Right = class _Right extends Either {
   getValue() {
     return this.\u503C;
   }
+  getTag() {
+    return "Right";
+  }
   assertLeft() {
     throw new Error("\u65AD\u8A00\u5931\u8D25");
   }
@@ -279,6 +292,7 @@ var TaskDo = class _TaskDo {
           (c) => c ? Task.pure(task(a.env)).bind((x) => Task.pure({ env: a.env, lastValue: x, lock: true })) : Task.pure({
             env: a.env,
             /*从类型可以确保if没命中的情况pureIf来补充正确的候选值, 所以这里跳过ts检查*/
+            // eslint-disable-next-line @typescript-eslint/no-unsafe-assignment
             lastValue: a.lastValue,
             lock: false
           })

package/dist/cjs/index.d.cts

@@ -1,5 +1,6 @@
-export { Either, Left, Right } from './data/either.cjs';
+export { Either, Left, Right, 任意Either, 计算右值们, 计算左值们 } 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 { seqArrayEitherCollectRight, seqArrayEitherFirstLeft, seqArrayMaybeCollectJust, seqArrayMaybeFirstNothing, seqArrayTask, seqEitherArray, seqEitherTask, seqMaybeArray, seqMaybeTask } from './func/seq.cjs';
+import './types/types.cjs';

package/dist/cjs/types/types.cjs

@@ -0,0 +1,18 @@
+"use strict";
+var __defProp = Object.defineProperty;
+var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
+var __getOwnPropNames = Object.getOwnPropertyNames;
+var __hasOwnProp = Object.prototype.hasOwnProperty;
+var __copyProps = (to, from, except, desc) => {
+  if (from && typeof from === "object" || typeof from === "function") {
+    for (let key of __getOwnPropNames(from))
+      if (!__hasOwnProp.call(to, key) && key !== except)
+        __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
+  }
+  return to;
+};
+var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
+
+// src/types/types.ts
+var types_exports = {};
+module.exports = __toCommonJS(types_exports);

package/dist/cjs/types/types.d.cts

@@ -0,0 +1,3 @@
+type 元组转联合<A> = A extends any[] ? A[number] : never;
+
+export type { 元组转联合 };

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

@@ -1,7 +1,7 @@
 import {
   Left,
   Right
-} from "./chunk-BE7V6GBG.js";
+} from "./chunk-MUPBOWCK.js";
 
 // src/data/task.ts
 var TaskDo = class _TaskDo {
@@ -44,6 +44,7 @@ var TaskDo = class _TaskDo {
           (c) => c ? Task.pure(task(a.env)).bind((x) => Task.pure({ env: a.env, lastValue: x, lock: true })) : Task.pure({
             env: a.env,
             /*从类型可以确保if没命中的情况pureIf来补充正确的候选值, 所以这里跳过ts检查*/
+            // eslint-disable-next-line @typescript-eslint/no-unsafe-assignment
             lastValue: a.lastValue,
             lock: false
           })

package/dist/esm/{chunk-B2G2C6YM.js → chunk-IWR6QS6U.js}

@@ -1,10 +1,10 @@
 import {
   Task
-} from "./chunk-IB4BVSOW.js";
+} from "./chunk-7HK3EH67.js";
 import {
   Left,
   Right
-} from "./chunk-BE7V6GBG.js";
+} from "./chunk-MUPBOWCK.js";
 import {
   Just,
   Nothing

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

@@ -4,10 +4,17 @@ import {
 } from "./chunk-NXA54GUD.js";
 
 // src/data/either.ts
-var Either = class {
+var Either = class _Either {
   static pure(a) {
     return new Right(a);
   }
+  static lift(arr, f) {
+    const \u7B2C\u4E00\u4E2A\u5DE6\u503C = arr.find((a) => a.getTag() == "Left");
+    if (\u7B2C\u4E00\u4E2A\u5DE6\u503C != null) {
+      return \u7B2C\u4E00\u4E2A\u5DE6\u503C;
+    }
+    return _Either.pure(f(arr.map((a) => a.assertRight().getRight())));
+  }
 };
 var Left = class _Left extends Either {
   constructor(\u503C) {
@@ -35,6 +42,9 @@ var Left = class _Left extends Either {
   getValue() {
     return this.\u503C;
   }
+  getTag() {
+    return "Left";
+  }
   assertLeft() {
     return this;
   }
@@ -77,6 +87,9 @@ var Right = class _Right extends Either {
   getValue() {
     return this.\u503C;
   }
+  getTag() {
+    return "Right";
+  }
   assertLeft() {
     throw new Error("\u65AD\u8A00\u5931\u8D25");
   }

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

@@ -1,13 +1,19 @@
+import { 元组转联合 as _____ } from '../types/types.js';
 import { Maybe } from './maybe.js';
 
+type 任意Either = Either<any, any>;
+type 计算右值们<A> = A extends [] ? [] : A extends [infer x, ...infer xs] ? x extends Either<unknown, infer c> ? [c, ...计算右值们<xs>] : never : never;
+type 计算左值们<A> = A extends [] ? [] : A extends [infer x, ...infer xs] ? x extends Either<infer c, unknown> ? [c, ...计算左值们<xs>] : never : never;
 declare abstract class Either<L, R> {
     static pure<L, R>(a: R): Either<L, R>;
+    static lift<B, Arr extends 任意Either[]>(arr: [...Arr], f: (a: 计算右值们<Arr>) => B): Either<_____<计算左值们<Arr>>, B>;
     abstract map<B>(_f: (a: R) => B): Either<L, B>;
     abstract mapLeft<B>(f: (a: L) => B): Either<B, R>;
     abstract bind<B>(_f: (a: R) => Either<L, B>): Either<L, B>;
     abstract isLeft(): this is Left<L, R>;
     abstract isRight(): this is Right<L, R>;
     abstract getValue(): L | R;
+    abstract getTag(): 'Left' | 'Right';
     abstract assertLeft(): Left<L, R>;
     abstract assertRight(): Right<L, R>;
     abstract match<X>(onLeft: (a: L) => X, onRight: (a: R) => X): X;
@@ -24,6 +30,7 @@ declare class Left<L, R> extends Either<L, R> {
     isRight(): this is Right<L, R>;
     getLeft(): L;
     getValue(): L | R;
+    getTag(): 'Left' | 'Right';
     assertLeft(): Left<L, R>;
     assertRight(): Right<L, R>;
     match<X>(onLeft: (a: L) => X, _onRight: (a: R) => X): X;
@@ -40,6 +47,7 @@ declare class Right<L, R> extends Either<L, R> {
     isRight(): this is Right<L, R>;
     getRight(): R;
     getValue(): L | R;
+    getTag(): 'Left' | 'Right';
     assertLeft(): Left<L, R>;
     assertRight(): Right<L, R>;
     match<X>(_onLeft: (a: L) => X, onRight: (a: R) => X): X;
@@ -47,4 +55,4 @@ declare class Right<L, R> extends Either<L, R> {
     toMaybe(): Maybe<R>;
 }
 
-export { Either, Left, Right };
+export { Either, Left, Right, type 任意Either, type 计算右值们, type 计算左值们 };

package/dist/esm/data/either.js

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

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

@@ -1,4 +1,5 @@
 import { Either } from './either.js';
+import '../types/types.js';
 import './maybe.js';
 
 type TaskDoTypeBase<Env extends Record<string, any>, A> = {

package/dist/esm/data/task.js

@@ -1,8 +1,8 @@
 import {
   Task,
   TaskDo
-} from "../chunk-IB4BVSOW.js";
-import "../chunk-BE7V6GBG.js";
+} from "../chunk-7HK3EH67.js";
+import "../chunk-MUPBOWCK.js";
 import "../chunk-NXA54GUD.js";
 export {
   Task,

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

@@ -1,6 +1,7 @@
 import { Either } from '../data/either.js';
 import { Maybe } from '../data/maybe.js';
 import { Task } from '../data/task.js';
+import '../types/types.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>>;

package/dist/esm/func/seq.js

@@ -8,9 +8,9 @@ import {
   seqEitherTask,
   seqMaybeArray,
   seqMaybeTask
-} from "../chunk-B2G2C6YM.js";
-import "../chunk-IB4BVSOW.js";
-import "../chunk-BE7V6GBG.js";
+} from "../chunk-IWR6QS6U.js";
+import "../chunk-7HK3EH67.js";
+import "../chunk-MUPBOWCK.js";
 import "../chunk-NXA54GUD.js";
 export {
   seqArrayEitherCollectRight,

package/dist/esm/index.d.ts

@@ -1,5 +1,6 @@
-export { Either, Left, Right } from './data/either.js';
+export { Either, Left, Right, 任意Either, 计算右值们, 计算左值们 } 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 { seqArrayEitherCollectRight, seqArrayEitherFirstLeft, seqArrayMaybeCollectJust, seqArrayMaybeFirstNothing, seqArrayTask, seqEitherArray, seqEitherTask, seqMaybeArray, seqMaybeTask } from './func/seq.js';
+import './types/types.js';

package/dist/esm/index.js

@@ -1,8 +1,3 @@
-import {
-  Lazy,
-  LazyDeferValue,
-  LazyForceValue
-} from "./chunk-NEBLA4MD.js";
 import {
   seqArrayEitherCollectRight,
   seqArrayEitherFirstLeft,
@@ -13,16 +8,21 @@ import {
   seqEitherTask,
   seqMaybeArray,
   seqMaybeTask
-} from "./chunk-B2G2C6YM.js";
+} from "./chunk-IWR6QS6U.js";
+import {
+  Lazy,
+  LazyDeferValue,
+  LazyForceValue
+} from "./chunk-NEBLA4MD.js";
 import {
   Task,
   TaskDo
-} from "./chunk-IB4BVSOW.js";
+} from "./chunk-7HK3EH67.js";
 import {
   Either,
   Left,
   Right
-} from "./chunk-BE7V6GBG.js";
+} from "./chunk-MUPBOWCK.js";
 import {
   Just,
   Maybe,

package/dist/esm/types/types.d.ts

@@ -0,0 +1,3 @@
+type 元组转联合<A> = A extends any[] ? A[number] : never;
+
+export type { 元组转联合 };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lsby/ts-fp-data",
-  "version": "0.2.1",
+  "version": "0.2.2",
   "type": "module",
   "exports": {
     "require": "./dist/cjs/index.cjs",
@@ -34,5 +34,6 @@
     "tsup": "^8.0.2",
     "typescript": "^5.4.5",
     "vitest": "^2.0.2"
-  }
-}
+  },
+  "packageManager": "pnpm@9.7.1+sha512.faf344af2d6ca65c4c5c8c2224ea77a81a5e8859cbc4e06b1511ddce2f0151512431dd19e6aff31f2c6a8f5f2aced9bd2273e1fed7dd4de1868984059d2c4247"
+}