selaws 0.0.0-stage → 0.1.0

package/dist/result/core.js

@@ -0,0 +1,103 @@
+import { assertNotPromiseLike } from "../internal/promise-like.js";
+/** Constructs a successful Result and preserves the error axis as never. */
+export const ok = (value) => ({
+    ok: true,
+    value,
+});
+/** Constructs an error Result and preserves the value axis as never. */
+export const err = (error) => ({
+    error,
+    ok: false,
+});
+/** Narrows a Result to Ok. */
+export const isOk = (result) => result.ok;
+/** Narrows a Result to Err. */
+export const isErr = (result) => !result.ok;
+/** Eliminates a Result under the shared Match law. */
+export const match = (result, arms) => {
+    if (result.ok) {
+        const selected = arms.ok;
+        return selected(result.value);
+    }
+    const selected = arms.err;
+    return selected(result.error);
+};
+/** Transforms Ok and preserves Err. */
+export const map = (result, transform) => (result.ok ? ok(transform(result.value)) : result);
+/** Transforms Err and preserves Ok. */
+export const mapError = (result, transform) => (result.ok ? result : err(transform(result.error)));
+/** Sequences a dependent Result-producing success step. */
+export const andThen = (result, next) => (result.ok ? next(result.value) : result);
+/** Recovers from Err with another Result. */
+export const orElse = (result, recover) => (result.ok ? result : recover(result.error));
+/** Removes one explicit nested Result layer. */
+export const flatten = (result) => result.ok ? result.value : result;
+/** Synchronously observes Ok and returns the original Result. */
+export const inspect = (result, observe) => {
+    if (result.ok) {
+        const completion = observe(result.value);
+        assertNotPromiseLike(completion, "Result.inspect() expects a synchronous observer.");
+    }
+    return result;
+};
+/** Synchronously observes Err and returns the original Result. */
+export const inspectError = (result, observe) => {
+    if (!result.ok) {
+        const completion = observe(result.error);
+        assertNotPromiseLike(completion, "Result.inspectError() expects a synchronous observer.");
+    }
+    return result;
+};
+/** Returns the Ok value or an eager fallback. */
+export const unwrapOr = (result, fallback) => result.ok ? result.value : fallback;
+/** Returns the Ok value or evaluates a lazy fallback from Err. */
+export const unwrapOrElse = (result, fallback) => (result.ok ? result.value : fallback(result.error));
+/**
+ * Combines already-materialized Results in input order.
+ *
+ * The first Err is returned; complete success preserves tuple positions.
+ */
+export const all = (results) => {
+    const values = [];
+    const length = results.length;
+    for (let index = 0; index < length; index += 1) {
+        const result = results[index];
+        if (!result.ok) {
+            return result;
+        }
+        values.push(result.value);
+    }
+    return ok(values);
+};
+/** Converts presence into Result, lazily creating an error for None. */
+export const fromOption = (option, onNone) => option.some ? ok(option.value) : err(onNone());
+/**
+ * Converts Validation into Result.
+ *
+ * Invalid contributes its complete non-empty issue collection as one Result
+ * error value.
+ */
+export const fromValidation = (validation) => validation.valid
+    ? ok(validation.value)
+    : err(validation.errors);
+/** Facade for Result construction, transformation, elimination, and collection. */
+export const Result = {
+    all,
+    andThen,
+    err,
+    flatten,
+    fromOption,
+    fromValidation,
+    inspect,
+    inspectError,
+    isErr,
+    isOk,
+    map,
+    mapError,
+    match,
+    ok,
+    orElse,
+    unwrapOr,
+    unwrapOrElse,
+};
+//# sourceMappingURL=core.js.map

package/dist/result/core.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"core.js","sourceRoot":"","sources":["../../src/result/core.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,oBAAoB,EAAuB,MAAM,6BAA6B,CAAC;AAyCxF,4EAA4E;AAC5E,MAAM,CAAC,MAAM,EAAE,GAAG,CAAI,KAAQ,EAAoB,EAAE,CAAC,CAAC;IACpD,EAAE,EAAE,IAAI;IACR,KAAK;CACN,CAAC,CAAC;AAEH,wEAAwE;AACxE,MAAM,CAAC,MAAM,GAAG,GAAG,CAAI,KAAQ,EAAoB,EAAE,CAAC,CAAC;IACrD,KAAK;IACL,EAAE,EAAE,KAAK;CACV,CAAC,CAAC;AAEH,8BAA8B;AAC9B,MAAM,CAAC,MAAM,IAAI,GAAG,CAAO,MAAoB,EAAmB,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;AAE/E,+BAA+B;AAC/B,MAAM,CAAC,MAAM,KAAK,GAAG,CAAO,MAAoB,EAAoB,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;AAElF,sDAAsD;AACtD,MAAM,CAAC,MAAM,KAAK,GAAG,CAMnB,MAAoB,EACpB,IAGE,EACsD,EAAE;IAC1D,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;QACd,MAAM,QAAQ,GAAG,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,QAAQ,CAAC,MAAM,CAAC,KAAK,CAA8B,CAAC;IAC7D,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC;IAC1B,OAAO,QAAQ,CAAC,MAAM,CAAC,KAAK,CAA+B,CAAC;AAC9D,CAAC,CAAC;AAEF,uCAAuC;AACvC,MAAM,CAAC,MAAM,GAAG,GAAG,CACjB,MAAoB,EACpB,SAA0B,EACZ,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AAEtE,uCAAuC;AACvC,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,MAAoB,EACpB,SAA0B,EACZ,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAEvE,2DAA2D;AAC3D,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,MAAoB,EACpB,IAAgC,EACd,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AAEjE,6CAA6C;AAC7C,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,MAAoB,EACpB,OAAmC,EACjB,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;AAEpE,gDAAgD;AAChD,MAAM,CAAC,MAAM,OAAO,GAAG,CAAU,MAA+B,EAAoB,EAAE,CACpF,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;AAEpC,iEAAiE;AACjE,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,MAAoB,EACpB,OAAiD,EACnC,EAAE;IAChB,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;QACd,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACzC,oBAAoB,CAClB,UAAU,EACV,kDAAkD,CACnD,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,kEAAkE;AAClE,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,MAAoB,EACpB,OAAiD,EACnC,EAAE;IAChB,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACzC,oBAAoB,CAClB,UAAU,EACV,uDAAuD,CACxD,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,iDAAiD;AACjD,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAU,MAAoB,EAAE,QAAW,EAAS,EAAE,CAC5E,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;AAEtC,kEAAkE;AAClE,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,MAAoB,EACpB,QAAyB,EAClB,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;AAEhE;;;;GAIG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CACjB,OAAgC,EACiB,EAAE;IACnD,MAAM,MAAM,GAAc,EAAE,CAAC;IAC7B,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAE9B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAA6B,CAAC;QAC1D,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACf,OAAO,MAAqC,CAAC;QAC/C,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC;IAED,OAAO,EAAE,CAAC,MAAyB,CAAC,CAAC;AACvC,CAAC,CAAC;AAEF,wEAAwE;AACxE,MAAM,CAAC,MAAM,UAAU,GAAG,CAAO,MAAiB,EAAE,MAAe,EAAgB,EAAE,CACnF,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;AAEjD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,UAA4B,EACS,EAAE,CACvC,UAAU,CAAC,KAAK;IACd,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC;IACtB,CAAC,CAAE,GAAG,CAAC,UAAU,CAAC,MAAM,CAAyC,CAAC;AAsBtE,mFAAmF;AACnF,MAAM,CAAC,MAAM,MAAM,GAAiB;IAClC,GAAG;IACH,OAAO;IACP,GAAG;IACH,OAAO;IACP,UAAU;IACV,cAAc;IACd,OAAO;IACP,YAAY;IACZ,KAAK;IACL,IAAI;IACJ,GAAG;IACH,QAAQ;IACR,KAAK;IACL,EAAE;IACF,MAAM;IACN,QAAQ;IACR,YAAY;CACb,CAAC"}

package/dist/result/index.d.ts

@@ -0,0 +1,4 @@
+export { attempt, attemptAsync, wrap, wrapAsync } from "./capture.js";
+export * from "./core.js";
+export { orThrow } from "./throw.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/result/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/result/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACtE,cAAc,WAAW,CAAC;AAC1B,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC"}

package/dist/result/index.js

@@ -0,0 +1,4 @@
+export { attempt, attemptAsync, wrap, wrapAsync } from "./capture.js";
+export * from "./core.js";
+export { orThrow } from "./throw.js";
+//# sourceMappingURL=index.js.map

package/dist/result/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/result/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACtE,cAAc,WAAW,CAAC;AAC1B,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC"}

package/dist/result/throw.d.ts

@@ -0,0 +1,4 @@
+import type { Result } from "./core.js";
+/** Converts Err into an explicitly mapped thrown value and returns Ok unchanged. */
+export declare const orThrow: <T, E>(result: Result<T, E>, mapErrorToThrowable: (error: E) => unknown) => T;
+//# sourceMappingURL=throw.d.ts.map

package/dist/result/throw.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"throw.d.ts","sourceRoot":"","sources":["../../src/result/throw.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAExC,oFAAoF;AACpF,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,UAClB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,uBACC,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,KACzC,CAMF,CAAC"}

package/dist/result/throw.js

@@ -0,0 +1,8 @@
+/** Converts Err into an explicitly mapped thrown value and returns Ok unchanged. */
+export const orThrow = (result, mapErrorToThrowable) => {
+    if (result.ok) {
+        return result.value;
+    }
+    throw mapErrorToThrowable(result.error);
+};
+//# sourceMappingURL=throw.js.map

package/dist/result/throw.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"throw.js","sourceRoot":"","sources":["../../src/result/throw.ts"],"names":[],"mappings":"AAEA,oFAAoF;AACpF,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,MAAoB,EACpB,mBAA0C,EACvC,EAAE;IACL,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;QACd,OAAO,MAAM,CAAC,KAAK,CAAC;IACtB,CAAC;IAED,MAAM,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC1C,CAAC,CAAC"}

package/dist/validation.d.ts

@@ -0,0 +1,126 @@
+import type { CallbackResult } from "./internal/callback.js";
+import { type NotPromiseLike } from "./internal/promise-like.js";
+import type { SingleName, SingleSymbol } from "./internal/scalar.js";
+import type { Option } from "./option.js";
+import type { Result } from "./result/core.js";
+/** Non-empty ordered Validation issues. */
+export type ValidationIssues<E> = readonly [E, ...E[]];
+/** A successful Validation value. */
+export type Valid<T> = Readonly<{
+    valid: true;
+    value: T;
+}>;
+/** One-or-more accumulated Validation issues. */
+export type Invalid<E> = Readonly<{
+    valid: false;
+    errors: ValidationIssues<E>;
+}>;
+/** Valid data or a non-empty ordered issue collection. */
+export type Validation<T, E> = Valid<T> | Invalid<E>;
+/** Extracts the successful value type from a Validation union. */
+export type ValidationValue<V> = V extends Valid<infer T> ? T : never;
+/** Extracts one issue type from a Validation union. */
+export type ValidationError<V> = V extends Invalid<infer E> ? E : never;
+type ValidationValues<V extends readonly Validation<unknown, unknown>[]> = {
+    [K in keyof V]: ValidationValue<V[K]>;
+};
+type ValidationStructKey = string | symbol;
+type ValidationStructEntry = readonly [
+    key: ValidationStructKey,
+    validation: Validation<unknown, unknown>
+];
+type IsUnion<T, Whole = T> = T extends Whole ? [Whole] extends [T] ? false : true : never;
+type StructKey<Entry> = Entry extends readonly [
+    infer Key extends ValidationStructKey,
+    Validation<unknown, unknown>
+] ? Key : never;
+type StructValidation<Entry> = Entry extends readonly [
+    ValidationStructKey,
+    infer V extends Validation<unknown, unknown>
+] ? V : never;
+type InvalidStructEntry<Entries extends readonly ValidationStructEntry[]> = {
+    [Index in keyof Entries]: Entries[Index] extends readonly [
+        infer Key extends ValidationStructKey,
+        Validation<unknown, unknown>
+    ] ? Key extends string ? Key extends SingleName<Key> ? never : Index : Key extends symbol ? Key extends SingleSymbol<Key> ? never : Index : Index : Index;
+}[number];
+type DuplicateStructKey<Entries extends readonly ValidationStructEntry[], Seen extends ValidationStructKey = never> = Entries extends readonly [
+    infer Head extends ValidationStructEntry,
+    ...infer Tail extends readonly ValidationStructEntry[]
+] ? StructKey<Head> extends Seen ? StructKey<Head> : DuplicateStructKey<Tail, Seen | StructKey<Head>> : never;
+type IsMutableArray<Value> = Value extends unknown[] ? true : false;
+type ClosedStructEntries<Entries extends readonly ValidationStructEntry[]> = true extends IsUnion<Entries> ? never : true extends IsMutableArray<Entries> ? never : true extends IsMutableArray<Entries[number]> ? never : number extends Entries["length"] ? never : [InvalidStructEntry<Entries>] extends [never] ? [DuplicateStructKey<Entries>] extends [never] ? unknown : never : never;
+type ValidationForKey<Entries extends readonly ValidationStructEntry[], Key extends ValidationStructKey> = StructValidation<Extract<Entries[number], readonly [Key, Validation<unknown, unknown>]>>;
+type ValidationStructValues<Entries extends readonly ValidationStructEntry[]> = Readonly<{
+    [Key in StructKey<Entries[number]>]: ValidationValue<ValidationForKey<Entries, Key>>;
+}>;
+type ValidationStructError<Entries extends readonly ValidationStructEntry[]> = ValidationError<StructValidation<Entries[number]>>;
+type SynchronousReturn<T> = [T] extends [NotPromiseLike<T>] ? unknown : never;
+type StableArrayInput<Value extends readonly unknown[]> = true extends IsMutableArray<Value> ? never : unknown;
+/** Constructs a successful Validation and preserves the issue axis as never. */
+export declare const valid: <T>(value: T) => Validation<T, never>;
+/** Constructs an Invalid with at least one issue and preserves issue order. */
+export declare const invalid: <const E extends readonly [unknown, ...unknown[]]>(...errors: E) => Validation<never, E[number]>;
+/** Narrows a Validation to Valid. */
+export declare const isValid: <T, E>(validation: Validation<T, E>) => validation is Valid<T>;
+/** Narrows a Validation to Invalid. */
+export declare const isInvalid: <T, E>(validation: Validation<T, E>) => validation is Invalid<E>;
+/** Eliminates a Validation under the shared Match law. */
+export declare const match: <T, E, ValidHandler extends (this: void, value: NoInfer<T>) => unknown, InvalidHandler extends (this: void, errors: ValidationIssues<NoInfer<E>>) => unknown>(validation: Validation<T, E>, arms: Readonly<{
+    valid: ValidHandler;
+    invalid: InvalidHandler;
+}>) => CallbackResult<ValidHandler> | CallbackResult<InvalidHandler>;
+/** Transforms Valid and preserves Invalid. */
+export declare const map: <T, E, U>(validation: Validation<T, E>, transform: (value: T) => U) => Validation<U, E>;
+/** Transforms every issue one-for-one while preserving issue order. */
+export declare const mapError: <T, E, F>(validation: Validation<T, E>, transform: (error: E) => F) => Validation<T, F>;
+/** Synchronously observes Valid and returns the original Validation. */
+export declare const inspect: <T, E, R>(validation: Validation<T, E>, observe: ((value: T) => R) & SynchronousReturn<R>) => Validation<T, E>;
+/**
+ * Synchronously observes the complete Invalid issue collection and returns the
+ * original Validation.
+ */
+export declare const inspectErrors: <T, E, R>(validation: Validation<T, E>, observe: ((errors: ValidationIssues<E>) => R) & SynchronousReturn<R>) => Validation<T, E>;
+/** Returns the Valid value or an eager fallback. */
+export declare const unwrapOr: <T, E, U>(validation: Validation<T, E>, fallback: U) => T | U;
+/** Returns the Valid value or evaluates a lazy fallback from all issues. */
+export declare const unwrapOrElse: <T, E, U>(validation: Validation<T, E>, fallback: (errors: ValidationIssues<E>) => U) => T | U;
+/**
+ * Accumulates already-materialized tuple/array Validations.
+ *
+ * Complete success preserves value positions. Failure concatenates every issue
+ * collection in input order.
+ */
+export declare const all: <const V extends readonly Validation<unknown, unknown>[]>(validations: V & StableArrayInput<V>) => Validation<ValidationValues<V>, ValidationError<V[number]>>;
+/**
+ * Accumulates a finite exact list of keyed, already-materialized Validations.
+ *
+ * Complete success preserves the declared key/value shape. Failure concatenates
+ * every issue collection in entry order.
+ */
+export declare const struct: <const Entries extends readonly ValidationStructEntry[]>(entries: Entries, ..._closed: ClosedStructEntries<Entries> extends never ? [never] : []) => Validation<ValidationStructValues<Entries>, ValidationStructError<Entries>>;
+/** Converts Ok to Valid and Err to one Invalid issue. */
+export declare const fromResult: <T, E>(result: Result<T, E>) => Validation<T, E>;
+/** Converts presence into Validation, lazily creating one issue for None. */
+export declare const fromOption: <T, E>(option: Option<T>, onNone: () => E) => Validation<T, E>;
+type ValidationFacade = Readonly<{
+    all: typeof all;
+    fromOption: typeof fromOption;
+    fromResult: typeof fromResult;
+    inspect: typeof inspect;
+    inspectErrors: typeof inspectErrors;
+    invalid: typeof invalid;
+    isInvalid: typeof isInvalid;
+    isValid: typeof isValid;
+    map: typeof map;
+    mapError: typeof mapError;
+    match: typeof match;
+    struct: typeof struct;
+    unwrapOr: typeof unwrapOr;
+    unwrapOrElse: typeof unwrapOrElse;
+    valid: typeof valid;
+}>;
+/** Facade for Validation construction, transformation, and accumulation. */
+export declare const Validation: ValidationFacade;
+export {};
+//# sourceMappingURL=validation.d.ts.map

package/dist/validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../src/validation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAwB,KAAK,cAAc,EAAE,MAAM,4BAA4B,CAAC;AACvF,OAAO,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACrE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE/C,2CAA2C;AAC3C,MAAM,MAAM,gBAAgB,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;AAEvD,qCAAqC;AACrC,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,QAAQ,CAAC;IAC9B,KAAK,EAAE,IAAI,CAAC;IACZ,KAAK,EAAE,CAAC,CAAC;CACV,CAAC,CAAC;AAEH,iDAAiD;AACjD,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,QAAQ,CAAC;IAChC,KAAK,EAAE,KAAK,CAAC;IACb,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC;CAC7B,CAAC,CAAC;AAEH,0DAA0D;AAC1D,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;AAErD,kEAAkE;AAClE,MAAM,MAAM,eAAe,CAAC,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAEtE,uDAAuD;AACvD,MAAM,MAAM,eAAe,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAExE,KAAK,gBAAgB,CAAC,CAAC,SAAS,SAAS,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,IAAI;KACxE,CAAC,IAAI,MAAM,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACtC,CAAC;AAEF,KAAK,mBAAmB,GAAG,MAAM,GAAG,MAAM,CAAC;AAC3C,KAAK,qBAAqB,GAAG,SAAS;IACpC,GAAG,EAAE,mBAAmB;IACxB,UAAU,EAAE,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC;CACzC,CAAC;AAEF,KAAK,OAAO,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,IAAI,CAAC,SAAS,KAAK,GACxC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GACjB,KAAK,GACL,IAAI,GACN,KAAK,CAAC;AAEV,KAAK,SAAS,CAAC,KAAK,IAAI,KAAK,SAAS,SAAS;IAC7C,MAAM,GAAG,SAAS,mBAAmB;IACrC,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC;CAC7B,GACG,GAAG,GACH,KAAK,CAAC;AAEV,KAAK,gBAAgB,CAAC,KAAK,IAAI,KAAK,SAAS,SAAS;IACpD,mBAAmB;IACnB,MAAM,CAAC,SAAS,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC;CAC7C,GACG,CAAC,GACD,KAAK,CAAC;AAEV,KAAK,kBAAkB,CAAC,OAAO,SAAS,SAAS,qBAAqB,EAAE,IAAI;KACzE,KAAK,IAAI,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,SAAS,SAAS;QACxD,MAAM,GAAG,SAAS,mBAAmB;QACrC,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC;KAC7B,GACG,GAAG,SAAS,MAAM,GAChB,GAAG,SAAS,UAAU,CAAC,GAAG,CAAC,GACzB,KAAK,GACL,KAAK,GACP,GAAG,SAAS,MAAM,GAChB,GAAG,SAAS,YAAY,CAAC,GAAG,CAAC,GAC3B,KAAK,GACL,KAAK,GACP,KAAK,GACT,KAAK;CACV,CAAC,MAAM,CAAC,CAAC;AAEV,KAAK,kBAAkB,CACrB,OAAO,SAAS,SAAS,qBAAqB,EAAE,EAChD,IAAI,SAAS,mBAAmB,GAAG,KAAK,IACtC,OAAO,SAAS,SAAS;IAC3B,MAAM,IAAI,SAAS,qBAAqB;IACxC,GAAG,MAAM,IAAI,SAAS,SAAS,qBAAqB,EAAE;CACvD,GACG,SAAS,CAAC,IAAI,CAAC,SAAS,IAAI,GAC1B,SAAS,CAAC,IAAI,CAAC,GACf,kBAAkB,CAAC,IAAI,EAAE,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,GAClD,KAAK,CAAC;AAEV,KAAK,cAAc,CAAC,KAAK,IAAI,KAAK,SAAS,OAAO,EAAE,GAAG,IAAI,GAAG,KAAK,CAAC;AAEpE,KAAK,mBAAmB,CAAC,OAAO,SAAS,SAAS,qBAAqB,EAAE,IACvE,IAAI,SAAS,OAAO,CAAC,OAAO,CAAC,GACzB,KAAK,GACL,IAAI,SAAS,cAAc,CAAC,OAAO,CAAC,GAClC,KAAK,GACL,IAAI,SAAS,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAC1C,KAAK,GACL,MAAM,SAAS,OAAO,CAAC,QAAQ,CAAC,GAC9B,KAAK,GACL,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC3C,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC3C,OAAO,GACP,KAAK,GACP,KAAK,CAAC;AAEpB,KAAK,gBAAgB,CACnB,OAAO,SAAS,SAAS,qBAAqB,EAAE,EAChD,GAAG,SAAS,mBAAmB,IAC7B,gBAAgB,CAClB,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CACvE,CAAC;AAEF,KAAK,sBAAsB,CAAC,OAAO,SAAS,SAAS,qBAAqB,EAAE,IAC1E,QAAQ,CAAC;KACN,GAAG,IAAI,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,eAAe,CAClD,gBAAgB,CAAC,OAAO,EAAE,GAAG,CAAC,CAC/B;CACF,CAAC,CAAC;AAEL,KAAK,qBAAqB,CAAC,OAAO,SAAS,SAAS,qBAAqB,EAAE,IACzE,eAAe,CAAC,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AAErD,KAAK,iBAAiB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,KAAK,CAAC;AAE9E,KAAK,gBAAgB,CAAC,KAAK,SAAS,SAAS,OAAO,EAAE,IACpD,IAAI,SAAS,cAAc,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,OAAO,CAAC;AAoEvD,gFAAgF;AAChF,eAAO,MAAM,KAAK,GAAI,CAAC,SAAS,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,KAAK,CAGrD,CAAC;AAEH,+EAA+E;AAC/E,eAAO,MAAM,OAAO,GAAI,KAAK,CAAC,CAAC,SAAS,SAAS,CAAC,OAAO,EAAE,GAAG,OAAO,EAAE,CAAC,aAC3D,CAAC,KACX,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAS7B,CAAC;AAEF,qCAAqC;AACrC,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,cAAc,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,IAAI,KAAK,CAAC,CAAC,CAChE,CAAC;AAEnB,uCAAuC;AACvC,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,cAChB,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAC3B,UAAU,IAAI,OAAO,CAAC,CAAC,CAAsB,CAAC;AAEjD,0DAA0D;AAC1D,eAAO,MAAM,KAAK,GAChB,CAAC,EACD,CAAC,EACD,YAAY,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,EAC/D,cAAc,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,cAExE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,QACtB,QAAQ,CAAC;IACb,KAAK,EAAE,YAAY,CAAC;IACpB,OAAO,EAAE,cAAc,CAAC;CACzB,CAAC,KACD,cAAc,CAAC,YAAY,CAAC,GAAG,cAAc,CAAC,cAAc,CAQ9D,CAAC;AAEF,8CAA8C;AAC9C,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,cACb,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,aACjB,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,KACzB,UAAU,CAAC,CAAC,EAAE,CAAC,CACkD,CAAC;AAErE,uEAAuE;AACvE,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,cAClB,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,aACjB,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,KACzB,UAAU,CAAC,CAAC,EAAE,CAAC,CAuBjB,CAAC;AAEF,wEAAwE;AACxE,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,cACjB,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,WACnB,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,KAChD,UAAU,CAAC,CAAC,EAAE,CAAC,CASjB,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,aAAa,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,cACvB,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,WACnB,CAAC,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,KACnE,UAAU,CAAC,CAAC,EAAE,CAAC,CASjB,CAAC;AAEF,oDAAoD;AACpD,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,cAAc,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,YAAY,CAAC,KAAG,CAAC,GAAG,CAClC,CAAC;AAEjD,4EAA4E;AAC5E,eAAO,MAAM,YAAY,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,cACtB,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,YAClB,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC,KAC3C,CAAC,GAAG,CAAwE,CAAC;AAEhF;;;;;GAKG;AACH,eAAO,MAAM,GAAG,GAAI,KAAK,CAAC,CAAC,SAAS,SAAS,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,eAC5D,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,KACnC,UAAU,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAwB5D,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,MAAM,GAAI,KAAK,CAAC,OAAO,SAAS,SAAS,qBAAqB,EAAE,WAClE,OAAO,cACJ,mBAAmB,CAAC,OAAO,CAAC,SAAS,KAAK,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,KACpE,UAAU,CAAC,sBAAsB,CAAC,OAAO,CAAC,EAAE,qBAAqB,CAAC,OAAO,CAAC,CA4E5E,CAAC;AAEF,yDAAyD;AACzD,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,UAAU,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CACd,CAAC;AAE1D,6EAA6E;AAC7E,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,UACrB,MAAM,CAAC,CAAC,CAAC,UACT,MAAM,CAAC,KACd,UAAU,CAAC,CAAC,EAAE,CAAC,CAA4D,CAAC;AAE/E,KAAK,gBAAgB,GAAG,QAAQ,CAAC;IAC/B,GAAG,EAAE,OAAO,GAAG,CAAC;IAChB,UAAU,EAAE,OAAO,UAAU,CAAC;IAC9B,UAAU,EAAE,OAAO,UAAU,CAAC;IAC9B,OAAO,EAAE,OAAO,OAAO,CAAC;IACxB,aAAa,EAAE,OAAO,aAAa,CAAC;IACpC,OAAO,EAAE,OAAO,OAAO,CAAC;IACxB,SAAS,EAAE,OAAO,SAAS,CAAC;IAC5B,OAAO,EAAE,OAAO,OAAO,CAAC;IACxB,GAAG,EAAE,OAAO,GAAG,CAAC;IAChB,QAAQ,EAAE,OAAO,QAAQ,CAAC;IAC1B,KAAK,EAAE,OAAO,KAAK,CAAC;IACpB,MAAM,EAAE,OAAO,MAAM,CAAC;IACtB,QAAQ,EAAE,OAAO,QAAQ,CAAC;IAC1B,YAAY,EAAE,OAAO,YAAY,CAAC;IAClC,KAAK,EAAE,OAAO,KAAK,CAAC;CACrB,CAAC,CAAC;AAEH,4EAA4E;AAC5E,eAAO,MAAM,UAAU,EAAE,gBAgBxB,CAAC"}

package/dist/validation.js

@@ -0,0 +1,240 @@
+import { assertNotPromiseLike } from "./internal/promise-like.js";
+const isObjectLike = (value) => (typeof value === "object" || typeof value === "function") && value !== null;
+const readValidationValue = (value) => {
+    if (!isObjectLike(value) || !Object.hasOwn(value, "valid")) {
+        return undefined;
+    }
+    const valid = value.valid;
+    if (valid === true) {
+        if (!Object.hasOwn(value, "value")) {
+            return undefined;
+        }
+        return {
+            valid: true,
+            value: value.value,
+        };
+    }
+    if (valid === false) {
+        if (!Object.hasOwn(value, "errors")) {
+            return undefined;
+        }
+        const errors = value.errors;
+        if (!Array.isArray(errors)) {
+            return undefined;
+        }
+        const length = errors.length;
+        if (length === 0) {
+            return undefined;
+        }
+        const snapshot = [];
+        for (let index = 0; index < length; index += 1) {
+            if (!Object.hasOwn(errors, index)) {
+                return undefined;
+            }
+            snapshot.push(errors[index]);
+        }
+        return {
+            errors: snapshot,
+            valid: false,
+        };
+    }
+    return undefined;
+};
+const appendIssues = (target, issues) => {
+    const length = issues.length;
+    for (let index = 0; index < length; index += 1) {
+        target.push(issues[index]);
+    }
+};
+/** Constructs a successful Validation and preserves the issue axis as never. */
+export const valid = (value) => ({
+    valid: true,
+    value,
+});
+/** Constructs an Invalid with at least one issue and preserves issue order. */
+export const invalid = (...errors) => {
+    if (errors.length === 0) {
+        throw new TypeError("Validation.invalid() expects at least one issue.");
+    }
+    return {
+        errors,
+        valid: false,
+    };
+};
+/** Narrows a Validation to Valid. */
+export const isValid = (validation) => validation.valid;
+/** Narrows a Validation to Invalid. */
+export const isInvalid = (validation) => !validation.valid;
+/** Eliminates a Validation under the shared Match law. */
+export const match = (validation, arms) => {
+    if (validation.valid) {
+        const selected = arms.valid;
+        return selected(validation.value);
+    }
+    const selected = arms.invalid;
+    return selected(validation.errors);
+};
+/** Transforms Valid and preserves Invalid. */
+export const map = (validation, transform) => validation.valid ? valid(transform(validation.value)) : validation;
+/** Transforms every issue one-for-one while preserving issue order. */
+export const mapError = (validation, transform) => {
+    if (validation.valid) {
+        return validation;
+    }
+    const sourceErrors = validation.errors;
+    const length = sourceErrors.length;
+    const snapshot = [];
+    for (let index = 0; index < length; index += 1) {
+        snapshot.push(sourceErrors[index]);
+    }
+    const errors = [];
+    for (let index = 0; index < length; index += 1) {
+        errors.push(transform(snapshot[index]));
+    }
+    return {
+        errors: errors,
+        valid: false,
+    };
+};
+/** Synchronously observes Valid and returns the original Validation. */
+export const inspect = (validation, observe) => {
+    if (validation.valid) {
+        const completion = observe(validation.value);
+        assertNotPromiseLike(completion, "Validation.inspect() expects a synchronous observer.");
+    }
+    return validation;
+};
+/**
+ * Synchronously observes the complete Invalid issue collection and returns the
+ * original Validation.
+ */
+export const inspectErrors = (validation, observe) => {
+    if (!validation.valid) {
+        const completion = observe(validation.errors);
+        assertNotPromiseLike(completion, "Validation.inspectErrors() expects a synchronous observer.");
+    }
+    return validation;
+};
+/** Returns the Valid value or an eager fallback. */
+export const unwrapOr = (validation, fallback) => validation.valid ? validation.value : fallback;
+/** Returns the Valid value or evaluates a lazy fallback from all issues. */
+export const unwrapOrElse = (validation, fallback) => (validation.valid ? validation.value : fallback(validation.errors));
+/**
+ * Accumulates already-materialized tuple/array Validations.
+ *
+ * Complete success preserves value positions. Failure concatenates every issue
+ * collection in input order.
+ */
+export const all = (validations) => {
+    const values = [];
+    const errors = [];
+    let hasErrors = false;
+    const length = validations.length;
+    for (let index = 0; index < length; index += 1) {
+        const validation = validations[index];
+        if (validation.valid) {
+            values.push(validation.value);
+        }
+        else {
+            hasErrors = true;
+            appendIssues(errors, validation.errors);
+        }
+    }
+    if (hasErrors) {
+        return {
+            errors: errors,
+            valid: false,
+        };
+    }
+    return valid(values);
+};
+/**
+ * Accumulates a finite exact list of keyed, already-materialized Validations.
+ *
+ * Complete success preserves the declared key/value shape. Failure concatenates
+ * every issue collection in entry order.
+ */
+export const struct = (entries, ..._closed) => {
+    if (!Array.isArray(entries)) {
+        throw new TypeError("Validation.struct() expects an array of entries.");
+    }
+    const entryCount = entries.length;
+    const keys = [];
+    const values = [];
+    const errors = [];
+    const seen = new Set();
+    let hasErrors = false;
+    for (let index = 0; index < entryCount; index += 1) {
+        if (!Object.hasOwn(entries, index)) {
+            throw new TypeError("Validation.struct() expects own entry positions.");
+        }
+        const entry = entries[index];
+        if (!Array.isArray(entry) ||
+            entry.length !== 2 ||
+            !Object.hasOwn(entry, 0) ||
+            !Object.hasOwn(entry, 1)) {
+            throw new TypeError("Validation.struct() expects own [key, Validation] pairs.");
+        }
+        const key = entry[0];
+        if (typeof key !== "string" && typeof key !== "symbol") {
+            throw new TypeError("Validation.struct() keys must be strings or symbols.");
+        }
+        if (seen.has(key)) {
+            throw new TypeError("Validation.struct() keys must be unique.");
+        }
+        seen.add(key);
+        keys.push(key);
+        const validation = readValidationValue(entry[1]);
+        if (validation === undefined) {
+            throw new TypeError("Validation.struct() expects every entry value to be a Validation.");
+        }
+        if (validation.valid) {
+            values.push(validation.value);
+        }
+        else {
+            hasErrors = true;
+            values.push(undefined);
+            appendIssues(errors, validation.errors);
+        }
+    }
+    if (hasErrors) {
+        return {
+            errors: errors,
+            valid: false,
+        };
+    }
+    const output = {};
+    for (let index = 0; index < entryCount; index += 1) {
+        const key = keys[index];
+        Object.defineProperty(output, key, {
+            configurable: true,
+            enumerable: true,
+            value: values[index],
+            writable: true,
+        });
+    }
+    return valid(output);
+};
+/** Converts Ok to Valid and Err to one Invalid issue. */
+export const fromResult = (result) => result.ok ? valid(result.value) : invalid(result.error);
+/** Converts presence into Validation, lazily creating one issue for None. */
+export const fromOption = (option, onNone) => (option.some ? valid(option.value) : invalid(onNone()));
+/** Facade for Validation construction, transformation, and accumulation. */
+export const Validation = {
+    all,
+    fromOption,
+    fromResult,
+    inspect,
+    inspectErrors,
+    invalid,
+    isInvalid,
+    isValid,
+    map,
+    mapError,
+    match,
+    struct,
+    unwrapOr,
+    unwrapOrElse,
+    valid,
+};
+//# sourceMappingURL=validation.js.map

package/dist/validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.js","sourceRoot":"","sources":["../src/validation.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,oBAAoB,EAAuB,MAAM,4BAA4B,CAAC;AA+HvF,MAAM,YAAY,GAAG,CAAC,KAAc,EAAmB,EAAE,CACvD,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC;AAM/E,MAAM,mBAAmB,GAAG,CAAC,KAAc,EAAkC,EAAE;IAC7E,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;QAC3D,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,KAAK,GAAI,KAAsC,CAAC,KAAK,CAAC;IAE5D,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;YACnC,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO;YACL,KAAK,EAAE,IAAI;YACX,KAAK,EAAG,KAAsC,CAAC,KAAK;SACrD,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;QACpB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;YACpC,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,MAAM,GAAI,KAAuC,CAAC,MAAM,CAAC;QAC/D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;QAC7B,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;YACjB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,QAAQ,GAAc,EAAE,CAAC;QAE/B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YAC/C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;gBAClC,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAC/B,CAAC;QAED,OAAO;YACL,MAAM,EAAE,QAAQ;YAChB,KAAK,EAAE,KAAK;SACb,CAAC;IACJ,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CAAC,MAAiB,EAAE,MAA0B,EAAQ,EAAE;IAC3E,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAE7B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/C,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7B,CAAC;AACH,CAAC,CAAC;AAEF,gFAAgF;AAChF,MAAM,CAAC,MAAM,KAAK,GAAG,CAAI,KAAQ,EAAwB,EAAE,CAAC,CAAC;IAC3D,KAAK,EAAE,IAAI;IACX,KAAK;CACN,CAAC,CAAC;AAEH,+EAA+E;AAC/E,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,GAAG,MAAS,EACkB,EAAE;IAChC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,SAAS,CAAC,kDAAkD,CAAC,CAAC;IAC1E,CAAC;IAED,OAAO;QACL,MAAM;QACN,KAAK,EAAE,KAAK;KACb,CAAC;AACJ,CAAC,CAAC;AAEF,qCAAqC;AACrC,MAAM,CAAC,MAAM,OAAO,GAAG,CAAO,UAA4B,EAA0B,EAAE,CACpF,UAAU,CAAC,KAAK,CAAC;AAEnB,uCAAuC;AACvC,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,UAA4B,EACF,EAAE,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC;AAEjD,0DAA0D;AAC1D,MAAM,CAAC,MAAM,KAAK,GAAG,CAMnB,UAA4B,EAC5B,IAGE,EAC6D,EAAE;IACjE,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;QACrB,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC;QAC5B,OAAO,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAiC,CAAC;IACpE,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC;IAC9B,OAAO,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAmC,CAAC;AACvE,CAAC,CAAC;AAEF,8CAA8C;AAC9C,MAAM,CAAC,MAAM,GAAG,GAAG,CACjB,UAA4B,EAC5B,SAA0B,EACR,EAAE,CACpB,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;AAErE,uEAAuE;AACvE,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,UAA4B,EAC5B,SAA0B,EACR,EAAE;IACpB,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;QACrB,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC;IACvC,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC;IACnC,MAAM,QAAQ,GAAQ,EAAE,CAAC;IAEzB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/C,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAM,CAAC,CAAC;IAC1C,CAAC;IAED,MAAM,MAAM,GAAQ,EAAE,CAAC;IAEvB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/C,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAM,CAAC,CAAC,CAAC;IAC/C,CAAC;IAED,OAAO;QACL,MAAM,EAAE,MAAwC;QAChD,KAAK,EAAE,KAAK;KACb,CAAC;AACJ,CAAC,CAAC;AAEF,wEAAwE;AACxE,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,UAA4B,EAC5B,OAAiD,EAC/B,EAAE;IACpB,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;QACrB,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC7C,oBAAoB,CAClB,UAAU,EACV,sDAAsD,CACvD,CAAC;IACJ,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,UAA4B,EAC5B,OAAoE,EAClD,EAAE;IACpB,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QACtB,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAC9C,oBAAoB,CAClB,UAAU,EACV,4DAA4D,CAC7D,CAAC;IACJ,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF,oDAAoD;AACpD,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAU,UAA4B,EAAE,QAAW,EAAS,EAAE,CACpF,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;AAEjD,4EAA4E;AAC5E,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,UAA4B,EAC5B,QAA4C,EACrC,EAAE,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;AAEhF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CACjB,WAAoC,EACyB,EAAE;IAC/D,MAAM,MAAM,GAAc,EAAE,CAAC;IAC7B,MAAM,MAAM,GAAc,EAAE,CAAC;IAC7B,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC;IAElC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/C,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,CAAiC,CAAC;QACtE,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YACrB,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAChC,CAAC;aAAM,CAAC;YACN,SAAS,GAAG,IAAI,CAAC;YACjB,YAAY,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,IAAI,SAAS,EAAE,CAAC;QACd,OAAO;YACL,MAAM,EAAE,MAAiE;YACzE,KAAK,EAAE,KAAK;SACb,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC,MAA6B,CAAC,CAAC;AAC9C,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,OAAgB,EAChB,GAAG,OAAkE,EACQ,EAAE;IAC/E,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,SAAS,CAAC,kDAAkD,CAAC,CAAC;IAC1E,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC;IAClC,MAAM,IAAI,GAA0B,EAAE,CAAC;IACvC,MAAM,MAAM,GAAc,EAAE,CAAC;IAC7B,MAAM,MAAM,GAAc,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC5C,IAAI,SAAS,GAAG,KAAK,CAAC;IAEtB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,UAAU,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACnD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;YACnC,MAAM,IAAI,SAAS,CAAC,kDAAkD,CAAC,CAAC;QAC1E,CAAC;QAED,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAY,CAAC;QAExC,IACE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YACrB,KAAK,CAAC,MAAM,KAAK,CAAC;YAClB,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;YACxB,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,EACxB,CAAC;YACD,MAAM,IAAI,SAAS,CAAC,0DAA0D,CAAC,CAAC;QAClF,CAAC;QAED,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAY,CAAC;QAChC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;YACvD,MAAM,IAAI,SAAS,CAAC,sDAAsD,CAAC,CAAC;QAC9E,CAAC;QAED,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,MAAM,IAAI,SAAS,CAAC,0CAA0C,CAAC,CAAC;QAClE,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAEf,MAAM,UAAU,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,MAAM,IAAI,SAAS,CACjB,mEAAmE,CACpE,CAAC;QACJ,CAAC;QAED,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YACrB,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAChC,CAAC;aAAM,CAAC;YACN,SAAS,GAAG,IAAI,CAAC;YACjB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACvB,YAAY,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,IAAI,SAAS,EAAE,CAAC;QACd,OAAO;YACL,MAAM,EAAE,MAAqE;YAC7E,KAAK,EAAE,KAAK;SACb,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAiC,EAAE,CAAC;IAEhD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,UAAU,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACnD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAwB,CAAC;QAE/C,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,GAAG,EAAE;YACjC,YAAY,EAAE,IAAI;YAClB,UAAU,EAAE,IAAI;YAChB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC;YACpB,QAAQ,EAAE,IAAI;SACf,CAAC,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC,MAAyC,CAAC,CAAC;AAC1D,CAAC,CAAC;AAEF,yDAAyD;AACzD,MAAM,CAAC,MAAM,UAAU,GAAG,CAAO,MAAoB,EAAoB,EAAE,CACzE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAE1D,6EAA6E;AAC7E,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,MAAiB,EACjB,MAAe,EACG,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAoB/E,4EAA4E;AAC5E,MAAM,CAAC,MAAM,UAAU,GAAqB;IAC1C,GAAG;IACH,UAAU;IACV,UAAU;IACV,OAAO;IACP,aAAa;IACb,OAAO;IACP,SAAS;IACT,OAAO;IACP,GAAG;IACH,QAAQ;IACR,KAAK;IACL,MAAM;IACN,QAAQ;IACR,YAAY;IACZ,KAAK;CACN,CAAC"}

package/dist/variant.d.ts

@@ -0,0 +1,97 @@
+import type { CallbackResult } from "./internal/callback.js";
+import type { SingleName, SingleSymbol, Token } from "./internal/scalar.js";
+type UnitSpec = symbol & {
+    readonly "~selaws.variant.case": "unit";
+};
+type PayloadSpec<T> = symbol & {
+    readonly "~selaws.variant.case": "payload";
+    readonly "~selaws.variant.payload": T;
+};
+type CaseSpec = UnitSpec | PayloadSpec<unknown>;
+type CaseSpecs = Readonly<Record<string, CaseSpec>>;
+type CaseEntry = readonly [name: string, spec: CaseSpec];
+type IsUnion<T, Whole = T> = T extends Whole ? [Whole] extends [T] ? false : true : never;
+type EntryName<Entry> = Entry extends readonly [infer Name extends string, CaseSpec] ? Name : never;
+type EntrySpec<Entry> = Entry extends readonly [string, infer Spec extends CaseSpec] ? Spec : never;
+type InvalidCaseEntry<Entries extends readonly CaseEntry[]> = {
+    [Index in keyof Entries]: Entries[Index] extends readonly [
+        infer Name extends string,
+        infer Spec extends CaseSpec
+    ] ? Name extends SingleName<Name> ? [Spec] extends [UnitSpec] ? never : [Spec] extends [PayloadSpec<unknown>] ? never : Index : Index : Index;
+}[number];
+type DuplicateCaseName<Entries extends readonly CaseEntry[], Seen extends string = never> = Entries extends readonly [
+    infer Head extends CaseEntry,
+    ...infer Tail extends readonly CaseEntry[]
+] ? EntryName<Head> extends Seen ? EntryName<Head> : DuplicateCaseName<Tail, Seen | EntryName<Head>> : never;
+type IsMutableArray<Value> = Value extends unknown[] ? true : false;
+type ClosedCaseEntries<Entries extends readonly CaseEntry[]> = true extends IsUnion<Entries> ? never : true extends IsMutableArray<Entries> ? never : true extends IsMutableArray<Entries[number]> ? never : number extends Entries["length"] ? never : [InvalidCaseEntry<Entries>] extends [never] ? [DuplicateCaseName<Entries>] extends [never] ? unknown : never : never;
+type EntrySpecForName<Entries extends readonly CaseEntry[], Name extends string> = EntrySpec<Extract<Entries[number], readonly [Name, CaseSpec]>>;
+type CaseSpecsFromEntries<Entries extends readonly CaseEntry[]> = Readonly<{
+    [Name in EntryName<Entries[number]>]: EntrySpecForName<Entries, Name>;
+}>;
+type CaseName<Specs extends CaseSpecs> = Extract<keyof Specs, string>;
+type PayloadOf<Spec> = Spec extends PayloadSpec<infer T> ? T : never;
+type CaseSignature<Spec extends CaseSpec> = Spec extends UnitSpec ? Readonly<{
+    kind: "unit";
+}> : Spec extends PayloadSpec<infer T> ? Readonly<{
+    kind: "payload";
+    payload: T;
+}> : never;
+type FamilySignature<Specs extends CaseSpecs> = {
+    readonly [K in keyof Specs]: CaseSignature<Specs[K]>;
+};
+type VariantMarker<Specs extends CaseSpecs> = Readonly<{
+    "~selaws.variant": true;
+    cases: FamilySignature<Specs>;
+    names: (name: keyof Specs) => keyof Specs;
+}>;
+type FamilyBrand<TokenValue extends Token, Specs extends CaseSpecs> = TokenValue extends string ? {
+    readonly [K in `~selaws.variant:${TokenValue}`]: VariantMarker<Specs>;
+} : TokenValue extends symbol ? {
+    readonly [K in TokenValue]: VariantMarker<Specs>;
+} : never;
+type UnitCase<TokenValue extends Token, Specs extends CaseSpecs, Name extends CaseName<Specs>> = Readonly<{
+    tag: Name;
+}> & FamilyBrand<TokenValue, Specs>;
+type PayloadCase<TokenValue extends Token, Specs extends CaseSpecs, Name extends CaseName<Specs>, Payload> = Readonly<{
+    tag: Name;
+    value: Payload;
+}> & FamilyBrand<TokenValue, Specs>;
+type VariantValue<TokenValue extends Token, Specs extends CaseSpecs, Name extends CaseName<Specs> = CaseName<Specs>> = Name extends CaseName<Specs> ? Specs[Name] extends UnitSpec ? UnitCase<TokenValue, Specs, Name> : PayloadCase<TokenValue, Specs, Name, PayloadOf<Specs[Name]>> : never;
+type Constructors<TokenValue extends Token, Specs extends CaseSpecs> = Readonly<{
+    [Name in CaseName<Specs>]: Specs[Name] extends UnitSpec ? () => UnitCase<TokenValue, Specs, Name> : <Value extends PayloadOf<Specs[Name]>>(value: Value) => PayloadCase<TokenValue, Specs, Name, Value>;
+}>;
+type Matchers<Specs extends CaseSpecs> = Readonly<{
+    [Name in CaseName<Specs>]: Specs[Name] extends UnitSpec ? (this: void) => unknown : (this: void, value: PayloadOf<Specs[Name]>) => unknown;
+}>;
+type MatchResult<Specs extends CaseSpecs, Handlers extends Matchers<Specs>> = CallbackResult<Handlers[CaseName<Specs>]>;
+type VariantFamily<TokenValue extends Token, Specs extends CaseSpecs> = Readonly<{
+    make: Constructors<TokenValue, Specs>;
+    /** Eliminates this family under the shared Match law. */
+    match<const Handlers extends Matchers<Specs>>(value: VariantValue<TokenValue, Specs>, handlers: Handlers): MatchResult<Specs, Handlers>;
+}>;
+type ConstructorValue<Constructor> = Constructor extends (...args: never[]) => infer Value ? Value : never;
+/** Extracts the closed value union produced by one Variant family. */
+export type Variant<Family> = Family extends {
+    readonly make: infer Make extends object;
+} ? ConstructorValue<Make[keyof Make]> : never;
+/** Declares one nullary Variant case. */
+export declare const unit: UnitSpec;
+/** Declares one Variant case carrying a payload of T. */
+export declare const payload: <T>() => PayloadSpec<T>;
+type VariantToken<TokenValue extends Token> = [TokenValue] extends [string] ? TokenValue & SingleName<TokenValue & string> : [TokenValue] extends [symbol] ? TokenValue & SingleSymbol<TokenValue & symbol> : never;
+/** Defines one named or declaration-owned closed Variant family. */
+export declare const define: <const TokenValue extends Token, const Entries extends readonly CaseEntry[]>(token: VariantToken<TokenValue>, entries: Entries, ..._closed: ClosedCaseEntries<Entries> extends never ? [never] : []) => VariantFamily<TokenValue, CaseSpecsFromEntries<Entries>>;
+type VariantFacade = Readonly<{
+    define: typeof define;
+    payload: typeof payload;
+    unit: typeof unit;
+}>;
+/** Closed labeled alternatives with correlated payloads and exhaustive elimination. */
+export declare const Variant: VariantFacade;
+export declare namespace Variant {
+    /** Extracts the closed value union produced by one Variant family. */
+    type Value<Family> = import("./variant.js").Variant<Family>;
+}
+export {};
+//# sourceMappingURL=variant.d.ts.map