@nlozgachev/pipelined 0.12.0 → 0.13.0

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

@@ -1,225 +0,0 @@
-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.
-     * The default can be a different type, widening the result to `A | C`.
-     *
-     * @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
-     * pipe(These.second("warn"), These.getFirstOrElse(() => null));   // null — typed as number | null
-     * ```
-     */
-    const getFirstOrElse: <A, C>(defaultValue: () => C) => <B>(data: These<A, B>) => A | C;
-    /**
-     * Returns the second value, or a default if the These has no second value.
-     * The default can be a different type, widening the result to `B | D`.
-     *
-     * @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"
-     * pipe(These.first(5), These.getSecondOrElse(() => null));         // null — typed as string | null
-     * ```
-     */
-    const getSecondOrElse: <B, D>(defaultValue: () => D) => <A>(data: These<A, B>) => B | D;
-    /**
-     * 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

@@ -1 +0,0 @@
-{"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;IACtB;;;;;;;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,CAA2B,CAAC;IAEpG;;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,EAC5B,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KACf,IAAI,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAkD,CAAC;IAE5F;;OAEG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAC7B,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KACf,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,MAE9E,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KACf,KAAK,CAAC,CAAC,EAAE,CAAC,CAIZ,CAAC;IAEF;;;;;;;;;;;;OAYG;IACI,MAAM,UAAU,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,CAG/F,CAAC;IAEF;;;;;;;;;;;;OAYG;IACI,MAAM,WAAW,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,CAGhG,CAAC;IAEF;;;;;;;;;;;;;;OAcG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAC3B,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,MAEzB,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAIpB,CAAC;IAEF;;;;;;;;;;;;;;OAcG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO;QACrC,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;KACxB,MACA,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAIpB,CAAC;IAEF;;;;;;;;;;;OAWG;IACI,MAAM,cAAc,GAAI,CAAC,EAAE,CAAC,EAAE,cAAc,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAC,GAAG,CAC9C,CAAC;IAE9C;;;;;;;;;;;OAWG;IACI,MAAM,eAAe,GAAI,CAAC,EAAE,CAAC,EAAE,cAAc,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAC,GAAG,CAC7C,CAAC;IAEhD;;;;;;;;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;CACF"}

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

@@ -1,129 +0,0 @@
-/**
- * Tuple<A, B> represents a pair of two values that are always both present.
- * It is a typed alias for `readonly [A, B]`.
- *
- * Use Tuple when two values always travel together through a pipeline and you
- * want to transform either or both sides without destructuring.
- *
- * @example
- * ```ts
- * import { Tuple } from "@nlozgachev/pipelined/core";
- * import { pipe } from "@nlozgachev/pipelined/composition";
- *
- * const entry = Tuple.make("alice", 42);
- *
- * pipe(
- *   entry,
- *   Tuple.mapFirst((name) => name.toUpperCase()),
- *   Tuple.mapSecond((score) => score * 2),
- *   Tuple.fold((name, score) => `${name}: ${score}`),
- * ); // "ALICE: 84"
- * ```
- */
-export type Tuple<A, B> = readonly [A, B];
-export declare namespace Tuple {
-    /**
-     * Creates a pair from two values.
-     *
-     * @example
-     * ```ts
-     * Tuple.make("Paris", 2_161_000); // ["Paris", 2161000]
-     * ```
-     */
-    const make: <A, B>(first: A, second: B) => Tuple<A, B>;
-    /**
-     * Returns the first value from the pair.
-     *
-     * @example
-     * ```ts
-     * Tuple.first(Tuple.make("Paris", 2_161_000)); // "Paris"
-     * ```
-     */
-    const first: <A, B>(tuple: Tuple<A, B>) => A;
-    /**
-     * Returns the second value from the pair.
-     *
-     * @example
-     * ```ts
-     * Tuple.second(Tuple.make("Paris", 2_161_000)); // 2161000
-     * ```
-     */
-    const second: <A, B>(tuple: Tuple<A, B>) => B;
-    /**
-     * Transforms the first value, leaving the second unchanged.
-     *
-     * @example
-     * ```ts
-     * pipe(Tuple.make("alice", 42), Tuple.mapFirst((s) => s.toUpperCase())); // ["ALICE", 42]
-     * ```
-     */
-    const mapFirst: <A, C>(f: (a: A) => C) => <B>(tuple: Tuple<A, B>) => Tuple<C, B>;
-    /**
-     * Transforms the second value, leaving the first unchanged.
-     *
-     * @example
-     * ```ts
-     * pipe(Tuple.make("alice", 42), Tuple.mapSecond((n) => n * 2)); // ["alice", 84]
-     * ```
-     */
-    const mapSecond: <B, D>(f: (b: B) => D) => <A>(tuple: Tuple<A, B>) => Tuple<A, D>;
-    /**
-     * Transforms both values independently in a single step.
-     *
-     * @example
-     * ```ts
-     * pipe(
-     *   Tuple.make("alice", 42),
-     *   Tuple.mapBoth(
-     *     (name) => name.toUpperCase(),
-     *     (score) => score * 2,
-     *   ),
-     * ); // ["ALICE", 84]
-     * ```
-     */
-    const mapBoth: <A, C, B, D>(onFirst: (a: A) => C, onSecond: (b: B) => D) => (tuple: Tuple<A, B>) => Tuple<C, D>;
-    /**
-     * Applies a binary function to both values, collapsing the pair into a single value.
-     * Useful as the final step when consuming a pair in a pipeline.
-     *
-     * @example
-     * ```ts
-     * pipe(Tuple.make("Alice", 100), Tuple.fold((name, score) => `${name}: ${score}`));
-     * // "Alice: 100"
-     * ```
-     */
-    const fold: <A, B, C>(f: (a: A, b: B) => C) => (tuple: Tuple<A, B>) => C;
-    /**
-     * Swaps the two values: `[A, B]` becomes `[B, A]`.
-     *
-     * @example
-     * ```ts
-     * Tuple.swap(Tuple.make("key", 1)); // [1, "key"]
-     * ```
-     */
-    const swap: <A, B>(tuple: Tuple<A, B>) => Tuple<B, A>;
-    /**
-     * Converts the pair to a heterogeneous readonly array `readonly (A | B)[]`.
-     *
-     * @example
-     * ```ts
-     * Tuple.toArray(Tuple.make("hello", 42)); // ["hello", 42]
-     * ```
-     */
-    const toArray: <A, B>(tuple: Tuple<A, B>) => readonly (A | B)[];
-    /**
-     * Runs a side effect with both values without changing the pair.
-     * Useful for logging or debugging in the middle of a pipeline.
-     *
-     * @example
-     * ```ts
-     * pipe(
-     *   Tuple.make("Paris", 2_161_000),
-     *   Tuple.tap((city, pop) => console.log(`${city}: ${pop}`)),
-     *   Tuple.mapSecond((n) => n / 1_000_000),
-     * ); // logs "Paris: 2161000", returns ["Paris", 2.161]
-     * ```
-     */
-    const tap: <A, B>(f: (a: A, b: B) => void) => (tuple: Tuple<A, B>) => Tuple<A, B>;
-}
-//# sourceMappingURL=Tuple.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"Tuple.d.ts","sourceRoot":"","sources":["../../../src/src/Core/Tuple.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAE1C,yBAAiB,KAAK,CAAC;IACtB;;;;;;;OAOG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAoB,CAAC;IAEhF;;;;;;;OAOG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAa,CAAC;IAE/D;;;;;;;OAOG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAa,CAAC;IAEhE;;;;;;;OAOG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAA4B,CAAC;IAElH;;;;;;;OAOG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAA4B,CAAC;IAEnH;;;;;;;;;;;;;OAaG;IACI,MAAM,OAAO,GAClB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAG5F,CAAC;IAEH;;;;;;;;;OASG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAA0B,CAAC;IAExG;;;;;;;OAOG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAyB,CAAC;IAEpF;;;;;;;OAOG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,EAAgB,CAAC;IAEpF;;;;;;;;;;;;OAYG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,MAAM,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAGrF,CAAC;CACF"}

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

@@ -1,203 +0,0 @@
-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>;
-    /**
-     * 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.
-     * The default can be a different type, widening the result to `A | B`.
-     *
-     * @example
-     * ```ts
-     * pipe(Validation.valid(5), Validation.getOrElse(() => 0)); // 5
-     * pipe(Validation.invalid("oops"), Validation.getOrElse(() => 0)); // 0
-     * pipe(Validation.invalid("oops"), Validation.getOrElse(() => null)); // null — typed as number | null
-     * ```
-     */
-    const getOrElse: <E, A, B>(defaultValue: () => B) => (data: Validation<E, A>) => A | B;
-    /**
-     * 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.
-     * The fallback receives the accumulated error list so callers can inspect which errors occurred.
-     * The fallback can produce a different success type, widening the result to `Validation<E, A | B>`.
-     */
-    const recover: <E, A, B>(fallback: (errors: NonEmptyList<E>) => Validation<E, B>) => (data: Validation<E, A>) => Validation<E, A | B>;
-    /**
-     * Recovers from an Invalid state unless the errors contain any of the blocked errors.
-     * The fallback can produce a different success type, widening the result to `Validation<E, A | B>`.
-     */
-    const recoverUnless: <E, A, B>(blockedErrors: readonly E[], fallback: () => Validation<E, B>) => (data: Validation<E, A>) => Validation<E, A | B>;
-    /**
-     * Combines two independent Validation instances into a tuple.
-     * If both are Valid, returns Valid with both values as a tuple.
-     * If either is Invalid, accumulates errors from both sides.
-     *
-     * @example
-     * ```ts
-     * Validation.product(
-     *   Validation.valid("alice"),
-     *   Validation.valid(30)
-     * ); // Valid(["alice", 30])
-     *
-     * Validation.product(
-     *   Validation.invalid("Name required"),
-     *   Validation.invalid("Age must be >= 0")
-     * ); // Invalid(["Name required", "Age must be >= 0"])
-     * ```
-     */
-    const product: <E, A, B>(first: Validation<E, A>, second: Validation<E, B>) => Validation<E, readonly [A, B]>;
-    /**
-     * Combines a non-empty list of Validation instances, accumulating all errors.
-     * If all are Valid, returns Valid with all values collected into an array.
-     * If any are Invalid, returns Invalid with all accumulated errors.
-     *
-     * @example
-     * ```ts
-     * Validation.productAll([
-     *   validateName(name),
-     *   validateEmail(email),
-     *   validateAge(age)
-     * ]);
-     * // Valid([name, email, age]) or Invalid([...all errors])
-     * ```
-     */
-    const productAll: <E, A>(data: NonEmptyList<Validation<E, A>>) => Validation<E, readonly A[]>;
-}
-//# sourceMappingURL=Validation.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"Validation.d.ts","sourceRoot":"","sources":["../../../src/src/Core/Validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AACxD,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;IAC3B;;;;;;;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,CAA4B,CAAC;IAEvG;;;;;;;;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,CAC7C,CAAC;IAE7C;;;;;;;;;;;;;;;;;;;OAmBG;IACI,MAAM,EAAE,GAAI,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,CAOxG,CAAC;IAEF;;;;;;;;;;;;;OAaG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAC3B,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,EACzC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAEpB,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAiE,CAAC;IAE5F;;;;;;;;;;;;;OAaG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO;QACrC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACnB,OAAO,EAAE,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;KACxC,MACA,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAyE,CAAC;IAEpG;;;;;;;;;;OAUG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,cAAc,MAAM,CAAC,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAC,GAAG,CAC/C,CAAC;IAE7C;;;;;;;;;;;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;;;;OAIG;IACI,MAAM,OAAO,GAClB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,MAChE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAiD,CAAC;IAEhG;;;OAGG;IACI,MAAM,aAAa,GACxB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,eAAe,SAAS,CAAC,EAAE,EAAE,UAAU,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,MACtE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAIrC,CAAC;IAEV;;;;;;;;;;;;;;;;;OAiBG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAC9B,OAAO,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EACvB,QAAQ,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KACtB,UAAU,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAO/B,CAAC;IAEF;;;;;;;;;;;;;;OAcG;IACI,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,EAC9B,MAAM,YAAY,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAClC,UAAU,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,CAQ5B,CAAC;CACF"}

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

@@ -1,19 +0,0 @@
-export * from "./Deferred.js";
-export * from "./Lens.js";
-export * from "./Logged.js";
-export * from "./Option.js";
-export * from "./Optional.js";
-export * from "./Predicate.js";
-export * from "./Reader.js";
-export * from "./Refinement.js";
-export * from "./RemoteData.js";
-export * from "./Result.js";
-export * from "./State.js";
-export * from "./Task.js";
-export * from "./TaskOption.js";
-export * from "./TaskResult.js";
-export * from "./TaskValidation.js";
-export * from "./These.js";
-export * from "./Tuple.js";
-export * from "./Validation.js";
-//# sourceMappingURL=index.d.ts.map

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

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

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

@@ -1 +0,0 @@
-{"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;IACtB;;;;;;;;;;;;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;CACrF"}

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

@@ -1 +0,0 @@
-{"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,EAC/B,MAAM,SAAS,CAAC,EAAE,KAChB,IAAI,IAAI,YAAY,CAAC,CAAC,CAAoB,CAAC"}

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

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

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

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