@reykjavik/webtools 0.3.3 → 0.3.5

package/CHANGELOG.md

@@ -4,11 +4,26 @@
 
 - ... <!-- Add new lines here. -->
 
+## 0.3.5
+
+_2026-02-18_
+
+- fix: `Result.ErrorOf<T>` not handling functions with parameters correctly
+
+## 0.3.4
+
+_2026-02-17_
+
+- `@reykjavik/webtools/errorhandling`:
+  - feat: Add type `Result.ErrorOf<T>` to extract the error type of a
+    `ResultTuple<T>` or a `ResultTuple`-returning function
+
 ## 0.3.3
 
 _2026-02-13_
 
-- feat: Make `ResultFail` better infer its error type from the argument
+- `@reykjavik/webtools/errorhandling`:
+  - feat: Make `ResultFail` better infer its error type from the argument
 
 ## 0.3.2
 
@@ -16,7 +31,7 @@ _2025-12-01_
 
 - `@reykjavik/webtools/errorhandling`:
   - feat: Add type `Result.PayloadOf<T>` to extract the successful payload
-    type from a `ResultTuple<T>` or a `ResultTuple`-returning function
+    type from a `ResultTuple<T>` or a `ResultTuple`-returning functions
 
 ## 0.3.0 – 0.3.1
 

package/README.md

@@ -47,6 +47,7 @@ bun add @reykjavik/webtools
   - [`Result.Fail`](#resultfail)
   - [`Result.throw`](#resultthrow)
   - [Type `Result.PayloadOf`](#type-resultpayloadof)
+  - [Type `Result.ErrorOf`](#type-resulterrorof)
 - [`@reykjavik/webtools/SiteImprove`](#reykjavikwebtoolssiteimprove)
   - [`SiteImprove` component](#siteimprove-component)
   - [`pingSiteImprove` helper](#pingsiteimprove-helper)
@@ -864,6 +865,32 @@ type Payload4 = Result.PayloadOf<ResTplPromiseFn>; // Date
 
 ---
 
+### Type `Result.ErrorOf`
+
+**Syntax:**
+`Result.ErrorOf<T extends | ResultTuple<unknown> | Promise<ResultTuple<unknown>> | ((...args: Array<any>) => ResultTuple<unknown> | Promise<ResultTuple<unknown>>)>`
+
+This utility type extracts the error type `E` 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, RangeError>;
+type ResTplPromise = Promise<Result.Tuple<number, RangeError>>;
+type ResTplFn = (arg: unknown) => Result.Tuple<boolean, RangeError>;
+type ResTplPromiseFn = (
+  arg: unknown
+) => Promise<Result.Tuple<Date, RangeError>>;
+
+type Error1 = Result.ErrorOf<ResTpl>; // RangeError
+type Error2 = Result.ErrorOf<ResTplPromise>; // RangeError
+type Error3 = Result.ErrorOf<ResTplFn>; // RangeError
+type Error4 = Result.ErrorOf<ResTplPromiseFn>; // RangeError
+```
+
+---
+
 ## `@reykjavik/webtools/SiteImprove`
 
 Contains React helpers for loading SiteImprove's analytics scripts, and

package/errorhandling.d.ts

@@ -115,5 +115,62 @@ export declare namespace Result {
      * @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;
+    /**
+     * Extracts the error type `E` from a `Result.Tuple<T, E>`-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 ErrorOf<T extends ResultTuple<unknown> | Promise<ResultTuple<unknown>> | ((...args: Array<any>) => ResultTuple<unknown> | Promise<ResultTuple<unknown>>)> = T extends [infer E, undefined?] ? E : T extends Promise<infer P> ? P extends [infer E, undefined?] ? E : never : T extends (...args: Array<any>) => infer R ? R extends [infer E, undefined?] ? E : R extends Promise<infer P> ? P extends [infer E, undefined?] ? E : never : never : never;
 }
 export {};
+/** /
+// ---------------------------------------------------------------------------
+// Tests for the Result.ErrorOf type helper:
+// Should all extract the `X_Error` type as the error type from the various `Result.Tuple`-like types below:
+let _e1: Result.ErrorOf<Result.Tuple<P, X_Error>>;
+//  ^?
+let _e2: Result.ErrorOf<Result.TupleObj<P, X_Error>>;
+//  ^?
+let _e3: Result.ErrorOf<ResultTupleObj<P, X_Error>>;
+//  ^?
+let _e4: Result.ErrorOf<ResultTuple<P, X_Error>>;
+//  ^?
+
+let _e5: Result.ErrorOf<Promise<Result.Tuple<P, X_Error>>>;
+//  ^?
+let _e6: Result.ErrorOf<Promise<Result.TupleObj<P, X_Error>>>;
+//  ^?
+let _e7: Result.ErrorOf<Promise<ResultTuple<P, X_Error>>>;
+//  ^?
+let _e8: Result.ErrorOf<Promise<ResultTupleObj<P, X_Error>>>;
+//  ^?
+
+let _E1: Result.ErrorOf<() => Result.Tuple<P, X_Error>>;
+//  ^?
+let _E2: Result.ErrorOf<() => Result.TupleObj<P, X_Error>>;
+//  ^?
+let _E3: Result.ErrorOf<() => ResultTupleObj<P, X_Error>>;
+//  ^?
+let _E3b: Result.ErrorOf<(a: null) => ResultTupleObj<P, X_Error>>;
+//  ^?
+let _E4: Result.ErrorOf<() => ResultTuple<P, X_Error>>;
+//  ^?
+
+let _E5: Result.ErrorOf<() => Promise<Result.Tuple<P, X_Error>>>;
+//  ^?
+let _E6: Result.ErrorOf<() => Promise<Result.TupleObj<P, X_Error>>>;
+//  ^?
+let _E7: Result.ErrorOf<() => Promise<ResultTuple<P, X_Error>>>;
+//  ^?
+let _E8: Result.ErrorOf<() => Promise<ResultTupleObj<P, X_Error>>>;
+//  ^?
+
+type P = string;
+class X_Error extends Error {
+  skilabod = 'fooo';
+  constructor() {
+    super('FormData validation error');
+  }
+}
+/**/

package/errorhandling.js

@@ -126,3 +126,53 @@ exports.Result = {
         return result[1];
     },
 };
+/** /
+// ---------------------------------------------------------------------------
+// Tests for the Result.ErrorOf type helper:
+// Should all extract the `X_Error` type as the error type from the various `Result.Tuple`-like types below:
+let _e1: Result.ErrorOf<Result.Tuple<P, X_Error>>;
+//  ^?
+let _e2: Result.ErrorOf<Result.TupleObj<P, X_Error>>;
+//  ^?
+let _e3: Result.ErrorOf<ResultTupleObj<P, X_Error>>;
+//  ^?
+let _e4: Result.ErrorOf<ResultTuple<P, X_Error>>;
+//  ^?
+
+let _e5: Result.ErrorOf<Promise<Result.Tuple<P, X_Error>>>;
+//  ^?
+let _e6: Result.ErrorOf<Promise<Result.TupleObj<P, X_Error>>>;
+//  ^?
+let _e7: Result.ErrorOf<Promise<ResultTuple<P, X_Error>>>;
+//  ^?
+let _e8: Result.ErrorOf<Promise<ResultTupleObj<P, X_Error>>>;
+//  ^?
+
+let _E1: Result.ErrorOf<() => Result.Tuple<P, X_Error>>;
+//  ^?
+let _E2: Result.ErrorOf<() => Result.TupleObj<P, X_Error>>;
+//  ^?
+let _E3: Result.ErrorOf<() => ResultTupleObj<P, X_Error>>;
+//  ^?
+let _E3b: Result.ErrorOf<(a: null) => ResultTupleObj<P, X_Error>>;
+//  ^?
+let _E4: Result.ErrorOf<() => ResultTuple<P, X_Error>>;
+//  ^?
+
+let _E5: Result.ErrorOf<() => Promise<Result.Tuple<P, X_Error>>>;
+//  ^?
+let _E6: Result.ErrorOf<() => Promise<Result.TupleObj<P, X_Error>>>;
+//  ^?
+let _E7: Result.ErrorOf<() => Promise<ResultTuple<P, X_Error>>>;
+//  ^?
+let _E8: Result.ErrorOf<() => Promise<ResultTupleObj<P, X_Error>>>;
+//  ^?
+
+type P = string;
+class X_Error extends Error {
+  skilabod = 'fooo';
+  constructor() {
+    super('FormData validation error');
+  }
+}
+/**/

package/esm/errorhandling.d.ts

@@ -115,5 +115,62 @@ export declare namespace Result {
      * @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;
+    /**
+     * Extracts the error type `E` from a `Result.Tuple<T, E>`-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 ErrorOf<T extends ResultTuple<unknown> | Promise<ResultTuple<unknown>> | ((...args: Array<any>) => ResultTuple<unknown> | Promise<ResultTuple<unknown>>)> = T extends [infer E, undefined?] ? E : T extends Promise<infer P> ? P extends [infer E, undefined?] ? E : never : T extends (...args: Array<any>) => infer R ? R extends [infer E, undefined?] ? E : R extends Promise<infer P> ? P extends [infer E, undefined?] ? E : never : never : never;
 }
 export {};
+/** /
+// ---------------------------------------------------------------------------
+// Tests for the Result.ErrorOf type helper:
+// Should all extract the `X_Error` type as the error type from the various `Result.Tuple`-like types below:
+let _e1: Result.ErrorOf<Result.Tuple<P, X_Error>>;
+//  ^?
+let _e2: Result.ErrorOf<Result.TupleObj<P, X_Error>>;
+//  ^?
+let _e3: Result.ErrorOf<ResultTupleObj<P, X_Error>>;
+//  ^?
+let _e4: Result.ErrorOf<ResultTuple<P, X_Error>>;
+//  ^?
+
+let _e5: Result.ErrorOf<Promise<Result.Tuple<P, X_Error>>>;
+//  ^?
+let _e6: Result.ErrorOf<Promise<Result.TupleObj<P, X_Error>>>;
+//  ^?
+let _e7: Result.ErrorOf<Promise<ResultTuple<P, X_Error>>>;
+//  ^?
+let _e8: Result.ErrorOf<Promise<ResultTupleObj<P, X_Error>>>;
+//  ^?
+
+let _E1: Result.ErrorOf<() => Result.Tuple<P, X_Error>>;
+//  ^?
+let _E2: Result.ErrorOf<() => Result.TupleObj<P, X_Error>>;
+//  ^?
+let _E3: Result.ErrorOf<() => ResultTupleObj<P, X_Error>>;
+//  ^?
+let _E3b: Result.ErrorOf<(a: null) => ResultTupleObj<P, X_Error>>;
+//  ^?
+let _E4: Result.ErrorOf<() => ResultTuple<P, X_Error>>;
+//  ^?
+
+let _E5: Result.ErrorOf<() => Promise<Result.Tuple<P, X_Error>>>;
+//  ^?
+let _E6: Result.ErrorOf<() => Promise<Result.TupleObj<P, X_Error>>>;
+//  ^?
+let _E7: Result.ErrorOf<() => Promise<ResultTuple<P, X_Error>>>;
+//  ^?
+let _E8: Result.ErrorOf<() => Promise<ResultTupleObj<P, X_Error>>>;
+//  ^?
+
+type P = string;
+class X_Error extends Error {
+  skilabod = 'fooo';
+  constructor() {
+    super('FormData validation error');
+  }
+}
+/**/

package/esm/errorhandling.js

@@ -121,3 +121,53 @@ export const Result = {
         return result[1];
     },
 };
+/** /
+// ---------------------------------------------------------------------------
+// Tests for the Result.ErrorOf type helper:
+// Should all extract the `X_Error` type as the error type from the various `Result.Tuple`-like types below:
+let _e1: Result.ErrorOf<Result.Tuple<P, X_Error>>;
+//  ^?
+let _e2: Result.ErrorOf<Result.TupleObj<P, X_Error>>;
+//  ^?
+let _e3: Result.ErrorOf<ResultTupleObj<P, X_Error>>;
+//  ^?
+let _e4: Result.ErrorOf<ResultTuple<P, X_Error>>;
+//  ^?
+
+let _e5: Result.ErrorOf<Promise<Result.Tuple<P, X_Error>>>;
+//  ^?
+let _e6: Result.ErrorOf<Promise<Result.TupleObj<P, X_Error>>>;
+//  ^?
+let _e7: Result.ErrorOf<Promise<ResultTuple<P, X_Error>>>;
+//  ^?
+let _e8: Result.ErrorOf<Promise<ResultTupleObj<P, X_Error>>>;
+//  ^?
+
+let _E1: Result.ErrorOf<() => Result.Tuple<P, X_Error>>;
+//  ^?
+let _E2: Result.ErrorOf<() => Result.TupleObj<P, X_Error>>;
+//  ^?
+let _E3: Result.ErrorOf<() => ResultTupleObj<P, X_Error>>;
+//  ^?
+let _E3b: Result.ErrorOf<(a: null) => ResultTupleObj<P, X_Error>>;
+//  ^?
+let _E4: Result.ErrorOf<() => ResultTuple<P, X_Error>>;
+//  ^?
+
+let _E5: Result.ErrorOf<() => Promise<Result.Tuple<P, X_Error>>>;
+//  ^?
+let _E6: Result.ErrorOf<() => Promise<Result.TupleObj<P, X_Error>>>;
+//  ^?
+let _E7: Result.ErrorOf<() => Promise<ResultTuple<P, X_Error>>>;
+//  ^?
+let _E8: Result.ErrorOf<() => Promise<ResultTupleObj<P, X_Error>>>;
+//  ^?
+
+type P = string;
+class X_Error extends Error {
+  skilabod = 'fooo';
+  constructor() {
+    super('FormData validation error');
+  }
+}
+/**/

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@reykjavik/webtools",
-	"version": "0.3.3",
+	"version": "0.3.5",
 	"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",