@igorjs/pure-ts 0.7.4 → 0.7.7

package/dist/core/index.d.ts

@@ -12,20 +12,32 @@
  * const result = pipe(Ok(42), r => r.map(n => n * 2));
  * ```
  */
-/** Typed equality comparison. */
+/** Typed equality comparison typeclass. */
 export { Eq } from "./eq.js";
-/** Optics for immutable nested data access and updates. */
+/** Lossless bidirectional transformation between two types. */
+/** Total optic for reading and updating a value that always exists in the source. */
+/** Partial optic for reading and updating a value that may not exist in the source. */
+/** Optic focusing on a variant of a sum type via getOption and reverseGet. */
+/** Optic focusing on multiple targets within a data structure. */
 export { Iso, Lens, LensOptional, Prism, Traversal } from "./lens.js";
-/** Exhaustive pattern matching with compile-time coverage. */
+/** Exhaustive pattern matching builder with compile-time coverage checking. */
 export { Match } from "./match.js";
-/** Option type and constructors for nullable value handling. */
-export { None, Option, type OptionMatcher, Some } from "./option.js";
-/** Typed ordering and comparison. */
+/** Absent variant of Option, representing no value. */
+/** Discriminated union representing a value that may or may not exist. */
+/** Pattern-match arms for Option.match. */
+/** Present variant constructor: wrap a value in Option. */
+export { None, type NoneVariant, Option, type OptionMatcher, Some, type SomeVariant, } from "./option.js";
+/** Typed ordering and comparison typeclass. */
 export { Ord } from "./ord.js";
-/** Left-to-right function composition and piping. */
+/** Compose functions left-to-right into a new function (point-free). */
+/** Pass a value through a sequence of unary functions left-to-right. */
 export { flow, pipe } from "./pipe.js";
-/** Result type and constructors for error-as-value handling. */
+/** Create a failed Result wrapping an error value. */
+/** Create a successful Result wrapping a value. */
+/** Discriminated union representing success (Ok) or failure (Err). */
+/** Pattern-match arms for Result.match. */
+/** Execute a function in try/catch, returning Result instead of throwing. */
 export { Err, Ok, Result, type ResultMatcher, tryCatch } from "./result.js";
-/** Pure state monad for threading state through computations. */
+/** Pure state monad for threading state through a sequence of computations. */
 export { State } from "./state.js";
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/core/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,iCAAiC;AACjC,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAC7B,2DAA2D;AAC3D,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtE,8DAA8D;AAC9D,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,gEAAgE;AAChE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,aAAa,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AACrE,qCAAqC;AACrC,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAC/B,qDAAqD;AACrD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACvC,gEAAgE;AAChE,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,aAAa,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC5E,iEAAiE;AACjE,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/core/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,2CAA2C;AAC3C,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAC7B,+DAA+D;AAC/D,qFAAqF;AACrF,uFAAuF;AACvF,8EAA8E;AAC9E,kEAAkE;AAClE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtE,+EAA+E;AAC/E,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,uDAAuD;AACvD,0EAA0E;AAC1E,2CAA2C;AAC3C,2DAA2D;AAC3D,OAAO,EACL,IAAI,EACJ,KAAK,WAAW,EAChB,MAAM,EACN,KAAK,aAAa,EAClB,IAAI,EACJ,KAAK,WAAW,GACjB,MAAM,aAAa,CAAC;AACrB,+CAA+C;AAC/C,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAC/B,wEAAwE;AACxE,wEAAwE;AACxE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACvC,sDAAsD;AACtD,mDAAmD;AACnD,sEAAsE;AACtE,2CAA2C;AAC3C,6EAA6E;AAC7E,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,aAAa,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC5E,+EAA+E;AAC/E,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC"}

package/dist/core/index.js

@@ -12,20 +12,32 @@
  * const result = pipe(Ok(42), r => r.map(n => n * 2));
  * ```
  */
-/** Typed equality comparison. */
+/** Typed equality comparison typeclass. */
 export { Eq } from "./eq.js";
-/** Optics for immutable nested data access and updates. */
+/** Lossless bidirectional transformation between two types. */
+/** Total optic for reading and updating a value that always exists in the source. */
+/** Partial optic for reading and updating a value that may not exist in the source. */
+/** Optic focusing on a variant of a sum type via getOption and reverseGet. */
+/** Optic focusing on multiple targets within a data structure. */
 export { Iso, Lens, LensOptional, Prism, Traversal } from "./lens.js";
-/** Exhaustive pattern matching with compile-time coverage. */
+/** Exhaustive pattern matching builder with compile-time coverage checking. */
 export { Match } from "./match.js";
-/** Option type and constructors for nullable value handling. */
-export { None, Option, Some } from "./option.js";
-/** Typed ordering and comparison. */
+/** Absent variant of Option, representing no value. */
+/** Discriminated union representing a value that may or may not exist. */
+/** Pattern-match arms for Option.match. */
+/** Present variant constructor: wrap a value in Option. */
+export { None, Option, Some, } from "./option.js";
+/** Typed ordering and comparison typeclass. */
 export { Ord } from "./ord.js";
-/** Left-to-right function composition and piping. */
+/** Compose functions left-to-right into a new function (point-free). */
+/** Pass a value through a sequence of unary functions left-to-right. */
 export { flow, pipe } from "./pipe.js";
-/** Result type and constructors for error-as-value handling. */
+/** Create a failed Result wrapping an error value. */
+/** Create a successful Result wrapping a value. */
+/** Discriminated union representing success (Ok) or failure (Err). */
+/** Pattern-match arms for Result.match. */
+/** Execute a function in try/catch, returning Result instead of throwing. */
 export { Err, Ok, Result, tryCatch } from "./result.js";
-/** Pure state monad for threading state through computations. */
+/** Pure state monad for threading state through a sequence of computations. */
 export { State } from "./state.js";
 //# sourceMappingURL=index.js.map

package/dist/core/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/core/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,iCAAiC;AACjC,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAC7B,2DAA2D;AAC3D,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtE,8DAA8D;AAC9D,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,gEAAgE;AAChE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAsB,IAAI,EAAE,MAAM,aAAa,CAAC;AACrE,qCAAqC;AACrC,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAC/B,qDAAqD;AACrD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACvC,gEAAgE;AAChE,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,EAAsB,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC5E,iEAAiE;AACjE,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/core/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,2CAA2C;AAC3C,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAC7B,+DAA+D;AAC/D,qFAAqF;AACrF,uFAAuF;AACvF,8EAA8E;AAC9E,kEAAkE;AAClE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtE,+EAA+E;AAC/E,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,uDAAuD;AACvD,0EAA0E;AAC1E,2CAA2C;AAC3C,2DAA2D;AAC3D,OAAO,EACL,IAAI,EAEJ,MAAM,EAEN,IAAI,GAEL,MAAM,aAAa,CAAC;AACrB,+CAA+C;AAC/C,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAC/B,wEAAwE;AACxE,wEAAwE;AACxE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACvC,sDAAsD;AACtD,mDAAmD;AACnD,sEAAsE;AACtE,2CAA2C;AAC3C,6EAA6E;AAC7E,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,EAAsB,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC5E,+EAA+E;AAC/E,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC"}

package/dist/core/option.d.ts

@@ -5,26 +5,14 @@
  * with a chainable monad. This forces callers to handle absence rather than
  * silently propagating `undefined` through pipelines.
  *
- * Two concrete classes (`SomeImpl`, `NoneImpl`) implement `OptionMethods`.
- * `None` is a singleton to avoid unnecessary allocations.
+ * The public API exposes two variant interfaces (`SomeVariant`, `NoneVariant`)
+ * whose union forms `Option<T>`. Private implementation classes back them at
+ * runtime. `None` is a singleton to avoid unnecessary allocations.
  *
  * The `Option` const/type merge provides `Option.fromNullable()` in value
  * position and `Option<T>` in type position, paralleling `Result`.
  */
 import type { Result } from "./result.js";
-/**
- * A discriminated union representing a value that may or may not exist.
- *
- * `Some<T>` wraps a present value; `None` signals absence. Use this instead
- * of `null` / `undefined` to make optionality explicit and chainable.
- *
- * @example
- * ```ts
- * const name: Option<string> = fromNullable(input);
- * const upper = name.map(s => s.toUpperCase()).unwrapOr('ANON');
- * ```
- */
-export type Option<T> = SomeImpl<T> | NoneImpl<T>;
 /** Pattern-match arms for {@link Option.match}. */
 export interface OptionMatcher<T, U> {
     /** Handler for the Some variant. */
@@ -32,65 +20,23 @@ export interface OptionMatcher<T, U> {
     /** Handler for the None variant. */
     readonly None: () => U;
 }
-/**
- * Shared contract for both `Some` and `None` variants.
- *
- * Ensures both classes expose identical method signatures so callers can
- * chain operations without narrowing first. `None` methods are no-ops
- * that propagate absence.
- */
-interface OptionMethods<T> {
-    /** Transform the value if present. */
-    map<U>(fn: (value: T) => U): Option<U>;
-    /** Chain into a dependent computation that may produce None. */
-    flatMap<U>(fn: (value: T) => Option<U>): Option<U>;
-    /** Keep the value only if the predicate holds. */
-    filter(predicate: (value: T) => boolean): Option<T>;
-    /** Run a side-effect on the value without altering the Option. */
-    tap(fn: (value: T) => void): Option<T>;
-    /** Extract the value or throw if None. */
-    unwrap(): T;
-    /** Extract the value or return the fallback. */
-    unwrapOr(_fallback: T): T;
-    /** Extract the value or compute a fallback. */
-    unwrapOrElse(_fn: () => T): T;
-    /** Pattern match on Some or None. */
-    match<U>(m: OptionMatcher<T, U>): U;
-    /** Convert to Result: Some becomes Ok, None becomes Err with the given error. */
-    toResult<E>(_error: E): Result<T, E>;
-    /** Pair this value with another Option's value. */
-    zip<U>(other: Option<U>): Option<[T, U]>;
-    /** Apply a wrapped function to this value. */
-    ap<U>(fnOption: Option<(value: T) => U>): Option<U>;
-    /** Return this Option if Some, otherwise the other. */
-    or(_other: Option<T>): Option<T>;
-    /** Serialize to a JSON-safe tagged object. */
-    toJSON(): {
-        tag: "Some";
-        value: T;
-    } | {
-        tag: "None";
-    };
-    /** Human-readable string representation. */
-    toString(): string;
-}
 /**
  * The present variant of {@link Option}.
  *
  * Wraps a value of type `T`. Provides monadic chaining (`map`, `flatMap`),
  * safe extraction (`unwrap`, `unwrapOr`), and pattern matching (`match`).
  *
- * Construct via the {@link Some} factory rather than `new SomeImpl(...)`.
+ * Construct via the {@link Some} factory rather than instantiating directly.
  */
-export declare class SomeImpl<T> implements OptionMethods<T> {
-    readonly value: T;
+export interface SomeVariant<T> {
     /** Discriminant tag for pattern matching. */
     readonly tag: "Some";
-    constructor(/** The wrapped value. */ value: T);
+    /** The wrapped value. */
+    readonly value: T;
     /** Whether this is a Some variant. Always true. */
-    get isSome(): true;
+    readonly isSome: true;
     /** Whether this is a None variant. Always false. */
-    get isNone(): false;
+    readonly isNone: false;
     /** Apply `fn` to the value, returning a new `Some`. */
     map<U>(fn: (value: T) => U): Option<U>;
     /** Chain into a dependent computation that may produce `None`. */
@@ -134,15 +80,15 @@ export declare class SomeImpl<T> implements OptionMethods<T> {
  * All value-channel operations (`map`, `flatMap`, `unwrap`) short-circuit,
  * preserving the `None`.
  *
- * Use the singleton {@link None} constant rather than `new NoneImpl()`.
+ * Use the singleton {@link None} constant rather than instantiating directly.
  */
-export declare class NoneImpl<T> implements OptionMethods<T> {
+export interface NoneVariant<T> {
     /** Discriminant tag for pattern matching. */
     readonly tag: "None";
     /** Whether this is a Some variant. Always false. */
-    get isSome(): false;
+    readonly isSome: false;
     /** Whether this is a None variant. Always true. */
-    get isNone(): true;
+    readonly isNone: true;
     /** No-op on `None`. */
     map<U>(_fn: (value: T) => U): Option<U>;
     /** No-op on `None`. */
@@ -174,6 +120,19 @@ export declare class NoneImpl<T> implements OptionMethods<T> {
     /** Human-readable string representation. */
     toString(): string;
 }
+/**
+ * A discriminated union representing a value that may or may not exist.
+ *
+ * `Some<T>` wraps a present value; `None` signals absence. Use this instead
+ * of `null` / `undefined` to make optionality explicit and chainable.
+ *
+ * @example
+ * ```ts
+ * const name: Option<string> = fromNullable(input);
+ * const upper = name.map(s => s.toUpperCase()).unwrapOr('ANON');
+ * ```
+ */
+export type Option<T> = SomeVariant<T> | NoneVariant<T>;
 /**
  * Wrap a value in `Some`.
  *
@@ -237,5 +196,4 @@ export declare const Option: {
     /** Type guard for Option values. */
     readonly is: (value: unknown) => value is Option<unknown>;
 };
-export {};
 //# sourceMappingURL=option.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"option.d.ts","sourceRoot":"","sources":["../../src/core/option.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAG1C;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;AAElD,mDAAmD;AACnD,MAAM,WAAW,aAAa,CAAC,CAAC,EAAE,CAAC;IACjC,oCAAoC;IACpC,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC;IAC/B,oCAAoC;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;CACxB;AAED;;;;;;GAMG;AACH,UAAU,aAAa,CAAC,CAAC;IACvB,sCAAsC;IACtC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACvC,gEAAgE;IAChE,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACnD,kDAAkD;IAClD,MAAM,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACpD,kEAAkE;IAClE,GAAG,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACvC,0CAA0C;IAC1C,MAAM,IAAI,CAAC,CAAC;IACZ,gDAAgD;IAChD,QAAQ,CAAC,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC;IAC1B,+CAA+C;IAC/C,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;IAC9B,qCAAqC;IACrC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IACpC,iFAAiF;IACjF,QAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC,mDAAmD;IACnD,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACzC,8CAA8C;IAC9C,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACpD,uDAAuD;IACvD,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACjC,8CAA8C;IAC9C,MAAM,IAAI;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,CAAC,CAAA;KAAE,GAAG;QAAE,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC;IACtD,4CAA4C;IAC5C,QAAQ,IAAI,MAAM,CAAC;CACpB;AAED;;;;;;;GAOG;AACH,qBAAa,QAAQ,CAAC,CAAC,CAAE,YAAW,aAAa,CAAC,CAAC,CAAC;IAGZ,QAAQ,CAAC,KAAK,EAAE,CAAC;IAFvD,6CAA6C;IAC7C,QAAQ,CAAC,GAAG,SAAmB;IAC/B,YAAY,yBAAyB,CAAU,KAAK,EAAE,CAAC,EAAI;IAE3D,mDAAmD;IACnD,IAAI,MAAM,IAAI,IAAI,CAEjB;IACD,oDAAoD;IACpD,IAAI,MAAM,IAAI,KAAK,CAElB;IAED,uDAAuD;IACvD,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAErC;IACD,kEAAkE;IAClE,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAEjD;IACD,yEAAyE;IACzE,MAAM,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAElD;IACD,kEAAkE;IAClE,GAAG,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAGrC;IACD,yBAAyB;IACzB,MAAM,IAAI,CAAC,CAEV;IACD,+CAA+C;IAC/C,QAAQ,CAAC,SAAS,EAAE,CAAC,GAAG,CAAC,CAExB;IACD,wDAAwD;IACxD,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,CAE5B;IACD,yCAAyC;IACzC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAElC;IACD,8BAA8B;IAC9B,QAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAEnC;IACD,0EAA0E;IAC1E,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAEvC;IACD;;;;;OAKG;IACH,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAElD;IACD,oDAAoD;IACpD,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAE/B;IACD,gDAAgD;IAChD,MAAM,IAAI;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,CAAC,CAAA;KAAE,CAElC;IACD,4CAA4C;IAC5C,QAAQ,IAAI,MAAM,CAEjB;CACF;AAED;;;;;;;GAOG;AACH,qBAAa,QAAQ,CAAC,CAAC,CAAE,YAAW,aAAa,CAAC,CAAC,CAAC;IAClD,6CAA6C;IAC7C,QAAQ,CAAC,GAAG,SAAmB;IAE/B,oDAAoD;IACpD,IAAI,MAAM,IAAI,KAAK,CAElB;IACD,mDAAmD;IACnD,IAAI,MAAM,IAAI,IAAI,CAEjB;IAED,uBAAuB;IACvB,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAEtC;IACD,uBAAuB;IACvB,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAElD;IACD,uBAAuB;IACvB,MAAM,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAEnD;IACD,uBAAuB;IACvB,GAAG,CAAC,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAEtC;IACD,wDAAwD;IACxD,MAAM,IAAI,KAAK,CAEd;IACD,gDAAgD;IAChD,QAAQ,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,CAEvB;IACD,4DAA4D;IAC5D,YAAY,CAAC,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAE3B;IACD,yCAAyC;IACzC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAElC;IACD,yDAAyD;IACzD,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAElC;IACD,oCAAoC;IACpC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAExC;IACD,oCAAoC;IACpC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAEnD;IACD,mDAAmD;IACnD,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAE9B;IACD,sCAAsC;IACtC,MAAM,IAAI;QAAE,GAAG,EAAE,MAAM,CAAA;KAAE,CAExB;IACD,4CAA4C;IAC5C,QAAQ,IAAI,MAAM,CAEjB;CACF;AAED;;;;;;;;GAQG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,wBAA6C,CAAC;AAEpE,mDAAmD;AACnD,eAAO,MAAM,IAAI,EAAE,MAAM,CAAC,KAAK,CAAkB,CAAC;AAElD;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,YAAY,GAAI,CAAC,2CAC8B,CAAC;AAE7D;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,cAAc,GAAI,CAAC,wDAO/B,CAAC;AAsDF,mEAAmE;AACnE,eAAO,MAAM,MAAM,EAAE;IACnB,4BAA4B;IAC5B,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC;IAC1C,gCAAgC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC7B,6CAA6C;IAC7C,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,SAAS,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC;IACrE,yFAAyF;IACzF,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAC7E,yBAAyB;IACzB,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAC9E,qEAAqE;IACrE,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EACtB,KAAK,EAAE,SAAS,CAAC,EAAE,EACnB,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,KACvB,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAC1B,uDAAuD;IACvD,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK;QACxD,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC;QAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;KACvB,CAAC;IACF,wCAAwC;IACxC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;IAC7E,oCAAoC;IACpC,QAAQ,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC;CAW3D,CAAC"}
+{"version":3,"file":"option.d.ts","sourceRoot":"","sources":["../../src/core/option.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAG1C,mDAAmD;AACnD,MAAM,WAAW,aAAa,CAAC,CAAC,EAAE,CAAC;IACjC,oCAAoC;IACpC,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC;IAC/B,oCAAoC;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;CACxB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,WAAW,CAAC,CAAC;IAC5B,6CAA6C;IAC7C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,yBAAyB;IACzB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAClB,mDAAmD;IACnD,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,oDAAoD;IACpD,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC;IACvB,uDAAuD;IACvD,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACvC,kEAAkE;IAClE,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACnD,yEAAyE;IACzE,MAAM,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACpD,kEAAkE;IAClE,GAAG,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACvC,yBAAyB;IACzB,MAAM,IAAI,CAAC,CAAC;IACZ,+CAA+C;IAC/C,QAAQ,CAAC,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC;IAC1B,wDAAwD;IACxD,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;IAC9B,yCAAyC;IACzC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IACpC,8BAA8B;IAC9B,QAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC,0EAA0E;IAC1E,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACzC;;;;;OAKG;IACH,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACpD,oDAAoD;IACpD,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACjC,gDAAgD;IAChD,MAAM,IAAI;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,CAAC,CAAA;KAAE,CAAC;IACpC,4CAA4C;IAC5C,QAAQ,IAAI,MAAM,CAAC;CACpB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,WAAW,CAAC,CAAC;IAC5B,6CAA6C;IAC7C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,oDAAoD;IACpD,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC;IACvB,mDAAmD;IACnD,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,uBAAuB;IACvB,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACxC,uBAAuB;IACvB,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACpD,uBAAuB;IACvB,MAAM,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACrD,uBAAuB;IACvB,GAAG,CAAC,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACxC,wDAAwD;IACxD,MAAM,IAAI,KAAK,CAAC;IAChB,gDAAgD;IAChD,QAAQ,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC;IACzB,4DAA4D;IAC5D,YAAY,CAAC,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;IAC7B,yCAAyC;IACzC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IACpC,yDAAyD;IACzD,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpC,oCAAoC;IACpC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1C,oCAAoC;IACpC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACrD,mDAAmD;IACnD,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAChC,sCAAsC;IACtC,MAAM,IAAI;QAAE,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1B,4CAA4C;IAC5C,QAAQ,IAAI,MAAM,CAAC;CACpB;AAED;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;AAyJxD;;;;;;;;GAQG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,wBAA6C,CAAC;AAEpE,mDAAmD;AACnD,eAAO,MAAM,IAAI,EAAE,MAAM,CAAC,KAAK,CAAkB,CAAC;AAElD;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,YAAY,GAAI,CAAC,2CAC8B,CAAC;AAE7D;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,cAAc,GAAI,CAAC,wDAO/B,CAAC;AAsDF,mEAAmE;AACnE,eAAO,MAAM,MAAM,EAAE;IACnB,4BAA4B;IAC5B,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC;IAC1C,gCAAgC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC7B,6CAA6C;IAC7C,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,SAAS,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC;IACrE,yFAAyF;IACzF,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAC7E,yBAAyB;IACzB,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAC9E,qEAAqE;IACrE,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EACtB,KAAK,EAAE,SAAS,CAAC,EAAE,EACnB,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,KACvB,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAC1B,uDAAuD;IACvD,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK;QACxD,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC;QAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;KACvB,CAAC;IACF,wCAAwC;IACxC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;IAC7E,oCAAoC;IACpC,QAAQ,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC;CAW3D,CAAC"}

package/dist/core/option.js

@@ -5,22 +5,16 @@
  * with a chainable monad. This forces callers to handle absence rather than
  * silently propagating `undefined` through pipelines.
  *
- * Two concrete classes (`SomeImpl`, `NoneImpl`) implement `OptionMethods`.
- * `None` is a singleton to avoid unnecessary allocations.
+ * The public API exposes two variant interfaces (`SomeVariant`, `NoneVariant`)
+ * whose union forms `Option<T>`. Private implementation classes back them at
+ * runtime. `None` is a singleton to avoid unnecessary allocations.
  *
  * The `Option` const/type merge provides `Option.fromNullable()` in value
  * position and `Option<T>` in type position, paralleling `Result`.
  */
 import { Err, Ok } from "./result.js";
-/**
- * The present variant of {@link Option}.
- *
- * Wraps a value of type `T`. Provides monadic chaining (`map`, `flatMap`),
- * safe extraction (`unwrap`, `unwrapOr`), and pattern matching (`match`).
- *
- * Construct via the {@link Some} factory rather than `new SomeImpl(...)`.
- */
-export class SomeImpl {
+/** @internal Runtime backing class for {@link SomeVariant}. */
+class SomeImpl {
     value;
     /** Discriminant tag for pattern matching. */
     tag = "Some";
@@ -98,15 +92,8 @@ export class SomeImpl {
         return `Some(${String(this.value)})`;
     }
 }
-/**
- * The absent variant of {@link Option}.
- *
- * All value-channel operations (`map`, `flatMap`, `unwrap`) short-circuit,
- * preserving the `None`.
- *
- * Use the singleton {@link None} constant rather than `new NoneImpl()`.
- */
-export class NoneImpl {
+/** @internal Runtime backing class for {@link NoneVariant}. */
+class NoneImpl {
     /** Discriminant tag for pattern matching. */
     tag = "None";
     /** Whether this is a Some variant. Always false. */

package/dist/core/option.js.map

@@ -1 +1 @@
-{"version":3,"file":"option.js","sourceRoot":"","sources":["../../src/core/option.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AA8DtC;;;;;;;GAOG;AACH,MAAM,OAAO,QAAQ;IAG4B,KAAK;IAFpD,6CAA6C;IACpC,GAAG,GAAG,MAAe,CAAC;IAC/B,YAAY,yBAAyB,CAAU,KAAQ;qBAAR,KAAK;IAAM,CAAC;IAE3D,mDAAmD;IACnD,IAAI,MAAM;QACR,OAAO,IAAI,CAAC;IACd,CAAC;IACD,oDAAoD;IACpD,IAAI,MAAM;QACR,OAAO,KAAK,CAAC;IACf,CAAC;IAED,uDAAuD;IACvD,GAAG,CAAI,EAAmB;QACxB,OAAO,IAAI,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACtC,CAAC;IACD,kEAAkE;IAClE,OAAO,CAAI,EAA2B;QACpC,OAAO,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;IACD,yEAAyE;IACzE,MAAM,CAAC,SAAgC;QACrC,OAAO,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7C,CAAC;IACD,kEAAkE;IAClE,GAAG,CAAC,EAAsB;QACxB,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACf,OAAO,IAAI,CAAC;IACd,CAAC;IACD,yBAAyB;IACzB,MAAM;QACJ,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IACD,+CAA+C;IAC/C,QAAQ,CAAC,SAAY;QACnB,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IACD,wDAAwD;IACxD,YAAY,CAAC,GAAY;QACvB,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IACD,yCAAyC;IACzC,KAAK,CAAI,CAAsB;QAC7B,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC;IACD,8BAA8B;IAC9B,QAAQ,CAAI,MAAS;QACnB,OAAO,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;IACD,0EAA0E;IAC1E,GAAG,CAAI,KAAgB;QACrB,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACvE,CAAC;IACD;;;;;OAKG;IACH,EAAE,CAAI,QAAiC;QACrC,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3E,CAAC;IACD,oDAAoD;IACpD,EAAE,CAAC,MAAiB;QAClB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,gDAAgD;IAChD,MAAM;QACJ,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IAC5C,CAAC;IACD,4CAA4C;IAC5C,QAAQ;QACN,OAAO,QAAQ,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;IACvC,CAAC;CACF;AAED;;;;;;;GAOG;AACH,MAAM,OAAO,QAAQ;IACnB,6CAA6C;IACpC,GAAG,GAAG,MAAe,CAAC;IAE/B,oDAAoD;IACpD,IAAI,MAAM;QACR,OAAO,KAAK,CAAC;IACf,CAAC;IACD,mDAAmD;IACnD,IAAI,MAAM;QACR,OAAO,IAAI,CAAC;IACd,CAAC;IAED,uBAAuB;IACvB,GAAG,CAAI,GAAoB;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,uBAAuB;IACvB,OAAO,CAAI,GAA4B;QACrC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,uBAAuB;IACvB,MAAM,CAAC,UAAiC;QACtC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,uBAAuB;IACvB,GAAG,CAAC,GAAuB;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,wDAAwD;IACxD,MAAM;QACJ,MAAM,IAAI,SAAS,CAAC,uBAAuB,CAAC,CAAC;IAC/C,CAAC;IACD,gDAAgD;IAChD,QAAQ,CAAC,QAAW;QAClB,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,4DAA4D;IAC5D,YAAY,CAAC,EAAW;QACtB,OAAO,EAAE,EAAE,CAAC;IACd,CAAC;IACD,yCAAyC;IACzC,KAAK,CAAI,CAAsB;QAC7B,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;IAClB,CAAC;IACD,yDAAyD;IACzD,QAAQ,CAAI,KAAQ;QAClB,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC;IACD,oCAAoC;IACpC,GAAG,CAAI,MAAiB;QACtB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,oCAAoC;IACpC,EAAE,CAAI,SAAkC;QACtC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,mDAAmD;IACnD,EAAE,CAAC,KAAgB;QACjB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,sCAAsC;IACtC,MAAM;QACJ,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;IACzB,CAAC;IACD,4CAA4C;IAC5C,QAAQ;QACN,OAAO,MAAM,CAAC;IAChB,CAAC;CACF;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAI,KAAQ,EAAa,EAAE,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC;AAEpE,mDAAmD;AACnD,MAAM,CAAC,MAAM,IAAI,GAAkB,IAAI,QAAQ,EAAE,CAAC;AAElD;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAI,KAA2B,EAAa,EAAE,CACxE,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAE7D;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAI,OAA6B,EAAwB,EAAE;IACvF,MAAM,MAAM,GAAQ,EAAE,CAAC;IACvB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC;AACtB,CAAC,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH;;;GAGG;AACH,MAAM,eAAe,GAAG,CACtB,KAAmB,EACnB,EAA0B,EACJ,EAAE;IACxB,MAAM,MAAM,GAAQ,EAAE,CAAC;IACvB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QACnB,IAAI,CAAC,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC;AACtB,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,gBAAgB,GAAG,CACvB,OAA6B,EAC2B,EAAE;IAC1D,MAAM,IAAI,GAAQ,EAAE,CAAC;IACrB,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YACb,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC;aAAM,CAAC;YACN,IAAI,EAAE,CAAC;QACT,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACxB,CAAC,CAAC;AAEF,mEAAmE;AACnE,MAAM,CAAC,MAAM,MAAM,GAyBf;IACF,IAAI;IACJ,IAAI;IACJ,YAAY;IACZ,OAAO,EAAE,cAAc;IACvB,QAAQ,EAAE,cAAc;IACxB,QAAQ,EAAE,eAAe;IACzB,SAAS,EAAE,gBAAgB;IAC3B,KAAK,EAAE,CAAO,MAAiB,EAAE,OAA4B,EAAK,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC;IAC1F,EAAE,EAAE,CAAC,KAAK,EAA4B,EAAE,CAAC,KAAK,YAAY,QAAQ,IAAI,KAAK,YAAY,QAAQ;CAChG,CAAC"}
+{"version":3,"file":"option.js","sourceRoot":"","sources":["../../src/core/option.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AAyHtC,+DAA+D;AAC/D,MAAM,QAAQ;IAGmC,KAAK;IAFpD,6CAA6C;IACpC,GAAG,GAAG,MAAe,CAAC;IAC/B,YAAY,yBAAyB,CAAU,KAAQ;qBAAR,KAAK;IAAM,CAAC;IAE3D,mDAAmD;IACnD,IAAI,MAAM;QACR,OAAO,IAAI,CAAC;IACd,CAAC;IACD,oDAAoD;IACpD,IAAI,MAAM;QACR,OAAO,KAAK,CAAC;IACf,CAAC;IAED,uDAAuD;IACvD,GAAG,CAAI,EAAmB;QACxB,OAAO,IAAI,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACtC,CAAC;IACD,kEAAkE;IAClE,OAAO,CAAI,EAA2B;QACpC,OAAO,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;IACD,yEAAyE;IACzE,MAAM,CAAC,SAAgC;QACrC,OAAO,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7C,CAAC;IACD,kEAAkE;IAClE,GAAG,CAAC,EAAsB;QACxB,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACf,OAAO,IAAI,CAAC;IACd,CAAC;IACD,yBAAyB;IACzB,MAAM;QACJ,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IACD,+CAA+C;IAC/C,QAAQ,CAAC,SAAY;QACnB,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IACD,wDAAwD;IACxD,YAAY,CAAC,GAAY;QACvB,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IACD,yCAAyC;IACzC,KAAK,CAAI,CAAsB;QAC7B,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC;IACD,8BAA8B;IAC9B,QAAQ,CAAI,MAAS;QACnB,OAAO,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;IACD,0EAA0E;IAC1E,GAAG,CAAI,KAAgB;QACrB,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACvE,CAAC;IACD;;;;;OAKG;IACH,EAAE,CAAI,QAAiC;QACrC,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3E,CAAC;IACD,oDAAoD;IACpD,EAAE,CAAC,MAAiB;QAClB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,gDAAgD;IAChD,MAAM;QACJ,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IAC5C,CAAC;IACD,4CAA4C;IAC5C,QAAQ;QACN,OAAO,QAAQ,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;IACvC,CAAC;CACF;AAED,+DAA+D;AAC/D,MAAM,QAAQ;IACZ,6CAA6C;IACpC,GAAG,GAAG,MAAe,CAAC;IAE/B,oDAAoD;IACpD,IAAI,MAAM;QACR,OAAO,KAAK,CAAC;IACf,CAAC;IACD,mDAAmD;IACnD,IAAI,MAAM;QACR,OAAO,IAAI,CAAC;IACd,CAAC;IAED,uBAAuB;IACvB,GAAG,CAAI,GAAoB;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,uBAAuB;IACvB,OAAO,CAAI,GAA4B;QACrC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,uBAAuB;IACvB,MAAM,CAAC,UAAiC;QACtC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,uBAAuB;IACvB,GAAG,CAAC,GAAuB;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,wDAAwD;IACxD,MAAM;QACJ,MAAM,IAAI,SAAS,CAAC,uBAAuB,CAAC,CAAC;IAC/C,CAAC;IACD,gDAAgD;IAChD,QAAQ,CAAC,QAAW;QAClB,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,4DAA4D;IAC5D,YAAY,CAAC,EAAW;QACtB,OAAO,EAAE,EAAE,CAAC;IACd,CAAC;IACD,yCAAyC;IACzC,KAAK,CAAI,CAAsB;QAC7B,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;IAClB,CAAC;IACD,yDAAyD;IACzD,QAAQ,CAAI,KAAQ;QAClB,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC;IACD,oCAAoC;IACpC,GAAG,CAAI,MAAiB;QACtB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,oCAAoC;IACpC,EAAE,CAAI,SAAkC;QACtC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,mDAAmD;IACnD,EAAE,CAAC,KAAgB;QACjB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,sCAAsC;IACtC,MAAM;QACJ,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;IACzB,CAAC;IACD,4CAA4C;IAC5C,QAAQ;QACN,OAAO,MAAM,CAAC;IAChB,CAAC;CACF;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAI,KAAQ,EAAa,EAAE,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC;AAEpE,mDAAmD;AACnD,MAAM,CAAC,MAAM,IAAI,GAAkB,IAAI,QAAQ,EAAE,CAAC;AAElD;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAI,KAA2B,EAAa,EAAE,CACxE,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAE7D;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAI,OAA6B,EAAwB,EAAE;IACvF,MAAM,MAAM,GAAQ,EAAE,CAAC;IACvB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC;AACtB,CAAC,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH;;;GAGG;AACH,MAAM,eAAe,GAAG,CACtB,KAAmB,EACnB,EAA0B,EACJ,EAAE;IACxB,MAAM,MAAM,GAAQ,EAAE,CAAC;IACvB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QACnB,IAAI,CAAC,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC;AACtB,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,gBAAgB,GAAG,CACvB,OAA6B,EAC2B,EAAE;IAC1D,MAAM,IAAI,GAAQ,EAAE,CAAC;IACrB,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YACb,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC;aAAM,CAAC;YACN,IAAI,EAAE,CAAC;QACT,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACxB,CAAC,CAAC;AAEF,mEAAmE;AACnE,MAAM,CAAC,MAAM,MAAM,GAyBf;IACF,IAAI;IACJ,IAAI;IACJ,YAAY;IACZ,OAAO,EAAE,cAAc;IACvB,QAAQ,EAAE,cAAc;IACxB,QAAQ,EAAE,eAAe;IACzB,SAAS,EAAE,gBAAgB;IAC3B,KAAK,EAAE,CAAO,MAAiB,EAAE,OAA4B,EAAK,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC;IAC1F,EAAE,EAAE,CAAC,KAAK,EAA4B,EAAE,CAAC,KAAK,YAAY,QAAQ,IAAI,KAAK,YAAY,QAAQ;CAChG,CAAC"}

package/dist/core/pipe.d.ts

@@ -32,13 +32,21 @@
  */
 /** Pass a value through a sequence of unary functions left-to-right. */
 export declare function pipe<A>(a: A): A;
+/** Pipe a value through 1 function. */
 export declare function pipe<A, B>(a: A, ab: (a: A) => B): B;
+/** Pipe a value through 2 functions. */
 export declare function pipe<A, B, C>(a: A, ab: (a: A) => B, bc: (b: B) => C): C;
+/** Pipe a value through 3 functions. */
 export declare function pipe<A, B, C, D>(a: A, ab: (a: A) => B, bc: (b: B) => C, cd: (c: C) => D): D;
+/** Pipe a value through 4 functions. */
 export declare function pipe<A, B, C, D, E>(a: A, ab: (a: A) => B, bc: (b: B) => C, cd: (c: C) => D, de: (d: D) => E): E;
+/** Pipe a value through 5 functions. */
 export declare function pipe<A, B, C, D, E, F>(a: A, ab: (a: A) => B, bc: (b: B) => C, cd: (c: C) => D, de: (d: D) => E, ef: (e: E) => F): F;
+/** Pipe a value through 6 functions. */
 export declare function pipe<A, B, C, D, E, F, G>(a: A, ab: (a: A) => B, bc: (b: B) => C, cd: (c: C) => D, de: (d: D) => E, ef: (e: E) => F, fg: (f: F) => G): G;
+/** Pipe a value through 7 functions. */
 export declare function pipe<A, B, C, D, E, F, G, H>(a: A, ab: (a: A) => B, bc: (b: B) => C, cd: (c: C) => D, de: (d: D) => E, ef: (e: E) => F, fg: (f: F) => G, gh: (g: G) => H): H;
+/** Pipe a value through 8 functions. */
 export declare function pipe<A, B, C, D, E, F, G, H, I>(a: A, ab: (a: A) => B, bc: (b: B) => C, cd: (c: C) => D, de: (d: D) => E, ef: (e: E) => F, fg: (f: F) => G, gh: (g: G) => H, hi: (h: H) => I): I;
 /**
  * Point-free function composition. Left-to-right.
@@ -54,9 +62,14 @@ export declare function pipe<A, B, C, D, E, F, G, H, I>(a: A, ab: (a: A) => B, b
  */
 /** Compose functions left-to-right, returning a new function. */
 export declare function flow<A, B>(ab: (a: A) => B): (a: A) => B;
+/** Compose 2 functions left-to-right. */
 export declare function flow<A, B, C>(ab: (a: A) => B, bc: (b: B) => C): (a: A) => C;
+/** Compose 3 functions left-to-right. */
 export declare function flow<A, B, C, D>(ab: (a: A) => B, bc: (b: B) => C, cd: (c: C) => D): (a: A) => D;
+/** Compose 4 functions left-to-right. */
 export declare function flow<A, B, C, D, E>(ab: (a: A) => B, bc: (b: B) => C, cd: (c: C) => D, de: (d: D) => E): (a: A) => E;
+/** Compose 5 functions left-to-right. */
 export declare function flow<A, B, C, D, E, F>(ab: (a: A) => B, bc: (b: B) => C, cd: (c: C) => D, de: (d: D) => E, ef: (e: E) => F): (a: A) => F;
+/** Compose 6 functions left-to-right. */
 export declare function flow<A, B, C, D, E, F, G>(ab: (a: A) => B, bc: (b: B) => C, cd: (c: C) => D, de: (d: D) => E, ef: (e: E) => F, fg: (f: F) => G): (a: A) => G;
 //# sourceMappingURL=pipe.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"pipe.d.ts","sourceRoot":"","sources":["../../src/core/pipe.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH;;;;;;;;;;;;;;;;GAgBG;AACH,wEAAwE;AACxE,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;AACjC,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AACrD,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AACzE,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AAC7F,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAChC,CAAC,EAAE,CAAC,EACJ,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAC;AACL,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACnC,CAAC,EAAE,CAAC,EACJ,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAC;AACL,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACtC,CAAC,EAAE,CAAC,EACJ,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAC;AACL,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACzC,CAAC,EAAE,CAAC,EACJ,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAC;AACL,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC5C,CAAC,EAAE,CAAC,EACJ,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAC;AAQL;;;;;;;;;;;GAWG;AACH,iEAAiE;AACjE,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AACzD,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AAC7E,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AACjG,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAChC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AACf,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACnC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AACf,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACtC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC"}
+{"version":3,"file":"pipe.d.ts","sourceRoot":"","sources":["../../src/core/pipe.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH;;;;;;;;;;;;;;;;GAgBG;AACH,wEAAwE;AACxE,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;AACjC,uCAAuC;AACvC,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AACrD,wCAAwC;AACxC,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AACzE,wCAAwC;AACxC,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AAC7F,wCAAwC;AACxC,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAChC,CAAC,EAAE,CAAC,EACJ,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAC;AACL,wCAAwC;AACxC,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACnC,CAAC,EAAE,CAAC,EACJ,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAC;AACL,wCAAwC;AACxC,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACtC,CAAC,EAAE,CAAC,EACJ,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAC;AACL,wCAAwC;AACxC,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACzC,CAAC,EAAE,CAAC,EACJ,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAC;AACL,wCAAwC;AACxC,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC5C,CAAC,EAAE,CAAC,EACJ,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAC;AAQL;;;;;;;;;;;GAWG;AACH,iEAAiE;AACjE,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AACzD,yCAAyC;AACzC,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AAC7E,yCAAyC;AACzC,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AACjG,yCAAyC;AACzC,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAChC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AACf,yCAAyC;AACzC,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACnC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AACf,yCAAyC;AACzC,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACtC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC"}

package/dist/core/pipe.js.map

@@ -1 +1 @@
-{"version":3,"file":"pipe.js","sourceRoot":"","sources":["../../src/core/pipe.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAqEH,MAAM,UAAU,IAAI,CAAC,OAAgB,EAAE,GAAG,GAAkC;IAC1E,IAAI,MAAM,GAAG,OAAO,CAAC;IACrB,sFAAsF;IACtF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,MAAM,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC;IAC9D,OAAO,MAAM,CAAC;AAChB,CAAC;AAuCD,MAAM,UAAU,IAAI,CAAC,GAAG,GAAkC;IACxD,OAAO,OAAO,CAAC,EAAE;QACf,IAAI,MAAM,GAAG,OAAO,CAAC;QACrB,sFAAsF;QACtF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,MAAM,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC;QAC9D,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;AACJ,CAAC"}
+{"version":3,"file":"pipe.js","sourceRoot":"","sources":["../../src/core/pipe.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AA6EH,MAAM,UAAU,IAAI,CAAC,OAAgB,EAAE,GAAG,GAAkC;IAC1E,IAAI,MAAM,GAAG,OAAO,CAAC;IACrB,sFAAsF;IACtF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,MAAM,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC;IAC9D,OAAO,MAAM,CAAC;AAChB,CAAC;AA4CD,MAAM,UAAU,IAAI,CAAC,GAAG,GAAkC;IACxD,OAAO,OAAO,CAAC,EAAE;QACf,IAAI,MAAM,GAAG,OAAO,CAAC;QACrB,sFAAsF;QACtF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,MAAM,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC;QAC9D,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;AACJ,CAAC"}

package/dist/core/result.d.ts

@@ -5,28 +5,15 @@
  * `Result<T, E>` instead of throwing. This eliminates invisible control
  * flow (try/catch) and makes error paths explicit in the type system.
  *
- * Two concrete classes (`OkImpl`, `ErrImpl`) share a common interface
- * (`ResultMethods`). Methods live on prototypes so instances carry only
- * their payload, keeping GC pressure low.
+ * Two public interfaces (`Ok`, `Err`) define the contract. Module-private
+ * classes (`OkImpl`, `ErrImpl`) provide the implementation. Methods live
+ * on prototypes so instances carry only their payload, keeping GC pressure
+ * low.
  *
  * The `Result` const/type merge lets callers use `Result.tryCatch()` in
  * value position and `Result<T, E>` in type position, mirroring Rust.
  */
 import type { Option } from "./option.js";
-/**
- * A discriminated union representing either success (`Ok<T>`) or failure (`Err<E>`).
- *
- * Result is the primary error-handling primitive in pure-ts: errors are values,
- * never thrown. Use `.isOk` / `.isErr` to narrow, or `.match()` for exhaustive
- * pattern matching.
- *
- * @example
- * ```ts
- * const parsed: Result<number, string> = parseAge(input);
- * const age = parsed.unwrapOr(0);
- * ```
- */
-export type Result<T, E> = OkImpl<T, E> | ErrImpl<T, E>;
 /** Pattern-match arms for {@link Result.match}. */
 export interface ResultMatcher<T, E, U> {
     /** Handler for the Ok variant. */
@@ -34,84 +21,39 @@ export interface ResultMatcher<T, E, U> {
     /** Handler for the Err variant. */
     readonly Err: (error: E) => U;
 }
-/**
- * Shared contract for both `Ok` and `Err` variants.
- *
- * This interface exists so `OkImpl` and `ErrImpl` are guaranteed to expose
- * the same set of methods, enabling exhaustive pattern matching and safe
- * narrowing via `.isOk` / `.isErr` without casting.
- */
-interface ResultMethods<T, E> {
-    /** Transform the success value. */
-    map<U>(fn: (value: T) => U): Result<U, E>;
-    /** Transform the error value. */
-    mapErr<F>(_fn: (error: E) => F): Result<T, F>;
-    /** Chain into a dependent computation that may fail. */
-    flatMap<U>(fn: (value: T) => Result<U, E>): Result<U, E>;
-    /** Run a side-effect on the success value without altering the Result. */
-    tap(fn: (value: T) => void): Result<T, E>;
-    /** Run a side-effect on the error without altering the Result. */
-    tapErr(_fn: (error: E) => void): Result<T, E>;
-    /** Extract the value or throw if Err. */
-    unwrap(): T;
-    /** Extract the value or return the fallback. */
-    unwrapOr(_fallback: T): T;
-    /** Extract the value or compute a fallback from the error. */
-    unwrapOrElse(_fn: (error: E) => T): T;
-    /** Extract the error or throw if Ok. */
-    unwrapErr(): never | E;
-    /** Pattern match on Ok or Err. */
-    match<U>(m: ResultMatcher<T, E, U>): U;
-    /** Convert to Option: Ok becomes Some, Err becomes None. */
-    toOption(): Option<T>;
-    /** Pair this value with another Result's value. */
-    zip<U>(other: Result<U, E>): Result<[T, U], E>;
-    /** Apply a wrapped function to this value. */
-    ap<U>(fnResult: Result<(value: T) => U, E>): Result<U, E>;
-    /** Serialize to a JSON-safe tagged object. */
-    toJSON(): {
-        tag: "Ok";
-        value: T;
-    } | {
-        tag: "Err";
-        error: E;
-    };
-    /** Human-readable string representation. */
-    toString(): string;
-}
 /**
  * The success variant of {@link Result}.
  *
  * Wraps a value of type `T` and provides monadic chaining (`map`, `flatMap`),
  * safe extraction (`unwrap`, `unwrapOr`), and pattern matching (`match`).
  *
- * Construct via the {@link Ok} factory rather than `new OkImpl(...)`.
+ * Construct via the {@link Ok} factory: `Ok(42)`.
  */
-export declare class OkImpl<T, E> implements ResultMethods<T, E> {
-    readonly value: T;
+export interface Ok<T, E> {
     /** Discriminant tag for pattern matching. */
     readonly tag: "Ok";
-    constructor(/** The wrapped success value. */ value: T);
-    /** Whether this is an Ok variant. Always true. */
-    get isOk(): true;
-    /** Whether this is an Err variant. Always false. */
-    get isErr(): false;
+    /** Whether this is an Ok variant. Always `true`. */
+    readonly isOk: true;
+    /** Whether this is an Err variant. Always `false`. */
+    readonly isErr: false;
+    /** The wrapped success value. */
+    readonly value: T;
     /** Apply `fn` to the success value, returning a new `Ok`. */
     map<U>(fn: (value: T) => U): Result<U, E>;
     /** No-op on `Ok`: the error channel is empty. */
-    mapErr<F>(_fn: (error: E) => F): Result<T, F>;
+    mapErr<F>(fn: (error: E) => F): Result<T, F>;
     /** Chain into a dependent computation that may fail. */
     flatMap<U>(fn: (value: T) => Result<U, E>): Result<U, E>;
     /** Run a side-effect on the success value without altering the Result. */
     tap(fn: (value: T) => void): Result<T, E>;
     /** No-op on `Ok`: no error to tap. */
-    tapErr(_fn: (error: E) => void): Result<T, E>;
+    tapErr(fn: (error: E) => void): Result<T, E>;
     /** Extract the success value. */
     unwrap(): T;
     /** Return the success value, ignoring the fallback. */
-    unwrapOr(_fallback: T): T;
+    unwrapOr(fallback: T): T;
     /** Return the success value, ignoring the recovery function. */
-    unwrapOrElse(_fn: (error: E) => T): T;
+    unwrapOrElse(fn: (error: E) => T): T;
     /** Throws: there is no error to extract from `Ok`. */
     unwrapErr(): never;
     /** Exhaustively handle both variants. */
@@ -141,25 +83,25 @@ export declare class OkImpl<T, E> implements ResultMethods<T, E> {
  * Wraps an error of type `E`. All value-channel operations (`map`, `flatMap`,
  * `unwrap`) short-circuit, preserving the error.
  *
- * Construct via the {@link Err} factory rather than `new ErrImpl(...)`.
+ * Construct via the {@link Err} factory: `Err('not found')`.
  */
-export declare class ErrImpl<T, E> implements ResultMethods<T, E> {
-    readonly error: E;
+export interface Err<T, E> {
     /** Discriminant tag for pattern matching. */
     readonly tag: "Err";
-    constructor(/** The wrapped error value. */ error: E);
-    /** Whether this is an Ok variant. Always false. */
-    get isOk(): false;
-    /** Whether this is an Err variant. Always true. */
-    get isErr(): true;
+    /** Whether this is an Ok variant. Always `false`. */
+    readonly isOk: false;
+    /** Whether this is an Err variant. Always `true`. */
+    readonly isErr: true;
+    /** The wrapped error value. */
+    readonly error: E;
     /** No-op on `Err`: the value channel is empty. */
-    map<U>(_fn: (value: T) => U): Result<U, E>;
+    map<U>(fn: (value: T) => U): Result<U, E>;
     /** Apply `fn` to the error, returning a new `Err`. */
     mapErr<F>(fn: (error: E) => F): Result<T, F>;
     /** Short-circuit: propagate this `Err` without calling `fn`. */
-    flatMap<U>(_fn: (value: T) => Result<U, E>): Result<U, E>;
+    flatMap<U>(fn: (value: T) => Result<U, E>): Result<U, E>;
     /** No-op on `Err`: no value to tap. */
-    tap(_fn: (value: T) => void): Result<T, E>;
+    tap(fn: (value: T) => void): Result<T, E>;
     /** Run a side-effect on the error without altering the Result. */
     tapErr(fn: (error: E) => void): Result<T, E>;
     /** Throws: there is no success value to extract from `Err`. */
@@ -175,9 +117,9 @@ export declare class ErrImpl<T, E> implements ResultMethods<T, E> {
     /** Convert to `None` (the success value is absent). */
     toOption(): Option<T>;
     /** Short-circuit: propagate this `Err`. */
-    zip<U>(_other: Result<U, E>): Result<[T, U], E>;
+    zip<U>(other: Result<U, E>): Result<[T, U], E>;
     /** Short-circuit: propagate this `Err`. */
-    ap<U>(_fnResult: Result<(value: T) => U, E>): Result<U, E>;
+    ap<U>(fnResult: Result<(value: T) => U, E>): Result<U, E>;
     /** Serialize as `{ tag: 'Err', error: E }`. */
     toJSON(): {
         tag: "Err";
@@ -186,10 +128,24 @@ export declare class ErrImpl<T, E> implements ResultMethods<T, E> {
     /** Human-readable string representation. */
     toString(): string;
 }
+/**
+ * A discriminated union representing either success (`Ok<T>`) or failure (`Err<E>`).
+ *
+ * Result is the primary error-handling primitive in pure-ts: errors are values,
+ * never thrown. Use `.isOk` / `.isErr` to narrow, or `.match()` for exhaustive
+ * pattern matching.
+ *
+ * @example
+ * ```ts
+ * const parsed: Result<number, string> = parseAge(input);
+ * const age = parsed.unwrapOr(0);
+ * ```
+ */
+export type Result<T, E> = Ok<T, E> | Err<T, E>;
 /** Widen the value-type of an Err result. Returns Result<never, E>. */
-export declare const castErr: <T, E>(r: ErrImpl<T, E>) => Result<never, E>;
+export declare const castErr: <T, E>(r: Err<T, E>) => Result<never, E>;
 /** Widen the error-type of an Ok result. Returns Result<T, never>. */
-export declare const castOk: <T, E>(r: OkImpl<T, E>) => Result<T, never>;
+export declare const castOk: <T, E>(r: Ok<T, E>) => Result<T, never>;
 /**
  * Create a successful {@link Result} wrapping `value`.
  *
@@ -261,5 +217,4 @@ export declare const Result: {
     /** Type guard for Result values. */
     readonly is: (value: unknown) => value is Result<unknown, unknown>;
 };
-export {};
 //# sourceMappingURL=result.d.ts.map