@nicolastoulemont/std 0.3.0 → 0.4.0

package/dist/result.types-Bd8a43Fg.d.mts

@@ -1,174 +0,0 @@
-//#region src/gen/gen.types.d.ts
-/**
- * The yieldable protocol - any type that can be yielded in a sync gen computation.
- * Implements Symbol.iterator to allow `yield*` extraction of values.
- *
- * @template A - The success value type
- * @template E - The error type (yielded on failure)
- */
-type Yieldable<A, E> = {
-  [Symbol.iterator](): Generator<E, A, unknown>;
-};
-/**
- * The async yieldable protocol - any type that can be yielded in an async gen computation.
- * Implements Symbol.asyncIterator to allow `yield*` extraction of values.
- *
- * @template A - The success value type
- * @template E - The error type (yielded on failure)
- */
-type AsyncYieldable<A, E> = {
-  [Symbol.asyncIterator](): AsyncGenerator<E, A, unknown>;
-};
-/**
- * Extract the success type from a Yieldable.
- */
-type YieldableValue<T> = T extends Yieldable<infer A, unknown> ? A : never;
-/**
- * Extract the error type from a Yieldable.
- */
-type YieldableError<T> = T extends Yieldable<unknown, infer E> ? E : never;
-/**
- * Extract the success type from an AsyncYieldable.
- */
-type AsyncYieldableValue<T> = T extends AsyncYieldable<infer A, unknown> ? A : never;
-/**
- * Extract the error type from an AsyncYieldable.
- */
-type AsyncYieldableError<T> = T extends AsyncYieldable<unknown, infer E> ? E : never;
-/**
- * Sync computation - returned when using a sync generator with gen.
- * The run() method returns Result directly (no Promise).
- * Implements Yieldable so it can be nested in other gen computations.
- *
- * @template A - The success value type
- * @template E - The error type
- */
-type SyncComputation<A, E> = Yieldable<A, E> & {
-  /**
-   * Execute the computation synchronously.
-   * @returns Result<A, E> directly (no Promise)
-   */
-  run(): Result<A, E>;
-};
-/**
- * Async computation - returned when using an async generator with gen.
- * The run() method returns Promise<Result>.
- * Implements AsyncYieldable to allow nesting in other async gen computations.
- *
- * @template A - The success value type
- * @template E - The error type
- */
-type AsyncComputation<A, E> = AsyncYieldable<A, E> & {
-  /**
-   * Execute the computation asynchronously.
-   * @returns Promise<Result<A, E>>
-   */
-  run(): Promise<Result<A, E>>;
-};
-/**
- * Union type for any computation (sync or async).
- */
-type Computation<A, E> = SyncComputation<A, E> | AsyncComputation<A, E>;
-/**
- * Sync generator type for gen.
- * Yields errors of type E, returns value of type A.
- */
-type GenGenerator<A, E> = Generator<E, A, unknown>;
-/**
- * Async generator type for gen.
- * Yields errors of type E, returns value of type A.
- */
-type AsyncGenGenerator<A, E> = AsyncGenerator<E, A, unknown>;
-//#endregion
-//#region src/result/result.types.d.ts
-/**
- * A discriminated union representing either a successful result or an error.
- * Compatible with ts-pattern for exhaustive matching.
- * Implements Yieldable protocol for use in Do computations with yield*.
- */
-type Result<T, E> = Yieldable<T, E> & ({
-  readonly ok: true;
-  readonly value: T;
-} | {
-  readonly ok: false;
-  readonly error: E;
-});
-/**
- * Compute the return type of `fromTry` based on whether fn returns a Promise.
- * - If fn returns Promise<T>, result is Promise<Result<T, Error>>
- * - If fn returns T, result is Result<T, Error>
- */
-type FromTryReturn<T> = T extends Promise<infer U> ? Promise<Result<U, Error>> : Result<T, Error>;
-/**
- * Extract the success type from a Result.
- * Uses structural matching to extract the value type from the ok branch.
- */
-type ResultValue<R> = R extends {
-  readonly ok: true;
-  readonly value: infer T;
-} ? T : never;
-/**
- * Extract the error type from a Result.
- * Uses structural matching to extract the error type from the err branch.
- */
-type ResultError<R> = R extends {
-  readonly ok: false;
-  readonly error: infer E;
-} ? E : never;
-/**
- * Compute return type for `all` with array input.
- * Preserves tuple structure and extracts value types from each position.
- */
-type AllArrayReturn<T extends readonly Result<unknown, unknown>[]> = Result<{ -readonly [K in keyof T]: ResultValue<T[K]> }, ResultError<T[number]>>;
-/**
- * Compute return type for `all` with object input.
- * Preserves object structure and extracts value types from each key.
- */
-type AllObjectReturn<T extends Record<string, Result<unknown, unknown>>> = Result<{ -readonly [K in keyof T]: ResultValue<T[K]> }, ResultError<T[keyof T]>>;
-/**
- * Interface for flatMap - using method syntax improves generic inference in pipe chains.
- * Note: Async overload must come first for proper overload resolution.
- */
-type ResultFlatMap = {
-  <A, B, E2$1>(fn: (value: A) => Promise<Result<B, E2$1>>): <E>(result: Result<A, E>) => Promise<Result<B, E | E2$1>>;
-  <A, B, E2$1>(fn: (value: A) => Result<B, E2$1>): <E>(result: Result<A, E>) => Result<B, E | E2$1>;
-};
-/**
- * Interface for map function.
- * Note: Async overload must come first for proper overload resolution.
- */
-type ResultMap = {
-  <A, B>(fn: (value: A) => Promise<B>): <E>(result: Result<A, E>) => Promise<Result<B, E>>;
-  <A, B>(fn: (value: A) => B): <E>(result: Result<A, E>) => Result<B, E>;
-};
-/**
- * Interface for mapErr function.
- * Note: Async overload must come first for proper overload resolution.
- */
-type ResultMapErr = {
-  <E1, E2$1>(fn: (error: E1) => Promise<E2$1>): <A>(result: Result<A, E1>) => Promise<Result<A, E2$1>>;
-  <E1, E2$1>(fn: (error: E1) => E2$1): <A>(result: Result<A, E1>) => Result<A, E2$1>;
-};
-/**
- * Interface for tap function.
- */
-type ResultTap = {
-  <A, R>(fn: (value: A) => R): <E>(result: Result<A, E>) => R extends Promise<unknown> ? Promise<Result<A, E>> : Result<A, E>;
-};
-/**
- * Interface for orElse function.
- * Note: Async overload must come first for proper overload resolution.
- */
-type ResultOrElse = {
-  <E1, A2, E2$1>(fn: (error: E1) => Promise<Result<A2, E2$1>>): <A>(result: Result<A, E1>) => Promise<Result<A | A2, E2$1>>;
-  <E1, A2, E2$1>(fn: (error: E1) => Result<A2, E2$1>): <A>(result: Result<A, E1>) => Result<A | A2, E2$1>;
-};
-/**
- * Interface for filter function.
- */
-type ResultFilter = {
-  <A, E2$1>(predicate: (value: A) => boolean, onFail: (value: A) => E2$1): <E>(result: Result<A, E>) => Result<A, E | E2$1>;
-};
-//#endregion
-export { GenGenerator as _, ResultFilter as a, YieldableError as b, ResultMapErr as c, AsyncComputation as d, AsyncGenGenerator as f, Computation as g, AsyncYieldableValue as h, Result as i, ResultOrElse as l, AsyncYieldableError as m, AllObjectReturn as n, ResultFlatMap as o, AsyncYieldable as p, FromTryReturn as r, ResultMap as s, AllArrayReturn as t, ResultTap as u, SyncComputation as v, YieldableValue as x, Yieldable as y };
-//# sourceMappingURL=result.types-Bd8a43Fg.d.mts.map

package/dist/result.types-Bd8a43Fg.d.mts.map

@@ -1 +0,0 @@
-{"version":3,"file":"result.types-Bd8a43Fg.d.mts","names":[],"sources":["../src/gen/gen.types.ts","../src/result/result.types.ts"],"sourcesContent":[],"mappings":";AAaA;;;;;AAWA;;AAC8C,KAZlC,SAYkC,CAAA,CAAA,EAAA,CAAA,CAAA,GAAA;EAAlB,CAAA,MAAA,CAAA,QAAA,GAAA,EAXL,SAWK,CAXK,CAWL,EAXQ,CAWR,EAAA,OAAA,CAAA;CAAc;AAM1C;AAKA;AAKA;AAKA;AAcA;;;AAAoC,KApCxB,cAoCwB,CAAA,CAAA,EAAA,CAAA,CAAA,GAAA;EAKpB,CAAA,MAAA,CAAA,aAAA,GAAA,EAxCY,cAwCZ,CAxC2B,CAwC3B,EAxC8B,CAwC9B,EAAA,OAAA,CAAA;CAAG;;;AAWnB;AAAoD,KA7CxC,cA6CwC,CAAA,CAAA,CAAA,GA7CpB,CA6CoB,SA7CV,SA6CU,CAAA,KAAA,EAAA,EAAA,OAAA,CAAA,GAAA,CAAA,GAAA,KAAA;;;;AAKzB,KA7Cf,cA6Ce,CAAA,CAAA,CAAA,GA7CK,CA6CL,SA7Ce,SA6Cf,CAAA,OAAA,EAAA,KAAA,EAAA,CAAA,GAAA,CAAA,GAAA,KAAA;;;;AAMf,KA9CA,mBA8CW,CAAA,CAAA,CAAA,GA9Cc,CA8Cd,SA9CwB,cA8CxB,CAAA,KAAA,EAAA,EAAA,OAAA,CAAA,GAAA,CAAA,GAAA,KAAA;;;;AAAkD,KAzC7D,mBAyC6D,CAAA,CAAA,CAAA,GAzCpC,CAyCoC,SAzC1B,cAyC0B,CAAA,OAAA,EAAA,KAAA,EAAA,CAAA,GAAA,CAAA,GAAA,KAAA;;;;AAUzE;;;;;AAMY,KA3CA,eA2CiB,CAAA,CAAA,EAAA,CAAA,CAAA,GA3CO,SA2CP,CA3CiB,CA2CjB,EA3CoB,CA2CpB,CAAA,GAAA;EAAwB;;;;SAtC5C,OAAO,GAAG;;;ACtDnB;;;;;;;AA2DY,KDMA,gBCNa,CAAA,CAAA,EAAA,CAAA,CAAA,GDMY,cCNZ,CDM2B,CCN3B,EDM8B,CCN9B,CAAA,GAAA;EAAM;;;;EAAqC,GAAA,EAAA,EDW3D,OCX2D,CDWnD,MCXmD,CDW5C,CCX4C,EDWzC,CCXyC,CAAA,CAAA;CAAR;;;;AAAkC,KDiBlF,WCjBkF,CAAA,CAAA,EAAA,CAAA,CAAA,GDiB9D,eCjB8D,CDiB9C,CCjB8C,EDiB3C,CCjB2C,CAAA,GDiBtC,gBCjBsC,CDiBrB,CCjBqB,EDiBlB,CCjBkB,CAAA;AAU9F;AAMA;AAMA;;AAC0B,KDId,YCJc,CAAA,CAAA,EAAA,CAAA,CAAA,GDIO,SCJP,CDIiB,CCJjB,EDIoB,CCJpB,EAAA,OAAA,CAAA;;;;;AACxB,KDSU,iBCTV,CAAA,CAAA,EAAA,CAAA,CAAA,GDSoC,cCTpC,CDSmD,CCTnD,EDSsD,CCTtD,EAAA,OAAA,CAAA;;;ADjFF;;;;;AAWY,KCbA,MDaA,CAAA,CAAA,EAAc,CAAA,CAAA,GCbC,SDaD,CCbW,CDaX,ECbc,CDad,CAAA,GAAA,CAAA;EACiB,SAAA,EAAA,EAAA,IAAA;EAAG,SAAA,KAAA,ECbN,CDaM;CAAlB,GAAA;EAAc,SAAA,EAAA,EAAA,KAAA;EAM9B,SAAA,KAAA,ECnBwE,CDmB1D;AAK1B,CAAA,CAAA;;AAmEA;;;;AAAoD,KCjCxC,aDiCwC,CAAA,CAAA,CAAA,GCjCrB,CDiCqB,SCjCX,ODiCW,CAAA,KAAA,EAAA,CAAA,GCjCQ,ODiCR,CCjCgB,MDiChB,CCjCuB,CDiCvB,ECjC0B,KDiC1B,CAAA,CAAA,GCjCoC,MDiCpC,CCjC2C,CDiC3C,ECjC8C,KDiC9C,CAAA;;;;AC5FpD;AAAqC,KAqEzB,WArEyB,CAAA,CAAA,CAAA,GAqER,CArEQ,SAAA;EAAG,SAAA,EAAA,EAAA,IAAA;EAAb,SAAA,KAAA,EAAA,KAAA,EAAA;CACa,GAAA,CAAA,GAAA,KAAA;;;AA0DxC;;AAAyC,KAgB7B,WAhB6B,CAAA,CAAA,CAAA,GAgBZ,CAhBY,SAAA;EAAkC,SAAA,EAAA,EAAA,KAAA;EAAG,SAAA,KAAA,EAAA,KAAA,EAAA;CAAV,GAAA,CAAA,GAAA,KAAA;;;;;AAA0B,KAsBlF,cAtBkF,CAAA,UAAA,SAsBhD,MAtBgD,CAAA,OAAA,EAAA,OAAA,CAAA,EAAA,CAAA,GAsBlB,MAtBkB,CAAA,kBAUvE,MAaG,CAbH,GAaO,WAbA,CAaY,CAbZ,CAac,CAbd,CAAA,CAAA,EAM9B,EAQE,WARU,CAQE,CARF,CAAA,MAAW,CAAA,CAAA,CAAA;AAMvB;;;;AAC4C,KAQhC,eARgC,CAAA,UAQN,MARM,CAAA,MAAA,EAQS,MART,CAAA,OAAA,EAAA,OAAA,CAAA,CAAA,CAAA,GAQsC,MARtC,CAAA,kBAAd,MASJ,CATI,GASA,WATA,CASY,CATZ,CASc,CATd,CAAA,CAAA,EAChB,EASZ,WATY,CASA,CATA,CAAA,MASQ,CATR,CAAA,CAAA,CAAA;;;;AAOd;AAAqD,KAazC,aAAA,GAbyC;EAAf,CAAA,CAAA,EAAA,CAAA,EAAA,IAAA,CAAA,CAAA,EAAA,EAAA,CAAA,KAAA,EAcb,CAda,EAAA,GAcP,OAdO,CAcC,MAdD,CAcQ,CAdR,EAcW,IAdX,CAAA,CAAA,CAAA,EAAA,CAAA,CAAA,CAAA,CAAA,MAAA,EAc8B,MAd9B,CAcqC,CAdrC,EAcwC,CAdxC,CAAA,EAAA,GAc+C,OAd/C,CAcuD,MAdvD,CAc8D,CAd9D,EAciE,CAdjE,GAcqE,IAdrE,CAAA,CAAA;EACZ,CAAA,CAAA,EAAA,CAAA,EAAA,IAAA,CAAA,CAAA,EAAA,EAAA,CAAA,KAAA,EAcD,CAdC,EAAA,GAcK,MAdL,CAcY,CAdZ,EAce,IAdf,CAAA,CAAA,EAAA,CAAA,CAAA,CAAA,CAAA,MAAA,EAciC,MAdjC,CAcwC,CAdxC,EAc2C,CAd3C,CAAA,EAAA,GAckD,MAdlD,CAcyD,CAdzD,EAc4D,CAd5D,GAcgE,IAdhE,CAAA;CAAgB;;;;;AACxC,KAoBU,SAAA,GApBV;EAFgF,CAAA,CAAA,EAAA,CAAA,CAAA,CAAA,EAAA,EAAA,CAAA,KAAA,EAuB7D,CAvB6D,EAAA,GAuBvD,OAvBuD,CAuB/C,CAvB+C,CAAA,CAAA,EAAA,CAAA,CAAA,CAAA,CAAA,MAAA,EAuB9B,MAvB8B,CAuBvB,CAvBuB,EAuBpB,CAvBoB,CAAA,EAAA,GAuBb,OAvBa,CAuBL,MAvBK,CAuBE,CAvBF,EAuBK,CAvBL,CAAA,CAAA;EAAM,CAAA,CAAA,EAAA,CAAA,CAAA,CAAA,EAAA,EAAA,CAAA,KAAA,EAwBnE,CAxBmE,EAAA,GAwB7D,CAxB6D,CAAA,EAAA,CAAA,CAAA,CAAA,CAAA,MAAA,EAwB7C,MAxB6C,CAwBtC,CAxBsC,EAwBnC,CAxBmC,CAAA,EAAA,GAwB5B,MAxB4B,CAwBrB,CAxBqB,EAwBlB,CAxBkB,CAAA;AAaxF,CAAA;;;;;AAC+B,KAiBnB,YAAA,GAjBmB;EAA4C,CAAA,EAAA,EAAA,IAAA,CAAA,CAAA,EAAA,EAAA,CAAA,KAAA,EAkBpD,EAlBoD,EAAA,GAkB7C,OAlB6C,CAkBrC,IAlBqC,CAAA,CAAA,EAAA,CAAA,CAAA,CAAA,CAAA,MAAA,EAkBnB,MAlBmB,CAkBZ,CAlBY,EAkBT,EAlBS,CAAA,EAAA,GAkBD,OAlBC,CAkBO,MAlBP,CAkBc,CAlBd,EAkBiB,IAlBjB,CAAA,CAAA;EAAG,CAAA,EAAA,EAAA,IAAA,CAAA,CAAA,EAAA,EAAA,CAAA,KAAA,EAmBvD,EAnBuD,EAAA,GAmBhD,IAnBgD,CAAA,EAAA,CAAA,CAAA,CAAA,CAAA,MAAA,EAmB/B,MAnB+B,CAmBxB,CAnBwB,EAmBrB,EAnBqB,CAAA,EAAA,GAmBb,MAnBa,CAmBN,CAnBM,EAmBH,IAnBG,CAAA;CAAV;;;;AAAyB,KAyBjF,SAAA,GAzBiF;EAAR,CAAA,CAAA,EAAA,CAAA,CAAA,CAAA,EAAA,EAAA,CAAA,KAAA,EA2BrE,CA3BqE,EAAA,GA2B/D,CA3B+D,CAAA,EAAA,CAAA,CAAA,CAAA,CAAA,MAAA,EA4BpE,MA5BoE,CA4B7D,CA5B6D,EA4B1D,CA5B0D,CAAA,EAAA,GA4BnD,CA5BmD,SA4BzC,OA5ByC,CAAA,OAAA,CAAA,GA4BtB,OA5BsB,CA4Bd,MA5Bc,CA4BP,CA5BO,EA4BJ,CA5BI,CAAA,CAAA,GA4BE,MA5BF,CA4BS,CA5BT,EA4BY,CA5BZ,CAAA;CAC5D;;;;;AAA4C,KAkCzD,YAAA,GAlCyD;EAAV,CAAA,EAAA,EAAA,EAAA,EAAA,IAAA,CAAA,CAAA,EAAA,EAAA,CAAA,KAAA,EAmChC,EAnCgC,EAAA,GAmCzB,OAnCyB,CAmCjB,MAnCiB,CAmCV,EAnCU,EAmCN,IAnCM,CAAA,CAAA,CAAA,EAAA,CAAA,CAAA,CAAA,CAAA,MAAA,EAmCa,MAnCb,CAmCoB,CAnCpB,EAmCuB,EAnCvB,CAAA,EAAA,GAmC+B,OAnC/B,CAmCuC,MAnCvC,CAmC8C,CAnC9C,GAmCkD,EAnClD,EAmCsD,IAnCtD,CAAA,CAAA;EAAwB,CAAA,EAAA,EAAA,EAAA,EAAA,IAAA,CAAA,CAAA,EAAA,EAAA,CAAA,KAAA,EAoCxD,EApCwD,EAAA,GAoCjD,MApCiD,CAoC1C,EApC0C,EAoCtC,IApCsC,CAAA,CAAA,EAAA,CAAA,CAAA,CAAA,CAAA,MAAA,EAoCpB,MApCoB,CAoCb,CApCa,EAoCV,EApCU,CAAA,EAAA,GAoCF,MApCE,CAoCK,CApCL,GAoCS,EApCT,EAoCa,IApCb,CAAA;CAAG;;;;AAO1E,KAmCA,YAAA,GAnCS;EACA,CAAA,CAAA,EAAA,IAAA,CAAA,CAAA,SAAA,EAAA,CAAA,KAAA,EAmCQ,CAnCR,EAAA,GAAA,OAAA,EAAA,MAAA,EAAA,CAAA,KAAA,EAmCuC,CAnCvC,EAAA,GAmC6C,IAnC7C,CAAA,EAAA,CAAA,CAAA,CAAA,CAAA,MAAA,EAmC8D,MAnC9D,CAmCqE,CAnCrE,EAmCwE,CAnCxE,CAAA,EAAA,GAmC+E,MAnC/E,CAmCsF,CAnCtF,EAmCyF,CAnCzF,GAmC6F,IAnC7F,CAAA;CAAc"}