@reykjavik/webtools 0.3.2 → 0.3.4

package/CHANGELOG.md

@@ -4,13 +4,28 @@
 
 - ... <!-- Add new lines here. -->
 
+## 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_
+
+- `@reykjavik/webtools/errorhandling`:
+  - feat: Make `ResultFail` better infer its error type from the argument
+
 ## 0.3.2
 
 _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
 
@@ -28,7 +43,7 @@ _2025-09-30_
 
 - `@reykjavik/webtools/next/vanillaExtract`:
   - feat: Make `vanillaVars` return a type-safe `setVars()` helper to avoid
-    offending VSCode's CSS syntax parser too much.
+    offending VSCode's CSS syntax parser too much
 
 ## 0.2.8
 

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
@@ -1216,11 +1243,15 @@ const myStyle = style({
 ### `vanillaVars`
 
 **Syntax:**
-`` vanillaVars(...varNames: Array<T>): Record <`var${Capitalize<T>}`, string> ``
+`` vanillaVars(...varNames: Array<T>): Record <`var${Capitalize<T>}`, string> & { setVars: (Partial<Record<`var${Capitalize<T>}`, unknown>>) => string} ``
 
 Returns an object with privately scoped CSS variables props. Pass them around
 and use them in your CSS.
 
+The object also has a `setVars` method for generating a CSS string that sets
+all or some of the variables in CSS, without offending VSCode's CSS syntax
+parser too much.
+
 ```ts
 // MyComponent.css.ts
 import {

package/errorhandling.d.ts

@@ -51,6 +51,8 @@ export type ResultTuple<T, E extends Error = Error> = [error: undefined, result:
  * @see https://github.com/reykjavikcity/webtools/blob/v0.3/README.md#type-resulttupleobj
  */
 export type ResultTupleObj<T, E extends Error = Error> = SuccessResult<T> | FailResult<E>;
+declare function Fail<E extends Error = Error>(e: E): FailResult<E>;
+declare function Fail<E extends Error = Error>(e: unknown): FailResult<E>;
 /**
  * Error handling utility that wraps a promise or a callback function.
  *
@@ -82,7 +84,7 @@ export declare const Result: {
      *
      * @see https://github.com/reykjavikcity/webtools/blob/v0.3/README.md#resultsfail
      */
-    Fail: <E extends Error = Error>(e: unknown) => FailResult<E>;
+    Fail: typeof Fail;
     catch: typeof catch_;
     ify: typeof catch_;
     /**
@@ -113,5 +115,60 @@ 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 () => 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 _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

@@ -48,12 +48,12 @@ const Success = (result) => {
     return tuple;
 };
 /*#__NO_SIDE_EFFECTS__*/
-const Fail = (e) => {
+function Fail(e) {
     const tuple = [(0, exports.asError)(e)];
     tuple.error = tuple[0];
     tuple.mapTo = () => tuple;
     return tuple;
-};
+}
 /*#__NO_SIDE_EFFECTS__*/
 function catch_(something) {
     if (something instanceof Promise) {
@@ -126,3 +126,51 @@ 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 _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

@@ -51,6 +51,8 @@ export type ResultTuple<T, E extends Error = Error> = [error: undefined, result:
  * @see https://github.com/reykjavikcity/webtools/blob/v0.3/README.md#type-resulttupleobj
  */
 export type ResultTupleObj<T, E extends Error = Error> = SuccessResult<T> | FailResult<E>;
+declare function Fail<E extends Error = Error>(e: E): FailResult<E>;
+declare function Fail<E extends Error = Error>(e: unknown): FailResult<E>;
 /**
  * Error handling utility that wraps a promise or a callback function.
  *
@@ -82,7 +84,7 @@ export declare const Result: {
      *
      * @see https://github.com/reykjavikcity/webtools/blob/v0.3/README.md#resultsfail
      */
-    Fail: <E extends Error = Error>(e: unknown) => FailResult<E>;
+    Fail: typeof Fail;
     catch: typeof catch_;
     ify: typeof catch_;
     /**
@@ -113,5 +115,60 @@ 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 () => 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 _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

@@ -43,12 +43,12 @@ const Success = (result) => {
     return tuple;
 };
 /*#__NO_SIDE_EFFECTS__*/
-const Fail = (e) => {
+function Fail(e) {
     const tuple = [asError(e)];
     tuple.error = tuple[0];
     tuple.mapTo = () => tuple;
     return tuple;
-};
+}
 /*#__NO_SIDE_EFFECTS__*/
 function catch_(something) {
     if (something instanceof Promise) {
@@ -121,3 +121,51 @@ 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 _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/vanillaExtract.d.ts

@@ -35,7 +35,7 @@ export declare function vanillaClass(debugId: string, css: string | ClassNameCal
  * Returns an object with privately scoped CSS variables props.
  * Pass them around and use them in your CSS.
  *
- * @see https://github.com/reykjavikcity/webtools/blob/v0.3/README.md#vanillacvars
+ * @see https://github.com/reykjavikcity/webtools/blob/v0.3/README.md#vanillavars
  */
 export declare const vanillaVars: <T extends string>(...varNames: Array<T>) => Record<`var${Capitalize<T>}`, string> & {
     /** Allows initializing all or some of the variables in CSS, without offending VSCode's CSS syntax parser too much. */

package/esm/vanillaExtract.js

@@ -31,7 +31,7 @@ export function vanillaClass(cssOrDebugId, css) {
  * Returns an object with privately scoped CSS variables props.
  * Pass them around and use them in your CSS.
  *
- * @see https://github.com/reykjavikcity/webtools/blob/v0.3/README.md#vanillacvars
+ * @see https://github.com/reykjavikcity/webtools/blob/v0.3/README.md#vanillavars
  */
 export const vanillaVars = (...varNames) => {
     const id = vanillaClass(``);

package/package.json

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

package/vanillaExtract.d.ts

@@ -35,7 +35,7 @@ export declare function vanillaClass(debugId: string, css: string | ClassNameCal
  * Returns an object with privately scoped CSS variables props.
  * Pass them around and use them in your CSS.
  *
- * @see https://github.com/reykjavikcity/webtools/blob/v0.3/README.md#vanillacvars
+ * @see https://github.com/reykjavikcity/webtools/blob/v0.3/README.md#vanillavars
  */
 export declare const vanillaVars: <T extends string>(...varNames: Array<T>) => Record<`var${Capitalize<T>}`, string> & {
     /** Allows initializing all or some of the variables in CSS, without offending VSCode's CSS syntax parser too much. */

package/vanillaExtract.js

@@ -37,7 +37,7 @@ function vanillaClass(cssOrDebugId, css) {
  * Returns an object with privately scoped CSS variables props.
  * Pass them around and use them in your CSS.
  *
- * @see https://github.com/reykjavikcity/webtools/blob/v0.3/README.md#vanillacvars
+ * @see https://github.com/reykjavikcity/webtools/blob/v0.3/README.md#vanillavars
  */
 const vanillaVars = (...varNames) => {
     const id = vanillaClass(``);