@reykjavik/webtools 0.3.1 → 0.3.2

package/CHANGELOG.md

@@ -4,13 +4,15 @@
 
 - ... <!-- Add new lines here. -->
 
-## 0.3.1
+## 0.3.2
 
-_2025-11-10_
+_2025-12-01_
 
-- docs: Update JSDoc @see links to point to new version branch
+- `@reykjavik/webtools/errorhandling`:
+  - feat: Add type `Result.PayloadOf<T>` to extract the successful payload
+    type from a `ResultTuple<T>` or a `ResultTuple`-returning function.
 
-## 0.3.0
+## 0.3.0 – 0.3.1
 
 _2025-11-10_
 

package/README.md

@@ -46,6 +46,7 @@ bun add @reykjavik/webtools
   - [`Result.Success`](#resultsuccess)
   - [`Result.Fail`](#resultfail)
   - [`Result.throw`](#resultthrow)
+  - [Type `Result.PayloadOf`](#type-resultpayloadof)
 - [`@reykjavik/webtools/SiteImprove`](#reykjavikwebtoolssiteimprove)
   - [`SiteImprove` component](#siteimprove-component)
   - [`pingSiteImprove` helper](#pingsiteimprove-helper)
@@ -838,6 +839,29 @@ try {
 
 This function acts as the inverse of [`Result.catch()`](#resultcatch).
 
+### Type `Result.PayloadOf`
+
+**Syntax:**
+`Result.PayloadOf<T extends | ResultTuple<unknown> | Promise<ResultTuple<unknown>> | ((...args: Array<any>) => ResultTuple<unknown> | Promise<ResultTuple<unknown>>)>`
+
+This utility type extracts the successful payload type `T` from a
+`Result.Tuple<T>`-like type, a `Promise` of such type, or a function returning
+either of those.
+
+```ts
+import { Result } from '@reykjavik/webtools/errorhandling';
+
+type ResTpl = Result.Tuple<string, Error>;
+type ResTplPromise = Promise<Result.Tuple<number, Error>>;
+type ResTplFn = (arg: unknown) => Result.Tuple<boolean, Error>;
+type ResTplPromiseFn = (arg: unknown) => Promise<Result.Tuple<Date, Error>>;
+
+type Payload1 = Result.PayloadOf<ResTpl>; // string
+type Payload2 = Result.PayloadOf<ResTplPromise>; // number
+type Payload3 = Result.PayloadOf<ResTplFn>; // boolean
+type Payload4 = Result.PayloadOf<ResTplPromiseFn>; // Date
+```
+
 ---
 
 ## `@reykjavik/webtools/SiteImprove`

package/errorhandling.d.ts

@@ -106,5 +106,12 @@ export declare namespace Result {
     type TupleObj<T, E extends Error = Error> = ResultTupleObj<T, E>;
     type SuccessObj<T> = SuccessResult<T>;
     type FailObj<E extends Error> = FailResult<E>;
+    /**
+     * Extracts the successful payload type `T` from a `Result.Tuple<T>`-like
+     * type, a `Promise` of such type, or a function returning either of those.
+     *
+     * @see https://github.com/reykjavikcity/webtools/blob/v0.3/README.md#type-resultpayloadof
+     */
+    type PayloadOf<T extends ResultTuple<unknown> | Promise<ResultTuple<unknown>> | ((...args: Array<any>) => ResultTuple<unknown> | Promise<ResultTuple<unknown>>)> = T extends [undefined, infer P] | Promise<ResultTuple<infer P>> | ((...args: Array<any>) => ResultTuple<infer P> | Promise<ResultTuple<infer P>>) ? P : never;
 }
 export {};

package/esm/errorhandling.d.ts

@@ -106,5 +106,12 @@ export declare namespace Result {
     type TupleObj<T, E extends Error = Error> = ResultTupleObj<T, E>;
     type SuccessObj<T> = SuccessResult<T>;
     type FailObj<E extends Error> = FailResult<E>;
+    /**
+     * Extracts the successful payload type `T` from a `Result.Tuple<T>`-like
+     * type, a `Promise` of such type, or a function returning either of those.
+     *
+     * @see https://github.com/reykjavikcity/webtools/blob/v0.3/README.md#type-resultpayloadof
+     */
+    type PayloadOf<T extends ResultTuple<unknown> | Promise<ResultTuple<unknown>> | ((...args: Array<any>) => ResultTuple<unknown> | Promise<ResultTuple<unknown>>)> = T extends [undefined, infer P] | Promise<ResultTuple<infer P>> | ((...args: Array<any>) => ResultTuple<infer P> | Promise<ResultTuple<infer P>>) ? P : never;
 }
 export {};

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@reykjavik/webtools",
-	"version": "0.3.1",
+	"version": "0.3.2",
 	"description": "Misc. JS/TS helpers used by Reykjavík City's web dev teams.",
 	"main": "index.js",
 	"repository": "ssh://git@github.com:reykjavikcity/webtools.git",