@nlozgachev/pipelined 0.12.0 → 0.13.0

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

@@ -1,197 +0,0 @@
-import { WithError, WithKind, WithValue } from "./InternalTypes.js";
-import { Option } from "./Option.js";
-import { Result } from "./Result.js";
-/**
- * RemoteData represents the state of an async data fetch.
- * It has four states: NotAsked, Loading, Failure, and Success.
- *
- * Use RemoteData to model data fetching states explicitly,
- * replacing the common `{ data: T | null; loading: boolean; error: Error | null }` pattern.
- *
- * @example
- * ```ts
- * const renderUser = pipe(
- *   userData,
- *   RemoteData.match({
- *     notAsked: () => "Click to load",
- *     loading: () => "Loading...",
- *     failure: e => `Error: ${e.message}`,
- *     success: user => `Hello, ${user.name}!`
- *   })
- * );
- * ```
- */
-export type RemoteData<E, A> = NotAsked | Loading | Failure<E> | Success<A>;
-export type NotAsked = WithKind<"NotAsked">;
-export type Loading = WithKind<"Loading">;
-export type Failure<E> = WithKind<"Failure"> & WithError<E>;
-export type Success<A> = WithKind<"Success"> & WithValue<A>;
-export declare namespace RemoteData {
-    /**
-     * Creates a NotAsked RemoteData.
-     */
-    const notAsked: <E, A>() => RemoteData<E, A>;
-    /**
-     * Creates a Loading RemoteData.
-     */
-    const loading: <E, A>() => RemoteData<E, A>;
-    /**
-     * Creates a Failure RemoteData with the given error.
-     */
-    const failure: <E, A>(error: E) => RemoteData<E, A>;
-    /**
-     * Creates a Success RemoteData with the given value.
-     */
-    const success: <E, A>(value: A) => RemoteData<E, A>;
-    /**
-     * Type guard that checks if a RemoteData is NotAsked.
-     */
-    const isNotAsked: <E, A>(data: RemoteData<E, A>) => data is NotAsked;
-    /**
-     * Type guard that checks if a RemoteData is Loading.
-     */
-    const isLoading: <E, A>(data: RemoteData<E, A>) => data is Loading;
-    /**
-     * Type guard that checks if a RemoteData is Failure.
-     */
-    const isFailure: <E, A>(data: RemoteData<E, A>) => data is Failure<E>;
-    /**
-     * Type guard that checks if a RemoteData is Success.
-     */
-    const isSuccess: <E, A>(data: RemoteData<E, A>) => data is Success<A>;
-    /**
-     * Transforms the success value inside a RemoteData.
-     *
-     * @example
-     * ```ts
-     * pipe(RemoteData.success(5), RemoteData.map(n => n * 2)); // Success(10)
-     * pipe(RemoteData.loading(), RemoteData.map(n => n * 2)); // Loading
-     * ```
-     */
-    const map: <A, B>(f: (a: A) => B) => <E>(data: RemoteData<E, A>) => RemoteData<E, B>;
-    /**
-     * Transforms the error value inside a RemoteData.
-     *
-     * @example
-     * ```ts
-     * pipe(RemoteData.failure("oops"), RemoteData.mapError(e => e.toUpperCase())); // Failure("OOPS")
-     * ```
-     */
-    const mapError: <E, F>(f: (e: E) => F) => <A>(data: RemoteData<E, A>) => RemoteData<F, A>;
-    /**
-     * Chains RemoteData computations. If the input is Success, passes the value to f.
-     * Otherwise, propagates the current state.
-     *
-     * @example
-     * ```ts
-     * pipe(
-     *   RemoteData.success(5),
-     *   RemoteData.chain(n => n > 0 ? RemoteData.success(n) : RemoteData.failure("negative"))
-     * );
-     * ```
-     */
-    const chain: <E, A, B>(f: (a: A) => RemoteData<E, B>) => (data: RemoteData<E, A>) => RemoteData<E, B>;
-    /**
-     * Applies a function wrapped in a RemoteData to a value wrapped in a RemoteData.
-     *
-     * @example
-     * ```ts
-     * const add = (a: number) => (b: number) => a + b;
-     * pipe(
-     *   RemoteData.success(add),
-     *   RemoteData.ap(RemoteData.success(5)),
-     *   RemoteData.ap(RemoteData.success(3))
-     * ); // Success(8)
-     * ```
-     */
-    const ap: <E, A>(arg: RemoteData<E, A>) => <B>(data: RemoteData<E, (a: A) => B>) => RemoteData<E, B>;
-    /**
-     * Extracts the value from a RemoteData by providing handlers for all four cases.
-     *
-     * @example
-     * ```ts
-     * pipe(
-     *   userData,
-     *   RemoteData.fold(
-     *     () => "Not asked",
-     *     () => "Loading...",
-     *     e => `Error: ${e}`,
-     *     value => `Got: ${value}`
-     *   )
-     * );
-     * ```
-     */
-    const fold: <E, A, B>(onNotAsked: () => B, onLoading: () => B, onFailure: (e: E) => B, onSuccess: (a: A) => B) => (data: RemoteData<E, A>) => B;
-    /**
-     * Pattern matches on a RemoteData, returning the result of the matching case.
-     *
-     * @example
-     * ```ts
-     * pipe(
-     *   userData,
-     *   RemoteData.match({
-     *     notAsked: () => "Click to load",
-     *     loading: () => "Loading...",
-     *     failure: e => `Error: ${e}`,
-     *     success: user => `Hello, ${user.name}!`
-     *   })
-     * );
-     * ```
-     */
-    const match: <E, A, B>(cases: {
-        notAsked: () => B;
-        loading: () => B;
-        failure: (e: E) => B;
-        success: (a: A) => B;
-    }) => (data: RemoteData<E, A>) => B;
-    /**
-     * Returns the success value or a default value if the RemoteData is not Success.
-     * The default can be a different type, widening the result to `A | B`.
-     *
-     * @example
-     * ```ts
-     * pipe(RemoteData.success(5), RemoteData.getOrElse(() => 0)); // 5
-     * pipe(RemoteData.loading(), RemoteData.getOrElse(() => 0)); // 0
-     * pipe(RemoteData.loading<string, number>(), RemoteData.getOrElse(() => null)); // null — typed as number | null
-     * ```
-     */
-    const getOrElse: <E, A, B>(defaultValue: () => B) => (data: RemoteData<E, A>) => A | B;
-    /**
-     * Executes a side effect on the success value without changing the RemoteData.
-     *
-     * @example
-     * ```ts
-     * pipe(
-     *   RemoteData.success(5),
-     *   RemoteData.tap(n => console.log("Value:", n)),
-     *   RemoteData.map(n => n * 2)
-     * );
-     * ```
-     */
-    const tap: <E, A>(f: (a: A) => void) => (data: RemoteData<E, A>) => RemoteData<E, A>;
-    /**
-     * Recovers from a Failure state by providing a fallback RemoteData.
-     * The fallback can produce a different success type, widening the result to `RemoteData<E, A | B>`.
-     */
-    const recover: <E, A, B>(fallback: (e: E) => RemoteData<E, B>) => (data: RemoteData<E, A>) => RemoteData<E, A | B>;
-    /**
-     * Converts a RemoteData to an Option.
-     * Success becomes Some, all other states become None.
-     */
-    const toOption: <E, A>(data: RemoteData<E, A>) => Option<A>;
-    /**
-     * Converts a RemoteData to a Result.
-     * Success becomes Ok, Failure becomes Err.
-     * NotAsked and Loading become Err with the provided fallback error.
-     *
-     * @example
-     * ```ts
-     * pipe(
-     *   RemoteData.success(42),
-     *   RemoteData.toResult(() => "not loaded")
-     * ); // Ok(42)
-     * ```
-     */
-    const toResult: <E>(onNotReady: () => E) => <A>(data: RemoteData<E, A>) => Result<E, A>;
-}
-//# sourceMappingURL=RemoteData.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"RemoteData.d.ts","sourceRoot":"","sources":["../../../src/src/Core/RemoteData.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACpE,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,QAAQ,GAAG,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;AAE5E,MAAM,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;AAC5C,MAAM,MAAM,OAAO,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;AAC1C,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,QAAQ,CAAC,SAAS,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;AAC5D,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,QAAQ,CAAC,SAAS,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;AAK5D,yBAAiB,UAAU,CAAC;IAC3B;;OAEG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,OAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAc,CAAC;IAEhE;;OAEG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,OAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAa,CAAC;IAE9D;;OAEG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAGtD,CAAC;IAEH;;OAEG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAGtD,CAAC;IAEH;;OAEG;IACI,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,QAAoC,CAAC;IAEvG;;OAEG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,OAAkC,CAAC;IAEpG;;OAEG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,OAAO,CAAC,CAAC,CAA4B,CAAC;IAEvG;;OAEG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,OAAO,CAAC,CAAC,CAA4B,CAAC;IAEvG;;;;;;;;OAQG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CACnB,CAAC;IAEvE;;;;;;;OAOG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CACxB,CAAC;IAEvE;;;;;;;;;;;OAWG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAC7C,CAAC;IAE9D;;;;;;;;;;;;OAYG;IACI,MAAM,EAAE,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAQxG,CAAC;IAEF;;;;;;;;;;;;;;;OAeG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAC3B,YAAY,MAAM,CAAC,EACnB,WAAW,MAAM,CAAC,EAClB,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACtB,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAEtB,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAWzB,CAAC;IAEF;;;;;;;;;;;;;;;OAeG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO;QACrC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC,CAAC;QACjB,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACrB,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;KACrB,MACA,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAWzB,CAAC;IAEF;;;;;;;;;;OAUG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,cAAc,MAAM,CAAC,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAC,GAAG,CAC7C,CAAC;IAE/C;;;;;;;;;;;OAWG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAGxF,CAAC;IAEF;;;OAGG;IACI,MAAM,OAAO,GAClB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAClD,CAAC;IAEhD;;;OAGG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,CACN,CAAC;IAE3D;;;;;;;;;;;;OAYG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,YAAY,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CACM,CAAC;CACnG"}

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

@@ -1,182 +0,0 @@
-import { WithError, WithKind, WithValue } from "./InternalTypes.js";
-import { Option } from "./Option.js";
-/**
- * Result represents a value that can be one of two types: a success (Ok) or a failure (Err).
- * Use Result when an operation can fail with a meaningful error value.
- *
- * @example
- * ```ts
- * const divide = (a: number, b: number): Result<string, number> =>
- *   b === 0 ? Result.err("Division by zero") : Result.ok(a / b);
- *
- * pipe(
- *   divide(10, 2),
- *   Result.map(n => n * 2),
- *   Result.getOrElse(() => 0)
- * ); // 10
- * ```
- */
-export type Result<E, A> = Ok<A> | Err<E>;
-export type Ok<A> = WithKind<"Ok"> & WithValue<A>;
-export type Err<E> = WithKind<"Error"> & WithError<E>;
-export declare namespace Result {
-    /**
-     * Creates a successful Result with the given value.
-     */
-    const ok: <A>(value: A) => Ok<A>;
-    /**
-     * Creates a failed Result with the given error.
-     */
-    const err: <E>(error: E) => Err<E>;
-    /**
-     * Type guard that checks if an Result is Ok.
-     */
-    const isOk: <E, A>(data: Result<E, A>) => data is Ok<A>;
-    /**
-     * Type guard that checks if an Result is Err.
-     */
-    const isErr: <E, A>(data: Result<E, A>) => data is Err<E>;
-    /**
-     * Creates an Result from a function that may throw.
-     * Catches any errors and transforms them using the onError function.
-     *
-     * @example
-     * ```ts
-     * const parseJson = (s: string): Result<string, unknown> =>
-     *   Result.tryCatch(
-     *     () => JSON.parse(s),
-     *     (e) => `Parse error: ${e}`
-     *   );
-     * ```
-     */
-    const tryCatch: <E, A>(f: () => A, onError: (e: unknown) => E) => Result<E, A>;
-    /**
-     * Transforms the success value inside an Result.
-     *
-     * @example
-     * ```ts
-     * pipe(Result.ok(5), Result.map(n => n * 2)); // Ok(10)
-     * pipe(Result.err("error"), Result.map(n => n * 2)); // Err("error")
-     * ```
-     */
-    const map: <E, A, B>(f: (a: A) => B) => (data: Result<E, A>) => Result<E, B>;
-    /**
-     * Transforms the error value inside an Result.
-     *
-     * @example
-     * ```ts
-     * pipe(Result.err("oops"), Result.mapError(e => e.toUpperCase())); // Err("OOPS")
-     * ```
-     */
-    const mapError: <E, F, A>(f: (e: E) => F) => (data: Result<E, A>) => Result<F, A>;
-    /**
-     * Chains Result computations. If the first is Ok, passes the value to f.
-     * If the first is Err, propagates the error.
-     *
-     * @example
-     * ```ts
-     * const validatePositive = (n: number): Result<string, number> =>
-     *   n > 0 ? Result.ok(n) : Result.err("Must be positive");
-     *
-     * pipe(Result.ok(5), Result.chain(validatePositive)); // Ok(5)
-     * pipe(Result.ok(-1), Result.chain(validatePositive)); // Err("Must be positive")
-     * ```
-     */
-    const chain: <E, A, B>(f: (a: A) => Result<E, B>) => (data: Result<E, A>) => Result<E, B>;
-    /**
-     * Extracts the value from an Result by providing handlers for both cases.
-     *
-     * @example
-     * ```ts
-     * pipe(
-     *   Result.ok(5),
-     *   Result.fold(
-     *     e => `Error: ${e}`,
-     *     n => `Value: ${n}`
-     *   )
-     * ); // "Value: 5"
-     * ```
-     */
-    const fold: <E, A, B>(onErr: (e: E) => B, onOk: (a: A) => B) => (data: Result<E, A>) => B;
-    /**
-     * Pattern matches on a Result, returning the result of the matching case.
-     *
-     * @example
-     * ```ts
-     * pipe(
-     *   result,
-     *   Result.match({
-     *     ok: value => `Got ${value}`,
-     *     err: error => `Failed: ${error}`
-     *   })
-     * );
-     * ```
-     */
-    const match: <E, A, B>(cases: {
-        ok: (a: A) => B;
-        err: (e: E) => B;
-    }) => (data: Result<E, A>) => B;
-    /**
-     * Returns the success value or a default value if the Result is an error.
-     * The default is a thunk `() => B` — evaluated only when the Result is Err.
-     * The default can be a different type, widening the result to `A | B`.
-     *
-     * @example
-     * ```ts
-     * pipe(Result.ok(5), Result.getOrElse(() => 0)); // 5
-     * pipe(Result.err("error"), Result.getOrElse(() => 0)); // 0
-     * pipe(Result.err("error"), Result.getOrElse(() => null)); // null — typed as number | null
-     * ```
-     */
-    const getOrElse: <E, A, B>(defaultValue: () => B) => (data: Result<E, A>) => A | B;
-    /**
-     * Executes a side effect on the success value without changing the Result.
-     * Useful for logging or debugging.
-     *
-     * @example
-     * ```ts
-     * pipe(
-     *   Result.ok(5),
-     *   Result.tap(n => console.log("Value:", n)),
-     *   Result.map(n => n * 2)
-     * );
-     * ```
-     */
-    const tap: <E, A>(f: (a: A) => void) => (data: Result<E, A>) => Result<E, A>;
-    /**
-     * Recovers from an error by providing a fallback Result.
-     * The fallback can produce a different success type, widening the result to `Result<E, A | B>`.
-     */
-    const recover: <E, A, B>(fallback: (e: E) => Result<E, B>) => (data: Result<E, A>) => Result<E, A | B>;
-    /**
-     * Recovers from an error unless it matches the blocked error.
-     * The fallback can produce a different success type, widening the result to `Result<E, A | B>`.
-     */
-    const recoverUnless: <E, A, B>(blockedErr: E, fallback: () => Result<E, B>) => (data: Result<E, A>) => Result<E, A | B>;
-    /**
-     * Converts a Result to an Option.
-     * Ok becomes Some, Err becomes None (the error is discarded).
-     *
-     * @example
-     * ```ts
-     * Result.toOption(Result.ok(42)); // Some(42)
-     * Result.toOption(Result.err("oops")); // None
-     * ```
-     */
-    const toOption: <E, A>(data: Result<E, A>) => Option<A>;
-    /**
-     * Applies a function wrapped in an Result to a value wrapped in an Result.
-     *
-     * @example
-     * ```ts
-     * const add = (a: number) => (b: number) => a + b;
-     * pipe(
-     *   Result.ok(add),
-     *   Result.ap(Result.ok(5)),
-     *   Result.ap(Result.ok(3))
-     * ); // Ok(8)
-     * ```
-     */
-    const ap: <E, A>(arg: Result<E, A>) => <B>(data: Result<E, (a: A) => B>) => Result<E, B>;
-}
-//# sourceMappingURL=Result.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"Result.d.ts","sourceRoot":"","sources":["../../../src/src/Core/Result.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACpE,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;AAE1C,MAAM,MAAM,EAAE,CAAC,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;AAClD,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,QAAQ,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;AAEtD,yBAAiB,MAAM,CAAC;IACvB;;OAEG;IACI,MAAM,EAAE,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,EAAE,CAAC,CAAC,CAA4B,CAAC;IAElE;;OAEG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,GAAG,CAAC,CAAC,CAA+B,CAAC;IAEvE;;OAEG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,EAAE,CAAC,CAAC,CAAuB,CAAC;IAEpF;;OAEG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,GAAG,CAAC,CAAC,CAA0B,CAAC;IAEzF;;;;;;;;;;;;OAYG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAC5B,GAAG,MAAM,CAAC,EACV,SAAS,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,KACxB,MAAM,CAAC,CAAC,EAAE,CAAC,CAMb,CAAC;IAEF;;;;;;;;OAQG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAC3C,CAAC;IAEvC;;;;;;;OAOG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAC9C,CAAC;IAEzC;;;;;;;;;;;;OAYG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAC5D,CAAC;IAEnC;;;;;;;;;;;;;OAaG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAC5C,CAAC;IAEnD;;;;;;;;;;;;;OAaG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO;QAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;KAAE,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAC5C,CAAC;IAE3D;;;;;;;;;;;OAWG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,cAAc,MAAM,CAAC,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAC,GAAG,CAC9C,CAAC;IAE1C;;;;;;;;;;;;OAYG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAGhF,CAAC;IAEF;;;OAGG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAClE,CAAC;IAE1C;;;OAGG;IACI,MAAM,aAAa,GACxB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,EAAE,UAAU,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAClC,CAAC;IAE/D;;;;;;;;;OASG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,CAAyD,CAAC;IAEtH;;;;;;;;;;;;OAYG;IACI,MAAM,EAAE,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CACF,CAAC;CAC5F"}

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

@@ -1,192 +0,0 @@
-/**
- * A synchronous computation that threads a piece of mutable state `S` through
- * a pipeline without exposing mutation at call sites.
- *
- * At runtime a `State<S, A>` is just a function from an initial state to a pair
- * `[value, nextState]`. Nothing runs until you supply the initial state with
- * `State.run`, `State.evaluate`, or `State.execute`.
- *
- * @example
- * ```ts
- * type Counter = number;
- *
- * const increment: State<Counter, undefined> = State.modify(n => n + 1);
- * const getCount:  State<Counter, Counter>   = State.get();
- *
- * const program = pipe(
- *   increment,
- *   State.chain(() => increment),
- *   State.chain(() => getCount),
- * );
- *
- * State.run(0)(program); // [2, 2]  — value is 2, final state is 2
- * ```
- */
-export type State<S, A> = (s: S) => readonly [A, S];
-export declare namespace State {
-    /**
-     * Lifts a pure value into a State computation. The state passes through unchanged.
-     *
-     * @example
-     * ```ts
-     * State.run(10)(State.resolve(42)); // [42, 10] — value 42, state unchanged
-     * ```
-     */
-    const resolve: <S, A>(value: A) => State<S, A>;
-    /**
-     * Produces the current state as the value, without modifying it.
-     *
-     * @example
-     * ```ts
-     * const readStack: State<string[], string[]> = State.get();
-     * State.run(["a", "b"])(readStack); // [["a", "b"], ["a", "b"]]
-     * ```
-     */
-    const get: <S>() => State<S, S>;
-    /**
-     * Reads a projection of the state without modifying it.
-     * Equivalent to `pipe(State.get(), State.map(f))` but more direct.
-     *
-     * @example
-     * ```ts
-     * type AppState = { count: number; label: string };
-     * const readCount: State<AppState, number> = State.gets(s => s.count);
-     * State.run({ count: 5, label: "x" })(readCount); // [5, { count: 5, label: "x" }]
-     * ```
-     */
-    const gets: <S, A>(f: (s: S) => A) => State<S, A>;
-    /**
-     * Replaces the current state with a new value. Produces no meaningful value.
-     *
-     * @example
-     * ```ts
-     * const reset: State<number, undefined> = State.put(0);
-     * State.run(99)(reset); // [undefined, 0]
-     * ```
-     */
-    const put: <S>(newState: S) => State<S, undefined>;
-    /**
-     * Applies a function to the current state to produce the next state.
-     * Produces no meaningful value.
-     *
-     * @example
-     * ```ts
-     * const push = (item: string): State<string[], undefined> =>
-     *   State.modify(stack => [...stack, item]);
-     *
-     * State.run(["a"])(push("b")); // [undefined, ["a", "b"]]
-     * ```
-     */
-    const modify: <S>(f: (s: S) => S) => State<S, undefined>;
-    /**
-     * Transforms the value produced by a State computation.
-     * The state transformation is unchanged.
-     *
-     * @example
-     * ```ts
-     * const readLength: State<string[], number> = pipe(
-     *   State.get<string[]>(),
-     *   State.map(stack => stack.length),
-     * );
-     *
-     * State.run(["a", "b", "c"])(readLength); // [3, ["a", "b", "c"]]
-     * ```
-     */
-    const map: <S, A, B>(f: (a: A) => B) => (st: State<S, A>) => State<S, B>;
-    /**
-     * Sequences two State computations. The state output of the first is passed
-     * as the state input to the second.
-     *
-     * Data-last — the first computation is the data being piped.
-     *
-     * @example
-     * ```ts
-     * const push = (item: string): State<string[], undefined> =>
-     *   State.modify(stack => [...stack, item]);
-     *
-     * const program = pipe(
-     *   push("a"),
-     *   State.chain(() => push("b")),
-     *   State.chain(() => State.get<string[]>()),
-     * );
-     *
-     * State.evaluate([])(program); // ["a", "b"]
-     * ```
-     */
-    const chain: <S, A, B>(f: (a: A) => State<S, B>) => (st: State<S, A>) => State<S, B>;
-    /**
-     * Applies a function wrapped in a State to a value wrapped in a State.
-     * The function computation runs first; its output state is the input to the
-     * argument computation.
-     *
-     * @example
-     * ```ts
-     * const addCounted = (n: number) => (m: number) => n + m;
-     * const program = pipe(
-     *   State.resolve<number, typeof addCounted>(addCounted),
-     *   State.ap(State.gets((s: number) => s * 2)),
-     *   State.ap(State.gets((s: number) => s)),
-     * );
-     *
-     * State.evaluate(3)(program); // 6 + 3 = 9
-     * ```
-     */
-    const ap: <S, A>(arg: State<S, A>) => <B>(fn: State<S, (a: A) => B>) => State<S, B>;
-    /**
-     * Runs a side effect on the produced value without changing the State computation.
-     *
-     * @example
-     * ```ts
-     * pipe(
-     *   State.get<number>(),
-     *   State.tap(n => console.log("current:", n)),
-     *   State.chain(() => State.modify(n => n + 1)),
-     * );
-     * ```
-     */
-    const tap: <S, A>(f: (a: A) => void) => (st: State<S, A>) => State<S, A>;
-    /**
-     * Runs a State computation with an initial state, returning both the
-     * produced value and the final state as a pair.
-     *
-     * Data-last — the computation is the data being piped.
-     *
-     * @example
-     * ```ts
-     * const program = pipe(
-     *   State.modify<number>(n => n + 1),
-     *   State.chain(() => State.get<number>()),
-     * );
-     *
-     * State.run(0)(program); // [1, 1]
-     * ```
-     */
-    const run: <S>(initialState: S) => <A>(st: State<S, A>) => readonly [A, S];
-    /**
-     * Runs a State computation with an initial state, returning only the
-     * produced value (discarding the final state).
-     *
-     * @example
-     * ```ts
-     * State.evaluate([])(pipe(
-     *   State.modify<string[]>(s => [...s, "x"]),
-     *   State.chain(() => State.get<string[]>()),
-     * )); // ["x"]
-     * ```
-     */
-    const evaluate: <S>(initialState: S) => <A>(st: State<S, A>) => A;
-    /**
-     * Runs a State computation with an initial state, returning only the
-     * final state (discarding the produced value).
-     *
-     * @example
-     * ```ts
-     * State.execute(0)(pipe(
-     *   State.modify<number>(n => n + 10),
-     *   State.chain(() => State.modify<number>(n => n * 2)),
-     * )); // 20
-     * ```
-     */
-    const execute: <S>(initialState: S) => <A>(st: State<S, A>) => S;
-}
-//# sourceMappingURL=State.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"State.d.ts","sourceRoot":"","sources":["../../../src/src/Core/State.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAEpD,yBAAiB,KAAK,CAAC;IACtB;;;;;;;OAOG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAsB,CAAC;IAE1E;;;;;;;;OAQG;IACI,MAAM,GAAG,GAAI,CAAC,OAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAkB,CAAC;IAEvD;;;;;;;;;;OAUG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAqB,CAAC;IAE5E;;;;;;;;OAQG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,UAAU,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,SAAS,CAAkC,CAAC;IAE1F;;;;;;;;;;;OAWG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,SAAS,CAA6B,CAAC;IAE3F;;;;;;;;;;;;;OAaG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAG5E,CAAC;IAEF;;;;;;;;;;;;;;;;;;;OAmBG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAGxF,CAAC;IAEF;;;;;;;;;;;;;;;;OAgBG;IACI,MAAM,EAAE,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAIvF,CAAC;IAEF;;;;;;;;;;;OAWG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,MAAM,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAI5E,CAAC;IAEF;;;;;;;;;;;;;;;OAeG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAqB,CAAC;IAErG;;;;;;;;;;;OAWG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAwB,CAAC;IAE/F;;;;;;;;;;;OAWG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAwB,CAAC;CAC9F"}