@nlozgachev/pipekit 0.1.6 → 0.1.8

package/types/src/Core/TaskValidation.d.ts

@@ -0,0 +1,115 @@
+import { NonEmptyList } from "../Types/NonEmptyList.js";
+import { Task } from "./Task.js";
+import { Validation } from "./Validation.js";
+/**
+ * A Task that resolves to a Validation — combining async operations with
+ * error accumulation. Unlike TaskResult, multiple failures are collected
+ * rather than short-circuiting on the first error.
+ *
+ * @example
+ * ```ts
+ * const validateName = (name: string): TaskValidation<string, string> =>
+ *   name.length > 0
+ *     ? TaskValidation.of(name)
+ *     : TaskValidation.fail("Name is required");
+ *
+ * // Accumulate errors from multiple async validations using ap
+ * pipe(
+ *   TaskValidation.of((name: string) => (age: number) => ({ name, age })),
+ *   TaskValidation.ap(validateName("")),
+ *   TaskValidation.ap(validateAge(-1))
+ * )();
+ * // Invalid(["Name is required", "Age must be positive"])
+ * ```
+ */
+export type TaskValidation<E, A> = Task<Validation<E, A>>;
+export declare namespace TaskValidation {
+    /**
+     * Wraps a value in a valid TaskValidation.
+     */
+    const of: <E, A>(value: A) => TaskValidation<E, A>;
+    /**
+     * Creates a failed TaskValidation with a single error.
+     */
+    const fail: <E, A>(error: E) => TaskValidation<E, A>;
+    /**
+     * Lifts a Validation into a TaskValidation.
+     */
+    const fromValidation: <E, A>(validation: Validation<E, A>) => TaskValidation<E, A>;
+    /**
+     * Creates a TaskValidation from a Promise-returning function.
+     * Catches any errors and transforms them using the onError function.
+     *
+     * @example
+     * ```ts
+     * const fetchUser = (id: string): TaskValidation<string, User> =>
+     *   TaskValidation.tryCatch(
+     *     () => fetch(`/users/${id}`).then(r => r.json()),
+     *     e => `Failed to fetch user: ${e}`
+     *   );
+     * ```
+     */
+    const tryCatch: <E, A>(f: () => Promise<A>, onError: (e: unknown) => E) => TaskValidation<E, A>;
+    /**
+     * Transforms the success value inside a TaskValidation.
+     */
+    const map: <E, A, B>(f: (a: A) => B) => (data: TaskValidation<E, A>) => TaskValidation<E, B>;
+    /**
+     * Chains TaskValidation computations. If the first is Valid, passes the value
+     * to f. If the first is Invalid, propagates the errors.
+     *
+     * Note: chain short-circuits on first error. Use ap to accumulate errors.
+     */
+    const chain: <E, A, B>(f: (a: A) => TaskValidation<E, B>) => (data: TaskValidation<E, A>) => TaskValidation<E, B>;
+    /**
+     * Applies a function wrapped in a TaskValidation to a value wrapped in a
+     * TaskValidation. Both Tasks run in parallel and errors from both sides
+     * are accumulated.
+     *
+     * @example
+     * ```ts
+     * pipe(
+     *   TaskValidation.of((name: string) => (age: number) => ({ name, age })),
+     *   TaskValidation.ap(validateName(name)),
+     *   TaskValidation.ap(validateAge(age))
+     * )();
+     * ```
+     */
+    const ap: <E, A>(arg: TaskValidation<E, A>) => <B>(data: TaskValidation<E, (a: A) => B>) => TaskValidation<E, B>;
+    /**
+     * Extracts a value from a TaskValidation by providing handlers for both cases.
+     */
+    const fold: <E, A, B>(onInvalid: (errors: NonEmptyList<E>) => B, onValid: (a: A) => B) => (data: TaskValidation<E, A>) => Task<B>;
+    /**
+     * Pattern matches on a TaskValidation, returning a Task of the result.
+     *
+     * @example
+     * ```ts
+     * pipe(
+     *   validateForm(input),
+     *   TaskValidation.match({
+     *     valid: data => save(data),
+     *     invalid: errors => showErrors(errors)
+     *   })
+     * )();
+     * ```
+     */
+    const match: <E, A, B>(cases: {
+        valid: (a: A) => B;
+        invalid: (errors: NonEmptyList<E>) => B;
+    }) => (data: TaskValidation<E, A>) => Task<B>;
+    /**
+     * Returns the success value or a default value if the TaskValidation is invalid.
+     */
+    const getOrElse: <E, A>(defaultValue: A) => (data: TaskValidation<E, A>) => Task<A>;
+    /**
+     * Executes a side effect on the success value without changing the TaskValidation.
+     * Useful for logging or debugging.
+     */
+    const tap: <E, A>(f: (a: A) => void) => (data: TaskValidation<E, A>) => TaskValidation<E, A>;
+    /**
+     * Recovers from an Invalid state by providing a fallback TaskValidation.
+     */
+    const recover: <E, A>(fallback: () => TaskValidation<E, A>) => (data: TaskValidation<E, A>) => TaskValidation<E, A>;
+}
+//# sourceMappingURL=TaskValidation.d.ts.map

package/types/src/Core/TaskValidation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TaskValidation.d.ts","sourceRoot":"","sources":["../../../src/src/Core/TaskValidation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AACxD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAE1D,yBAAiB,cAAc,CAAC;IAC9B;;OAEG;IACI,MAAM,EAAE,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAAkC,CAAC;IAE1F;;OAEG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAAoC,CAAC;IAE9F;;OAEG;IACI,MAAM,cAAc,GAAI,CAAC,EAAE,CAAC,EAAE,YAAY,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAClE,CAAC;IAEtB;;;;;;;;;;;;OAYG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAC3B,GAAG,MAAM,OAAO,CAAC,CAAC,CAAC,EACnB,SAAS,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,KACzB,cAAc,CAAC,CAAC,EAAE,CAAC,CAIwB,CAAC;IAE/C;;OAEG;IACI,MAAM,GAAG,GACb,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CACrC,CAAC;IAE5C;;;;;OAKG;IACI,MAAM,KAAK,GACf,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,MAC1C,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAKxC,CAAC;IAEZ;;;;;;;;;;;;;OAaG;IACI,MAAM,EAAE,GACZ,CAAC,EAAE,CAAC,EAAE,KAAK,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,MAC/B,CAAC,EAAE,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CACc,CAAC;IAE/E;;OAEG;IACI,MAAM,IAAI,GACd,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MACxE,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CAC0B,CAAC;IAEjE;;;;;;;;;;;;;OAaG;IACI,MAAM,KAAK,GACf,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO;QAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAAC,OAAO,EAAE,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;KAAE,MAC/E,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CAAqD,CAAC;IAE5F;;OAEG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,cAAc,CAAC,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CAC9B,CAAC;IAE3D;;;OAGG;IACI,MAAM,GAAG,GACb,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CACrC,CAAC;IAE5C;;OAEG;IACI,MAAM,OAAO,GACjB,CAAC,EAAE,CAAC,EAAE,UAAU,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,MAC1C,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAGxC,CAAC;CACb"}

package/types/src/Core/These.d.ts

@@ -0,0 +1,213 @@
+import { Err, Ok, Result } from "./Result.js";
+import { WithError, WithKind, WithValue } from "./InternalTypes.js";
+/**
+ * These<E, A> is an inclusive-OR type: it holds an error value (E), a success
+ * value (A), or both simultaneously. It reuses Ok<A> and Err<E> from Result,
+ * adding a third Both<E, A> variant for partial success with a warning/error.
+ *
+ * - Err(e)      — only an error/warning (no success value)
+ * - Ok(a)       — only a success value (no error)
+ * - Both(e, a)  — a warning together with a success value
+ *
+ * @example
+ * ```ts
+ * const parse = (s: string): These<string, number> => {
+ *   const n = parseFloat(s.trim());
+ *   if (isNaN(n)) return These.toErr("Not a number");
+ *   if (s !== s.trim()) return These.toBoth("Leading/trailing whitespace trimmed", n);
+ *   return These.toOk(n);
+ * };
+ * ```
+ */
+export type These<E, A> = Err<E> | Ok<A> | Both<E, A>;
+export type Both<E, A> = WithKind<"Both"> & WithError<E> & WithValue<A>;
+export declare namespace These {
+    /**
+     * Creates a These holding only an error/warning (no success value).
+     *
+     * @example
+     * ```ts
+     * These.toErr("Something went wrong");
+     * ```
+     */
+    const toErr: <E>(error: E) => Err<E>;
+    /**
+     * Creates a These holding only a success value (no error).
+     *
+     * @example
+     * ```ts
+     * These.toOk(42);
+     * ```
+     */
+    const toOk: <A>(value: A) => Ok<A>;
+    /**
+     * Creates a These holding both an error/warning and a success value.
+     *
+     * @example
+     * ```ts
+     * These.toBoth("Deprecated API used", result);
+     * ```
+     */
+    const toBoth: <E, A>(error: E, value: A) => Both<E, A>;
+    /**
+     * Type guard — checks if a These holds only an error/warning.
+     */
+    const isErr: <E, A>(data: These<E, A>) => data is Err<E>;
+    /**
+     * Type guard — checks if a These holds only a success value.
+     */
+    const isOk: <E, A>(data: These<E, A>) => data is Ok<A>;
+    /**
+     * Type guard — checks if a These holds both an error/warning and a success value.
+     */
+    const isBoth: <E, A>(data: These<E, A>) => data is Both<E, A>;
+    /**
+     * Returns true if the These contains a success value (Ok or Both).
+     */
+    const hasValue: <E, A>(data: These<E, A>) => data is Ok<A> | Both<E, A>;
+    /**
+     * Returns true if the These contains an error/warning (Err or Both).
+     */
+    const hasError: <E, A>(data: These<E, A>) => data is Err<E> | Both<E, A>;
+    /**
+     * Transforms the success value, leaving the error unchanged.
+     *
+     * @example
+     * ```ts
+     * pipe(These.toOk(5), These.map(n => n * 2));          // Ok(10)
+     * pipe(These.toBoth("warn", 5), These.map(n => n * 2)); // Both("warn", 10)
+     * pipe(These.toErr("err"), These.map(n => n * 2));      // Err("err")
+     * ```
+     */
+    const map: <A, B>(f: (a: A) => B) => <E>(data: These<E, A>) => These<E, B>;
+    /**
+     * Transforms the error/warning value, leaving the success value unchanged.
+     *
+     * @example
+     * ```ts
+     * pipe(These.toErr("err"), These.mapErr(e => e.toUpperCase()));         // Err("ERR")
+     * pipe(These.toBoth("warn", 5), These.mapErr(e => e.toUpperCase()));    // Both("WARN", 5)
+     * ```
+     */
+    const mapErr: <E, F>(f: (e: E) => F) => <A>(data: These<E, A>) => These<F, A>;
+    /**
+     * Transforms both the error and success values independently.
+     *
+     * @example
+     * ```ts
+     * pipe(
+     *   These.toBoth("warn", 5),
+     *   These.bimap(e => e.toUpperCase(), n => n * 2)
+     * ); // Both("WARN", 10)
+     * ```
+     */
+    const bimap: <E, F, A, B>(onErr: (e: E) => F, onOk: (a: A) => B) => (data: These<E, A>) => These<F, B>;
+    /**
+     * Chains These computations by passing the success value to f.
+     * - Err propagates unchanged.
+     * - Ok(a) applies f(a) directly.
+     * - Both(e, a): applies f(a); if the result is Ok(b), returns Both(e, b)
+     *   to preserve the warning. Otherwise returns f(a) as-is.
+     *
+     * @example
+     * ```ts
+     * const double = (n: number): These<string, number> => These.toOk(n * 2);
+     *
+     * pipe(These.toOk(5), These.chain(double));           // Ok(10)
+     * pipe(These.toBoth("warn", 5), These.chain(double)); // Both("warn", 10)
+     * pipe(These.toErr("err"), These.chain(double));      // Err("err")
+     * ```
+     */
+    const chain: <E, A, B>(f: (a: A) => These<E, B>) => (data: These<E, A>) => These<E, B>;
+    /**
+     * Extracts a value from a These by providing handlers for all three cases.
+     *
+     * @example
+     * ```ts
+     * pipe(
+     *   these,
+     *   These.fold(
+     *     e => `Error: ${e}`,
+     *     a => `Value: ${a}`,
+     *     (e, a) => `Both: ${e} / ${a}`
+     *   )
+     * );
+     * ```
+     */
+    const fold: <E, A, B>(onErr: (e: E) => B, onOk: (a: A) => B, onBoth: (e: E, a: A) => B) => (data: These<E, A>) => B;
+    /**
+     * Pattern matches on a These, returning the result of the matching case.
+     *
+     * @example
+     * ```ts
+     * pipe(
+     *   these,
+     *   These.match({
+     *     err: e => `Error: ${e}`,
+     *     ok: a => `Value: ${a}`,
+     *     both: (e, a) => `Both: ${e} / ${a}`
+     *   })
+     * );
+     * ```
+     */
+    const match: <E, A, B>(cases: {
+        err: (e: E) => B;
+        ok: (a: A) => B;
+        both: (e: E, a: A) => B;
+    }) => (data: These<E, A>) => B;
+    /**
+     * Returns the success value, or a default if the These has no success value.
+     *
+     * @example
+     * ```ts
+     * pipe(These.toOk(5), These.getOrElse(0));           // 5
+     * pipe(These.toBoth("warn", 5), These.getOrElse(0)); // 5
+     * pipe(These.toErr("err"), These.getOrElse(0));      // 0
+     * ```
+     */
+    const getOrElse: <A>(defaultValue: A) => <E>(data: These<E, A>) => A;
+    /**
+     * Executes a side effect on the success value without changing the These.
+     * Useful for logging or debugging.
+     */
+    const tap: <A>(f: (a: A) => void) => <E>(data: These<E, A>) => These<E, A>;
+    /**
+     * Swaps the roles of error and success values.
+     * - Err(e)      → Ok(e)
+     * - Ok(a)       → Err(a)
+     * - Both(e, a)  → Both(a, e)
+     *
+     * @example
+     * ```ts
+     * These.swap(These.toErr("err"));        // Ok("err")
+     * These.swap(These.toOk(5));             // Err(5)
+     * These.swap(These.toBoth("warn", 5));   // Both(5, "warn")
+     * ```
+     */
+    const swap: <E, A>(data: These<E, A>) => These<A, E>;
+    /**
+     * Converts a These to an Option.
+     * Ok and Both produce Some; Err produces None.
+     *
+     * @example
+     * ```ts
+     * These.toOption(These.toOk(42));          // Some(42)
+     * These.toOption(These.toBoth("warn", 42)); // Some(42)
+     * These.toOption(These.toErr("err"));       // None
+     * ```
+     */
+    const toOption: <E, A>(data: These<E, A>) => import("./Option.ts").Option<A>;
+    /**
+     * Converts a These to a Result, discarding any warning from Both.
+     * Ok and Both produce Ok; Err produces Err.
+     *
+     * @example
+     * ```ts
+     * These.toResult(These.toOk(42));           // Ok(42)
+     * These.toResult(These.toBoth("warn", 42)); // Ok(42)
+     * These.toResult(These.toErr("err"));       // Err("err")
+     * ```
+     */
+    const toResult: <E, A>(data: These<E, A>) => Result<E, A>;
+}
+//# sourceMappingURL=These.d.ts.map

package/types/src/Core/These.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"These.d.ts","sourceRoot":"","sources":["../../../src/src/Core/These.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAEpE;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAEtD,MAAM,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;AAExE,yBAAiB,KAAK,CAAC;IACrB;;;;;;;OAOG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,GAAG,CAAC,CAAC,CAAwB,CAAC;IAElE;;;;;;;OAOG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,EAAE,CAAC,CAAC,CAAuB,CAAC;IAE/D;;;;;;;OAOG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,KAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAIzD,CAAC;IAEH;;OAEG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,GAAG,CAAC,CAAC,CAA0B,CAAC;IAExF;;OAEG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,EAAE,CAAC,CAAC,CAAuB,CAAC;IAEnF;;OAEG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC,CAAyB,CAAC;IAE5F;;OAEG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAChC,CAAC;IAE7C;;OAEG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAC9B,CAAC;IAEhD;;;;;;;;;OASG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAI9E,CAAC;IAEF;;;;;;;;OAQG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAIjF,CAAC;IAEF;;;;;;;;;;OAUG;IACI,MAAM,KAAK,GACf,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAIrF,CAAC;IAEJ;;;;;;;;;;;;;;;OAeG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAK1F,CAAC;IAEF;;;;;;;;;;;;;;OAcG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAC1B,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAClB,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACjB,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,MAE1B,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAIpB,CAAC;IAEF;;;;;;;;;;;;;;OAcG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO;QACpC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACjB,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAChB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;KACzB,MACA,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAIpB,CAAC;IAEF;;;;;;;;;OASG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAC7B,CAAC;IAE7C;;;OAGG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAG9E,CAAC;IAEF;;;;;;;;;;;;OAYG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAIxD,CAAC;IAEF;;;;;;;;;;OAUG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,OAAO,aAAa,EAAE,MAAM,CAAC,CAAC,CACR,CAAC;IAE1E;;;;;;;;;;OAUG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAG7D,CAAC;CACH"}

package/types/src/Core/index.d.ts

@@ -4,6 +4,9 @@ export * from "./Rec.js";
 export * from "./RemoteData.js";
 export * from "./Result.js";
 export * from "./Task.js";
+export * from "./TaskOption.js";
 export * from "./TaskResult.js";
+export * from "./TaskValidation.js";
+export * from "./These.js";
 export * from "./Validation.js";
 //# sourceMappingURL=index.d.ts.map

package/types/src/Core/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/src/Core/index.ts"],"names":[],"mappings":"AAAA,cAAc,UAAU,CAAC;AACzB,cAAc,aAAa,CAAC;AAC5B,cAAc,UAAU,CAAC;AACzB,cAAc,iBAAiB,CAAC;AAChC,cAAc,aAAa,CAAC;AAC5B,cAAc,WAAW,CAAC;AAC1B,cAAc,iBAAiB,CAAC;AAChC,cAAc,iBAAiB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/src/Core/index.ts"],"names":[],"mappings":"AAAA,cAAc,UAAU,CAAC;AACzB,cAAc,aAAa,CAAC;AAC5B,cAAc,UAAU,CAAC;AACzB,cAAc,iBAAiB,CAAC;AAChC,cAAc,aAAa,CAAC;AAC5B,cAAc,WAAW,CAAC;AAC1B,cAAc,iBAAiB,CAAC;AAChC,cAAc,iBAAiB,CAAC;AAChC,cAAc,qBAAqB,CAAC;AACpC,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC"}

package/types/src/Types/Brand.d.ts

@@ -0,0 +1,52 @@
+declare const _brand: unique symbol;
+/**
+ * Brand<K, T> creates a nominal type by tagging T with a phantom brand K.
+ * Prevents accidentally mixing up values that share the same underlying type.
+ *
+ * @example
+ * ```ts
+ * type UserId = Brand<"UserId", string>;
+ * type ProductId = Brand<"ProductId", string>;
+ *
+ * const toUserId = Brand.make<"UserId", string>();
+ * const toProductId = Brand.make<"ProductId", string>();
+ *
+ * const userId: UserId = toUserId("user-123");
+ * const productId: ProductId = toProductId("prod-456");
+ *
+ * // Type error: ProductId is not assignable to UserId
+ * // const wrong: UserId = productId;
+ * ```
+ */
+export type Brand<K extends string, T> = T & {
+    readonly [_brand]: K;
+};
+export declare namespace Brand {
+    /**
+     * Creates a branding constructor for brand K over type T.
+     * The resulting function performs an unchecked cast — only use when the raw
+     * value is known to satisfy the brand's invariants.
+     *
+     * @example
+     * ```ts
+     * type PositiveNumber = Brand<"PositiveNumber", number>;
+     * const toPositiveNumber = Brand.make<"PositiveNumber", number>();
+     *
+     * const n: PositiveNumber = toPositiveNumber(42);
+     * ```
+     */
+    const make: <K extends string, T>() => (value: T) => Brand<K, T>;
+    /**
+     * Strips the brand and returns the underlying value.
+     * Since Brand<K, T> extends T this is rarely needed, but can improve readability.
+     *
+     * @example
+     * ```ts
+     * const userId: UserId = toUserId("user-123");
+     * const raw: string = Brand.unwrap(userId); // "user-123"
+     * ```
+     */
+    const unwrap: <K extends string, T>(branded: Brand<K, T>) => T;
+}
+export {};
+//# sourceMappingURL=Brand.d.ts.map

package/types/src/Types/Brand.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Brand.d.ts","sourceRoot":"","sources":["../../../src/src/Types/Brand.ts"],"names":[],"mappings":"AAAA,OAAO,CAAC,MAAM,MAAM,EAAE,OAAO,MAAM,CAAC;AAEpC;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,IAAI,CAAC,GAAG;IAAE,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC;AAEtE,yBAAiB,KAAK,CAAC;IACrB;;;;;;;;;;;;OAYG;IACI,MAAM,IAAI,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,QAAQ,OAAO,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAyB,CAAC;IAE/F;;;;;;;;;OASG;IACI,MAAM,MAAM,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAiB,CAAC;CACtF"}

package/types/src/Types/index.d.ts

@@ -1,2 +1,3 @@
+export * from "./Brand.js";
 export * from "./NonEmptyList.js";
 //# sourceMappingURL=index.d.ts.map

package/types/src/Types/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/src/Types/index.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/src/Types/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,mBAAmB,CAAC"}