selaws 0.0.0-stage → 0.1.0

package/dist/internal/promise-like.js

@@ -0,0 +1,12 @@
+export const isPromiseLike = (value) => {
+    if ((typeof value !== "object" && typeof value !== "function") || value === null) {
+        return false;
+    }
+    return typeof value.then === "function";
+};
+export const assertNotPromiseLike = (value, message) => {
+    if (isPromiseLike(value)) {
+        throw new TypeError(message);
+    }
+};
+//# sourceMappingURL=promise-like.js.map

package/dist/internal/promise-like.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"promise-like.js","sourceRoot":"","sources":["../../src/internal/promise-like.ts"],"names":[],"mappings":"AAmBA,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAc,EAAiC,EAAE;IAC7E,IAAI,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACjF,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,OAAQ,KAAqC,CAAC,IAAI,KAAK,UAAU,CAAC;AAC3E,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,KAAc,EAAE,OAAe,EAAQ,EAAE;IAC5E,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,SAAS,CAAC,OAAO,CAAC,CAAC;IAC/B,CAAC;AACH,CAAC,CAAC"}

package/dist/internal/scalar.d.ts

@@ -0,0 +1,18 @@
+/** Immutable scalar carriers that can hold Selaws phantom meaning. */
+export type Scalar = string | number | bigint | boolean | symbol;
+export type Token = string | symbol;
+type IsUnion<T, Whole = T> = T extends Whole ? [Whole] extends [T] ? false : true : never;
+type SingleToken<Key extends Token> = true extends IsUnion<Key> ? never : Record<never, never> extends Record<Key, never> ? never : Key;
+type SingletonSymbolMembers<Key extends symbol> = Key extends unknown ? SingleToken<Key> : never;
+export type NarrowSymbolSet<Key extends symbol> = [Key] extends [
+    SingletonSymbolMembers<Key>
+] ? Key : never;
+export type SingleSymbol<Key extends symbol> = SingleToken<Key>;
+export type SingleName<Name extends string> = SingleToken<Name>;
+export declare const isString: (value: unknown) => value is string;
+export declare const isNumber: (value: unknown) => value is number;
+export declare const isBigint: (value: unknown) => value is bigint;
+export declare const isBoolean: (value: unknown) => value is boolean;
+export declare const isSymbol: (value: unknown) => value is symbol;
+export {};
+//# sourceMappingURL=scalar.d.ts.map

package/dist/internal/scalar.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scalar.d.ts","sourceRoot":"","sources":["../../src/internal/scalar.ts"],"names":[],"mappings":"AAAA,sEAAsE;AACtE,MAAM,MAAM,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,CAAC;AAEjE,MAAM,MAAM,KAAK,GAAG,MAAM,GAAG,MAAM,CAAC;AAEpC,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;AAIV,KAAK,WAAW,CAAC,GAAG,SAAS,KAAK,IAChC,IAAI,SAAS,OAAO,CAAC,GAAG,CAAC,GACrB,KAAK,GACL,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,GAC7C,KAAK,GACL,GAAG,CAAC;AAEZ,KAAK,sBAAsB,CAAC,GAAG,SAAS,MAAM,IAAI,GAAG,SAAS,OAAO,GACjE,WAAW,CAAC,GAAG,CAAC,GAChB,KAAK,CAAC;AAEV,MAAM,MAAM,eAAe,CAAC,GAAG,SAAS,MAAM,IAAI,CAAC,GAAG,CAAC,SAAS;IAC9D,sBAAsB,CAAC,GAAG,CAAC;CAC5B,GACG,GAAG,GACH,KAAK,CAAC;AAEV,MAAM,MAAM,YAAY,CAAC,GAAG,SAAS,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC;AAChE,MAAM,MAAM,UAAU,CAAC,IAAI,SAAS,MAAM,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC;AAEhE,eAAO,MAAM,QAAQ,UAAW,OAAO,KAAG,KAAK,IAAI,MAAmC,CAAC;AAEvF,eAAO,MAAM,QAAQ,UAAW,OAAO,KAAG,KAAK,IAAI,MAAmC,CAAC;AAEvF,eAAO,MAAM,QAAQ,UAAW,OAAO,KAAG,KAAK,IAAI,MAAmC,CAAC;AAEvF,eAAO,MAAM,SAAS,UAAW,OAAO,KAAG,KAAK,IAAI,OACxB,CAAC;AAE7B,eAAO,MAAM,QAAQ,UAAW,OAAO,KAAG,KAAK,IAAI,MAAmC,CAAC"}

package/dist/internal/scalar.js

@@ -0,0 +1,6 @@
+export const isString = (value) => typeof value === "string";
+export const isNumber = (value) => typeof value === "number";
+export const isBigint = (value) => typeof value === "bigint";
+export const isBoolean = (value) => typeof value === "boolean";
+export const isSymbol = (value) => typeof value === "symbol";
+//# sourceMappingURL=scalar.js.map

package/dist/internal/scalar.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scalar.js","sourceRoot":"","sources":["../../src/internal/scalar.ts"],"names":[],"mappings":"AAiCA,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC;AAEvF,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC;AAEvF,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC;AAEvF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAc,EAAoB,EAAE,CAC5D,OAAO,KAAK,KAAK,SAAS,CAAC;AAE7B,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC"}

package/dist/option.d.ts

@@ -0,0 +1,90 @@
+import type { CallbackResult } from "./internal/callback.js";
+import { type NotPromiseLike } from "./internal/promise-like.js";
+/** A present Option value. */
+export type Some<T> = Readonly<{
+    some: true;
+    value: T;
+}>;
+/** Reasonless absence. */
+export type None = Readonly<{
+    some: false;
+}>;
+/** Explicit presence or absence. */
+export type Option<T> = Some<T> | None;
+/** Extracts the present value type from an Option union. */
+export type OptionValue<O> = O extends Some<infer T> ? T : never;
+type OptionValues<O extends readonly Option<unknown>[]> = {
+    [K in keyof O]: OptionValue<O[K]>;
+};
+type SynchronousReturn<T> = [T] extends [NotPromiseLike<T>] ? unknown : never;
+type IsMutableArray<Value> = Value extends unknown[] ? true : false;
+type StableArrayInput<Value extends readonly unknown[]> = true extends IsMutableArray<Value> ? never : unknown;
+/** Constructs a present Option value. */
+export declare const some: <T>(value: T) => Option<T>;
+/** Constructs reasonless absence. */
+export declare const none: () => Option<never>;
+/** Narrows an Option to Some. */
+export declare const isSome: <T>(option: Option<T>) => option is Some<T>;
+/** Narrows an Option to None. */
+export declare const isNone: <T>(option: Option<T>) => option is None;
+/** Eliminates an Option under the shared Match law. */
+export declare const match: <T, Some extends (this: void, value: NoInfer<T>) => unknown, None extends (this: void) => unknown>(option: Option<T>, arms: Readonly<{
+    some: Some;
+    none: None;
+}>) => CallbackResult<Some> | CallbackResult<None>;
+/** Transforms the Some value and preserves None. */
+export declare const map: <T, U>(option: Option<T>, transform: (value: T) => U) => Option<U>;
+/** Sequences an Option-producing computation when a value is present. */
+export declare const andThen: <T, U>(option: Option<T>, next: (value: T) => Option<U>) => Option<U>;
+/** Lazily provides another Option when the input is None. */
+export declare const orElse: <T, U>(option: Option<T>, fallback: () => Option<U>) => Option<T | U>;
+/** Removes one explicit nested Option layer. */
+export declare const flatten: <T>(option: Option<Option<T>>) => Option<T>;
+/** Retains Some when a type-guard predicate accepts its value. */
+export declare function filter<T, U extends T>(option: Option<T>, predicate: (value: T) => value is U): Option<U>;
+/** Retains Some when the predicate accepts its value. */
+export declare function filter<T>(option: Option<T>, predicate: (value: T) => boolean): Option<T>;
+/** Synchronously observes Some and returns the original Option. */
+export declare const inspect: <T, R>(option: Option<T>, observe: ((value: T) => R) & SynchronousReturn<R>) => Option<T>;
+/** Returns the Some value or an eager fallback. */
+export declare const unwrapOr: <T, U>(option: Option<T>, fallback: U) => T | U;
+/** Returns the Some value or evaluates a lazy fallback. */
+export declare const unwrapOrElse: <T, U>(option: Option<T>, fallback: () => U) => T | U;
+/**
+ * Combines already-materialized Options.
+ *
+ * All Some values produce a position-preserving tuple; any None produces None.
+ */
+export declare const all: <const O extends readonly Option<unknown>[]>(options: O & StableArrayInput<O>) => Option<OptionValues<O>>;
+/** Maps exactly undefined to None and every other value to Some. */
+export declare const fromUndefined: <T>(value: T) => Option<Exclude<T, undefined>>;
+/** Maps null or undefined to None and every other value to Some. */
+export declare const fromNullable: <T>(value: T) => Option<NonNullable<T>>;
+/** Maps None to undefined and returns the Some value unchanged. */
+export declare const toUndefined: <T>(option: Option<T>) => T | undefined;
+/** Maps None to null and returns the Some value unchanged. */
+export declare const toNullable: <T>(option: Option<T>) => T | null;
+type OptionFacade = Readonly<{
+    all: typeof all;
+    andThen: typeof andThen;
+    filter: typeof filter;
+    flatten: typeof flatten;
+    fromNullable: typeof fromNullable;
+    fromUndefined: typeof fromUndefined;
+    inspect: typeof inspect;
+    isNone: typeof isNone;
+    isSome: typeof isSome;
+    map: typeof map;
+    match: typeof match;
+    none: typeof none;
+    orElse: typeof orElse;
+    some: typeof some;
+    toNullable: typeof toNullable;
+    toUndefined: typeof toUndefined;
+    unwrapOr: typeof unwrapOr;
+    unwrapOrElse: typeof unwrapOrElse;
+}>;
+/** Facade for Option construction, transformation, elimination, and collection. */
+export declare const Option: OptionFacade;
+export {};
+//# sourceMappingURL=option.d.ts.map

package/dist/option.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"option.d.ts","sourceRoot":"","sources":["../src/option.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAwB,KAAK,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAEvF,8BAA8B;AAC9B,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,QAAQ,CAAC;IAC7B,IAAI,EAAE,IAAI,CAAC;IACX,KAAK,EAAE,CAAC,CAAC;CACV,CAAC,CAAC;AAEH,0BAA0B;AAC1B,MAAM,MAAM,IAAI,GAAG,QAAQ,CAAC;IAC1B,IAAI,EAAE,KAAK,CAAC;CACb,CAAC,CAAC;AAEH,oCAAoC;AACpC,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;AAEvC,4DAA4D;AAC5D,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAEjE,KAAK,YAAY,CAAC,CAAC,SAAS,SAAS,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI;KACvD,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAClC,CAAC;AAEF,KAAK,iBAAiB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,KAAK,CAAC;AAE9E,KAAK,cAAc,CAAC,KAAK,IAAI,KAAK,SAAS,OAAO,EAAE,GAAG,IAAI,GAAG,KAAK,CAAC;AAEpE,KAAK,gBAAgB,CAAC,KAAK,SAAS,SAAS,OAAO,EAAE,IACpD,IAAI,SAAS,cAAc,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,OAAO,CAAC;AAEvD,yCAAyC;AACzC,eAAO,MAAM,IAAI,GAAI,CAAC,SAAS,CAAC,KAAG,MAAM,CAAC,CAAC,CAGzC,CAAC;AAEH,qCAAqC;AACrC,eAAO,MAAM,IAAI,QAAO,MAAM,CAAC,KAAK,CAElC,CAAC;AAEH,iCAAiC;AACjC,eAAO,MAAM,MAAM,GAAI,CAAC,UAAU,MAAM,CAAC,CAAC,CAAC,KAAG,MAAM,IAAI,IAAI,CAAC,CAAC,CAAgB,CAAC;AAE/E,iCAAiC;AACjC,eAAO,MAAM,MAAM,GAAI,CAAC,UAAU,MAAM,CAAC,CAAC,CAAC,KAAG,MAAM,IAAI,IAAoB,CAAC;AAE7E,uDAAuD;AACvD,eAAO,MAAM,KAAK,GAChB,CAAC,EACD,IAAI,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,EACvD,IAAI,SAAS,CAAC,IAAI,EAAE,IAAI,KAAK,OAAO,UAE5B,MAAM,CAAC,CAAC,CAAC,QACX,QAAQ,CAAC;IACb,IAAI,EAAE,IAAI,CAAC;IACX,IAAI,EAAE,IAAI,CAAC;CACZ,CAAC,KACD,cAAc,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,CAQ5C,CAAC;AAEF,oDAAoD;AACpD,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,UAAU,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,KAAG,MAAM,CAAC,CAAC,CAC5B,CAAC;AAEvD,yEAAyE;AACzE,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,UAClB,MAAM,CAAC,CAAC,CAAC,QACX,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,KAC5B,MAAM,CAAC,CAAC,CAAgD,CAAC;AAE5D,6DAA6D;AAC7D,eAAO,MAAM,MAAM,GAAI,CAAC,EAAE,CAAC,UACjB,MAAM,CAAC,CAAC,CAAC,YACP,MAAM,MAAM,CAAC,CAAC,CAAC,KACxB,MAAM,CAAC,CAAC,GAAG,CAAC,CAAwC,CAAC;AAExD,gDAAgD;AAChD,eAAO,MAAM,OAAO,GAAI,CAAC,UAAU,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,CAC1B,CAAC;AAEtC,kEAAkE;AAClE,wBAAgB,MAAM,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,EACnC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EACjB,SAAS,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,GAClC,MAAM,CAAC,CAAC,CAAC,CAAC;AAEb,yDAAyD;AACzD,wBAAgB,MAAM,CAAC,CAAC,EACtB,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EACjB,SAAS,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,GAC/B,MAAM,CAAC,CAAC,CAAC,CAAC;AAYb,mEAAmE;AACnE,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,UAClB,MAAM,CAAC,CAAC,CAAC,WACR,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,KAChD,MAAM,CAAC,CAAC,CASV,CAAC;AAEF,mDAAmD;AACnD,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,UAAU,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,KAAG,CAAC,GAAG,CAC7B,CAAC;AAExC,2DAA2D;AAC3D,eAAO,MAAM,YAAY,GAAI,CAAC,EAAE,CAAC,UAAU,MAAM,CAAC,CAAC,CAAC,YAAY,MAAM,CAAC,KAAG,CAAC,GAAG,CACrC,CAAC;AAE1C;;;;GAIG;AACH,eAAO,MAAM,GAAG,GAAI,KAAK,CAAC,CAAC,SAAS,SAAS,MAAM,CAAC,OAAO,CAAC,EAAE,WACnD,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,KAC/B,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAaxB,CAAC;AAEF,oEAAoE;AACpE,eAAO,MAAM,aAAa,GAAI,CAAC,SAAS,CAAC,KAAG,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,CACH,CAAC;AAEtE,oEAAoE;AACpE,eAAO,MAAM,YAAY,GAAI,CAAC,SAAS,CAAC,KAAG,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CACgB,CAAC;AAEjF,mEAAmE;AACnE,eAAO,MAAM,WAAW,GAAI,CAAC,UAAU,MAAM,CAAC,CAAC,CAAC,KAAG,CAAC,GAAG,SACf,CAAC;AAEzC,8DAA8D;AAC9D,eAAO,MAAM,UAAU,GAAI,CAAC,UAAU,MAAM,CAAC,CAAC,CAAC,KAAG,CAAC,GAAG,IACnB,CAAC;AAEpC,KAAK,YAAY,GAAG,QAAQ,CAAC;IAC3B,GAAG,EAAE,OAAO,GAAG,CAAC;IAChB,OAAO,EAAE,OAAO,OAAO,CAAC;IACxB,MAAM,EAAE,OAAO,MAAM,CAAC;IACtB,OAAO,EAAE,OAAO,OAAO,CAAC;IACxB,YAAY,EAAE,OAAO,YAAY,CAAC;IAClC,aAAa,EAAE,OAAO,aAAa,CAAC;IACpC,OAAO,EAAE,OAAO,OAAO,CAAC;IACxB,MAAM,EAAE,OAAO,MAAM,CAAC;IACtB,MAAM,EAAE,OAAO,MAAM,CAAC;IACtB,GAAG,EAAE,OAAO,GAAG,CAAC;IAChB,KAAK,EAAE,OAAO,KAAK,CAAC;IACpB,IAAI,EAAE,OAAO,IAAI,CAAC;IAClB,MAAM,EAAE,OAAO,MAAM,CAAC;IACtB,IAAI,EAAE,OAAO,IAAI,CAAC;IAClB,UAAU,EAAE,OAAO,UAAU,CAAC;IAC9B,WAAW,EAAE,OAAO,WAAW,CAAC;IAChC,QAAQ,EAAE,OAAO,QAAQ,CAAC;IAC1B,YAAY,EAAE,OAAO,YAAY,CAAC;CACnC,CAAC,CAAC;AAEH,mFAAmF;AACnF,eAAO,MAAM,MAAM,EAAE,YAmBpB,CAAC"}

package/dist/option.js

@@ -0,0 +1,96 @@
+import { assertNotPromiseLike } from "./internal/promise-like.js";
+/** Constructs a present Option value. */
+export const some = (value) => ({
+    some: true,
+    value,
+});
+/** Constructs reasonless absence. */
+export const none = () => ({
+    some: false,
+});
+/** Narrows an Option to Some. */
+export const isSome = (option) => option.some;
+/** Narrows an Option to None. */
+export const isNone = (option) => !option.some;
+/** Eliminates an Option under the shared Match law. */
+export const match = (option, arms) => {
+    if (option.some) {
+        const selected = arms.some;
+        return selected(option.value);
+    }
+    const selected = arms.none;
+    return selected();
+};
+/** Transforms the Some value and preserves None. */
+export const map = (option, transform) => option.some ? some(transform(option.value)) : option;
+/** Sequences an Option-producing computation when a value is present. */
+export const andThen = (option, next) => (option.some ? next(option.value) : option);
+/** Lazily provides another Option when the input is None. */
+export const orElse = (option, fallback) => (option.some ? option : fallback());
+/** Removes one explicit nested Option layer. */
+export const flatten = (option) => option.some ? option.value : option;
+export function filter(option, predicate) {
+    if (!option.some) {
+        return option;
+    }
+    return predicate(option.value) ? option : none();
+}
+/** Synchronously observes Some and returns the original Option. */
+export const inspect = (option, observe) => {
+    if (option.some) {
+        const completion = observe(option.value);
+        assertNotPromiseLike(completion, "Option.inspect() expects a synchronous observer.");
+    }
+    return option;
+};
+/** Returns the Some value or an eager fallback. */
+export const unwrapOr = (option, fallback) => option.some ? option.value : fallback;
+/** Returns the Some value or evaluates a lazy fallback. */
+export const unwrapOrElse = (option, fallback) => option.some ? option.value : fallback();
+/**
+ * Combines already-materialized Options.
+ *
+ * All Some values produce a position-preserving tuple; any None produces None.
+ */
+export const all = (options) => {
+    const values = [];
+    const length = options.length;
+    for (let index = 0; index < length; index += 1) {
+        const option = options[index];
+        if (!option.some) {
+            return none();
+        }
+        values.push(option.value);
+    }
+    return some(values);
+};
+/** Maps exactly undefined to None and every other value to Some. */
+export const fromUndefined = (value) => value === undefined ? none() : some(value);
+/** Maps null or undefined to None and every other value to Some. */
+export const fromNullable = (value) => value === undefined || value === null ? none() : some(value);
+/** Maps None to undefined and returns the Some value unchanged. */
+export const toUndefined = (option) => option.some ? option.value : undefined;
+/** Maps None to null and returns the Some value unchanged. */
+export const toNullable = (option) => option.some ? option.value : null;
+/** Facade for Option construction, transformation, elimination, and collection. */
+export const Option = {
+    all,
+    andThen,
+    filter,
+    flatten,
+    fromNullable,
+    fromUndefined,
+    inspect,
+    isNone,
+    isSome,
+    map,
+    match,
+    none,
+    orElse,
+    some,
+    toNullable,
+    toUndefined,
+    unwrapOr,
+    unwrapOrElse,
+};
+//# sourceMappingURL=option.js.map

package/dist/option.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"option.js","sourceRoot":"","sources":["../src/option.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,oBAAoB,EAAuB,MAAM,4BAA4B,CAAC;AA8BvF,yCAAyC;AACzC,MAAM,CAAC,MAAM,IAAI,GAAG,CAAI,KAAQ,EAAa,EAAE,CAAC,CAAC;IAC/C,IAAI,EAAE,IAAI;IACV,KAAK;CACN,CAAC,CAAC;AAEH,qCAAqC;AACrC,MAAM,CAAC,MAAM,IAAI,GAAG,GAAkB,EAAE,CAAC,CAAC;IACxC,IAAI,EAAE,KAAK;CACZ,CAAC,CAAC;AAEH,iCAAiC;AACjC,MAAM,CAAC,MAAM,MAAM,GAAG,CAAI,MAAiB,EAAqB,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC;AAE/E,iCAAiC;AACjC,MAAM,CAAC,MAAM,MAAM,GAAG,CAAI,MAAiB,EAAkB,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;AAE7E,uDAAuD;AACvD,MAAM,CAAC,MAAM,KAAK,GAAG,CAKnB,MAAiB,EACjB,IAGE,EAC2C,EAAE;IAC/C,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAChB,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC;QAC3B,OAAO,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAyB,CAAC;IACxD,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC;IAC3B,OAAO,QAAQ,EAA0B,CAAC;AAC5C,CAAC,CAAC;AAEF,oDAAoD;AACpD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAO,MAAiB,EAAE,SAA0B,EAAa,EAAE,CACpF,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AAEvD,yEAAyE;AACzE,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,MAAiB,EACjB,IAA6B,EAClB,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AAE5D,6DAA6D;AAC7D,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,MAAiB,EACjB,QAAyB,EACV,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;AAExD,gDAAgD;AAChD,MAAM,CAAC,MAAM,OAAO,GAAG,CAAI,MAAyB,EAAa,EAAE,CACjE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;AActC,MAAM,UAAU,MAAM,CACpB,MAAiB,EACjB,SAAgC;IAEhC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACjB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACnD,CAAC;AAED,mEAAmE;AACnE,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,MAAiB,EACjB,OAAiD,EACtC,EAAE;IACb,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAChB,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,mDAAmD;AACnD,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAO,MAAiB,EAAE,QAAW,EAAS,EAAE,CACtE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;AAExC,2DAA2D;AAC3D,MAAM,CAAC,MAAM,YAAY,GAAG,CAAO,MAAiB,EAAE,QAAiB,EAAS,EAAE,CAChF,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AAE1C;;;;GAIG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CACjB,OAAgC,EACP,EAAE;IAC3B,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,CAAoB,CAAC;QACjD,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YACjB,OAAO,IAAI,EAAE,CAAC;QAChB,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC;IAED,OAAO,IAAI,CAAC,MAAyB,CAAC,CAAC;AACzC,CAAC,CAAC;AAEF,oEAAoE;AACpE,MAAM,CAAC,MAAM,aAAa,GAAG,CAAI,KAAQ,EAAiC,EAAE,CAC1E,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAA8B,CAAC,CAAC;AAEtE,oEAAoE;AACpE,MAAM,CAAC,MAAM,YAAY,GAAG,CAAI,KAAQ,EAA0B,EAAE,CAClE,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAuB,CAAC,CAAC;AAEjF,mEAAmE;AACnE,MAAM,CAAC,MAAM,WAAW,GAAG,CAAI,MAAiB,EAAiB,EAAE,CACjE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAEzC,8DAA8D;AAC9D,MAAM,CAAC,MAAM,UAAU,GAAG,CAAI,MAAiB,EAAY,EAAE,CAC3D,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAuBpC,mFAAmF;AACnF,MAAM,CAAC,MAAM,MAAM,GAAiB;IAClC,GAAG;IACH,OAAO;IACP,MAAM;IACN,OAAO;IACP,YAAY;IACZ,aAAa;IACb,OAAO;IACP,MAAM;IACN,MAAM;IACN,GAAG;IACH,KAAK;IACL,IAAI;IACJ,MAAM;IACN,IAAI;IACJ,UAAU;IACV,WAAW;IACX,QAAQ;IACR,YAAY;CACb,CAAC"}

package/dist/protocol.d.ts

@@ -0,0 +1,42 @@
+import type { Scalar } from "./internal/scalar.js";
+/** Scalar identifiers used as Protocol states. */
+export type State = Scalar;
+/** Scalar identifiers used to distinguish transitions. */
+export type Label = Scalar;
+/** One admissible labeled transition. */
+export type Transition<From extends State = State, Via extends Label = Label, To extends State = State> = readonly [from: From, label: Via, to: To];
+type TransitionUnion<Transitions extends readonly Transition[]> = Transitions[number];
+type SourceOf<One> = One extends readonly [infer From extends State, Label, State] ? From : never;
+type LabelOf<One> = One extends readonly [State, infer Via extends Label, State] ? Via : never;
+type TargetOf<One> = One extends readonly [State, Label, infer To extends State] ? To : never;
+/** All state identifiers that occur as a source or target. */
+export type States<Transitions extends readonly Transition[]> = SourceOf<TransitionUnion<Transitions>> | TargetOf<TransitionUnion<Transitions>>;
+/** All transition labels that occur in a declaration. */
+export type Labels<Transitions extends readonly Transition[]> = LabelOf<TransitionUnion<Transitions>>;
+type NextFrom<One, From extends State, Via extends Label> = One extends readonly [
+    infer Source extends State,
+    infer EdgeLabel extends Label,
+    infer To extends State
+] ? [Source & From] extends [never] ? never : [EdgeLabel & Via] extends [never] ? never : To : never;
+/** The statically admissible targets for one source state and transition label. */
+export type Next<Transitions extends readonly Transition[], From extends States<Transitions>, Via extends Labels<Transitions>> = NextFrom<TransitionUnion<Transitions>, From, Via>;
+type IsMutableArray<Value> = Value extends unknown[] ? true : false;
+type ClosedTransitions<Transitions extends readonly Transition[]> = true extends IsMutableArray<Transitions> ? never : true extends IsMutableArray<Transitions[number]> ? never : Transitions;
+/** Runtime membership for one immutable labeled transition relation. */
+export type Protocol<Transitions extends readonly Transition[]> = Readonly<{
+    allows<From extends States<Transitions>, Via extends Labels<Transitions>, To extends States<Transitions>>(from: From, label: Via, to: To): boolean;
+}>;
+/**
+ * Defines one immutable admissible labeled transition relation.
+ *
+ * The runtime relation snapshots the supplied triples and uses SameValueZero
+ * equality through Map and Set.
+ */
+export declare const define: <const Transitions extends readonly Transition[]>(transitions: Transitions & (ClosedTransitions<Transitions> extends never ? never : unknown)) => Protocol<Transitions>;
+type ProtocolFacade = Readonly<{
+    define: typeof define;
+}>;
+/** Admissible labeled transition relations. */
+export declare const Protocol: ProtocolFacade;
+export {};
+//# sourceMappingURL=protocol.d.ts.map

package/dist/protocol.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocol.d.ts","sourceRoot":"","sources":["../src/protocol.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAEnD,kDAAkD;AAClD,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAE3B,0DAA0D;AAC1D,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAE3B,yCAAyC;AACzC,MAAM,MAAM,UAAU,CACpB,IAAI,SAAS,KAAK,GAAG,KAAK,EAC1B,GAAG,SAAS,KAAK,GAAG,KAAK,EACzB,EAAE,SAAS,KAAK,GAAG,KAAK,IACtB,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;AAE9C,KAAK,eAAe,CAAC,WAAW,SAAS,SAAS,UAAU,EAAE,IAAI,WAAW,CAAC,MAAM,CAAC,CAAC;AAEtF,KAAK,QAAQ,CAAC,GAAG,IAAI,GAAG,SAAS,SAAS,CAAC,MAAM,IAAI,SAAS,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,GAC9E,IAAI,GACJ,KAAK,CAAC;AAEV,KAAK,OAAO,CAAC,GAAG,IAAI,GAAG,SAAS,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,KAAK,EAAE,KAAK,CAAC,GAC5E,GAAG,GACH,KAAK,CAAC;AAEV,KAAK,QAAQ,CAAC,GAAG,IAAI,GAAG,SAAS,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,KAAK,CAAC,GAC5E,EAAE,GACF,KAAK,CAAC;AAEV,8DAA8D;AAC9D,MAAM,MAAM,MAAM,CAAC,WAAW,SAAS,SAAS,UAAU,EAAE,IACxD,QAAQ,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC,GACtC,QAAQ,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC;AAE3C,yDAAyD;AACzD,MAAM,MAAM,MAAM,CAAC,WAAW,SAAS,SAAS,UAAU,EAAE,IAAI,OAAO,CACrE,eAAe,CAAC,WAAW,CAAC,CAC7B,CAAC;AAEF,KAAK,QAAQ,CAAC,GAAG,EAAE,IAAI,SAAS,KAAK,EAAE,GAAG,SAAS,KAAK,IAAI,GAAG,SAAS,SAAS;IAC/E,MAAM,MAAM,SAAS,KAAK;IAC1B,MAAM,SAAS,SAAS,KAAK;IAC7B,MAAM,EAAE,SAAS,KAAK;CACvB,GACG,CAAC,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAC7B,KAAK,GACL,CAAC,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,GAC/B,KAAK,GACL,EAAE,GACN,KAAK,CAAC;AAEV,mFAAmF;AACnF,MAAM,MAAM,IAAI,CACd,WAAW,SAAS,SAAS,UAAU,EAAE,EACzC,IAAI,SAAS,MAAM,CAAC,WAAW,CAAC,EAChC,GAAG,SAAS,MAAM,CAAC,WAAW,CAAC,IAC7B,QAAQ,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;AAEtD,KAAK,cAAc,CAAC,KAAK,IAAI,KAAK,SAAS,OAAO,EAAE,GAAG,IAAI,GAAG,KAAK,CAAC;AAEpE,KAAK,iBAAiB,CAAC,WAAW,SAAS,SAAS,UAAU,EAAE,IAC9D,IAAI,SAAS,cAAc,CAAC,WAAW,CAAC,GACpC,KAAK,GACL,IAAI,SAAS,cAAc,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,GAC9C,KAAK,GACL,WAAW,CAAC;AAEpB,wEAAwE;AACxE,MAAM,MAAM,QAAQ,CAAC,WAAW,SAAS,SAAS,UAAU,EAAE,IAAI,QAAQ,CAAC;IACzE,MAAM,CACJ,IAAI,SAAS,MAAM,CAAC,WAAW,CAAC,EAChC,GAAG,SAAS,MAAM,CAAC,WAAW,CAAC,EAC/B,EAAE,SAAS,MAAM,CAAC,WAAW,CAAC,EAC9B,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC;CAC5C,CAAC,CAAC;AAeH;;;;;GAKG;AACH,eAAO,MAAM,MAAM,GAAI,KAAK,CAAC,WAAW,SAAS,SAAS,UAAU,EAAE,eACvD,WAAW,GACtB,CAAC,iBAAiB,CAAC,WAAW,CAAC,SAAS,KAAK,GAAG,KAAK,GAAG,OAAO,CAAC,KACjE,QAAQ,CAAC,WAAW,CAkEtB,CAAC;AAEF,KAAK,cAAc,GAAG,QAAQ,CAAC;IAC7B,MAAM,EAAE,OAAO,MAAM,CAAC;CACvB,CAAC,CAAC;AAEH,+CAA+C;AAC/C,eAAO,MAAM,QAAQ,EAAE,cAEtB,CAAC"}

package/dist/protocol.js

@@ -0,0 +1,67 @@
+const isScalarIdentifier = (value) => {
+    switch (typeof value) {
+        case "string":
+        case "number":
+        case "bigint":
+        case "boolean":
+        case "symbol":
+            return true;
+        default:
+            return false;
+    }
+};
+/**
+ * Defines one immutable admissible labeled transition relation.
+ *
+ * The runtime relation snapshots the supplied triples and uses SameValueZero
+ * equality through Map and Set.
+ */
+export const define = (transitions) => {
+    if (!Array.isArray(transitions)) {
+        throw new TypeError("Protocol declarations must be arrays.");
+    }
+    const relation = new Map();
+    const length = transitions.length;
+    for (let index = 0; index < length; index += 1) {
+        if (!Object.hasOwn(transitions, index)) {
+            throw new TypeError("Protocol declarations must contain own transition entries.");
+        }
+        const transition = transitions[index];
+        if (!Array.isArray(transition) ||
+            transition.length !== 3 ||
+            !Object.hasOwn(transition, 0) ||
+            !Object.hasOwn(transition, 1) ||
+            !Object.hasOwn(transition, 2)) {
+            throw new TypeError("Protocol transitions must be own [from, label, to] triples.");
+        }
+        const from = transition[0];
+        const label = transition[1];
+        const to = transition[2];
+        if (!isScalarIdentifier(from) ||
+            !isScalarIdentifier(label) ||
+            !isScalarIdentifier(to)) {
+            throw new TypeError("Protocol states and labels must be scalar identifiers.");
+        }
+        let labels = relation.get(from);
+        if (labels === undefined) {
+            labels = new Map();
+            relation.set(from, labels);
+        }
+        let targets = labels.get(label);
+        if (targets === undefined) {
+            targets = new Set();
+            labels.set(label, targets);
+        }
+        targets.add(to);
+    }
+    return Object.freeze({
+        allows(from, label, to) {
+            return relation.get(from)?.get(label)?.has(to) ?? false;
+        },
+    });
+};
+/** Admissible labeled transition relations. */
+export const Protocol = {
+    define,
+};
+//# sourceMappingURL=protocol.js.map

package/dist/protocol.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocol.js","sourceRoot":"","sources":["../src/protocol.ts"],"names":[],"mappings":"AA4EA,MAAM,kBAAkB,GAAG,CAAC,KAAc,EAAmB,EAAE;IAC7D,QAAQ,OAAO,KAAK,EAAE,CAAC;QACrB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;QACd;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,WACkE,EAC3C,EAAE;IACzB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,SAAS,CAAC,uCAAuC,CAAC,CAAC;IAC/D,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAiC,CAAC;IAE1D,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,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,SAAS,CAAC,4DAA4D,CAAC,CAAC;QACpF,CAAC;QAED,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,CAAY,CAAC;QAEjD,IACE,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;YAC1B,UAAU,CAAC,MAAM,KAAK,CAAC;YACvB,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;YAC7B,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;YAC7B,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,EAC7B,CAAC;YACD,MAAM,IAAI,SAAS,CACjB,6DAA6D,CAC9D,CAAC;QACJ,CAAC;QAED,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAEzB,IACE,CAAC,kBAAkB,CAAC,IAAI,CAAC;YACzB,CAAC,kBAAkB,CAAC,KAAK,CAAC;YAC1B,CAAC,kBAAkB,CAAC,EAAE,CAAC,EACvB,CAAC;YACD,MAAM,IAAI,SAAS,CAAC,wDAAwD,CAAC,CAAC;QAChF,CAAC;QAED,IAAI,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAEhC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,GAAG,IAAI,GAAG,EAAqB,CAAC;YACtC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC7B,CAAC;QAED,IAAI,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAEhC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,GAAG,IAAI,GAAG,EAAS,CAAC;YAC3B,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC7B,CAAC;QAED,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAClB,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM,CAIJ,IAAU,EAAE,KAAU,EAAE,EAAM;YAC9B,OAAO,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC;QAC1D,CAAC;KACF,CAAC,CAAC;AACL,CAAC,CAAC;AAMF,+CAA+C;AAC/C,MAAM,CAAC,MAAM,QAAQ,GAAmB;IACtC,MAAM;CACP,CAAC"}

package/dist/result/capture.d.ts

@@ -0,0 +1,42 @@
+import { type NotPromiseLike } from "../internal/promise-like.js";
+import { type Result } from "./core.js";
+type SyncPrimitive = string | number | boolean | bigint | symbol | null | undefined;
+type NonThenableObject = object & {
+    readonly then?: never;
+};
+type OverloadUnion<Callable, Partial = unknown> = Callable extends (this: infer This, ...args: infer Args) => infer Return ? Partial extends Callable ? never : OverloadUnion<Partial & Callable, Partial & ((this: This, ...args: Args) => Return)> | ((this: This, ...args: Args) => Return) : never;
+type IsUnion<T, Whole = T> = T extends unknown ? [Whole] extends [T] ? false : true : never;
+type UnionToIntersection<T> = (T extends unknown ? (value: T) => void : never) extends (value: infer Intersection) => void ? Intersection : never;
+type HasAsyncOverload<Callable> = true extends (OverloadUnion<Callable> extends infer One ? One extends (...args: never[]) => infer Return ? [Return] extends [NotPromiseLike<Return>] ? false : true : never : never) ? true : false;
+type HasNonPromiseOverload<Callable> = true extends (OverloadUnion<Callable> extends infer One ? One extends (...args: never[]) => infer Return ? [Return] extends [PromiseLike<unknown>] ? false : true : never : never) ? true : false;
+type SyncWrappedOne<Callable, E> = Callable extends (this: infer This, ...args: infer Args) => infer Return ? (this: This, ...args: Args) => Result<Return, E> : never;
+type SyncWrappedOverloads<Callable, E> = UnionToIntersection<OverloadUnion<Callable> extends infer One ? One extends unknown ? SyncWrappedOne<One, E> : never : never>;
+type AsyncWrappedOne<Callable, E> = Callable extends (this: infer This, ...args: infer Args) => infer Return ? (this: This, ...args: Args) => Promise<Result<Awaited<Return>, E>> : never;
+type AsyncWrappedOverloads<Callable, E> = UnionToIntersection<OverloadUnion<Callable> extends infer One ? One extends unknown ? AsyncWrappedOne<One, E> : never : never>;
+/**
+ * Captures one synchronous invocation boundary as Result.
+ *
+ * Thrown values are mapped from unknown into the caller's recoverable error
+ * type. Promise-like returns are rejected as a sync-boundary contract error.
+ * A thrown mapper remains an abrupt JavaScript completion.
+ */
+export declare function attempt<T extends SyncPrimitive, E>(read: () => T, mapThrown: (caught: unknown) => E): Result<T, E>;
+export declare function attempt<T extends NonThenableObject, E>(read: () => T, mapThrown: (caught: unknown) => E): Result<T, E>;
+export declare function attempt<T, E>(read: () => NotPromiseLike<T>, mapThrown: (caught: unknown) => E): Result<T, E>;
+/**
+ * Captures synchronous invocation plus Promise rejection as Result.
+ *
+ * The returned Promise resolves to Result; the mapper defines the recoverable
+ * error vocabulary for both abrupt paths.
+ */
+export declare const attemptAsync: <T, E>(read: () => PromiseLike<T>, mapThrown: (caught: unknown) => E) => Promise<Result<Awaited<T>, E>>;
+/** Wraps a synchronous function with the attempt boundary while preserving this and arguments. */
+export declare function wrap<Callable extends (...args: never[]) => unknown, E>(read: Callable & (true extends IsUnion<Callable> ? never : unknown) & (true extends IsUnion<OverloadUnion<Callable>> ? unknown : never) & (HasAsyncOverload<Callable> extends false ? unknown : never), mapThrown: (caught: unknown) => E): SyncWrappedOverloads<Callable, E>;
+export declare function wrap<This, Args extends unknown[], T extends SyncPrimitive, E>(read: (this: This, ...args: Args) => T, mapThrown: (caught: unknown) => E): (this: This, ...args: Args) => Result<T, E>;
+export declare function wrap<This, Args extends unknown[], T extends NonThenableObject, E>(read: (this: This, ...args: Args) => T, mapThrown: (caught: unknown) => E): (this: This, ...args: Args) => Result<T, E>;
+export declare function wrap<This, Args extends unknown[], T, E>(read: (this: This, ...args: Args) => NotPromiseLike<T>, mapThrown: (caught: unknown) => E): (this: This, ...args: Args) => Result<T, E>;
+/** Wraps an async function with the attemptAsync boundary while preserving this and arguments. */
+export declare function wrapAsync<Callable extends (...args: never[]) => unknown, E>(read: Callable & (true extends IsUnion<Callable> ? never : unknown) & (true extends IsUnion<OverloadUnion<Callable>> ? unknown : never) & (HasNonPromiseOverload<Callable> extends false ? unknown : never), mapThrown: (caught: unknown) => E): AsyncWrappedOverloads<Callable, E>;
+export declare function wrapAsync<This, Args extends unknown[], T, E>(read: (this: This, ...args: Args) => PromiseLike<T>, mapThrown: (caught: unknown) => E): (this: This, ...args: Args) => Promise<Result<Awaited<T>, E>>;
+export {};
+//# sourceMappingURL=capture.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"capture.d.ts","sourceRoot":"","sources":["../../src/result/capture.ts"],"names":[],"mappings":"AAAA,OAAO,EAAwB,KAAK,cAAc,EAAE,MAAM,6BAA6B,CAAC;AACxF,OAAO,EAAW,KAAK,MAAM,EAAE,MAAM,WAAW,CAAC;AAEjD,KAAK,aAAa,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,CAAC;AAEpF,KAAK,iBAAiB,GAAG,MAAM,GAAG;IAChC,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC;CACvB,CAAC;AAEF,KAAK,aAAa,CAAC,QAAQ,EAAE,OAAO,GAAG,OAAO,IAAI,QAAQ,SAAS,CACjE,IAAI,EAAE,MAAM,IAAI,EAChB,GAAG,IAAI,EAAE,MAAM,IAAI,KAChB,MAAM,MAAM,GACb,OAAO,SAAS,QAAQ,GACtB,KAAK,GAED,aAAa,CACX,OAAO,GAAG,QAAQ,EAClB,OAAO,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,MAAM,CAAC,CAClD,GACD,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,MAAM,CAAC,GAC7C,KAAK,CAAC;AAEV,KAAK,OAAO,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,IAAI,CAAC,SAAS,OAAO,GAC1C,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GACjB,KAAK,GACL,IAAI,GACN,KAAK,CAAC;AAEV,KAAK,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,KAAK,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CACrF,KAAK,EAAE,MAAM,YAAY,KACtB,IAAI,GACL,YAAY,GACZ,KAAK,CAAC;AAEV,KAAK,gBAAgB,CAAC,QAAQ,IAAI,IAAI,SAAS,CAC7C,aAAa,CAAC,QAAQ,CAAC,SAAS,MAAM,GAAG,GACrC,GAAG,SAAS,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,MAAM,MAAM,GAC5C,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,GACvC,KAAK,GACL,IAAI,GACN,KAAK,GACP,KAAK,CACV,GACG,IAAI,GACJ,KAAK,CAAC;AAEV,KAAK,qBAAqB,CAAC,QAAQ,IAAI,IAAI,SAAS,CAClD,aAAa,CAAC,QAAQ,CAAC,SAAS,MAAM,GAAG,GACrC,GAAG,SAAS,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,MAAM,MAAM,GAC5C,CAAC,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,GACrC,KAAK,GACL,IAAI,GACN,KAAK,GACP,KAAK,CACV,GACG,IAAI,GACJ,KAAK,CAAC;AAEV,KAAK,cAAc,CAAC,QAAQ,EAAE,CAAC,IAAI,QAAQ,SAAS,CAClD,IAAI,EAAE,MAAM,IAAI,EAChB,GAAG,IAAI,EAAE,MAAM,IAAI,KAChB,MAAM,MAAM,GACb,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAChD,KAAK,CAAC;AAEV,KAAK,oBAAoB,CAAC,QAAQ,EAAE,CAAC,IAAI,mBAAmB,CAC1D,aAAa,CAAC,QAAQ,CAAC,SAAS,MAAM,GAAG,GACrC,GAAG,SAAS,OAAO,GACjB,cAAc,CAAC,GAAG,EAAE,CAAC,CAAC,GACtB,KAAK,GACP,KAAK,CACV,CAAC;AAEF,KAAK,eAAe,CAAC,QAAQ,EAAE,CAAC,IAAI,QAAQ,SAAS,CACnD,IAAI,EAAE,MAAM,IAAI,EAChB,GAAG,IAAI,EAAE,MAAM,IAAI,KAChB,MAAM,MAAM,GACb,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,GAClE,KAAK,CAAC;AAEV,KAAK,qBAAqB,CAAC,QAAQ,EAAE,CAAC,IAAI,mBAAmB,CAC3D,aAAa,CAAC,QAAQ,CAAC,SAAS,MAAM,GAAG,GACrC,GAAG,SAAS,OAAO,GACjB,eAAe,CAAC,GAAG,EAAE,CAAC,CAAC,GACvB,KAAK,GACP,KAAK,CACV,CAAC;AAkBF;;;;;;GAMG;AACH,wBAAgB,OAAO,CAAC,CAAC,SAAS,aAAa,EAAE,CAAC,EAChD,IAAI,EAAE,MAAM,CAAC,EACb,SAAS,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,CAAC,GAChC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAEhB,wBAAgB,OAAO,CAAC,CAAC,SAAS,iBAAiB,EAAE,CAAC,EACpD,IAAI,EAAE,MAAM,CAAC,EACb,SAAS,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,CAAC,GAChC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAEhB,wBAAgB,OAAO,CAAC,CAAC,EAAE,CAAC,EAC1B,IAAI,EAAE,MAAM,cAAc,CAAC,CAAC,CAAC,EAC7B,SAAS,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,CAAC,GAChC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAShB;;;;;GAKG;AACH,eAAO,MAAM,YAAY,GAAU,CAAC,EAAE,CAAC,QAC/B,MAAM,WAAW,CAAC,CAAC,CAAC,aACf,CAAC,MAAM,EAAE,OAAO,KAAK,CAAC,KAChC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAM/B,CAAC;AAEF,kGAAkG;AAClG,wBAAgB,IAAI,CAAC,QAAQ,SAAS,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,OAAO,EAAE,CAAC,EACpE,IAAI,EAAE,QAAQ,GACZ,CAAC,IAAI,SAAS,OAAO,CAAC,QAAQ,CAAC,GAAG,KAAK,GAAG,OAAO,CAAC,GAClD,CAAC,IAAI,SAAS,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,GAAG,OAAO,GAAG,KAAK,CAAC,GACjE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,SAAS,KAAK,GAAG,OAAO,GAAG,KAAK,CAAC,EAC9D,SAAS,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,CAAC,GAChC,oBAAoB,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;AAErC,wBAAgB,IAAI,CAAC,IAAI,EAAE,IAAI,SAAS,OAAO,EAAE,EAAE,CAAC,SAAS,aAAa,EAAE,CAAC,EAC3E,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,EACtC,SAAS,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,CAAC,GAChC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAE/C,wBAAgB,IAAI,CAAC,IAAI,EAAE,IAAI,SAAS,OAAO,EAAE,EAAE,CAAC,SAAS,iBAAiB,EAAE,CAAC,EAC/E,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,EACtC,SAAS,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,CAAC,GAChC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAE/C,wBAAgB,IAAI,CAAC,IAAI,EAAE,IAAI,SAAS,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC,EACrD,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,EACtD,SAAS,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,CAAC,GAChC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAW/C,kGAAkG;AAClG,wBAAgB,SAAS,CAAC,QAAQ,SAAS,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,OAAO,EAAE,CAAC,EACzE,IAAI,EAAE,QAAQ,GACZ,CAAC,IAAI,SAAS,OAAO,CAAC,QAAQ,CAAC,GAAG,KAAK,GAAG,OAAO,CAAC,GAClD,CAAC,IAAI,SAAS,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,GAAG,OAAO,GAAG,KAAK,CAAC,GACjE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,SAAS,KAAK,GAAG,OAAO,GAAG,KAAK,CAAC,EACnE,SAAS,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,CAAC,GAChC,qBAAqB,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;AAEtC,wBAAgB,SAAS,CAAC,IAAI,EAAE,IAAI,SAAS,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC,EAC1D,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,EACnD,SAAS,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,CAAC,GAChC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,KAAK,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC"}

package/dist/result/capture.js

@@ -0,0 +1,41 @@
+import { assertNotPromiseLike } from "../internal/promise-like.js";
+import { err, ok } from "./core.js";
+const attemptRuntime = (read, mapThrown) => {
+    let value;
+    try {
+        value = read();
+    }
+    catch (caught) {
+        return err(mapThrown(caught));
+    }
+    assertNotPromiseLike(value, "attempt() expects a synchronous thunk.");
+    return ok(value);
+};
+export function attempt(read, mapThrown) {
+    return attemptRuntime(read, mapThrown);
+}
+/**
+ * Captures synchronous invocation plus Promise rejection as Result.
+ *
+ * The returned Promise resolves to Result; the mapper defines the recoverable
+ * error vocabulary for both abrupt paths.
+ */
+export const attemptAsync = async (read, mapThrown) => {
+    try {
+        return ok(await read());
+    }
+    catch (caught) {
+        return err(mapThrown(caught));
+    }
+};
+export function wrap(read, mapThrown) {
+    return function wrapped(...args) {
+        return attemptRuntime(() => Reflect.apply(read, this, args), mapThrown);
+    };
+}
+export function wrapAsync(read, mapThrown) {
+    return function wrappedAsync(...args) {
+        return attemptAsync(() => Reflect.apply(read, this, args), mapThrown);
+    };
+}
+//# sourceMappingURL=capture.js.map

package/dist/result/capture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"capture.js","sourceRoot":"","sources":["../../src/result/capture.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAuB,MAAM,6BAA6B,CAAC;AACxF,OAAO,EAAE,GAAG,EAAE,EAAE,EAAe,MAAM,WAAW,CAAC;AAwFjD,MAAM,cAAc,GAAG,CACrB,IAAa,EACb,SAAiC,EACnB,EAAE;IAChB,IAAI,KAAQ,CAAC;IAEb,IAAI,CAAC;QACH,KAAK,GAAG,IAAI,EAAE,CAAC;IACjB,CAAC;IAAC,OAAO,MAAM,EAAE,CAAC;QAChB,OAAO,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IAChC,CAAC;IAED,oBAAoB,CAAC,KAAK,EAAE,wCAAwC,CAAC,CAAC;IACtE,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC;AACnB,CAAC,CAAC;AAwBF,MAAM,UAAU,OAAO,CACrB,IAAa,EACb,SAAiC;IAEjC,OAAO,cAAc,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;AACzC,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,KAAK,EAC/B,IAA0B,EAC1B,SAAiC,EACD,EAAE;IAClC,IAAI,CAAC;QACH,OAAO,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;IAC1B,CAAC;IAAC,OAAO,MAAM,EAAE,CAAC;QAChB,OAAO,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IAChC,CAAC;AACH,CAAC,CAAC;AA0BF,MAAM,UAAU,IAAI,CAClB,IAAsC,EACtC,SAAiC;IAEjC,OAAO,SAAS,OAAO,CAAa,GAAG,IAAU;QAC/C,OAAO,cAAc,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,SAAS,CAAC,CAAC;IAC1E,CAAC,CAAC;AACJ,CAAC;AAgBD,MAAM,UAAU,SAAS,CACvB,IAAmD,EACnD,SAAiC;IAEjC,OAAO,SAAS,YAAY,CAE1B,GAAG,IAAU;QAEb,OAAO,YAAY,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,SAAS,CAAC,CAAC;IACxE,CAAC,CAAC;AACJ,CAAC"}

package/dist/result/core.d.ts

@@ -0,0 +1,98 @@
+import type { CallbackResult } from "../internal/callback.js";
+import { type NotPromiseLike } from "../internal/promise-like.js";
+import type { Option } from "../option.js";
+import type { Validation, ValidationIssues } from "../validation.js";
+/** A successful Result value. */
+export type Ok<T> = Readonly<{
+    ok: true;
+    value: T;
+}>;
+/** A recoverable Result error value. */
+export type Err<E> = Readonly<{
+    ok: false;
+    error: E;
+}>;
+/** Recoverable success or error with fail-fast composition. */
+export type Result<T, E> = Ok<T> | Err<E>;
+/** Native Promise composition around a Result value. */
+export type AsyncResult<T, E> = Promise<Result<T, E>>;
+/** Extracts the success value type from a Result union. */
+export type ResultValue<R> = R extends Ok<infer T> ? T : never;
+/** Extracts the error value type from a Result union. */
+export type ResultError<R> = R extends Err<infer E> ? E : never;
+type ResultValues<R extends readonly Result<unknown, unknown>[]> = {
+    [K in keyof R]: ResultValue<R[K]>;
+};
+type ValidationResultError<E> = [E] extends [never] ? never : ValidationIssues<E>;
+type SynchronousReturn<T> = [T] extends [NotPromiseLike<T>] ? unknown : never;
+type IsMutableArray<Value> = Value extends unknown[] ? true : false;
+type StableArrayInput<Value extends readonly unknown[]> = true extends IsMutableArray<Value> ? never : unknown;
+/** Constructs a successful Result and preserves the error axis as never. */
+export declare const ok: <T>(value: T) => Result<T, never>;
+/** Constructs an error Result and preserves the value axis as never. */
+export declare const err: <E>(error: E) => Result<never, E>;
+/** Narrows a Result to Ok. */
+export declare const isOk: <T, E>(result: Result<T, E>) => result is Ok<T>;
+/** Narrows a Result to Err. */
+export declare const isErr: <T, E>(result: Result<T, E>) => result is Err<E>;
+/** Eliminates a Result under the shared Match law. */
+export declare const match: <T, E, OkHandler extends (this: void, value: NoInfer<T>) => unknown, ErrHandler extends (this: void, error: NoInfer<E>) => unknown>(result: Result<T, E>, arms: Readonly<{
+    ok: OkHandler;
+    err: ErrHandler;
+}>) => CallbackResult<OkHandler> | CallbackResult<ErrHandler>;
+/** Transforms Ok and preserves Err. */
+export declare const map: <T, E, U>(result: Result<T, E>, transform: (value: T) => U) => Result<U, E>;
+/** Transforms Err and preserves Ok. */
+export declare const mapError: <T, E, F>(result: Result<T, E>, transform: (error: E) => F) => Result<T, F>;
+/** Sequences a dependent Result-producing success step. */
+export declare const andThen: <T, E, U, F>(result: Result<T, E>, next: (value: T) => Result<U, F>) => Result<U, E | F>;
+/** Recovers from Err with another Result. */
+export declare const orElse: <T, E, U, F>(result: Result<T, E>, recover: (error: E) => Result<U, F>) => Result<T | U, F>;
+/** Removes one explicit nested Result layer. */
+export declare const flatten: <T, E, F>(result: Result<Result<T, F>, E>) => Result<T, E | F>;
+/** Synchronously observes Ok and returns the original Result. */
+export declare const inspect: <T, E, R>(result: Result<T, E>, observe: ((value: T) => R) & SynchronousReturn<R>) => Result<T, E>;
+/** Synchronously observes Err and returns the original Result. */
+export declare const inspectError: <T, E, R>(result: Result<T, E>, observe: ((error: E) => R) & SynchronousReturn<R>) => Result<T, E>;
+/** Returns the Ok value or an eager fallback. */
+export declare const unwrapOr: <T, E, U>(result: Result<T, E>, fallback: U) => T | U;
+/** Returns the Ok value or evaluates a lazy fallback from Err. */
+export declare const unwrapOrElse: <T, E, U>(result: Result<T, E>, fallback: (error: E) => U) => T | U;
+/**
+ * Combines already-materialized Results in input order.
+ *
+ * The first Err is returned; complete success preserves tuple positions.
+ */
+export declare const all: <const R extends readonly Result<unknown, unknown>[]>(results: R & StableArrayInput<R>) => Result<ResultValues<R>, ResultError<R[number]>>;
+/** Converts presence into Result, lazily creating an error for None. */
+export declare const fromOption: <T, E>(option: Option<T>, onNone: () => E) => Result<T, E>;
+/**
+ * Converts Validation into Result.
+ *
+ * Invalid contributes its complete non-empty issue collection as one Result
+ * error value.
+ */
+export declare const fromValidation: <T, E>(validation: Validation<T, E>) => Result<T, ValidationResultError<E>>;
+type ResultFacade = Readonly<{
+    all: typeof all;
+    andThen: typeof andThen;
+    err: typeof err;
+    flatten: typeof flatten;
+    fromOption: typeof fromOption;
+    fromValidation: typeof fromValidation;
+    inspect: typeof inspect;
+    inspectError: typeof inspectError;
+    isErr: typeof isErr;
+    isOk: typeof isOk;
+    map: typeof map;
+    mapError: typeof mapError;
+    match: typeof match;
+    ok: typeof ok;
+    orElse: typeof orElse;
+    unwrapOr: typeof unwrapOr;
+    unwrapOrElse: typeof unwrapOrElse;
+}>;
+/** Facade for Result construction, transformation, elimination, and collection. */
+export declare const Result: ResultFacade;
+export {};
+//# sourceMappingURL=core.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"core.d.ts","sourceRoot":"","sources":["../../src/result/core.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,EAAwB,KAAK,cAAc,EAAE,MAAM,6BAA6B,CAAC;AACxF,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAErE,iCAAiC;AACjC,MAAM,MAAM,EAAE,CAAC,CAAC,IAAI,QAAQ,CAAC;IAC3B,EAAE,EAAE,IAAI,CAAC;IACT,KAAK,EAAE,CAAC,CAAC;CACV,CAAC,CAAC;AAEH,wCAAwC;AACxC,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,QAAQ,CAAC;IAC5B,EAAE,EAAE,KAAK,CAAC;IACV,KAAK,EAAE,CAAC,CAAC;CACV,CAAC,CAAC;AAEH,+DAA+D;AAC/D,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;AAE1C,wDAAwD;AACxD,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAEtD,2DAA2D;AAC3D,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAE/D,yDAAyD;AACzD,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAEhE,KAAK,YAAY,CAAC,CAAC,SAAS,SAAS,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,IAAI;KAChE,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAClC,CAAC;AAEF,KAAK,qBAAqB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;AAElF,KAAK,iBAAiB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,KAAK,CAAC;AAE9E,KAAK,cAAc,CAAC,KAAK,IAAI,KAAK,SAAS,OAAO,EAAE,GAAG,IAAI,GAAG,KAAK,CAAC;AAEpE,KAAK,gBAAgB,CAAC,KAAK,SAAS,SAAS,OAAO,EAAE,IACpD,IAAI,SAAS,cAAc,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,OAAO,CAAC;AAEvD,4EAA4E;AAC5E,eAAO,MAAM,EAAE,GAAI,CAAC,SAAS,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,KAAK,CAG9C,CAAC;AAEH,wEAAwE;AACxE,eAAO,MAAM,GAAG,GAAI,CAAC,SAAS,CAAC,KAAG,MAAM,CAAC,KAAK,EAAE,CAAC,CAG/C,CAAC;AAEH,8BAA8B;AAC9B,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,UAAU,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,IAAI,EAAE,CAAC,CAAC,CAAc,CAAC;AAE/E,+BAA+B;AAC/B,eAAO,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,UAAU,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,IAAI,GAAG,CAAC,CAAC,CAAe,CAAC;AAElF,sDAAsD;AACtD,eAAO,MAAM,KAAK,GAChB,CAAC,EACD,CAAC,EACD,SAAS,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,EAC5D,UAAU,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,UAErD,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,QACd,QAAQ,CAAC;IACb,EAAE,EAAE,SAAS,CAAC;IACd,GAAG,EAAE,UAAU,CAAC;CACjB,CAAC,KACD,cAAc,CAAC,SAAS,CAAC,GAAG,cAAc,CAAC,UAAU,CAQvD,CAAC;AAEF,uCAAuC;AACvC,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,UACjB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,aACT,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,KACzB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAuD,CAAC;AAEtE,uCAAuC;AACvC,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,UACtB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,aACT,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,KACzB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAwD,CAAC;AAEvE,2DAA2D;AAC3D,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,UACxB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,QACd,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAC/B,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAA8C,CAAC;AAEjE,6CAA6C;AAC7C,eAAO,MAAM,MAAM,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,UACvB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,WACX,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAClC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAiD,CAAC;AAEpE,gDAAgD;AAChD,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,UAAU,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAC/C,CAAC;AAEpC,iEAAiE;AACjE,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,UACrB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,WACX,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,KAChD,MAAM,CAAC,CAAC,EAAE,CAAC,CASb,CAAC;AAEF,kEAAkE;AAClE,eAAO,MAAM,YAAY,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,UAC1B,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,WACX,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,KAChD,MAAM,CAAC,CAAC,EAAE,CAAC,CASb,CAAC;AAEF,iDAAiD;AACjD,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,UAAU,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,YAAY,CAAC,KAAG,CAAC,GAAG,CACrC,CAAC;AAEtC,kEAAkE;AAClE,eAAO,MAAM,YAAY,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,UAC1B,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,YACV,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,KACxB,CAAC,GAAG,CAAwD,CAAC;AAEhE;;;;GAIG;AACH,eAAO,MAAM,GAAG,GAAI,KAAK,CAAC,CAAC,SAAS,SAAS,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,WAC5D,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,KAC/B,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAahD,CAAC;AAEF,wEAAwE;AACxE,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,UAAU,MAAM,CAAC,CAAC,CAAC,UAAU,MAAM,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CACjC,CAAC;AAEjD;;;;;GAKG;AACH,eAAO,MAAM,cAAc,GAAI,CAAC,EAAE,CAAC,cACrB,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAC3B,MAAM,CAAC,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAGgC,CAAC;AAEtE,KAAK,YAAY,GAAG,QAAQ,CAAC;IAC3B,GAAG,EAAE,OAAO,GAAG,CAAC;IAChB,OAAO,EAAE,OAAO,OAAO,CAAC;IACxB,GAAG,EAAE,OAAO,GAAG,CAAC;IAChB,OAAO,EAAE,OAAO,OAAO,CAAC;IACxB,UAAU,EAAE,OAAO,UAAU,CAAC;IAC9B,cAAc,EAAE,OAAO,cAAc,CAAC;IACtC,OAAO,EAAE,OAAO,OAAO,CAAC;IACxB,YAAY,EAAE,OAAO,YAAY,CAAC;IAClC,KAAK,EAAE,OAAO,KAAK,CAAC;IACpB,IAAI,EAAE,OAAO,IAAI,CAAC;IAClB,GAAG,EAAE,OAAO,GAAG,CAAC;IAChB,QAAQ,EAAE,OAAO,QAAQ,CAAC;IAC1B,KAAK,EAAE,OAAO,KAAK,CAAC;IACpB,EAAE,EAAE,OAAO,EAAE,CAAC;IACd,MAAM,EAAE,OAAO,MAAM,CAAC;IACtB,QAAQ,EAAE,OAAO,QAAQ,CAAC;IAC1B,YAAY,EAAE,OAAO,YAAY,CAAC;CACnC,CAAC,CAAC;AAEH,mFAAmF;AACnF,eAAO,MAAM,MAAM,EAAE,YAkBpB,CAAC"}