unthrown 0.1.0 → 0.2.0

package/dist/index.d.mts

@@ -172,10 +172,10 @@ type ResultMethods<T, E> = {
    *
    * @throws Re-throws on a `Defect`.
    */
-  getOrUndefined(): T | undefined; /** Whether this result is `Ok`. */
-  isOk(): boolean; /** Whether this result is `Err`. */
-  isErr(): boolean; /** Whether this result is a `Defect`. */
-  isDefect(): boolean; /** Lift this synchronous `Result` into an {@link AsyncResult}. */
+  getOrUndefined(): T | undefined; /** Whether this result is `Ok` — narrows `this` to its {@link OkView} on `true`. */
+  isOk(): this is OkView<T, E>; /** Whether this result is `Err` — narrows `this` to its {@link ErrView} on `true`. */
+  isErr(): this is ErrView<E, T>; /** Whether this result is a `Defect` — narrows `this` to its {@link DefectView} on `true`. */
+  isDefect(): this is DefectView<T, E>; /** Lift this synchronous `Result` into an {@link AsyncResult}. */
   toAsync(): AsyncResult<T, E>;
 };
 /** The `Ok` variant of a {@link Result}: a success carrying a `value`. */
@@ -310,6 +310,18 @@ type ErrOf<R> = R extends {
   readonly tag: "Err";
   readonly error: infer E;
 } ? E : never;
+/**
+ * Extract the success type `T` from an {@link AsyncResult}.
+ *
+ * @typeParam R - the `AsyncResult` type to inspect.
+ */
+type AsyncOkOf<R> = R extends AsyncResult<infer T, unknown> ? T : never;
+/**
+ * Extract the error type `E` from an {@link AsyncResult}.
+ *
+ * @typeParam R - the `AsyncResult` type to inspect.
+ */
+type AsyncErrOf<R> = R extends AsyncResult<unknown, infer E> ? E : never;
 //#endregion
 //#region src/constructors.d.ts
 /**
@@ -449,9 +461,16 @@ declare function fromNullable<T, E>(value: T | null | undefined, onAbsent: () =>
  * {@link Defect} (via {@link defect}) — there is no path that leaves `unknown`
  * in `E`. A throw inside `qualify` itself is treated as a `Defect`.
  *
+ * The modeled error type is `Exclude<R, Defect>` — the `Defect` arm of
+ * `qualify`'s return is **subtracted** from `E`, never inferred into it. So a
+ * `qualify` that returns *only* `defect(cause)` yields `E = never` (a defect is
+ * out-of-band and must not pollute the error channel); reach for
+ * {@link fromSafePromise} when every failure is a defect.
+ *
  * @typeParam A - the wrapped function's argument tuple.
  * @typeParam T - the wrapped function's return type.
- * @typeParam E - the modeled error type.
+ * @typeParam R - `qualify`'s return type; the modeled error `E` is
+ * `Exclude<R, Defect>` (its `Defect` arm, if any, is subtracted).
  * @param fn - the throwing function to wrap.
  * @param qualify - triages a thrown cause into `E` or a `Defect`.
  * @returns a function with the same arguments returning `Result<T, E>`.
@@ -463,7 +482,7 @@ declare function fromNullable<T, E>(value: T | null | undefined, onAbsent: () =>
  * parse("{}").unwrap();
  * ```
  */
-declare function fromThrowable<A extends unknown[], T, E>(fn: (...args: A) => T, qualify: (cause: unknown) => E | Defect): (...args: A) => Result$1<T, E>;
+declare function fromThrowable<A extends unknown[], T, R>(fn: (...args: A) => T, qualify: (cause: unknown) => R): (...args: A) => Result$1<T, Exclude<R, Defect>>;
 /**
  * Wrap a `Promise` (or a thunk producing one) as an {@link AsyncResult}, forcing
  * every rejection to be triaged.
@@ -474,8 +493,14 @@ declare function fromThrowable<A extends unknown[], T, E>(fn: (...args: A) => T,
  * `await`-ing it always yields a `Result`. A throw inside `qualify` is itself a
  * `Defect`.
  *
+ * The modeled error type is `Exclude<R, Defect>` — the `Defect` arm of
+ * `qualify`'s return is **subtracted** from `E`, never inferred into it. So a
+ * `qualify` that returns *only* `defect(cause)` yields `E = never`; when every
+ * rejection is a defect, prefer {@link fromSafePromise}.
+ *
  * @typeParam T - the resolved value type.
- * @typeParam E - the modeled error type.
+ * @typeParam R - `qualify`'s return type; the modeled error `E` is
+ * `Exclude<R, Defect>` (its `Defect` arm, if any, is subtracted).
  * @param promise - the promise, or a thunk returning one.
  * @param qualify - triages a rejection cause into `E` or a `Defect`.
  *
@@ -487,7 +512,7 @@ declare function fromThrowable<A extends unknown[], T, E>(fn: (...args: A) => T,
  * );
  * ```
  */
-declare function fromPromise<T, E>(promise: Promise<T> | (() => Promise<T>), qualify: (cause: unknown) => E | Defect): AsyncResult<T, E>;
+declare function fromPromise<T, R>(promise: Promise<T> | (() => Promise<T>), qualify: (cause: unknown) => R): AsyncResult<T, Exclude<R, Defect>>;
 /**
  * Wrap a `Promise` asserted **not** to fail in any modeled way: any rejection
  * becomes a `Defect`.
@@ -502,25 +527,66 @@ declare function fromPromise<T, E>(promise: Promise<T> | (() => Promise<T>), qua
  */
 declare function fromSafePromise<T>(promise: Promise<T> | (() => Promise<T>)): AsyncResult<T, never>;
 /**
- * Collect a tuple of {@link Result}s into a single `Result` of the tuple of
- * success values.
+ * The success channel of {@link all} / {@link allAsync}: a **positional tuple**
+ * for a fixed-length input (including the empty tuple), or a homogeneous
+ * **array** for a dynamic one.
+ *
+ * @remarks
+ * The split keys off the input's `length`: a fixed tuple has a literal length
+ * (`number extends Rs["length"]` is false → keep the positional `Ts`), while a
+ * general array has `length: number` (→ collapse to `Ts[number][]`). Checking
+ * length rather than `Rs extends [unknown, ...unknown[]]` keeps `all([])` typed
+ * as `Result<[], …>` instead of `Result<never[], …>`.
+ *
+ * @typeParam Rs - the tuple/array of input `Result` types.
+ * @typeParam Ts - per-element extracted success types (`OkOf` for `all`,
+ * `AsyncOkOf` for `allAsync`).
+ * @internal
+ */
+type AllOk<Rs extends readonly unknown[], Ts extends readonly unknown[]> = number extends Rs["length"] ? Ts[number][] : Ts;
+/**
+ * Collect {@link Result}s into a single `Result` of all their success values.
  *
  * @remarks
  * Short-circuits on the **first** `Err` (later entries are not inspected for
  * their error); any `Defect` present **dominates**, winning even over an earlier
- * `Err`. Positional types are preserved, so `all([ok(1), ok("a")])` is
- * `Result<[number, string], …>`.
+ * `Err`. A **fixed tuple** keeps its positional types — `all([ok(1), ok("a")])`
+ * is `Result<[number, string], …>` — while a **dynamic array** `Result<T, E>[]`
+ * collapses to `Result<T[], E>` with no cast.
  *
- * @typeParam Rs - the tuple of input `Result` types.
+ * @typeParam Rs - the tuple/array of input `Result` types.
  * @param results - the results to combine.
  *
  * @example
  * ```ts
  * import { all, ok } from "unthrown";
- * all([ok(1), ok("a"), ok(true)]).unwrap(); // [1, "a", true]
+ * all([ok(1), ok("a"), ok(true)]).unwrap(); // [1, "a", true] (typed [number, string, boolean])
+ * all([ok(1), ok(2)] as Result<number, never>[]).unwrap(); // number[]
  * ```
  */
-declare function all<Rs extends readonly Result$1<unknown, unknown>[]>(results: readonly [...Rs]): Result$1<{ [K in keyof Rs]: OkOf<Rs[K]> }, ErrOf<Rs[number]>>;
+declare function all<Rs extends readonly Result$1<unknown, unknown>[]>(results: readonly [...Rs]): Result$1<AllOk<Rs, { [K in keyof Rs]: OkOf<Rs[K]> }>, ErrOf<Rs[number]>>;
+/**
+ * The asynchronous counterpart of {@link all}: combine {@link AsyncResult}s into
+ * one `AsyncResult` of all their success values.
+ *
+ * @remarks
+ * The inputs are resolved **concurrently** (their order is preserved); the
+ * resolved `Result`s are then folded with the same rules as {@link all} —
+ * first `Err` short-circuits, any `Defect` dominates. As ever, the returned
+ * `AsyncResult`'s internal promise never rejects. A **fixed tuple** keeps its
+ * positional types; a **dynamic array** `AsyncResult<T, E>[]` collapses to
+ * `AsyncResult<T[], E>`.
+ *
+ * @typeParam Rs - the tuple/array of input `AsyncResult` types.
+ * @param results - the async results to combine.
+ *
+ * @example
+ * ```ts
+ * import { allAsync, fromSafePromise } from "unthrown";
+ * const both = await allAsync([fromSafePromise(a()), fromSafePromise(b())]);
+ * ```
+ */
+declare function allAsync<Rs extends readonly AsyncResult<unknown, unknown>[]>(results: readonly [...Rs]): AsyncResult<AllOk<Rs, { [K in keyof Rs]: AsyncOkOf<Rs[K]> }>, AsyncErrOf<Rs[number]>>;
 //#endregion
 //#region src/facade.d.ts
 /**
@@ -528,7 +594,8 @@ declare function all<Rs extends readonly Result$1<unknown, unknown>[]>(results:
  * discoverable namespace: {@link Result.ok}, {@link Result.err},
  * {@link Result.defect}, {@link Result.fromNullable}, {@link Result.fromThrowable},
  * {@link Result.fromPromise}, {@link Result.fromSafePromise}, {@link Result.all},
- * {@link Result.isOk}, {@link Result.isErr}, {@link Result.isDefect}.
+ * {@link Result.allAsync}, {@link Result.isOk}, {@link Result.isErr},
+ * {@link Result.isDefect}.
  *
  * @remarks
  * Purely additive sugar — each member **is** the corresponding free function.
@@ -551,6 +618,7 @@ declare const Result: {
   readonly fromPromise: typeof fromPromise;
   readonly fromSafePromise: typeof fromSafePromise;
   readonly all: typeof all;
+  readonly allAsync: typeof allAsync;
   readonly isOk: typeof isOk;
   readonly isErr: typeof isErr;
   readonly isDefect: typeof isDefect;
@@ -592,8 +660,26 @@ type TaggedErrorConstructor<Tag extends string> = {
  * field in the payload is forwarded to `Error`. The `_tag` always reflects
  * `tag` and cannot be overridden by the payload.
  *
+ * `_tag` is the discriminant used by {@link matchTags}; `Error.name` is the
+ * human-facing label in stack traces and logs. By default they coincide, but
+ * they can be **decoupled** with `options.name` — so a tag can be namespaced for
+ * collision-safety (`"@my-lib/RetryableError"`) without that slash-prefixed
+ * string leaking into `Error.name`:
+ *
+ * ```ts
+ * class RetryableError extends TaggedError("@my-lib/RetryableError", {
+ *   name: "RetryableError",
+ * })<{ message: string }> {}
+ *
+ * const e = new RetryableError({ message: "boom" });
+ * e._tag; // "@my-lib/RetryableError" — namespaced discriminant
+ * e.name; // "RetryableError"          — clean display name
+ * ```
+ *
  * @typeParam Tag - the string literal discriminant.
- * @param tag - the discriminant value, also used as the error `name`.
+ * @param tag - the discriminant value; also the default error `name`.
+ * @param options - optional overrides. `options.name` sets `Error.name`
+ * independently of `tag` (defaults to `tag`).
  *
  * @example
  * ```ts
@@ -604,7 +690,9 @@ type TaggedErrorConstructor<Tag extends string> = {
  * new HttpError({ status: 500 }).status; // 500
  * ```
  */
-declare function TaggedError<Tag extends string>(tag: Tag): TaggedErrorConstructor<Tag>;
+declare function TaggedError<Tag extends string>(tag: Tag, options?: {
+  readonly name?: string;
+}): TaggedErrorConstructor<Tag>;
 /**
  * The handler object {@link matchTags} requires: a branch per error tag, plus
  * `Ok` and `Defect`. Miss a tag and it will not compile — the exhaustiveness is
@@ -659,5 +747,5 @@ declare function matchTags<T, E extends {
   _tag: string;
 }, R>(result: AsyncResult<T, E>, handlers: TagHandlers<T, E, R>): Promise<R>;
 //#endregion
-export { type AsyncResult, type Awaitable, type Defect, type DefectView, type ErrOf, type ErrView, type OkOf, type OkView, Result, type TagHandlers, TaggedError, type TaggedErrorConstructor, type TaggedErrorInstance, UnwrapError, all, defect, err, fromNullable, fromPromise, fromSafePromise, fromThrowable, isDefect, isErr, isOk, matchTags, ok };
+export { type AsyncErrOf, type AsyncOkOf, type AsyncResult, type Awaitable, type Defect, type DefectView, type ErrOf, type ErrView, type OkOf, type OkView, Result, type TagHandlers, TaggedError, type TaggedErrorConstructor, type TaggedErrorInstance, UnwrapError, all, allAsync, defect, err, fromNullable, fromPromise, fromSafePromise, fromThrowable, isDefect, isErr, isOk, matchTags, ok };
 //# sourceMappingURL=index.d.mts.map

package/dist/index.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.mts","names":[],"sources":["../src/types.ts","../src/constructors.ts","../src/core.ts","../src/defect.ts","../src/interop.ts","../src/facade.ts","../src/tagged.ts"],"mappings":";;AAWA;;;;;;;;KAAY,aAAA;EAqB6B;;;;;;;;;EAXvC,GAAA,IAAO,CAAA,GAAI,KAAA,EAAO,CAAA,KAAM,CAAA,GAAI,QAAA,CAAO,CAAA,EAAG,CAAA;EAoBV;;;;;;;;;;EAT5B,OAAA,QAAe,CAAA,GAAI,KAAA,EAAO,CAAA,KAAM,QAAA,CAAO,CAAA,EAAG,EAAA,IAAM,QAAA,CAAO,CAAA,EAAG,CAAA,GAAI,EAAA;EAuCxB;;;;;;;;EA9BtC,GAAA,CAAI,CAAA,GAAI,KAAA,EAAO,CAAA,YAAa,QAAA,CAAO,CAAA,EAAG,CAAA;EA4CC;;;;;;;EApCvC,EAAA,IAAM,KAAA,EAAO,CAAA,GAAI,QAAA,CAAO,CAAA,EAAG,CAAA;EA2D2B;;;;;;;;;EAhDtD,MAAA,KAAW,CAAA,GAAI,KAAA,EAAO,CAAA,KAAM,EAAA,GAAK,QAAA,CAAO,CAAA,EAAG,EAAA;EAsEb;;;;;;;;;;EA3D9B,MAAA,QAAc,CAAA,GAAI,KAAA,EAAO,CAAA,KAAM,QAAA,CAAO,CAAA,EAAG,EAAA,IAAM,QAAA,CAAO,CAAA,GAAI,CAAA,EAAG,EAAA;EA2F/B;;;;;;;;;;;;;EA7E9B,OAAA,IAAW,CAAA,GAAI,KAAA,EAAO,CAAA,KAAM,CAAA,GAAI,QAAA,CAAO,CAAA,GAAI,CAAA;EAhEhC;;;;;;;EAwEX,MAAA,CAAO,CAAA,GAAI,KAAA,EAAO,CAAA,YAAa,QAAA,CAAO,CAAA,EAAG,CAAA;EA7D9B;;;;;;;;;;;;;EA4EX,aAAA,QAAqB,CAAA,GAAI,KAAA,cAAmB,QAAA,CAAO,CAAA,EAAG,EAAA,IAAM,QAAA,CAAO,CAAA,GAAI,CAAA,EAAG,CAAA,GAAI,EAAA;EAnE1E;;;;;;EA0EJ,SAAA,CAAU,CAAA,GAAI,KAAA,qBAA0B,QAAA,CAAO,CAAA,EAAG,CAAA;EAlE5C;;;;;;;;;;;;;EAiFN,KAAA,IAAS,KAAA;IAAS,EAAA,GAAK,KAAA,EAAO,CAAA,KAAM,CAAA;IAAG,GAAA,GAAM,KAAA,EAAO,CAAA,KAAM,CAAA;IAAG,MAAA,GAAS,KAAA,cAAmB,CAAA;EAAA,IAAM,CAAA;EA3DhE;;;;;;;;EAoE/B,MAAA,IAAU,CAAA;EAtDF;;;;;;;EA8DR,SAAA,IAAa,CAAA;EAtDb;;;;;;;EA8DA,QAAA,CAAS,QAAA,EAAU,CAAA,GAAI,CAAA;EA/CT;;;;;;EAsDd,YAAA,CAAa,CAAA,GAAI,KAAA,EAAO,CAAA,KAAM,CAAA,GAAI,CAAA;EAtD0B;;;;;EA4D5D,SAAA,IAAa,CAAA;EArDC;;;;;EA2Dd,cAAA,IAAkB,CAAA,cA5CZ;EA+CN,IAAA,aA/C8B;EAiD9B,KAAA,aAjDoC;EAmDpC,QAAA,aAnDoD;EAsDpD,OAAA,IAAW,WAAA,CAAY,CAAA,EAAG,CAAA;AAAA;;KAIhB,MAAA,iBAAuB,aAAA,CAAc,CAAA,EAAG,CAAA;EAAA,SACzC,GAAA;EAAA,SACA,KAAA,EAAO,CAAA;AAAA;;KAGN,OAAA,iBAAwB,aAAA,CAAc,CAAA,EAAG,CAAA;EAAA,SAC1C,GAAA;EAAA,SACA,KAAA,EAAO,CAAA;AAAA;;KAGN,UAAA,yBAAmC,aAAA,CAAc,CAAA,EAAG,CAAA;EAAA,SACrD,GAAA;EAAA,SACA,KAAA;AAAA;;;;;;;;;;;;;;;;;AAhBkB;AAI7B;;;;;;;;;;;;;;;;;;AAEmB;AAGnB;KA+CY,QAAA,SAAe,MAAA,CAAO,CAAA,EAAG,CAAA,IAAK,OAAA,CAAQ,CAAA,EAAG,CAAA,IAAK,UAAA,CAAW,CAAA,EAAG,CAAA;;;;;;;;;;;;;;KAe5D,SAAA;EACV,IAAA,KAAS,CAAA,EAAG,WAAA,KAAgB,KAAA,EAAO,CAAA,KAAM,CAAA,GAAI,WAAA,CAAY,CAAA,YAAa,WAAA,CAAY,CAAA;AAAA;AA7DjE;AAGnB;;;;;;;;;;;;;;;;AAEgB;AALG,KAkFP,WAAA,SAAoB,SAAA,CAAU,QAAA,CAAO,CAAA,EAAG,CAAA;EArClC,0EAuChB,GAAA,IAAO,CAAA,GAAI,KAAA,EAAO,CAAA,KAAM,CAAA,GAAI,WAAA,CAAY,CAAA,EAAG,CAAA;EAvCX;;;;EA4ChC,OAAA,QAAe,CAAA,GAAI,KAAA,EAAO,CAAA,KAAM,QAAA,CAAO,CAAA,EAAG,EAAA,IAAM,WAAA,CAAY,CAAA,EAAG,EAAA,IAAM,WAAA,CAAY,CAAA,EAAG,CAAA,GAAI,EAAA,GA5ChD;EA8CxC,GAAA,CAAI,CAAA,GAAI,KAAA,EAAO,CAAA,YAAa,WAAA,CAAY,CAAA,EAAG,CAAA,GA9C2B;EAgDtE,EAAA,IAAM,KAAA,EAAO,CAAA,GAAI,WAAA,CAAY,CAAA,EAAG,CAAA,GAhDkC;EAmDlE,MAAA,KAAW,CAAA,GAAI,KAAA,EAAO,CAAA,KAAM,EAAA,GAAK,WAAA,CAAY,CAAA,EAAG,EAAA,GAnD/B;EAqDjB,MAAA,QAAc,CAAA,GAAI,KAAA,EAAO,CAAA,KAAM,QAAA,CAAO,CAAA,EAAG,EAAA,IAAM,WAAA,CAAY,CAAA,EAAG,EAAA,IAAM,WAAA,CAAY,CAAA,GAAI,CAAA,EAAG,EAAA,GArD9D;EAuDzB,OAAA,IAAW,CAAA,GAAI,KAAA,EAAO,CAAA,KAAM,CAAA,GAAI,WAAA,CAAY,CAAA,GAAI,CAAA,UAvDb;EAyDnC,MAAA,CAAO,CAAA,GAAI,KAAA,EAAO,CAAA,YAAa,WAAA,CAAY,CAAA,EAAG,CAAA,GAzDE;EA4DhD,aAAA,QACE,CAAA,GAAI,KAAA,cAAmB,QAAA,CAAO,CAAA,EAAG,EAAA,IAAM,WAAA,CAAY,CAAA,EAAG,EAAA,IACrD,WAAA,CAAY,CAAA,GAAI,CAAA,EAAG,CAAA,GAAI,EAAA,GA9D8B;EAgExD,SAAA,CAAU,CAAA,GAAI,KAAA,qBAA0B,WAAA,CAAY,CAAA,EAAG,CAAA,GAhEe;EAmEtE,KAAA,IAAS,KAAA;IACP,EAAA,GAAK,KAAA,EAAO,CAAA,KAAM,CAAA;IAClB,GAAA,GAAM,KAAA,EAAO,CAAA,KAAM,CAAA;IACnB,MAAA,GAAS,KAAA,cAAmB,CAAA;EAAA,IAC1B,OAAA,CAAQ,CAAA,GAvDH;EAyDT,MAAA,IAAU,OAAA,CAAQ,CAAA,GAzDuB;EA2DzC,SAAA,IAAa,OAAA,CAAQ,CAAA,GA3DwB;EA6D7C,QAAA,CAAS,QAAA,EAAU,CAAA,GAAI,OAAA,CAAQ,CAAA,GA7DuC;EA+DtE,YAAA,CAAa,CAAA,GAAI,KAAA,EAAO,CAAA,KAAM,CAAA,GAAI,OAAA,CAAQ,CAAA,GA/DuC;EAiEjF,SAAA,IAAa,OAAA,CAAQ,CAAA,UAjErB;EAmEA,cAAA,IAAkB,OAAA,CAAQ,CAAA;AAAA;;;;;;KAQhB,IAAA,MAAU,CAAC;EAAA,SAAoB,GAAA;EAAA,SAAoB,KAAA;AAAA,IAAmB,CAAA;AA3EG;AAqBrF;;;;AArBqF,KAiFzE,KAAA,MAAW,CAAC;EAAA,SAAoB,GAAA;EAAA,SAAqB,KAAA;AAAA,IAAmB,CAAA;;;AAtUpF;;;;;;;;;;;;AAAA,iBCMgB,EAAA,IAAM,KAAA,EAAO,CAAA,GAAI,QAAA,CAAO,CAAA;;;;;;;;;;;;;iBAgBxB,GAAA,IAAO,KAAA,EAAO,CAAA,GAAI,QAAA,QAAc,CAAA;;;;;;;;;;;;;iBAgBhC,IAAA,OAAW,CAAA,EAAG,QAAA,CAAO,CAAA,EAAG,CAAA,IAAK,CAAA,IAAK,MAAA,CAAO,CAAA,EAAG,CAAA;;;;;;iBAQ5C,KAAA,OAAY,CAAA,EAAG,QAAA,CAAO,CAAA,EAAG,CAAA,IAAK,CAAA,IAAK,OAAA,CAAQ,CAAA,EAAG,CAAA;;;;;;iBAQ9C,QAAA,OAAe,CAAA,EAAG,QAAA,CAAO,CAAA,EAAG,CAAA,IAAK,CAAA,IAAK,UAAA,CAAW,CAAA,EAAG,CAAA;;;ADtDpE;;;;;;;;;;;AAAA,cEiBa,WAAA,sBAAiC,KAAA;EFIW;;;;EAAA,SEC9C,KAAA,EAAO,CAAA;cACJ,KAAA,EAAO,CAAA;AAAA;;;cChCf,MAAA;AHSN;;;;;;;;;;AAAA,KGGY,MAAA;EAAA,UACA,MAAM;EAAA,SACP,KAAK;AAAA;;;;;;;;;;;;;;;;;iBAmBA,MAAA,CAAO,KAAA,YAAiB,MAAM;;;;;;;;;;;;;;;;;;;;;;iBCP9B,YAAA,OACd,KAAA,EAAO,CAAA,qBACP,QAAA,QAAgB,CAAA,GACf,QAAA,CAAO,WAAA,CAAY,CAAA,GAAI,CAAA;;;;;;;;;;;;;;;;;;;;;;;;iBA2BV,aAAA,4BACd,EAAA,MAAQ,IAAA,EAAM,CAAA,KAAM,CAAA,EACpB,OAAA,GAAU,KAAA,cAAmB,CAAA,GAAI,MAAA,OAC5B,IAAA,EAAM,CAAA,KAAM,QAAA,CAAO,CAAA,EAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;iBAiCb,WAAA,OACd,OAAA,EAAS,OAAA,CAAQ,CAAA,WAAY,OAAA,CAAQ,CAAA,IACrC,OAAA,GAAU,KAAA,cAAmB,CAAA,GAAI,MAAA,GAChC,WAAA,CAAY,CAAA,EAAG,CAAA;;;;;;;;;;;;;iBAqBF,eAAA,IACd,OAAA,EAAS,OAAA,CAAQ,CAAA,WAAY,OAAA,CAAQ,CAAA,KACpC,WAAA,CAAY,CAAA;;;;;;;;;;;;;;;;;;;;iBAyCC,GAAA,qBAAwB,QAAA,sBACtC,OAAA,eAAsB,EAAA,IACrB,QAAA,eAAqB,EAAA,GAAK,IAAA,CAAK,EAAA,CAAG,CAAA,MAAO,KAAA,CAAM,EAAA;;;;;;;;;;;;;;;;;;;;;;cCrIrC,MAAA;EAAA;;;;;;;;;;;;KAiBD,MAAA,SAAe,QAAA,CAAW,CAAA,EAAG,CAAA;;;KC1CpC,KAAA,GAAQ,MAAM;;;;;;;;KASP,mBAAA,+BAAkD,KAAA,IAAS,KAAA,GACrE,QAAA,CAAS,CAAA;EAAA,SAAgB,IAAA,EAAM,GAAA;AAAA;;;;;;;;;;;KAYrB,sBAAA;EAAA,eACK,KAAA,OAAY,IAAA,QAAY,CAAA,wBAAyB,CAAA,GAAI,mBAAA,CAAoB,GAAA,EAAK,CAAA;AAAA;;;;;;;;;;;;;;;;;;;;;;;iBAyB/E,WAAA,qBAAgC,GAAA,EAAK,GAAA,GAAM,sBAAA,CAAuB,GAAA;;;;;;;;;;KA2BtE,WAAA;EAA2B,IAAA;AAAA;EACrC,EAAA,GAAK,KAAA,EAAO,CAAA,KAAM,CAAA;EAClB,MAAA,GAAS,KAAA,cAAmB,CAAA;AAAA,YAClB,CAAA,YAAa,KAAA,EAAO,OAAA,CAAQ,CAAA;EAAK,IAAA,EAAM,CAAA;AAAA,OAAS,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAgC5C,SAAA;EAAyB,IAAA;AAAA,MACvC,MAAA,EAAQ,QAAA,CAAO,CAAA,EAAG,CAAA,GAClB,QAAA,EAAU,WAAA,CAAY,CAAA,EAAG,CAAA,EAAG,CAAA,IAC3B,CAAA;AAAA,iBACa,SAAA;EAAyB,IAAA;AAAA,MACvC,MAAA,EAAQ,WAAA,CAAY,CAAA,EAAG,CAAA,GACvB,QAAA,EAAU,WAAA,CAAY,CAAA,EAAG,CAAA,EAAG,CAAA,IAC3B,OAAA,CAAQ,CAAA"}
+{"version":3,"file":"index.d.mts","names":[],"sources":["../src/types.ts","../src/constructors.ts","../src/core.ts","../src/defect.ts","../src/interop.ts","../src/facade.ts","../src/tagged.ts"],"mappings":";;AAWA;;;;;;;;KAAY,aAAA;EAqB6B;;;;;;;;;EAXvC,GAAA,IAAO,CAAA,GAAI,KAAA,EAAO,CAAA,KAAM,CAAA,GAAI,QAAA,CAAO,CAAA,EAAG,CAAA;EAoBV;;;;;;;;;;EAT5B,OAAA,QAAe,CAAA,GAAI,KAAA,EAAO,CAAA,KAAM,QAAA,CAAO,CAAA,EAAG,EAAA,IAAM,QAAA,CAAO,CAAA,EAAG,CAAA,GAAI,EAAA;EAuCxB;;;;;;;;EA9BtC,GAAA,CAAI,CAAA,GAAI,KAAA,EAAO,CAAA,YAAa,QAAA,CAAO,CAAA,EAAG,CAAA;EA4CC;;;;;;;EApCvC,EAAA,IAAM,KAAA,EAAO,CAAA,GAAI,QAAA,CAAO,CAAA,EAAG,CAAA;EA2D2B;;;;;;;;;EAhDtD,MAAA,KAAW,CAAA,GAAI,KAAA,EAAO,CAAA,KAAM,EAAA,GAAK,QAAA,CAAO,CAAA,EAAG,EAAA;EAsEb;;;;;;;;;;EA3D9B,MAAA,QAAc,CAAA,GAAI,KAAA,EAAO,CAAA,KAAM,QAAA,CAAO,CAAA,EAAG,EAAA,IAAM,QAAA,CAAO,CAAA,GAAI,CAAA,EAAG,EAAA;EA2F/B;;;;;;;;;;;;;EA7E9B,OAAA,IAAW,CAAA,GAAI,KAAA,EAAO,CAAA,KAAM,CAAA,GAAI,QAAA,CAAO,CAAA,GAAI,CAAA;EAmGjB;;;;;;;EA3F1B,MAAA,CAAO,CAAA,GAAI,KAAA,EAAO,CAAA,YAAa,QAAA,CAAO,CAAA,EAAG,CAAA;EAxEvB;;;;;;;;;;;;;EAuFlB,aAAA,QAAqB,CAAA,GAAI,KAAA,cAAmB,QAAA,CAAO,CAAA,EAAG,EAAA,IAAM,QAAA,CAAO,CAAA,GAAI,CAAA,EAAG,CAAA,GAAI,EAAA;EA5EpC;;;;;;EAmF1C,SAAA,CAAU,CAAA,GAAI,KAAA,qBAA0B,QAAA,CAAO,CAAA,EAAG,CAAA;EA1EnC;;;;;;;;;;;;;EAyFf,KAAA,IAAS,KAAA;IAAS,EAAA,GAAK,KAAA,EAAO,CAAA,KAAM,CAAA;IAAG,GAAA,GAAM,KAAA,EAAO,CAAA,KAAM,CAAA;IAAG,MAAA,GAAS,KAAA,cAAmB,CAAA;EAAA,IAAM,CAAA;EAtEpF;;;;;;;;EA+EX,MAAA,IAAU,CAAA;EApEqB;;;;;;;EA4E/B,SAAA,IAAa,CAAA;EA9Db;;;;;;;EAsEA,QAAA,CAAS,QAAA,EAAU,CAAA,GAAI,CAAA;EAtEoB;;;;;;EA6E3C,YAAA,CAAa,CAAA,GAAI,KAAA,EAAO,CAAA,KAAM,CAAA,GAAI,CAAA;EArEO;;;;;EA2EzC,SAAA,IAAa,CAAA;EA5DsC;;;;;EAkEnD,cAAA,IAAkB,CAAA,cAlEwD;EAqE1E,IAAA,YAAgB,MAAA,CAAO,CAAA,EAAG,CAAA,GA9D1B;EAgEA,KAAA,YAAiB,OAAA,CAAQ,CAAA,EAAG,CAAA,GAhElB;EAkEV,QAAA,YAAoB,UAAA,CAAW,CAAA,EAAG,CAAA,GAlEa;EAqE/C,OAAA,IAAW,WAAA,CAAY,CAAA,EAAG,CAAA;AAAA;;KAIhB,MAAA,iBAAuB,aAAA,CAAc,CAAA,EAAG,CAAA;EAAA,SACzC,GAAA;EAAA,SACA,KAAA,EAAO,CAAA;AAAA;;KAGN,OAAA,iBAAwB,aAAA,CAAc,CAAA,EAAG,CAAA;EAAA,SAC1C,GAAA;EAAA,SACA,KAAA,EAAO,CAAA;AAAA;;KAGN,UAAA,yBAAmC,aAAA,CAAc,CAAA,EAAG,CAAA;EAAA,SACrD,GAAA;EAAA,SACA,KAAA;AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAhBkB;AAI7B;;KAoDY,QAAA,SAAe,MAAA,CAAO,CAAA,EAAG,CAAA,IAAK,OAAA,CAAQ,CAAA,EAAG,CAAA,IAAK,UAAA,CAAW,CAAA,EAAG,CAAA;;;;;;;;;;;;;;KAe5D,SAAA;EACV,IAAA,KAAS,CAAA,EAAG,WAAA,KAAgB,KAAA,EAAO,CAAA,KAAM,CAAA,GAAI,WAAA,CAAY,CAAA,YAAa,WAAA,CAAY,CAAA;AAAA;AA/DpF;;;;;;;;;;;;;;;;;;AAAA,KAoFY,WAAA,SAAoB,SAAA,CAAU,QAAA,CAAO,CAAA,EAAG,CAAA;EA/ExC,0EAiFV,GAAA,IAAO,CAAA,GAAI,KAAA,EAAO,CAAA,KAAM,CAAA,GAAI,WAAA,CAAY,CAAA,EAAG,CAAA;EAjFvB;;;;EAsFpB,OAAA,QAAe,CAAA,GAAI,KAAA,EAAO,CAAA,KAAM,QAAA,CAAO,CAAA,EAAG,EAAA,IAAM,WAAA,CAAY,CAAA,EAAG,EAAA,IAAM,WAAA,CAAY,CAAA,EAAG,CAAA,GAAI,EAAA,GAtF9B;EAwF1D,GAAA,CAAI,CAAA,GAAI,KAAA,EAAO,CAAA,YAAa,WAAA,CAAY,CAAA,EAAG,CAAA,GAxFX;EA0FhC,EAAA,IAAM,KAAA,EAAO,CAAA,GAAI,WAAA,CAAY,CAAA,EAAG,CAAA,GA1F2B;EA6F3D,MAAA,KAAW,CAAA,GAAI,KAAA,EAAO,CAAA,KAAM,EAAA,GAAK,WAAA,CAAY,CAAA,EAAG,EAAA,GA5FvC;EA8FT,MAAA,QAAc,CAAA,GAAI,KAAA,EAAO,CAAA,KAAM,QAAA,CAAO,CAAA,EAAG,EAAA,IAAM,WAAA,CAAY,CAAA,EAAG,EAAA,IAAM,WAAA,CAAY,CAAA,GAAI,CAAA,EAAG,EAAA,GA7FzE;EA+Fd,OAAA,IAAW,CAAA,GAAI,KAAA,EAAO,CAAA,KAAM,CAAA,GAAI,WAAA,CAAY,CAAA,GAAI,CAAA,UAvDtC;EAyDV,MAAA,CAAO,CAAA,GAAI,KAAA,EAAO,CAAA,YAAa,WAAA,CAAY,CAAA,EAAG,CAAA,GAzD9B;EA4DhB,aAAA,QACE,CAAA,GAAI,KAAA,cAAmB,QAAA,CAAO,CAAA,EAAG,EAAA,IAAM,WAAA,CAAY,CAAA,EAAG,EAAA,IACrD,WAAA,CAAY,CAAA,GAAI,CAAA,EAAG,CAAA,GAAI,EAAA,GA9DS;EAgEnC,SAAA,CAAU,CAAA,GAAI,KAAA,qBAA0B,WAAA,CAAY,CAAA,EAAG,CAAA,GAhEP;EAmEhD,KAAA,IAAS,KAAA;IACP,EAAA,GAAK,KAAA,EAAO,CAAA,KAAM,CAAA;IAClB,GAAA,GAAM,KAAA,EAAO,CAAA,KAAM,CAAA;IACnB,MAAA,GAAS,KAAA,cAAmB,CAAA;EAAA,IAC1B,OAAA,CAAQ,CAAA,GAvEsD;EAyElE,MAAA,IAAU,OAAA,CAAQ,CAAA,GAzED;EA2EjB,SAAA,IAAa,OAAA,CAAQ,CAAA,GA3EI;EA6EzB,QAAA,CAAS,QAAA,EAAU,CAAA,GAAI,OAAA,CAAQ,CAAA,GA7EI;EA+EnC,YAAA,CAAa,CAAA,GAAI,KAAA,EAAO,CAAA,KAAM,CAAA,GAAI,OAAA,CAAQ,CAAA,GA/EM;EAiFhD,SAAA,IAAa,OAAA,CAAQ,CAAA,UAjFmC;EAmFxD,cAAA,IAAkB,OAAA,CAAQ,CAAA;AAAA;;AAnF6C;AAezE;;;KA4EY,IAAA,MAAU,CAAC;EAAA,SAAoB,GAAA;EAAA,SAAoB,KAAA;AAAA,IAAmB,CAAA;;;;;;KAMtE,KAAA,MAAW,CAAC;EAAA,SAAoB,GAAA;EAAA,SAAqB,KAAA;AAAA,IAAmB,CAAA;;;;;;KAMxE,SAAA,MAAe,CAAA,SAAU,WAAW,qBAAqB,CAAA;;;;AAvFgB;AAqBrF;KAwEY,UAAA,MAAgB,CAAA,SAAU,WAAW,qBAAqB,CAAA;;;AAlVtE;;;;;;;;;;;;AAAA,iBCMgB,EAAA,IAAM,KAAA,EAAO,CAAA,GAAI,QAAA,CAAO,CAAA;;;;;;;;;;;;;iBAgBxB,GAAA,IAAO,KAAA,EAAO,CAAA,GAAI,QAAA,QAAc,CAAA;;;;;;;;;;;;;iBAgBhC,IAAA,OAAW,CAAA,EAAG,QAAA,CAAO,CAAA,EAAG,CAAA,IAAK,CAAA,IAAK,MAAA,CAAO,CAAA,EAAG,CAAA;;;;;;iBAQ5C,KAAA,OAAY,CAAA,EAAG,QAAA,CAAO,CAAA,EAAG,CAAA,IAAK,CAAA,IAAK,OAAA,CAAQ,CAAA,EAAG,CAAA;;;;;;iBAQ9C,QAAA,OAAe,CAAA,EAAG,QAAA,CAAO,CAAA,EAAG,CAAA,IAAK,CAAA,IAAK,UAAA,CAAW,CAAA,EAAG,CAAA;;;ADtDpE;;;;;;;;;;;AAAA,cEiBa,WAAA,sBAAiC,KAAA;EFIW;;;;EAAA,SEC9C,KAAA,EAAO,CAAA;cACJ,KAAA,EAAO,CAAA;AAAA;;;cChCf,MAAA;AHSN;;;;;;;;;;AAAA,KGGY,MAAA;EAAA,UACA,MAAM;EAAA,SACP,KAAK;AAAA;;;;;;;;;;;;;;;;;iBAmBA,MAAA,CAAO,KAAA,YAAiB,MAAM;;;;;;;;;;;;;;;;;;;;;;iBCP9B,YAAA,OACd,KAAA,EAAO,CAAA,qBACP,QAAA,QAAgB,CAAA,GACf,QAAA,CAAO,WAAA,CAAY,CAAA,GAAI,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAkCV,aAAA,4BACd,EAAA,MAAQ,IAAA,EAAM,CAAA,KAAM,CAAA,EACpB,OAAA,GAAU,KAAA,cAAmB,CAAA,OACxB,IAAA,EAAM,CAAA,KAAM,QAAA,CAAO,CAAA,EAAG,OAAA,CAAQ,CAAA,EAAG,MAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAyCxB,WAAA,OACd,OAAA,EAAS,OAAA,CAAQ,CAAA,WAAY,OAAA,CAAQ,CAAA,IACrC,OAAA,GAAU,KAAA,cAAmB,CAAA,GAC5B,WAAA,CAAY,CAAA,EAAG,OAAA,CAAQ,CAAA,EAAG,MAAA;;;;;;;;;;;;;iBAuBb,eAAA,IACd,OAAA,EAAS,OAAA,CAAQ,CAAA,WAAY,OAAA,CAAQ,CAAA,KACpC,WAAA,CAAY,CAAA;;;;;;;;;;;;;;;;;;KAuCV,KAAA,gFAGc,EAAA,aAAe,EAAA,aAAe,EAAA;;;;;;;;;;;;;;;;;;;;;iBAsBjC,GAAA,qBAAwB,QAAA,sBACtC,OAAA,eAAsB,EAAA,IACrB,QAAA,CAAO,KAAA,CAAM,EAAA,gBAAkB,EAAA,GAAK,IAAA,CAAK,EAAA,CAAG,CAAA,OAAQ,KAAA,CAAM,EAAA;;;;;;;;;;;;;;;;;;;;;;iBAsC7C,QAAA,qBAA6B,WAAA,sBAC3C,OAAA,eAAsB,EAAA,IACrB,WAAA,CAAY,KAAA,CAAM,EAAA,gBAAkB,EAAA,GAAK,SAAA,CAAU,EAAA,CAAG,CAAA,OAAQ,UAAA,CAAW,EAAA;;;;;;;;;;;;;;;;;;;;;;;cC7M/D,MAAA;EAAA;;;;;;;;;;;;;KAkBD,MAAA,SAAe,QAAA,CAAW,CAAA,EAAG,CAAA;;;KCnDpC,KAAA,GAAQ,MAAM;;;;;;;;KASP,mBAAA,+BAAkD,KAAA,IAAS,KAAA,GACrE,QAAA,CAAS,CAAA;EAAA,SAAgB,IAAA,EAAM,GAAA;AAAA;;;;;;;;;;;KAYrB,sBAAA;EAAA,eACK,KAAA,OAAY,IAAA,QAAY,CAAA,wBAAyB,CAAA,GAAI,mBAAA,CAAoB,GAAA,EAAK,CAAA;AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBA2C/E,WAAA,qBACd,GAAA,EAAK,GAAA,EACL,OAAA;EAAA,SAAqB,IAAA;AAAA,IACpB,sBAAA,CAAuB,GAAA;;;;;;;;;;KA4Bd,WAAA;EAA2B,IAAA;AAAA;EACrC,EAAA,GAAK,KAAA,EAAO,CAAA,KAAM,CAAA;EAClB,MAAA,GAAS,KAAA,cAAmB,CAAA;AAAA,YAClB,CAAA,YAAa,KAAA,EAAO,OAAA,CAAQ,CAAA;EAAK,IAAA,EAAM,CAAA;AAAA,OAAS,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAgC5C,SAAA;EAAyB,IAAA;AAAA,MACvC,MAAA,EAAQ,QAAA,CAAO,CAAA,EAAG,CAAA,GAClB,QAAA,EAAU,WAAA,CAAY,CAAA,EAAG,CAAA,EAAG,CAAA,IAC3B,CAAA;AAAA,iBACa,SAAA;EAAyB,IAAA;AAAA,MACvC,MAAA,EAAQ,WAAA,CAAY,CAAA,EAAG,CAAA,GACvB,QAAA,EAAU,WAAA,CAAY,CAAA,EAAG,CAAA,EAAG,CAAA,IAC3B,OAAA,CAAQ,CAAA"}

package/dist/index.mjs

@@ -465,9 +465,16 @@ function fromNullable(value, onAbsent) {
 * {@link Defect} (via {@link defect}) — there is no path that leaves `unknown`
 * in `E`. A throw inside `qualify` itself is treated as a `Defect`.
 *
+* The modeled error type is `Exclude<R, Defect>` — the `Defect` arm of
+* `qualify`'s return is **subtracted** from `E`, never inferred into it. So a
+* `qualify` that returns *only* `defect(cause)` yields `E = never` (a defect is
+* out-of-band and must not pollute the error channel); reach for
+* {@link fromSafePromise} when every failure is a defect.
+*
 * @typeParam A - the wrapped function's argument tuple.
 * @typeParam T - the wrapped function's return type.
-* @typeParam E - the modeled error type.
+* @typeParam R - `qualify`'s return type; the modeled error `E` is
+* `Exclude<R, Defect>` (its `Defect` arm, if any, is subtracted).
 * @param fn - the throwing function to wrap.
 * @param qualify - triages a thrown cause into `E` or a `Defect`.
 * @returns a function with the same arguments returning `Result<T, E>`.
@@ -480,11 +487,12 @@ function fromNullable(value, onAbsent) {
 * ```
 */
 function fromThrowable(fn, qualify) {
+	const triage = qualify;
 	return (...args) => {
 		try {
 			return ok(fn(...args));
 		} catch (cause) {
-			return qualifyToResult(cause, qualify);
+			return qualifyToResult(cause, triage);
 		}
 	};
 }
@@ -498,8 +506,14 @@ function fromThrowable(fn, qualify) {
 * `await`-ing it always yields a `Result`. A throw inside `qualify` is itself a
 * `Defect`.
 *
+* The modeled error type is `Exclude<R, Defect>` — the `Defect` arm of
+* `qualify`'s return is **subtracted** from `E`, never inferred into it. So a
+* `qualify` that returns *only* `defect(cause)` yields `E = never`; when every
+* rejection is a defect, prefer {@link fromSafePromise}.
+*
 * @typeParam T - the resolved value type.
-* @typeParam E - the modeled error type.
+* @typeParam R - `qualify`'s return type; the modeled error `E` is
+* `Exclude<R, Defect>` (its `Defect` arm, if any, is subtracted).
 * @param promise - the promise, or a thunk returning one.
 * @param qualify - triages a rejection cause into `E` or a `Defect`.
 *
@@ -512,7 +526,8 @@ function fromThrowable(fn, qualify) {
 * ```
 */
 function fromPromise(promise, qualify) {
-	return new AsyncRes((typeof promise === "function" ? Promise.resolve().then(promise) : promise).then((value) => okRes(value), (cause) => qualifyToResult(cause, qualify)));
+	const triage = qualify;
+	return new AsyncRes((typeof promise === "function" ? Promise.resolve().then(promise) : promise).then((value) => okRes(value), (cause) => qualifyToResult(cause, triage)));
 }
 /**
 * Wrap a `Promise` asserted **not** to fail in any modeled way: any rejection
@@ -538,22 +553,23 @@ function qualifyToResult(cause, qualify) {
 	}
 }
 /**
-* Collect a tuple of {@link Result}s into a single `Result` of the tuple of
-* success values.
+* Collect {@link Result}s into a single `Result` of all their success values.
 *
 * @remarks
 * Short-circuits on the **first** `Err` (later entries are not inspected for
 * their error); any `Defect` present **dominates**, winning even over an earlier
-* `Err`. Positional types are preserved, so `all([ok(1), ok("a")])` is
-* `Result<[number, string], …>`.
+* `Err`. A **fixed tuple** keeps its positional types — `all([ok(1), ok("a")])`
+* is `Result<[number, string], …>` — while a **dynamic array** `Result<T, E>[]`
+* collapses to `Result<T[], E>` with no cast.
 *
-* @typeParam Rs - the tuple of input `Result` types.
+* @typeParam Rs - the tuple/array of input `Result` types.
 * @param results - the results to combine.
 *
 * @example
 * ```ts
 * import { all, ok } from "unthrown";
-* all([ok(1), ok("a"), ok(true)]).unwrap(); // [1, "a", true]
+* all([ok(1), ok("a"), ok(true)]).unwrap(); // [1, "a", true] (typed [number, string, boolean])
+* all([ok(1), ok(2)] as Result<number, never>[]).unwrap(); // number[]
 * ```
 */
 function all(results) {
@@ -567,6 +583,30 @@ function all(results) {
 	if (firstErr) return firstErr;
 	return ok(values);
 }
+/**
+* The asynchronous counterpart of {@link all}: combine {@link AsyncResult}s into
+* one `AsyncResult` of all their success values.
+*
+* @remarks
+* The inputs are resolved **concurrently** (their order is preserved); the
+* resolved `Result`s are then folded with the same rules as {@link all} —
+* first `Err` short-circuits, any `Defect` dominates. As ever, the returned
+* `AsyncResult`'s internal promise never rejects. A **fixed tuple** keeps its
+* positional types; a **dynamic array** `AsyncResult<T, E>[]` collapses to
+* `AsyncResult<T[], E>`.
+*
+* @typeParam Rs - the tuple/array of input `AsyncResult` types.
+* @param results - the async results to combine.
+*
+* @example
+* ```ts
+* import { allAsync, fromSafePromise } from "unthrown";
+* const both = await allAsync([fromSafePromise(a()), fromSafePromise(b())]);
+* ```
+*/
+function allAsync(results) {
+	return new AsyncRes(Promise.all(results).then((resolved) => all(resolved)));
+}
 //#endregion
 //#region src/facade.ts
 /**
@@ -574,7 +614,8 @@ function all(results) {
 * discoverable namespace: {@link Result.ok}, {@link Result.err},
 * {@link Result.defect}, {@link Result.fromNullable}, {@link Result.fromThrowable},
 * {@link Result.fromPromise}, {@link Result.fromSafePromise}, {@link Result.all},
-* {@link Result.isOk}, {@link Result.isErr}, {@link Result.isDefect}.
+* {@link Result.allAsync}, {@link Result.isOk}, {@link Result.isErr},
+* {@link Result.isDefect}.
 *
 * @remarks
 * Purely additive sugar — each member **is** the corresponding free function.
@@ -597,6 +638,7 @@ const Result = {
 	fromPromise,
 	fromSafePromise,
 	all,
+	allAsync,
 	isOk,
 	isErr,
 	isDefect
@@ -613,8 +655,26 @@ const Result = {
 * field in the payload is forwarded to `Error`. The `_tag` always reflects
 * `tag` and cannot be overridden by the payload.
 *
+* `_tag` is the discriminant used by {@link matchTags}; `Error.name` is the
+* human-facing label in stack traces and logs. By default they coincide, but
+* they can be **decoupled** with `options.name` — so a tag can be namespaced for
+* collision-safety (`"@my-lib/RetryableError"`) without that slash-prefixed
+* string leaking into `Error.name`:
+*
+* ```ts
+* class RetryableError extends TaggedError("@my-lib/RetryableError", {
+*   name: "RetryableError",
+* })<{ message: string }> {}
+*
+* const e = new RetryableError({ message: "boom" });
+* e._tag; // "@my-lib/RetryableError" — namespaced discriminant
+* e.name; // "RetryableError"          — clean display name
+* ```
+*
 * @typeParam Tag - the string literal discriminant.
-* @param tag - the discriminant value, also used as the error `name`.
+* @param tag - the discriminant value; also the default error `name`.
+* @param options - optional overrides. `options.name` sets `Error.name`
+* independently of `tag` (defaults to `tag`).
 *
 * @example
 * ```ts
@@ -625,14 +685,15 @@ const Result = {
 * new HttpError({ status: 500 }).status; // 500
 * ```
 */
-function TaggedError(tag) {
+function TaggedError(tag, options) {
+	const displayName = options?.name ?? tag;
 	class TaggedErrorBase extends Error {
 		_tag;
 		constructor(props) {
 			super(typeof props?.["message"] === "string" ? props["message"] : void 0);
 			if (props) Object.assign(this, props);
 			this._tag = tag;
-			this.name = tag;
+			this.name = displayName;
 			Object.setPrototypeOf(this, new.target.prototype);
 		}
 	}
@@ -650,6 +711,6 @@ function matchTags(result, handlers) {
 	});
 }
 //#endregion
-export { Result, TaggedError, UnwrapError, all, defect, err, fromNullable, fromPromise, fromSafePromise, fromThrowable, isDefect, isErr, isOk, matchTags, ok };
+export { Result, TaggedError, UnwrapError, all, allAsync, defect, err, fromNullable, fromPromise, fromSafePromise, fromThrowable, isDefect, isErr, isOk, matchTags, ok };
 
 //# sourceMappingURL=index.mjs.map