@nlozgachev/pipelined 0.6.4

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

@@ -0,0 +1,221 @@
+import { WithFirst, WithKind, WithSecond } from "./InternalTypes.js";
+/**
+ * These<A, B> is an inclusive-OR type: it holds a first value (A), a second
+ * value (B), or both simultaneously. Neither side carries a success/failure
+ * connotation — it is a neutral pair where any combination is valid.
+ *
+ * - First(a)     — only a first value
+ * - Second(b)    — only a second value
+ * - Both(a, b)   — first and second values simultaneously
+ *
+ * A common use: lenient parsers or processors that carry a diagnostic note
+ * alongside a result, without losing either piece of information.
+ *
+ * @example
+ * ```ts
+ * const parse = (s: string): These<number, string> => {
+ *   const trimmed = s.trim();
+ *   const n = parseFloat(trimmed);
+ *   if (isNaN(n)) return These.second("Not a number");
+ *   if (s !== trimmed) return These.both(n, "Leading/trailing whitespace trimmed");
+ *   return These.first(n);
+ * };
+ * ```
+ */
+export type These<A, B> = TheseFirst<A> | TheseSecond<B> | TheseBoth<A, B>;
+export type TheseFirst<T> = WithKind<"First"> & WithFirst<T>;
+export type TheseSecond<T> = WithKind<"Second"> & WithSecond<T>;
+export type TheseBoth<First, Second> = WithKind<"Both"> & WithFirst<First> & WithSecond<Second>;
+export declare namespace These {
+    /**
+     * Creates a These holding only a first value.
+     *
+     * @example
+     * ```ts
+     * These.first(42); // { kind: "First", first: 42 }
+     * ```
+     */
+    const first: <A>(value: A) => TheseFirst<A>;
+    /**
+     * Creates a These holding only a second value.
+     *
+     * @example
+     * ```ts
+     * These.second("warning"); // { kind: "Second", second: "warning" }
+     * ```
+     */
+    const second: <B>(value: B) => TheseSecond<B>;
+    /**
+     * Creates a These holding both a first and a second value simultaneously.
+     *
+     * @example
+     * ```ts
+     * These.both(42, "Deprecated API used"); // { kind: "Both", first: 42, second: "Deprecated API used" }
+     * ```
+     */
+    const both: <A, B>(first: A, second: B) => TheseBoth<A, B>;
+    /**
+     * Type guard — checks if a These holds only a first value.
+     */
+    const isFirst: <A, B>(data: These<A, B>) => data is TheseFirst<A>;
+    /**
+     * Type guard — checks if a These holds only a second value.
+     */
+    const isSecond: <A, B>(data: These<A, B>) => data is TheseSecond<B>;
+    /**
+     * Type guard — checks if a These holds both values simultaneously.
+     */
+    const isBoth: <A, B>(data: These<A, B>) => data is TheseBoth<A, B>;
+    /**
+     * Returns true if the These contains a first value (First or Both).
+     */
+    const hasFirst: <A, B>(data: These<A, B>) => data is TheseFirst<A> | TheseBoth<A, B>;
+    /**
+     * Returns true if the These contains a second value (Second or Both).
+     */
+    const hasSecond: <A, B>(data: These<A, B>) => data is TheseSecond<B> | TheseBoth<A, B>;
+    /**
+     * Transforms the first value, leaving the second unchanged.
+     *
+     * @example
+     * ```ts
+     * pipe(These.first(5), These.mapFirst(n => n * 2));           // First(10)
+     * pipe(These.both(5, "warn"), These.mapFirst(n => n * 2));    // Both(10, "warn")
+     * pipe(These.second("warn"), These.mapFirst(n => n * 2));     // Second("warn")
+     * ```
+     */
+    const mapFirst: <A, C>(f: (a: A) => C) => <B>(data: These<A, B>) => These<C, B>;
+    /**
+     * Transforms the second value, leaving the first unchanged.
+     *
+     * @example
+     * ```ts
+     * pipe(These.second("warn"), These.mapSecond(e => e.toUpperCase()));     // Second("WARN")
+     * pipe(These.both(5, "warn"), These.mapSecond(e => e.toUpperCase()));    // Both(5, "WARN")
+     * ```
+     */
+    const mapSecond: <B, D>(f: (b: B) => D) => <A>(data: These<A, B>) => These<A, D>;
+    /**
+     * Transforms both the first and second values independently.
+     *
+     * @example
+     * ```ts
+     * pipe(
+     *   These.both(5, "warn"),
+     *   These.mapBoth(n => n * 2, e => e.toUpperCase())
+     * ); // Both(10, "WARN")
+     * ```
+     */
+    const mapBoth: <A, C, B, D>(onFirst: (a: A) => C, onSecond: (b: B) => D) => (data: These<A, B>) => These<C, D>;
+    /**
+     * Chains These computations by passing the first value to f.
+     * Second propagates unchanged; First and Both apply f to the first value.
+     *
+     * @example
+     * ```ts
+     * const double = (n: number): These<number, string> => These.first(n * 2);
+     *
+     * pipe(These.first(5), These.chainFirst(double));            // First(10)
+     * pipe(These.both(5, "warn"), These.chainFirst(double));     // First(10)
+     * pipe(These.second("warn"), These.chainFirst(double));      // Second("warn")
+     * ```
+     */
+    const chainFirst: <A, B, C>(f: (a: A) => These<C, B>) => (data: These<A, B>) => These<C, B>;
+    /**
+     * Chains These computations by passing the second value to f.
+     * First propagates unchanged; Second and Both apply f to the second value.
+     *
+     * @example
+     * ```ts
+     * const shout = (s: string): These<number, string> => These.second(s.toUpperCase());
+     *
+     * pipe(These.second("warn"), These.chainSecond(shout));      // Second("WARN")
+     * pipe(These.both(5, "warn"), These.chainSecond(shout));     // Second("WARN")
+     * pipe(These.first(5), These.chainSecond(shout));            // First(5)
+     * ```
+     */
+    const chainSecond: <A, B, D>(f: (b: B) => These<A, D>) => (data: These<A, B>) => These<A, D>;
+    /**
+     * Extracts a value from a These by providing handlers for all three cases.
+     *
+     * @example
+     * ```ts
+     * pipe(
+     *   these,
+     *   These.fold(
+     *     a => `First: ${a}`,
+     *     b => `Second: ${b}`,
+     *     (a, b) => `Both: ${a} / ${b}`
+     *   )
+     * );
+     * ```
+     */
+    const fold: <A, B, C>(onFirst: (a: A) => C, onSecond: (b: B) => C, onBoth: (a: A, b: B) => C) => (data: These<A, B>) => C;
+    /**
+     * Pattern matches on a These, returning the result of the matching case.
+     *
+     * @example
+     * ```ts
+     * pipe(
+     *   these,
+     *   These.match({
+     *     first: a => `First: ${a}`,
+     *     second: b => `Second: ${b}`,
+     *     both: (a, b) => `Both: ${a} / ${b}`
+     *   })
+     * );
+     * ```
+     */
+    const match: <A, B, C>(cases: {
+        first: (a: A) => C;
+        second: (b: B) => C;
+        both: (a: A, b: B) => C;
+    }) => (data: These<A, B>) => C;
+    /**
+     * Returns the first value, or a default if the These has no first value.
+     *
+     * @example
+     * ```ts
+     * pipe(These.first(5), These.getFirstOrElse(0));            // 5
+     * pipe(These.both(5, "warn"), These.getFirstOrElse(0));     // 5
+     * pipe(These.second("warn"), These.getFirstOrElse(0));      // 0
+     * ```
+     */
+    const getFirstOrElse: <A>(defaultValue: A) => <B>(data: These<A, B>) => A;
+    /**
+     * Returns the second value, or a default if the These has no second value.
+     *
+     * @example
+     * ```ts
+     * pipe(These.second("warn"), These.getSecondOrElse("none")); // "warn"
+     * pipe(These.both(5, "warn"), These.getSecondOrElse("none")); // "warn"
+     * pipe(These.first(5), These.getSecondOrElse("none"));       // "none"
+     * ```
+     */
+    const getSecondOrElse: <B>(defaultValue: B) => <A>(data: These<A, B>) => B;
+    /**
+     * Executes a side effect on the first value without changing the These.
+     * Useful for logging or debugging.
+     *
+     * @example
+     * ```ts
+     * pipe(These.first(5), These.tap(console.log)); // logs 5, returns First(5)
+     * ```
+     */
+    const tap: <A>(f: (a: A) => void) => <B>(data: These<A, B>) => These<A, B>;
+    /**
+     * Swaps the roles of first and second values.
+     * - First(a)    → Second(a)
+     * - Second(b)   → First(b)
+     * - Both(a, b)  → Both(b, a)
+     *
+     * @example
+     * ```ts
+     * These.swap(These.first(5));            // Second(5)
+     * These.swap(These.second("warn"));      // First("warn")
+     * These.swap(These.both(5, "warn"));     // Both("warn", 5)
+     * ```
+     */
+    const swap: <A, B>(data: These<A, B>) => These<B, 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,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErE;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAE3E,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,QAAQ,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;AAC7D,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;AAChE,MAAM,MAAM,SAAS,CAAC,KAAK,EAAE,MAAM,IAAI,QAAQ,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;AAEhG,yBAAiB,KAAK,CAAC;IACrB;;;;;;;OAOG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,UAAU,CAAC,CAAC,CAAsC,CAAC;IAEvF;;;;;;;OAOG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,WAAW,CAAC,CAAC,CAAwC,CAAC;IAE3F;;;;;;;OAOG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,KAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAI7D,CAAC;IAEH;;OAEG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,UAAU,CAAC,CAAC,CAA0B,CAAC;IAEjG;;OAEG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,WAAW,CAAC,CAAC,CAChD,CAAC;IAEzB;;OAEG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,SAAS,CAAC,CAAC,EAAE,CAAC,CAAyB,CAAC;IAEjG;;OAEG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAC3B,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAChB,IAAI,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAkD,CAAC;IAE5F;;OAEG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAC5B,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAChB,IAAI,IAAI,WAAW,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAmD,CAAC;IAE9F;;;;;;;;;OASG;IACI,MAAM,QAAQ,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,CAInF,CAAC;IAEF;;;;;;;;OAQG;IACI,MAAM,SAAS,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,CAIpF,CAAC;IAEF;;;;;;;;;;OAUG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAE7E,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAChB,KAAK,CAAC,CAAC,EAAE,CAAC,CAIZ,CAAC;IAEF;;;;;;;;;;;;OAYG;IACI,MAAM,UAAU,GACpB,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,CAGrE,CAAC;IAEJ;;;;;;;;;;;;OAYG;IACI,MAAM,WAAW,GACrB,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,CAGrE,CAAC;IAEJ;;;;;;;;;;;;;;OAcG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAC1B,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACpB,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACrB,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,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACnB,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACpB,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,cAAc,GAAI,CAAC,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAClC,CAAC;IAE7C;;;;;;;;;OASG;IACI,MAAM,eAAe,GAAI,CAAC,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CACjC,CAAC;IAE/C;;;;;;;;OAQG;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;CACH"}

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

@@ -0,0 +1,213 @@
+import { NonEmptyList } from "../Types/NonEmptyList.js";
+import { WithErrors, WithKind, WithValue } from "./InternalTypes.js";
+/**
+ * Validation represents a value that is either valid with a success value,
+ * or invalid with accumulated errors.
+ * Unlike Result, Validation can accumulate multiple errors instead of short-circuiting.
+ *
+ * Use Validation when you need to collect all errors (e.g., form validation).
+ * Use Result when you want to fail fast on the first error.
+ *
+ * @example
+ * ```ts
+ * const validateName = (name: string): Validation<string, string> =>
+ *   name.length > 0 ? Validation.valid(name) : Validation.invalid("Name is required");
+ *
+ * const validateAge = (age: number): Validation<string, number> =>
+ *   age >= 0 ? Validation.valid(age) : Validation.invalid("Age must be positive");
+ *
+ * // Accumulates all errors using ap
+ * pipe(
+ *   Validation.valid((name: string) => (age: number) => ({ name, age })),
+ *   Validation.ap(validateName("")),
+ *   Validation.ap(validateAge(-1))
+ * );
+ * // Invalid(["Name is required", "Age must be positive"])
+ * ```
+ */
+export type Validation<E, A> = Valid<A> | Invalid<E>;
+export type Valid<A> = WithKind<"Valid"> & WithValue<A>;
+export type Invalid<E> = WithKind<"Invalid"> & WithErrors<E>;
+export declare namespace Validation {
+    /**
+     * Wraps a value in a valid Validation.
+     *
+     * @example
+     * ```ts
+     * Validation.valid(42); // Valid(42)
+     * ```
+     */
+    const valid: <E, A>(value: A) => Validation<E, A>;
+    /**
+     * Creates an invalid Validation from a single error.
+     *
+     * @example
+     * ```ts
+     * Validation.invalid("Invalid input");
+     * ```
+     */
+    const invalid: <E>(error: E) => Invalid<E>;
+    /**
+     * Creates an invalid Validation from multiple errors.
+     *
+     * @example
+     * ```ts
+     * Validation.invalidAll(["Invalid input"]);
+     * ```
+     */
+    const invalidAll: <E>(errors: NonEmptyList<E>) => Invalid<E>;
+    /**
+     * Type guard that checks if a Validation is valid.
+     */
+    const isValid: <E, A>(data: Validation<E, A>) => data is Valid<A>;
+    /**
+     * Type guard that checks if a Validation is invalid.
+     */
+    const isInvalid: <E, A>(data: Validation<E, A>) => data is Invalid<E>;
+    /**
+     * Transforms the success value inside a Validation.
+     *
+     * @example
+     * ```ts
+     * pipe(Validation.valid(5), Validation.map(n => n * 2)); // Valid(10)
+     * pipe(Validation.invalid("oops"), Validation.map(n => n * 2)); // Invalid(["oops"])
+     * ```
+     */
+    const map: <A, B>(f: (a: A) => B) => <E>(data: Validation<E, A>) => Validation<E, B>;
+    /**
+     * Chains Validation 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.
+     *
+     * @example
+     * ```ts
+     * const validatePositive = (n: number): Validation<string, number> =>
+     *   n > 0 ? Validation.valid(n) : Validation.invalid("Must be positive");
+     *
+     * pipe(Validation.valid(5), Validation.chain(validatePositive)); // Valid(5)
+     * pipe(Validation.valid(-1), Validation.chain(validatePositive)); // Invalid(["Must be positive"])
+     * ```
+     */
+    const chain: <E, A, B>(f: (a: A) => Validation<E, B>) => (data: Validation<E, A>) => Validation<E, B>;
+    /**
+     * Applies a function wrapped in a Validation to a value wrapped in a Validation.
+     * Accumulates errors from both sides.
+     *
+     * @example
+     * ```ts
+     * const add = (a: number) => (b: number) => a + b;
+     * pipe(
+     *   Validation.valid(add),
+     *   Validation.ap(Validation.valid(5)),
+     *   Validation.ap(Validation.valid(3))
+     * ); // Valid(8)
+     *
+     * pipe(
+     *   Validation.valid(add),
+     *   Validation.ap(Validation.invalid<string, number>("bad a")),
+     *   Validation.ap(Validation.invalid<string, number>("bad b"))
+     * ); // Invalid(["bad a", "bad b"])
+     * ```
+     */
+    const ap: <E, A>(arg: Validation<E, A>) => <B>(data: Validation<E, (a: A) => B>) => Validation<E, B>;
+    /**
+     * Extracts the value from a Validation by providing handlers for both cases.
+     *
+     * @example
+     * ```ts
+     * pipe(
+     *   Validation.valid(42),
+     *   Validation.fold(
+     *     errors => `Errors: ${errors.join(", ")}`,
+     *     value => `Value: ${value}`
+     *   )
+     * );
+     * ```
+     */
+    const fold: <E, A, B>(onInvalid: (errors: NonEmptyList<E>) => B, onValid: (a: A) => B) => (data: Validation<E, A>) => B;
+    /**
+     * Pattern matches on a Validation, returning the result of the matching case.
+     *
+     * @example
+     * ```ts
+     * pipe(
+     *   validation,
+     *   Validation.match({
+     *     valid: value => `Got ${value}`,
+     *     invalid: errors => `Failed: ${errors.join(", ")}`
+     *   })
+     * );
+     * ```
+     */
+    const match: <E, A, B>(cases: {
+        valid: (a: A) => B;
+        invalid: (errors: NonEmptyList<E>) => B;
+    }) => (data: Validation<E, A>) => B;
+    /**
+     * Returns the success value or a default value if the Validation is invalid.
+     *
+     * @example
+     * ```ts
+     * pipe(Validation.valid(5), Validation.getOrElse(0)); // 5
+     * pipe(Validation.invalid("oops"), Validation.getOrElse(0)); // 0
+     * ```
+     */
+    const getOrElse: <E, A>(defaultValue: A) => (data: Validation<E, A>) => A;
+    /**
+     * Executes a side effect on the success value without changing the Validation.
+     *
+     * @example
+     * ```ts
+     * pipe(
+     *   Validation.valid(5),
+     *   Validation.tap(n => console.log("Value:", n)),
+     *   Validation.map(n => n * 2)
+     * );
+     * ```
+     */
+    const tap: <E, A>(f: (a: A) => void) => (data: Validation<E, A>) => Validation<E, A>;
+    /**
+     * Recovers from an Invalid state by providing a fallback Validation.
+     */
+    const recover: <E, A>(fallback: () => Validation<E, A>) => (data: Validation<E, A>) => Validation<E, A>;
+    /**
+     * Recovers from an Invalid state unless the errors contain any of the blocked errors.
+     */
+    const recoverUnless: <E, A>(blockedErrors: readonly E[], fallback: () => Validation<E, A>) => (data: Validation<E, A>) => Validation<E, A>;
+    /**
+     * Combines two Validation instances, accumulating errors from both.
+     * If both are Valid, returns the second valid value.
+     * If either is Invalid, combines their errors into a single Invalid.
+     *
+     * @example
+     * ```ts
+     * Validation.combine(
+     *   Validation.invalid("Error 1"),
+     *   Validation.invalid("Error 2")
+     * ); // Invalid(["Error 1", "Error 2"])
+     *
+     * Validation.combine(
+     *   Validation.valid("a"),
+     *   Validation.valid("b")
+     * ); // Valid("b")
+     * ```
+     */
+    const combine: <E, A>(first: Validation<E, A>, second: Validation<E, A>) => Validation<E, A>;
+    /**
+     * Combines multiple Validation instances, accumulating all errors.
+     * If all are Valid, returns the last valid value.
+     * Returns undefined for an empty array.
+     *
+     * @example
+     * ```ts
+     * Validation.combineAll([
+     *   validateName(name),
+     *   validateEmail(email),
+     *   validateAge(age)
+     * ]);
+     * ```
+     */
+    const combineAll: <E, A>(data: Validation<E, A>[]) => Validation<E, A> | undefined;
+}
+//# sourceMappingURL=Validation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Validation.d.ts","sourceRoot":"","sources":["../../../src/src/Core/Validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,YAAY,EAAE,MAAM,0BAA0B,CAAC;AACxE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAErE;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;AAErD,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,QAAQ,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;AACxD,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,QAAQ,CAAC,SAAS,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;AAE7D,yBAAiB,UAAU,CAAC;IAC1B;;;;;;;OAOG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAGpD,CAAC;IAEH;;;;;;;OAOG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,OAAO,CAAC,CAAC,CAG7C,CAAC;IAEH;;;;;;;OAOG;IACI,MAAM,UAAU,GAAI,CAAC,EAAE,QAAQ,YAAY,CAAC,CAAC,CAAC,KAAG,OAAO,CAAC,CAAC,CAG/D,CAAC;IAEH;;OAEG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,KAAK,CAAC,CAAC,CAA0B,CAAC;IAEjG;;OAEG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,OAAO,CAAC,CAAC,CACjD,CAAC;IAE1B;;;;;;;;OAQG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAC5C,CAAC;IAE9C;;;;;;;;;;;;;;OAcG;IACI,MAAM,KAAK,GACf,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAC/C,CAAC;IAEzC;;;;;;;;;;;;;;;;;;;OAmBG;IACI,MAAM,EAAE,GACZ,CAAC,EAAE,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAOtF,CAAC;IAEJ;;;;;;;;;;;;;OAaG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAC1B,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,EACzC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAErB,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAiE,CAAC;IAE5F;;;;;;;;;;;;;OAaG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO;QACpC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACnB,OAAO,EAAE,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;KACzC,MACA,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAC4C,CAAC;IAEvE;;;;;;;;OAQG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,cAAc,CAAC,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CACnC,CAAC;IAE5C;;;;;;;;;;;OAWG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAGxF,CAAC;IAEF;;OAEG;IACI,MAAM,OAAO,GACjB,CAAC,EAAE,CAAC,EAAE,UAAU,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAClD,CAAC;IAEtC;;OAEG;IACI,MAAM,aAAa,GACvB,CAAC,EAAE,CAAC,EAAE,eAAe,SAAS,CAAC,EAAE,EAAE,UAAU,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,MACnE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAI/B,CAAC;IAEb;;;;;;;;;;;;;;;;;OAiBG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAC1B,OAAO,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EACvB,QAAQ,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KACvB,UAAU,CAAC,CAAC,EAAE,CAAC,CASjB,CAAC;IAEF;;;;;;;;;;;;;OAaG;IACI,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,EAC7B,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KACvB,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SACoD,CAAC;CAC5E"}

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

@@ -0,0 +1,16 @@
+export * from "./Arr.js";
+export * from "./Deferred.js";
+export * from "./Lens.js";
+export * from "./Option.js";
+export * from "./Reader.js";
+export * from "./Optional.js";
+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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/src/Core/index.ts"],"names":[],"mappings":"AAAA,cAAc,UAAU,CAAC;AACzB,cAAc,eAAe,CAAC;AAC9B,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC;AAC5B,cAAc,eAAe,CAAC;AAC9B,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.wrap<"UserId", string>();
+ * const toProductId = Brand.wrap<"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 {
+    /**
+     * Returns a constructor that wraps a value of type T in brand K.
+     * 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.wrap<"PositiveNumber", number>();
+     *
+     * const n: PositiveNumber = toPositiveNumber(42);
+     * ```
+     */
+    const wrap: <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/NonEmptyList.d.ts

@@ -0,0 +1,29 @@
+/**
+ * A list that is guaranteed to have at least one element.
+ * Useful for ensuring functions receive non-empty input and for
+ * accumulating errors in Validation.
+ *
+ * @example
+ * ```ts
+ * const errors: NonEmptyList<string> = ["First error", "Second error"];
+ *
+ * // TypeScript ensures at least one element:
+ * const invalid: NonEmptyList<string> = []; // Error!
+ * ```
+ */
+export type NonEmptyList<A> = readonly [A, ...A[]];
+/**
+ * Type guard that checks if an array is non-empty.
+ *
+ * @example
+ * ```ts
+ * const items: string[] = getItems();
+ *
+ * if (isNonEmptyList(items)) {
+ *   // TypeScript knows items has at least one element
+ *   const first = items[0]; // string, not string | undefined
+ * }
+ * ```
+ */
+export declare const isNonEmptyList: <A>(list: readonly A[]) => list is NonEmptyList<A>;
+//# sourceMappingURL=NonEmptyList.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"NonEmptyList.d.ts","sourceRoot":"","sources":["../../../src/src/Types/NonEmptyList.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;AAEnD;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,cAAc,GAAI,CAAC,EAC9B,MAAM,SAAS,CAAC,EAAE,KACjB,IAAI,IAAI,YAAY,CAAC,CAAC,CAAoB,CAAC"}

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

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

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

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