@nlozgachev/pipelined 0.6.4

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

@@ -0,0 +1,121 @@
+import { Option } from "./Option.js";
+/**
+ * Functional record/object utilities that compose well with pipe.
+ * All functions are data-last and curried where applicable.
+ *
+ * @example
+ * ```ts
+ * pipe(
+ *   { a: 1, b: 2, c: 3 },
+ *   Rec.filter(n => n > 1),
+ *   Rec.map(n => n * 10)
+ * ); // { b: 20, c: 30 }
+ * ```
+ */
+export declare namespace Rec {
+    /**
+     * Transforms each value in a record.
+     *
+     * @example
+     * ```ts
+     * pipe({ a: 1, b: 2 }, Rec.map(n => n * 2)); // { a: 2, b: 4 }
+     * ```
+     */
+    const map: <A, B>(f: (a: A) => B) => (data: Readonly<Record<string, A>>) => Readonly<Record<string, B>>;
+    /**
+     * Transforms each value in a record, also receiving the key.
+     *
+     * @example
+     * ```ts
+     * pipe({ a: 1, b: 2 }, Rec.mapWithKey((k, v) => `${k}:${v}`));
+     * // { a: "a:1", b: "b:2" }
+     * ```
+     */
+    const mapWithKey: <A, B>(f: (key: string, a: A) => B) => (data: Readonly<Record<string, A>>) => Readonly<Record<string, B>>;
+    /**
+     * Filters values in a record by a predicate.
+     *
+     * @example
+     * ```ts
+     * pipe({ a: 1, b: 2, c: 3 }, Rec.filter(n => n > 1)); // { b: 2, c: 3 }
+     * ```
+     */
+    const filter: <A>(predicate: (a: A) => boolean) => (data: Readonly<Record<string, A>>) => Readonly<Record<string, A>>;
+    /**
+     * Filters values in a record by a predicate that also receives the key.
+     *
+     * @example
+     * ```ts
+     * pipe({ a: 1, b: 2 }, Rec.filterWithKey((k, v) => k !== "a" && v > 0));
+     * // { b: 2 }
+     * ```
+     */
+    const filterWithKey: <A>(predicate: (key: string, a: A) => boolean) => (data: Readonly<Record<string, A>>) => Readonly<Record<string, A>>;
+    /**
+     * Looks up a value by key, returning Option.
+     *
+     * @example
+     * ```ts
+     * pipe({ a: 1, b: 2 }, Rec.lookup("a")); // Some(1)
+     * pipe({ a: 1, b: 2 }, Rec.lookup("c")); // None
+     * ```
+     */
+    const lookup: (key: string) => <A>(data: Readonly<Record<string, A>>) => Option<A>;
+    /**
+     * Returns all keys of a record.
+     */
+    const keys: <A>(data: Readonly<Record<string, A>>) => readonly string[];
+    /**
+     * Returns all values of a record.
+     */
+    const values: <A>(data: Readonly<Record<string, A>>) => readonly A[];
+    /**
+     * Returns all key-value pairs of a record.
+     */
+    const entries: <A>(data: Readonly<Record<string, A>>) => readonly (readonly [string, A])[];
+    /**
+     * Creates a record from key-value pairs.
+     *
+     * @example
+     * ```ts
+     * Rec.fromEntries([["a", 1], ["b", 2]]); // { a: 1, b: 2 }
+     * ```
+     */
+    const fromEntries: <A>(data: readonly (readonly [string, A])[]) => Readonly<Record<string, A>>;
+    /**
+     * Picks specific keys from a record.
+     *
+     * @example
+     * ```ts
+     * pipe({ a: 1, b: 2, c: 3 }, Rec.pick("a", "c")); // { a: 1, c: 3 }
+     * ```
+     */
+    const pick: <K extends string>(...pickedKeys: K[]) => <A extends Record<K, unknown>>(data: A) => Pick<A, K>;
+    /**
+     * Omits specific keys from a record.
+     *
+     * @example
+     * ```ts
+     * pipe({ a: 1, b: 2, c: 3 }, Rec.omit("b")); // { a: 1, c: 3 }
+     * ```
+     */
+    const omit: <K extends string>(...omittedKeys: K[]) => <A extends Record<K, unknown>>(data: A) => Omit<A, K>;
+    /**
+     * Merges two records. Values from the second record take precedence.
+     *
+     * @example
+     * ```ts
+     * pipe({ a: 1, b: 2 }, Rec.merge({ b: 3, c: 4 })); // { a: 1, b: 3, c: 4 }
+     * ```
+     */
+    const merge: <A>(other: Readonly<Record<string, A>>) => (data: Readonly<Record<string, A>>) => Readonly<Record<string, A>>;
+    /**
+     * Returns true if the record has no keys.
+     */
+    const isEmpty: <A>(data: Readonly<Record<string, A>>) => boolean;
+    /**
+     * Returns the number of keys in a record.
+     */
+    const size: <A>(data: Readonly<Record<string, A>>) => number;
+}
+//# sourceMappingURL=Rec.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Rec.d.ts","sourceRoot":"","sources":["../../../src/src/Core/Rec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC;;;;;;;;;;;;GAYG;AACH,yBAAiB,GAAG,CAAC;IACnB;;;;;;;OAOG;IACI,MAAM,GAAG,GACb,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,MAAM,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,KAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAMxF,CAAC;IAEJ;;;;;;;;OAQG;IACI,MAAM,UAAU,GACpB,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,MACjC,MAAM,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,KAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAM9D,CAAC;IAEJ;;;;;;;OAOG;IACI,MAAM,MAAM,GAChB,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,MAC/B,MAAM,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,KAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAM9D,CAAC;IAEJ;;;;;;;;OAQG;IACI,MAAM,aAAa,GACvB,CAAC,EAAE,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,KAAK,OAAO,MAC5C,MAAM,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,KAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAM9D,CAAC;IAEJ;;;;;;;;OAQG;IACI,MAAM,MAAM,GAAI,KAAK,MAAM,MAAM,CAAC,EAAE,MAAM,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,CACG,CAAC;IAE3F;;OAEG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,MAAM,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,KAAG,SAAS,MAAM,EACxD,CAAC;IAEpB;;OAEG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,MAAM,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,KAAG,SAAS,CAAC,EAAyB,CAAC;IAElG;;OAEG;IACI,MAAM,OAAO,GAAI,CAAC,EACvB,MAAM,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,KAChC,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAA0B,CAAC;IAE7D;;;;;;;OAOG;IACI,MAAM,WAAW,GAAI,CAAC,EAC3B,MAAM,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,KACtC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAA6B,CAAC;IAE3D;;;;;;;OAOG;IACI,MAAM,IAAI,GAAI,CAAC,SAAS,MAAM,EAAE,GAAG,YAAY,CAAC,EAAE,MACxD,CAAC,SAAS,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,EAC3B,MAAM,CAAC,KACN,IAAI,CAAC,CAAC,EAAE,CAAC,CAQX,CAAC;IAEF;;;;;;;OAOG;IACI,MAAM,IAAI,GACd,CAAC,SAAS,MAAM,EAAE,GAAG,aAAa,CAAC,EAAE,MACrC,CAAC,SAAS,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,KAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CASjD,CAAC;IAEJ;;;;;;;OAOG;IACI,MAAM,KAAK,GACf,CAAC,EAAE,OAAO,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,MACrC,MAAM,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,KAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAG7D,CAAC;IAEL;;OAEG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,MAAM,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,KAAG,OAC/B,CAAC;IAEjC;;OAEG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,MAAM,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,KAAG,MAAkC,CAAC;CAChG"}

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

@@ -0,0 +1,192 @@
+import { WithError, WithKind, WithValue } from "./InternalTypes.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.
+     *
+     * @example
+     * ```ts
+     * pipe(RemoteData.success(5), RemoteData.getOrElse(0)); // 5
+     * pipe(RemoteData.loading(), RemoteData.getOrElse(0)); // 0
+     * ```
+     */
+    const getOrElse: <E, A>(defaultValue: A) => (data: RemoteData<E, A>) => A;
+    /**
+     * 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.
+     */
+    const recover: <E, A>(fallback: (e: E) => RemoteData<E, A>) => (data: RemoteData<E, A>) => RemoteData<E, A>;
+    /**
+     * Converts a RemoteData to an Option.
+     * Success becomes Some, all other states become None.
+     */
+    const toOption: <E, A>(data: RemoteData<E, A>) => import("./Option.ts").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>) => import("./Result.ts").Result<E, A>;
+}
+//# sourceMappingURL=RemoteData.d.ts.map

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

@@ -0,0 +1 @@
+{"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;AAEpE;;;;;;;;;;;;;;;;;;;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;AAE5D,yBAAiB,UAAU,CAAC;IAC1B;;OAEG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,OAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAA2B,CAAC;IAE7E;;OAEG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,OAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAA0B,CAAC;IAE3E;;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,QACxC,CAAC;IAE3B;;OAEG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,OACxC,CAAC;IAE1B;;OAEG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,OAAO,CAAC,CAAC,CACjD,CAAC;IAE1B;;OAEG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,OAAO,CAAC,CAAC,CACjD,CAAC;IAE1B;;;;;;;;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,CAClB,CAAC;IAExE;;;;;;;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,CACvB,CAAC;IAExE;;;;;;;;;;;OAWG;IACI,MAAM,KAAK,GACf,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,CACvB,CAAC;IAEjE;;;;;;;;;;;;OAYG;IACI,MAAM,EAAE,GACZ,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,CAQtF,CAAC;IAEJ;;;;;;;;;;;;;;;OAeG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAC1B,YAAY,MAAM,CAAC,EACnB,WAAW,MAAM,CAAC,EAClB,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACtB,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAEvB,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAWzB,CAAC;IAEF;;;;;;;;;;;;;;;OAeG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO;QACpC,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;KACtB,MACA,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAWzB,CAAC;IAEF;;;;;;;;OAQG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,cAAc,CAAC,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CACjC,CAAC;IAE9C;;;;;;;;;;;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;;OAEG;IACI,MAAM,OAAO,GACjB,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,CAC1C,CAAC;IAElD;;;OAGG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAC3B,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KACrB,OAAO,aAAa,EAAE,MAAM,CAAC,CAAC,CACyC,CAAC;IAE3E;;;;;;;;;;;;OAYG;IACI,MAAM,QAAQ,GAClB,CAAC,EAAE,YAAY,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,OAAO,aAAa,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAGf,CAAC;CAC/E"}

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

@@ -0,0 +1,176 @@
+import { WithError, WithKind, WithValue } from "./InternalTypes.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.
+     *
+     * @example
+     * ```ts
+     * pipe(Result.ok(5), Result.getOrElse(0)); // 5
+     * pipe(Result.err("error"), Result.getOrElse(0)); // 0
+     * ```
+     */
+    const getOrElse: <E, A>(defaultValue: A) => (data: Result<E, A>) => A;
+    /**
+     * 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.
+     */
+    const recover: <E, A>(fallback: () => Result<E, A>) => (data: Result<E, A>) => Result<E, A>;
+    /**
+     * Recovers from an error unless it matches the blocked error.
+     */
+    const recoverUnless: <E, A>(blockedErr: E, fallback: () => Result<E, A>) => (data: Result<E, A>) => Result<E, A>;
+    /**
+     * 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>) => import("./Option.ts").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

@@ -0,0 +1 @@
+{"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;AAEpE;;;;;;;;;;;;;;;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;IACtB;;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,EAC3B,GAAG,MAAM,CAAC,EACV,SAAS,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,KACzB,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,CAC1C,CAAC;IAExC;;;;;;;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,CAC7C,CAAC;IAE1C;;;;;;;;;;;;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,CAC3D,CAAC;IAEpC;;;;;;;;;;;;;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,CAC3C,CAAC;IAEpD;;;;;;;;;;;;;OAaG;IACI,MAAM,KAAK,GACf,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,CACtB,CAAC;IAE9D;;;;;;;;OAQG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,cAAc,CAAC,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAClC,CAAC;IAEzC;;;;;;;;;;;;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;;OAEG;IACI,MAAM,OAAO,GACjB,CAAC,EAAE,CAAC,EAAE,UAAU,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CACzC,CAAC;IAEnC;;OAEG;IACI,MAAM,aAAa,GACvB,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,CAC1B,CAAC;IAEjE;;;;;;;;;OASG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAC3B,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KACjB,OAAO,aAAa,EAAE,MAAM,CAAC,CAAC,CACoC,CAAC;IAEtE;;;;;;;;;;;;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,CACD,CAAC;CAC9F"}