@nlozgachev/pipelined 0.31.0 → 0.33.0

package/dist/{Task-BDcKwFAj.d.mts → Task-DeiWgoeJ.d.ts}

@@ -1,56 +1,4 @@
-import { N as NonEmptyList } from './NonEmptyList-BlGFjor5.mjs';
-
-declare const _deferred: unique symbol;
-/**
- * A nominally typed, one-shot async value that supports `await` but enforces infallibility.
- *
- * Two design choices work together to make the guarantee structural rather than documentary:
- *
- * - The phantom `[_deferred]` symbol makes the type **nominal**: only values produced by
- *   `Deferred.fromPromise` satisfy it. A plain object `{ then: ... }` does not.
- * - The single-parameter `.then()` **excludes rejection handlers** by construction. There is
- *   no second argument to pass, so chaining and `.catch()` are impossible.
- *
- * This makes `Deferred<A>` the natural return type for `Task<A>`, which is guaranteed to
- * never reject.
- *
- * @example
- * ```ts
- * const value = await Deferred.fromPromise(Promise.resolve(42));
- * // value === 42
- * ```
- */
-type Deferred<A> = {
-    readonly [_deferred]: A;
-    readonly then: (onfulfilled: (value: A) => unknown) => void;
-};
-declare namespace Deferred {
-    /**
-     * Wraps a `Promise` into a `Deferred`, structurally excluding rejection handlers,
-     * `.catch()`, `.finally()`, and chainable `.then()`.
-     *
-     * **Precondition**: `p` must never reject. If `p` rejects, the returned `Deferred` will
-     * never resolve — `await`-ing it will hang indefinitely. Use `TaskResult.tryCatch` to
-     * handle operations that may fail before converting to a `Deferred`.
-     *
-     * @example
-     * ```ts
-     * const d = Deferred.fromPromise(Promise.resolve("hello"));
-     * const value = await d; // "hello"
-     * ```
-     */
-    const fromPromise: <A>(p: Promise<A>) => Deferred<A>;
-    /**
-     * Converts a `Deferred` back into a `Promise`.
-     *
-     * @example
-     * ```ts
-     * const p = Deferred.toPromise(Deferred.fromPromise(Promise.resolve(42)));
-     * // p is Promise<42>
-     * ```
-     */
-    const toPromise: <A>(d: Deferred<A>) => Promise<A>;
-}
+import { NonEmptyList, Duration } from './types.js';
 
 type WithKind<K extends string> = {
     readonly kind: K;
@@ -275,6 +223,44 @@ declare namespace Result {
      * ```
      */
     const fromPredicate: <E, A>(pred: (a: A) => boolean, onFalse: (a: A) => E) => (a: A) => Result<E, A>;
+    /**
+     * Creates a Result from a nullable value.
+     * Returns Ok if the value is not null or undefined, error from onNull otherwise.
+     *
+     * @example
+     * ```ts
+     * pipe(null, Result.fromNullable(() => "is null")); // Error("is null")
+     * pipe(42, Result.fromNullable(() => "is null"));   // Ok(42)
+     * ```
+     */
+    const fromNullable: <E>(onNull: () => E) => <A>(value: A | null | undefined) => Result<E, A>;
+    /**
+     * Creates a Result from a Maybe.
+     * Some becomes Ok, None becomes error from onNone.
+     *
+     * @example
+     * ```ts
+     * pipe(Maybe.none(), Result.fromMaybe(() => "is none")); // Error("is none")
+     * pipe(Maybe.some(42), Result.fromMaybe(() => "is none")); // Ok(42)
+     * ```
+     */
+    const fromMaybe: <E>(onNone: () => E) => <A>(maybe: Maybe<A>) => Result<E, A>;
+    /**
+     * Wraps a throwing function of any arguments, returning a new function
+     * that catches errors and returns a Result.
+     *
+     * @example
+     * ```ts
+     * const safeParse = Result.fromThrowable(
+     *   (s: string) => JSON.parse(s),
+     *   (e) => new Error(`Parse error: ${e}`)
+     * );
+     *
+     * safeParse('{"a":1}'); // Ok({ a: 1 })
+     * safeParse('invalid');  // Error(Error)
+     * ```
+     */
+    const fromThrowable: <Args extends readonly unknown[], A, E>(f: (...args: Args) => A, onError: (e: unknown) => E) => (...args: Args) => Result<E, A>;
     /**
      * Recovers from an error by providing a fallback Result.
      * The fallback can produce a different success type, widening the result to `Result<E, A | B>`.
@@ -536,6 +522,223 @@ declare namespace Maybe {
     const ap: <A>(arg: Maybe<A>) => <B>(data: Maybe<(a: A) => B>) => Maybe<B>;
 }
 
+declare const _deferred: unique symbol;
+/**
+ * A nominally typed, one-shot async value that supports `await` but enforces infallibility.
+ *
+ * Two design choices work together to make the guarantee structural rather than documentary:
+ *
+ * - The phantom `[_deferred]` symbol makes the type **nominal**: only values produced by
+ *   `Deferred.fromPromise` satisfy it. A plain object `{ then: ... }` does not.
+ * - The single-parameter `.then()` **excludes rejection handlers** by construction. There is
+ *   no second argument to pass, so chaining and `.catch()` are impossible.
+ *
+ * This makes `Deferred<A>` the natural return type for `Task<A>`, which is guaranteed to
+ * never reject.
+ *
+ * @example
+ * ```ts
+ * const value = await Deferred.fromPromise(Promise.resolve(42));
+ * // value === 42
+ * ```
+ */
+type Deferred<A> = {
+    readonly [_deferred]: A;
+    readonly then: (onfulfilled: (value: A) => unknown) => void;
+};
+declare namespace Deferred {
+    /**
+     * Wraps a `Promise` into a `Deferred`, structurally excluding rejection handlers,
+     * `.catch()`, `.finally()`, and chainable `.then()`.
+     *
+     * **Precondition**: `p` must never reject. If `p` rejects, the returned `Deferred` will
+     * never resolve — `await`-ing it will hang indefinitely. Use `TaskResult.tryCatch` to
+     * handle operations that may fail before converting to a `Deferred`.
+     *
+     * @example
+     * ```ts
+     * const d = Deferred.fromPromise(Promise.resolve("hello"));
+     * const value = await d; // "hello"
+     * ```
+     */
+    const fromPromise: <A>(p: Promise<A>) => Deferred<A>;
+    /**
+     * Converts a `Deferred` back into a `Promise`.
+     *
+     * @example
+     * ```ts
+     * const p = Deferred.toPromise(Deferred.fromPromise(Promise.resolve(42)));
+     * // p is Promise<42>
+     * ```
+     */
+    const toPromise: <A>(d: Deferred<A>) => Promise<A>;
+}
+
+/**
+ * A function that checks whether two values of type `A` are equal.
+ * Use built-in instances (`Equality.string`, `Equality.number`, etc.) as starting points,
+ * then adapt them with `Equality.by` and combine them with `Equality.and`.
+ *
+ * @example
+ * ```ts
+ * type User = { id: string; name: string };
+ * const byId = pipe(Equality.string, Equality.by((u: User) => u.id));
+ *
+ * pipe(users, Arr.uniqWith(byId));
+ * ```
+ */
+type Equality<A> = (a: A, b: A) => boolean;
+declare namespace Equality {
+    /**
+     * Equality for strings. Case-sensitive.
+     *
+     * @example
+     * ```ts
+     * Equality.string("hello", "hello"); // true
+     * Equality.string("hello", "Hello"); // false
+     * ```
+     */
+    const string: Equality<string>;
+    /**
+     * Equality for numbers. Uses strict equality.
+     *
+     * @example
+     * ```ts
+     * Equality.number(42, 42); // true
+     * ```
+     */
+    const number: Equality<number>;
+    /**
+     * Equality for booleans.
+     *
+     * @example
+     * ```ts
+     * Equality.boolean(true, true); // true
+     * ```
+     */
+    const boolean: Equality<boolean>;
+    /**
+     * Equality for `Date` values. Compares by numeric time value.
+     *
+     * @example
+     * ```ts
+     * Equality.date(new Date("2024-01-01"), new Date("2024-01-01")); // true
+     * ```
+     */
+    const date: Equality<Date>;
+    /**
+     * Lifts an element equality into an array equality. Two arrays are equal if they have the
+     * same length and every element pair is equal under `eq`.
+     *
+     * @example
+     * ```ts
+     * Equality.array(Equality.number)([1, 2, 3], [1, 2, 3]); // true
+     * ```
+     */
+    const array: <A>(eq: Equality<A>) => Equality<readonly A[]>;
+    /**
+     * Adapts an equality for type `A` into an equality for type `B` by extracting a field.
+     * Read as "equality by this field": `pipe(Equality.string, Equality.by(u => u.name))`.
+     *
+     * @example
+     * ```ts
+     * type Product = { id: string; price: number };
+     * const byId = pipe(Equality.string, Equality.by((p: Product) => p.id));
+     * byId({ id: "p1", price: 9 }, { id: "p1", price: 12 }); // true
+     * ```
+     */
+    const by: <A, B>(f: (b: B) => A) => (eq: Equality<A>) => Equality<B>;
+    /**
+     * Combines two equalities with logical AND. Both must pass for two values to be considered equal.
+     * Data-last: the first equality is the data being piped.
+     *
+     * @example
+     * ```ts
+     * const exact = pipe(byName, Equality.and(byRole));
+     * exact(userA, userB); // true only if name AND role match
+     * ```
+     */
+    const and: <A>(eq2: Equality<A>) => (eq1: Equality<A>) => Equality<A>;
+}
+
+/**
+ * A function that orders two values of type `A`. Returns a negative number when `a` comes before
+ * `b`, a positive number when `a` comes after `b`, and `0` when they are equal.
+ *
+ * Compatible with `Array.prototype.sort` and `Arr.sortWith`.
+ *
+ * @example
+ * ```ts
+ * type Employee = { name: string; salary: number };
+ *
+ * const byName   = pipe(Ordering.string, Ordering.by((e: Employee) => e.name));
+ * const bySalary = pipe(Ordering.number, Ordering.by((e: Employee) => e.salary));
+ *
+ * pipe(employees, Arr.sortWith(pipe(byName, Ordering.thenBy(bySalary))));
+ * ```
+ */
+type Ordering<A> = (a: A, b: A) => number;
+declare namespace Ordering {
+    /**
+     * Alphabetical ordering for strings.
+     *
+     * @example
+     * ```ts
+     * Ordering.string("apple", "banana"); // negative
+     * ```
+     */
+    const string: Ordering<string>;
+    /**
+     * Numeric ordering. Equivalent to `(a, b) => a - b`.
+     *
+     * @example
+     * ```ts
+     * pipe([3, 1, 2], Arr.sortWith(Ordering.number)); // [1, 2, 3]
+     * ```
+     */
+    const number: Ordering<number>;
+    /**
+     * Ordering for `Date` values by numeric time value.
+     *
+     * @example
+     * ```ts
+     * pipe(dates, Arr.sortWith(Ordering.date)); // earliest first
+     * ```
+     */
+    const date: Ordering<Date>;
+    /**
+     * Flips the direction of an ordering.
+     *
+     * @example
+     * ```ts
+     * pipe([3, 1, 2], Arr.sortWith(Ordering.reverse(Ordering.number))); // [3, 2, 1]
+     * ```
+     */
+    const reverse: <A>(ord: Ordering<A>) => Ordering<A>;
+    /**
+     * Chains two orderings: the second is used only when the first returns `0`.
+     * Data-last: the first ordering is the data being piped.
+     *
+     * @example
+     * ```ts
+     * const byDeptThenSalary = pipe(byDept, Ordering.thenBy(bySalary));
+     * ```
+     */
+    const thenBy: <A>(ord2: Ordering<A>) => (ord1: Ordering<A>) => Ordering<A>;
+    /**
+     * Adapts an ordering for type `A` into an ordering for type `B` by extracting a field.
+     * Read as "ordering by this field": `pipe(Ordering.number, Ordering.by(p => p.price))`.
+     *
+     * @example
+     * ```ts
+     * type Product = { name: string; price: number };
+     * const byPrice = pipe(Ordering.number, Ordering.by((p: Product) => p.price));
+     * pipe(products, Arr.sortWith(byPrice));
+     * ```
+     */
+    const by: <A, B>(f: (b: B) => A) => (ord: Ordering<A>) => Ordering<B>;
+}
+
 /**
  * A lazy async computation that always resolves.
  *
@@ -679,37 +882,37 @@ declare namespace Task {
      */
     const all: <T extends readonly Task<unknown>[]>(tasks: T) => Task<{ [K in keyof T]: T[K] extends Task<infer A> ? A : never; }>;
     /**
-     * Delays the execution of a Task by the specified milliseconds.
+     * Delays the execution of a Task by the specified milliseconds or duration.
      * Useful for debouncing or rate limiting.
      *
      * @example
      * ```ts
      * pipe(
      *   Task.resolve(42),
-     *   Task.delay(1000)
+     *   Task.delay(Duration.seconds(1))
      * )(); // Resolves after 1 second
      * ```
      */
-    const delay: (ms: number) => <A>(data: Task<A>) => Task<A>;
+    const delay: (ms: number | Duration) => <A>(data: Task<A>) => Task<A>;
     /**
      * Runs a Task a fixed number of times sequentially, collecting all results into an array.
-     * An optional delay (ms) can be inserted between runs.
+     * An optional delay (ms or Duration) can be inserted between runs.
      *
      * @example
      * ```ts
      * pipe(
      *   pollSensor,
-     *   Task.repeat({ times: 5, delay: 1000 })
+     *   Task.repeat({ times: 5, delay: Duration.seconds(1) })
      * )(); // Task<Reading[]> — 5 readings, one per second
      * ```
      */
     const repeat: (options: {
         times: number;
-        delay?: number;
+        delay?: number | Duration;
     }) => <A>(task: Task<A>) => Task<readonly A[]>;
     /**
      * Runs a Task repeatedly until the result satisfies a predicate, returning that result.
-     * An optional delay (ms) can be inserted between runs.
+     * An optional delay (ms or Duration) can be inserted between runs.
      * An optional `maxAttempts` cap stops the loop after N calls — the last value is returned
      * regardless of whether the predicate was satisfied.
      *
@@ -717,18 +920,19 @@ declare namespace Task {
      * ```ts
      * pipe(
      *   checkStatus,
-     *   Task.repeatUntil({ when: (s) => s === "ready", delay: 500 })
+     *   Task.repeatUntil({ when: (s) => s === "ready", delay: Duration.milliseconds(500) })
      * )(); // polls every 500ms until status is "ready"
      * ```
      */
     const repeatUntil: <A>(options: {
         when: (a: A) => boolean;
-        delay?: number;
+        delay?: number | Duration;
         maxAttempts?: number;
     }) => (task: Task<A>) => Task<A>;
     /**
      * Resolves with the value of the first Task to complete. All Tasks start
-     * immediately; the rest are abandoned once one resolves.
+     * immediately. When one resolves, the other tasks are cancelled (aborted)
+     * downstream.
      *
      * @example
      * ```ts
@@ -739,6 +943,17 @@ declare namespace Task {
      * ```
      */
     const race: <A>(tasks: ReadonlyArray<Task<A>>) => Task<A>;
+    /**
+     * Runs an array of Tasks concurrently and collects their results in an array.
+     * Forward-propagates the call site's AbortSignal to all subtasks concurrently.
+     *
+     * @example
+     * ```ts
+     * Task.sequence([loadConfig, detectLocale, loadTheme])();
+     * // Deferred<[Config, string, Theme]>
+     * ```
+     */
+    const sequence: <A>(tasks: ReadonlyArray<Task<A>>) => Task<ReadonlyArray<A>>;
     /**
      * Runs an array of Tasks one at a time in order, collecting all results.
      * Each Task starts only after the previous one resolves.
@@ -766,12 +981,12 @@ declare namespace Task {
      * ```ts
      * pipe(
      *   heavyComputation,
-     *   Task.timeout(5000, () => "timed out"),
+     *   Task.timeout(Duration.seconds(5), () => "timed out"),
      *   TaskResult.chain(processResult)
      * );
      * ```
      */
-    const timeout: <E>(ms: number, onTimeout: () => E) => <A>(task: Task<A>) => Task<Result<E, A>>;
+    const timeout: <E>(ms: number | Duration, onTimeout: () => E) => <A>(task: Task<A>) => Task<Result<E, A>>;
     /**
      * Creates a Task paired with an `abort` handle. Calling `abort()` cancels the
      * current in-flight call immediately. Unlike a one-shot abort, calling `task()`
@@ -812,4 +1027,4 @@ declare namespace Task {
     const run: (signal?: AbortSignal) => <A>(task: Task<A>) => Promise<A>;
 }
 
-export { Deferred as D, type Error as E, Maybe as M, type None as N, type Ok as O, Result as R, type Some as S, Task as T, type WithValue as W, type WithLog as a, type WithKind as b, type WithError as c, type RetryOptions as d, type TimeoutOptions as e, type WithTimeout as f, type WithMinInterval as g, type WithCooldown as h, type WithConcurrency as i, type WithSize as j, type WithMs as k, type WithN as l, type WithErrors as m, type WithFirst as n, type WithSecond as o };
+export { Deferred as D, Equality as E, Maybe as M, type None as N, type Ok as O, Result as R, type Some as S, Task as T, type WithValue as W, type Error as a, Ordering as b, type WithLog as c, type WithKind as d, type WithError as e, type RetryOptions as f, type TimeoutOptions as g, type WithTimeout as h, type WithMinInterval as i, type WithCooldown as j, type WithConcurrency as k, type WithSize as l, type WithMs as m, type WithN as n, type WithErrors as o, type WithFirst as p, type WithSecond as q };

package/dist/{chunk-VIC54JR4.mjs → chunk-FZX4MTRI.mjs}

@@ -3,7 +3,79 @@ import {
   Maybe,
   Result,
   Task
-} from "./chunk-SDGDJ7CU.mjs";
+} from "./chunk-GSTKY7MF.mjs";
+
+// src/Core/Combinable.ts
+var Combinable;
+((Combinable2) => {
+  Combinable2.string = {
+    empty: "",
+    combine: (b) => (a) => a + b
+  };
+  Combinable2.sum = {
+    empty: 0,
+    combine: (b) => (a) => a + b
+  };
+  Combinable2.product = {
+    empty: 1,
+    combine: (b) => (a) => a * b
+  };
+  Combinable2.all = {
+    empty: true,
+    combine: (b) => (a) => a && b
+  };
+  Combinable2.any = {
+    empty: false,
+    combine: (b) => (a) => a || b
+  };
+  Combinable2.array = () => ({
+    empty: [],
+    combine: (b) => (a) => [...a, ...b]
+  });
+  Combinable2.maybe = (inner) => ({
+    empty: Maybe.none(),
+    combine: (b) => (a) => Maybe.isNone(a) ? b : Maybe.isNone(b) ? a : Maybe.some(inner.combine(b.value)(a.value))
+  });
+  Combinable2.fold = (c) => (data) => data.reduce((acc, x) => c.combine(x)(acc), c.empty);
+})(Combinable || (Combinable = {}));
+
+// src/Core/Equality.ts
+var Equality;
+((Equality2) => {
+  Equality2.string = (a, b) => a === b;
+  Equality2.number = (a, b) => a === b;
+  Equality2.boolean = (a, b) => a === b;
+  Equality2.date = (a, b) => a.getTime() === b.getTime();
+  Equality2.array = (eq) => (a, b) => a.length === b.length && a.every((x, i) => eq(x, b[i]));
+  Equality2.by = (f) => (eq) => (a, b) => eq(f(a), f(b));
+  Equality2.and = (eq2) => (eq1) => (a, b) => eq1(a, b) && eq2(a, b);
+})(Equality || (Equality = {}));
+
+// src/Core/Lazy.ts
+var Lazy;
+((Lazy2) => {
+  Lazy2.from = (f) => {
+    let done = false;
+    let cache;
+    return {
+      get: () => {
+        if (!done) {
+          cache = f();
+          done = true;
+        }
+        return cache;
+      }
+    };
+  };
+  Lazy2.evaluate = (lazy) => lazy.get();
+  Lazy2.map = (f) => (lazy) => Lazy2.from(() => f(lazy.get()));
+  Lazy2.chain = (f) => (lazy) => Lazy2.from(() => f(lazy.get()).get());
+  Lazy2.tap = (f) => (lazy) => Lazy2.from(() => {
+    const v = lazy.get();
+    f(v);
+    return v;
+  });
+})(Lazy || (Lazy = {}));
 
 // src/Core/Lens.ts
 var Lens;
@@ -1056,6 +1128,20 @@ var Optional;
   );
 })(Optional || (Optional = {}));
 
+// src/Core/Ordering.ts
+var Ordering;
+((Ordering2) => {
+  Ordering2.string = (a, b) => a < b ? -1 : a > b ? 1 : 0;
+  Ordering2.number = (a, b) => a - b;
+  Ordering2.date = (a, b) => a.getTime() - b.getTime();
+  Ordering2.reverse = (ord) => (a, b) => ord(b, a);
+  Ordering2.thenBy = (ord2) => (ord1) => (a, b) => {
+    const r = ord1(a, b);
+    return r !== 0 ? r : ord2(a, b);
+  };
+  Ordering2.by = (f) => (ord) => (a, b) => ord(f(a), f(b));
+})(Ordering || (Ordering = {}));
+
 // src/Core/Predicate.ts
 var Predicate;
 ((Predicate2) => {
@@ -1178,28 +1264,33 @@ var Resource;
     release
   });
   Resource2.use = (f) => (resource) => Task.from(
-    () => Deferred.toPromise(resource.acquire()).then(async (acquired) => {
+    (signal) => Deferred.toPromise(resource.acquire(signal)).then(async (acquired) => {
       if (Result.isError(acquired)) return acquired;
       const a = acquired.value;
-      const usageResult = await Deferred.toPromise(f(a)());
-      await Deferred.toPromise(resource.release(a)());
-      return usageResult;
+      try {
+        const usageResult = await Deferred.toPromise(f(a)(signal));
+        return usageResult;
+      } finally {
+        await Deferred.toPromise(resource.release(a)(signal));
+      }
     })
   );
   Resource2.combine = (resourceA, resourceB) => ({
     acquire: Task.from(
-      () => Deferred.toPromise(resourceA.acquire()).then(async (acquiredA) => {
+      (signal) => Deferred.toPromise(resourceA.acquire(signal)).then(async (acquiredA) => {
         if (Result.isError(acquiredA)) return acquiredA;
         const a = acquiredA.value;
-        const acquiredB = await Deferred.toPromise(resourceB.acquire());
+        const acquiredB = await Deferred.toPromise(resourceB.acquire(signal));
         if (Result.isError(acquiredB)) {
-          await Deferred.toPromise(resourceA.release(a)());
+          await Deferred.toPromise(resourceA.release(a)(signal));
           return acquiredB;
         }
         return Result.ok([a, acquiredB.value]);
       })
     ),
-    release: ([a, b]) => Task.from(() => Deferred.toPromise(resourceB.release(b)()).then(() => Deferred.toPromise(resourceA.release(a)())))
+    release: ([a, b]) => Task.from(
+      (signal) => Deferred.toPromise(resourceB.release(b)(signal)).then(() => Deferred.toPromise(resourceA.release(a)(signal)))
+    )
   });
 })(Resource || (Resource = {}));
 
@@ -1240,16 +1331,18 @@ var TaskMaybe;
   TaskMaybe2.some = (value) => Task.resolve(Maybe.some(value));
   TaskMaybe2.none = () => Task.resolve(Maybe.none());
   TaskMaybe2.fromMaybe = (option) => Task.resolve(option);
+  TaskMaybe2.fromNullable = (value) => Task.resolve(Maybe.fromNullable(value));
+  TaskMaybe2.fromResult = (result) => Task.resolve(Result.toMaybe(result));
   TaskMaybe2.fromTask = (task) => Task.map(Maybe.some)(task);
   TaskMaybe2.tryCatch = (f) => Task.from(
-    () => f().then(Maybe.some).catch(() => Maybe.none())
+    (signal) => f(signal).then(Maybe.some).catch(() => Maybe.none())
   );
   TaskMaybe2.map = (f) => (data) => Task.map(Maybe.map(f))(data);
   TaskMaybe2.chain = (f) => (data) => Task.chain((option) => Maybe.isSome(option) ? f(option.value) : Task.resolve(Maybe.none()))(data);
   TaskMaybe2.ap = (arg) => (data) => Task.from(
-    () => Promise.all([
-      Deferred.toPromise(data()),
-      Deferred.toPromise(arg())
+    (signal) => Promise.all([
+      Deferred.toPromise(data(signal)),
+      Deferred.toPromise(arg(signal))
     ]).then(([of_, oa]) => Maybe.ap(oa)(of_))
   );
   TaskMaybe2.fold = (onNone, onSome) => (data) => Task.map(Maybe.fold(onNone, onSome))(data);
@@ -1265,6 +1358,12 @@ var TaskResult;
 ((TaskResult2) => {
   TaskResult2.ok = (value) => Task.resolve(Result.ok(value));
   TaskResult2.err = (error) => Task.resolve(Result.error(error));
+  TaskResult2.fromNullable = (onNull) => (value) => Task.resolve(value === null || value === void 0 ? Result.error(onNull()) : Result.ok(value));
+  TaskResult2.fromMaybe = (onNone) => (maybe) => Task.resolve(Maybe.isNone(maybe) ? Result.error(onNone()) : Result.ok(maybe.value));
+  TaskResult2.fromResult = (result) => Task.resolve(result);
+  TaskResult2.fromThrowable = (f, onError) => (...args) => Task.from(
+    () => f(...args).then(Result.ok).catch((e) => Result.error(onError(e)))
+  );
   TaskResult2.tryCatch = (f, onError) => Task.from(
     (signal) => f(signal).then(Result.ok).catch((e) => Result.error(onError(e)))
   );
@@ -1283,6 +1382,12 @@ var TaskResult;
   TaskResult2.getOrElse = (defaultValue) => (data) => Task.map(Result.getOrElse(defaultValue))(data);
   TaskResult2.tap = (f) => (data) => Task.map(Result.tap(f))(data);
   TaskResult2.tapError = (f) => (data) => Task.map(Result.tapError(f))(data);
+  TaskResult2.ap = (arg) => (data) => Task.from(
+    (signal) => Promise.all([
+      Deferred.toPromise(data(signal)),
+      Deferred.toPromise(arg(signal))
+    ]).then(([of_, oa]) => Result.ap(oa)(of_))
+  );
   TaskResult2.run = (signal) => (task) => Deferred.toPromise(task(signal));
 })(TaskResult || (TaskResult = {}));
 
@@ -1304,6 +1409,8 @@ var Validation;
   Validation2.isValid = (data) => data.kind === "Valid";
   Validation2.isInvalid = (data) => data.kind === "Invalid";
   Validation2.fromPredicate = (pred, onFalse) => (a) => pred(a) ? (0, Validation2.valid)(a) : (0, Validation2.invalid)(onFalse(a));
+  Validation2.fromNullable = (onNull) => (value) => value === null || value === void 0 ? (0, Validation2.invalid)(onNull()) : (0, Validation2.valid)(value);
+  Validation2.fromMaybe = (onNone) => (maybe) => Maybe.isNone(maybe) ? (0, Validation2.invalid)(onNone()) : (0, Validation2.valid)(maybe.value);
   Validation2.map = (f) => (data) => (0, Validation2.isValid)(data) ? (0, Validation2.valid)(f(data.value)) : data;
   Validation2.ap = (arg) => (data) => {
     if ((0, Validation2.isValid)(data) && (0, Validation2.isValid)(arg)) return (0, Validation2.valid)(data.value(arg.value));
@@ -1355,14 +1462,17 @@ var TaskValidation;
   TaskValidation2.invalid = (error) => Task.resolve(Validation.invalid(error));
   TaskValidation2.invalidAll = (errors) => Task.resolve(Validation.invalidAll(errors));
   TaskValidation2.fromValidation = (validation) => Task.resolve(validation);
+  TaskValidation2.fromNullable = (onNull) => (value) => Task.resolve(value === null || value === void 0 ? Validation.invalid(onNull()) : Validation.valid(value));
+  TaskValidation2.fromMaybe = (onNone) => (maybe) => Task.resolve(Maybe.isNone(maybe) ? Validation.invalid(onNone()) : Validation.valid(maybe.value));
+  TaskValidation2.fromResult = (result) => Task.resolve(Validation.fromResult(result));
   TaskValidation2.tryCatch = (f, onError) => Task.from(
-    () => f().then(Validation.valid).catch((e) => Validation.invalid(onError(e)))
+    (signal) => f(signal).then(Validation.valid).catch((e) => Validation.invalid(onError(e)))
   );
   TaskValidation2.map = (f) => (data) => Task.map(Validation.map(f))(data);
   TaskValidation2.ap = (arg) => (data) => Task.from(
-    () => Promise.all([
-      Deferred.toPromise(data()),
-      Deferred.toPromise(arg())
+    (signal) => Promise.all([
+      Deferred.toPromise(data(signal)),
+      Deferred.toPromise(arg(signal))
     ]).then(([vf, va]) => Validation.ap(va)(vf))
   );
   TaskValidation2.fold = (onInvalid, onValid) => (data) => Task.map(Validation.fold(onInvalid, onValid))(data);
@@ -1373,13 +1483,13 @@ var TaskValidation;
     (validation) => Validation.isValid(validation) ? Task.resolve(validation) : fallback(validation.errors)
   )(data);
   TaskValidation2.product = (first, second) => Task.from(
-    () => Promise.all([
-      Deferred.toPromise(first()),
-      Deferred.toPromise(second())
+    (signal) => Promise.all([
+      Deferred.toPromise(first(signal)),
+      Deferred.toPromise(second(signal))
     ]).then(([va, vb]) => Validation.product(va, vb))
   );
   TaskValidation2.productAll = (data) => Task.from(
-    () => Promise.all(data.map((t) => Deferred.toPromise(t()))).then((results) => Validation.productAll(results))
+    (signal) => Promise.all(data.map((t) => Deferred.toPromise(t(signal)))).then((results) => Validation.productAll(results))
   );
 })(TaskValidation || (TaskValidation = {}));
 
@@ -1466,10 +1576,14 @@ var Tuple;
 })(Tuple || (Tuple = {}));
 
 export {
+  Combinable,
+  Equality,
+  Lazy,
   Lens,
   Logged,
   Op,
   Optional,
+  Ordering,
   Predicate,
   Reader,
   Refinement,