@atproto/lex-schema 0.0.4 → 0.0.5

package/CHANGELOG.md

@@ -1,5 +1,42 @@
 # @atproto/lex-schema
 
+## 0.0.5
+
+### Patch Changes
+
+- [#4457](https://github.com/bluesky-social/atproto/pull/4457) [`e6b6107`](https://github.com/bluesky-social/atproto/commit/e6b6107e028fee964972274b71f5da1329a7bece) Thanks [@matthieusieben](https://github.com/matthieusieben)! - Add `cast()` method to Schema classes. This acts as a type cast that does not alter the value or throws if the value does not match the schema.
+
+- [#4457](https://github.com/bluesky-social/atproto/pull/4457) [`e6b6107`](https://github.com/bluesky-social/atproto/commit/e6b6107e028fee964972274b71f5da1329a7bece) Thanks [@matthieusieben](https://github.com/matthieusieben)! - Forbid use of unsafe integers
+
+- [#4457](https://github.com/bluesky-social/atproto/pull/4457) [`e6b6107`](https://github.com/bluesky-social/atproto/commit/e6b6107e028fee964972274b71f5da1329a7bece) Thanks [@matthieusieben](https://github.com/matthieusieben)! - Replace `InferParamsSchema` with `InferMethodParams`
+
+- [#4457](https://github.com/bluesky-social/atproto/pull/4457) [`e6b6107`](https://github.com/bluesky-social/atproto/commit/e6b6107e028fee964972274b71f5da1329a7bece) Thanks [@matthieusieben](https://github.com/matthieusieben)! - Add `matchesEncoding` method on the `PayloadSchema` class.
+
+- [#4457](https://github.com/bluesky-social/atproto/pull/4457) [`e6b6107`](https://github.com/bluesky-social/atproto/commit/e6b6107e028fee964972274b71f5da1329a7bece) Thanks [@matthieusieben](https://github.com/matthieusieben)! - Replace `InferProcedureParameters` with `InferMethodParams`
+
+- [#4457](https://github.com/bluesky-social/atproto/pull/4457) [`e6b6107`](https://github.com/bluesky-social/atproto/commit/e6b6107e028fee964972274b71f5da1329a7bece) Thanks [@matthieusieben](https://github.com/matthieusieben)! - Export format checking utilities for string (`isDidString`, `isCidString`, etc.)
+
+- [#4457](https://github.com/bluesky-social/atproto/pull/4457) [`e6b6107`](https://github.com/bluesky-social/atproto/commit/e6b6107e028fee964972274b71f5da1329a7bece) Thanks [@matthieusieben](https://github.com/matthieusieben)! - Expose `$Typed` and `Un$Typed` utilities
+
+- [#4457](https://github.com/bluesky-social/atproto/pull/4457) [`e6b6107`](https://github.com/bluesky-social/atproto/commit/e6b6107e028fee964972274b71f5da1329a7bece) Thanks [@matthieusieben](https://github.com/matthieusieben)! - Rename `ResultFailure`'s error field to `reason`
+
+- [#4457](https://github.com/bluesky-social/atproto/pull/4457) [`e6b6107`](https://github.com/bluesky-social/atproto/commit/e6b6107e028fee964972274b71f5da1329a7bece) Thanks [@matthieusieben](https://github.com/matthieusieben)! - Type the `encoding` field of `Payload` more accurately. Methods with an encoding of `*/*` are now correctly represented as `${string}/${string}` instead of the `*/*` literal type.
+
+- [#4457](https://github.com/bluesky-social/atproto/pull/4457) [`e6b6107`](https://github.com/bluesky-social/atproto/commit/e6b6107e028fee964972274b71f5da1329a7bece) Thanks [@matthieusieben](https://github.com/matthieusieben)! - Add `matchesMime` utility method on `BlobSchema` class
+
+- [#4457](https://github.com/bluesky-social/atproto/pull/4457) [`e6b6107`](https://github.com/bluesky-social/atproto/commit/e6b6107e028fee964972274b71f5da1329a7bece) Thanks [@matthieusieben](https://github.com/matthieusieben)! - Enforce size and accept options when validating blobs
+
+- [#4457](https://github.com/bluesky-social/atproto/pull/4457) [`e6b6107`](https://github.com/bluesky-social/atproto/commit/e6b6107e028fee964972274b71f5da1329a7bece) Thanks [@matthieusieben](https://github.com/matthieusieben)! - Replace `InferProcedureInputBody` with `InferMethodInputBody`
+
+- [#4457](https://github.com/bluesky-social/atproto/pull/4457) [`e6b6107`](https://github.com/bluesky-social/atproto/commit/e6b6107e028fee964972274b71f5da1329a7bece) Thanks [@matthieusieben](https://github.com/matthieusieben)! - Add `check()` method to all Schema classes. That method is an alias for the `assert()` method that allows to avoid `ts(2775)` errors.
+
+- [#4457](https://github.com/bluesky-social/atproto/pull/4457) [`e6b6107`](https://github.com/bluesky-social/atproto/commit/e6b6107e028fee964972274b71f5da1329a7bece) Thanks [@matthieusieben](https://github.com/matthieusieben)! - Rename format assertion and checking utilities to all contain the `String` prefix (like in `asAtUriString`, `assertAtUriString`, etc.)
+
+- [#4457](https://github.com/bluesky-social/atproto/pull/4457) [`e6b6107`](https://github.com/bluesky-social/atproto/commit/e6b6107e028fee964972274b71f5da1329a7bece) Thanks [@matthieusieben](https://github.com/matthieusieben)! - Replace `InferProcedureOutputBody` with `InferMethodOutputBody`
+
+- Updated dependencies [[`e6b6107`](https://github.com/bluesky-social/atproto/commit/e6b6107e028fee964972274b71f5da1329a7bece), [`e6b6107`](https://github.com/bluesky-social/atproto/commit/e6b6107e028fee964972274b71f5da1329a7bece), [`e6b6107`](https://github.com/bluesky-social/atproto/commit/e6b6107e028fee964972274b71f5da1329a7bece), [`e6b6107`](https://github.com/bluesky-social/atproto/commit/e6b6107e028fee964972274b71f5da1329a7bece), [`e6b6107`](https://github.com/bluesky-social/atproto/commit/e6b6107e028fee964972274b71f5da1329a7bece)]:
+  - @atproto/lex-data@0.0.4
+
 ## 0.0.4
 
 ### Patch Changes

package/dist/core/$type.d.ts

@@ -1,7 +1,14 @@
 import { NsidString } from './string-format.js';
+import { OmitKey } from './types.js';
 export type $Type<N extends NsidString = NsidString, H extends string = string> = N extends NsidString ? string extends H ? N | `${N}#${string}` : H extends 'main' ? N : `${N}#${H}` : never;
 export type $TypeOf<O extends {
     $type?: string;
 }> = NonNullable<O['$type']>;
 export declare function $type<N extends NsidString, H extends string>(nsid: N, hash: H): $Type<N, H>;
+export type $Typed<V, T extends string = string> = V & {
+    $type: T;
+};
+export type Un$Typed<V extends {
+    $type?: string;
+}> = OmitKey<V, '$type'>;
 //# sourceMappingURL=$type.d.ts.map

package/dist/core/$type.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"$type.d.ts","sourceRoot":"","sources":["../../src/core/$type.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAA;AAE/C,MAAM,MAAM,KAAK,CACf,CAAC,SAAS,UAAU,GAAG,UAAU,EACjC,CAAC,SAAS,MAAM,GAAG,MAAM,IACvB,CAAC,SAAS,UAAU,GACpB,MAAM,SAAS,CAAC,GACd,CAAC,GAAG,GAAG,CAAC,IAAI,MAAM,EAAE,GACpB,CAAC,SAAS,MAAM,GACd,CAAC,GACD,GAAG,CAAC,IAAI,CAAC,EAAE,GACf,KAAK,CAAA;AAET,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS;IAAE,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,IAAI,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAA;AAG3E,wBAAgB,KAAK,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,SAAS,MAAM,EAC1D,IAAI,EAAE,CAAC,EACP,IAAI,EAAE,CAAC,GACN,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAEb"}
+{"version":3,"file":"$type.d.ts","sourceRoot":"","sources":["../../src/core/$type.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAA;AAC/C,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAEpC,MAAM,MAAM,KAAK,CACf,CAAC,SAAS,UAAU,GAAG,UAAU,EACjC,CAAC,SAAS,MAAM,GAAG,MAAM,IACvB,CAAC,SAAS,UAAU,GACpB,MAAM,SAAS,CAAC,GACd,CAAC,GAAG,GAAG,CAAC,IAAI,MAAM,EAAE,GACpB,CAAC,SAAS,MAAM,GACd,CAAC,GACD,GAAG,CAAC,IAAI,CAAC,EAAE,GACf,KAAK,CAAA;AAET,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS;IAAE,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,IAAI,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAA;AAG3E,wBAAgB,KAAK,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,SAAS,MAAM,EAC1D,IAAI,EAAE,CAAC,EACP,IAAI,EAAE,CAAC,GACN,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAEb;AAED,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI,CAAC,GAAG;IAAE,KAAK,EAAE,CAAC,CAAA;CAAE,CAAA;AACnE,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS;IAAE,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,IAAI,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA"}

package/dist/core/$type.js.map

@@ -1 +1 @@
-{"version":3,"file":"$type.js","sourceRoot":"","sources":["../../src/core/$type.ts"],"names":[],"mappings":";;AAgBA,sBAKC;AAND,wBAAwB;AACxB,SAAgB,KAAK,CACnB,IAAO,EACP,IAAO;IAEP,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAgB,CAAA;AACpE,CAAC","sourcesContent":["import { NsidString } from './string-format.js'\n\nexport type $Type<\n  N extends NsidString = NsidString,\n  H extends string = string,\n> = N extends NsidString\n  ? string extends H\n    ? N | `${N}#${string}`\n    : H extends 'main'\n      ? N\n      : `${N}#${H}`\n  : never\n\nexport type $TypeOf<O extends { $type?: string }> = NonNullable<O['$type']>\n\n/*@__NO_SIDE_EFFECTS__*/\nexport function $type<N extends NsidString, H extends string>(\n  nsid: N,\n  hash: H,\n): $Type<N, H> {\n  return (hash === 'main' ? nsid : `${nsid}#${hash}`) as $Type<N, H>\n}\n"]}
+{"version":3,"file":"$type.js","sourceRoot":"","sources":["../../src/core/$type.ts"],"names":[],"mappings":";;AAiBA,sBAKC;AAND,wBAAwB;AACxB,SAAgB,KAAK,CACnB,IAAO,EACP,IAAO;IAEP,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAgB,CAAA;AACpE,CAAC","sourcesContent":["import { NsidString } from './string-format.js'\nimport { OmitKey } from './types.js'\n\nexport type $Type<\n  N extends NsidString = NsidString,\n  H extends string = string,\n> = N extends NsidString\n  ? string extends H\n    ? N | `${N}#${string}`\n    : H extends 'main'\n      ? N\n      : `${N}#${H}`\n  : never\n\nexport type $TypeOf<O extends { $type?: string }> = NonNullable<O['$type']>\n\n/*@__NO_SIDE_EFFECTS__*/\nexport function $type<N extends NsidString, H extends string>(\n  nsid: N,\n  hash: H,\n): $Type<N, H> {\n  return (hash === 'main' ? nsid : `${nsid}#${hash}`) as $Type<N, H>\n}\n\nexport type $Typed<V, T extends string = string> = V & { $type: T }\nexport type Un$Typed<V extends { $type?: string }> = OmitKey<V, '$type'>\n"]}

package/dist/core/result.d.ts

@@ -4,12 +4,12 @@ export type ResultSuccess<V = any> = {
 };
 export type ResultFailure<E = Error> = {
     success: false;
-    error: E;
+    reason: E;
 };
 export type Result<V = any, E = Error> = ResultSuccess<V> | ResultFailure<E>;
 export declare function success<V>(value: V): ResultSuccess<V>;
-export declare function failure<E>(error: E): ResultFailure<E>;
-export declare function failureError<T>(result: ResultFailure<T>): T;
+export declare function failure<E>(reason: E): ResultFailure<E>;
+export declare function failureReason<T>(result: ResultFailure<T>): T;
 export declare function successValue<T>(result: ResultSuccess<T>): T;
 /**
  * Catches any error and wraps it in a {@link ResultFailure<Error>}.
@@ -19,9 +19,9 @@ export declare function successValue<T>(result: ResultSuccess<T>): T;
  * @example
  *
  * ```ts
- * declare function someFunction(): Promise<ResultSuccess<string>>
+ * declare function someFunction(): Promise<string>
  *
- * const result = await someFunction().catch(catchall)
+ * const result = await someFunction().then(success, catchall)
  * if (result.success) {
  *   console.log(result.value) // string
  * } else {
@@ -41,9 +41,10 @@ export declare function catchall(err: unknown): ResultFailure<Error>;
  * class FooError extends Error {}
  * class BarError extends Error {}
  *
- * declare function someFunction(): Promise<ResultSuccess<string>>
+ * declare function someFunction(): Promise<string>
  *
  * const result = await someFunction()
+ *   .then(success)
  *   .catch(createCatcher(FooError))
  *   .catch(createCatcher(BarError))
  *

package/dist/core/result.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"result.d.ts","sourceRoot":"","sources":["../../src/core/result.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,aAAa,CAAC,CAAC,GAAG,GAAG,IAAI;IAAE,OAAO,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAA;AAChE,MAAM,MAAM,aAAa,CAAC,CAAC,GAAG,KAAK,IAAI;IAAE,OAAO,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAA;AAEnE,MAAM,MAAM,MAAM,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,KAAK,IAAI,aAAa,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAA;AAG5E,wBAAgB,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAErD;AAGD,wBAAgB,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAErD;AAGD,wBAAgB,YAAY,CAAC,CAAC,EAAE,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAE3D;AAGD,wBAAgB,YAAY,CAAC,CAAC,EAAE,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAE3D;AAED;;;;;;;;;;;;;;;;;;GAkBG;AAEH,wBAAgB,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,CAG3D;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,wBAAgB,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,IACtD,KAAK,OAAO,KAAG,aAAa,CAAC,CAAC,CAAC,CAIxC"}
+{"version":3,"file":"result.d.ts","sourceRoot":"","sources":["../../src/core/result.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,aAAa,CAAC,CAAC,GAAG,GAAG,IAAI;IAAE,OAAO,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAA;AAChE,MAAM,MAAM,aAAa,CAAC,CAAC,GAAG,KAAK,IAAI;IAAE,OAAO,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,CAAC,CAAA;CAAE,CAAA;AAEpE,MAAM,MAAM,MAAM,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,KAAK,IAAI,aAAa,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAA;AAG5E,wBAAgB,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAErD;AAGD,wBAAgB,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAEtD;AAGD,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAE5D;AAGD,wBAAgB,YAAY,CAAC,CAAC,EAAE,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAE3D;AAED;;;;;;;;;;;;;;;;;;GAkBG;AAEH,wBAAgB,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,CAG3D;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,wBAAgB,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,IACtD,KAAK,OAAO,KAAG,aAAa,CAAC,CAAC,CAAC,CAIxC"}

package/dist/core/result.js

@@ -2,7 +2,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.success = success;
 exports.failure = failure;
-exports.failureError = failureError;
+exports.failureReason = failureReason;
 exports.successValue = successValue;
 exports.catchall = catchall;
 exports.createCatcher = createCatcher;
@@ -11,12 +11,12 @@ function success(value) {
     return { success: true, value };
 }
 /*@__NO_SIDE_EFFECTS__*/
-function failure(error) {
-    return { success: false, error };
+function failure(reason) {
+    return { success: false, reason };
 }
 /*@__NO_SIDE_EFFECTS__*/
-function failureError(result) {
-    return result.error;
+function failureReason(result) {
+    return result.reason;
 }
 /*@__NO_SIDE_EFFECTS__*/
 function successValue(result) {
@@ -30,9 +30,9 @@ function successValue(result) {
  * @example
  *
  * ```ts
- * declare function someFunction(): Promise<ResultSuccess<string>>
+ * declare function someFunction(): Promise<string>
  *
- * const result = await someFunction().catch(catchall)
+ * const result = await someFunction().then(success, catchall)
  * if (result.success) {
  *   console.log(result.value) // string
  * } else {
@@ -57,9 +57,10 @@ function catchall(err) {
  * class FooError extends Error {}
  * class BarError extends Error {}
  *
- * declare function someFunction(): Promise<ResultSuccess<string>>
+ * declare function someFunction(): Promise<string>
  *
  * const result = await someFunction()
+ *   .then(success)
  *   .catch(createCatcher(FooError))
  *   .catch(createCatcher(BarError))
  *

package/dist/core/result.js.map

@@ -1 +1 @@
-{"version":3,"file":"result.js","sourceRoot":"","sources":["../../src/core/result.ts"],"names":[],"mappings":";;AAMA,0BAEC;AAGD,0BAEC;AAGD,oCAEC;AAGD,oCAEC;AAsBD,4BAGC;AAyBD,sCAKC;AAzED,wBAAwB;AACxB,SAAgB,OAAO,CAAI,KAAQ;IACjC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAA;AACjC,CAAC;AAED,wBAAwB;AACxB,SAAgB,OAAO,CAAI,KAAQ;IACjC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;AAClC,CAAC;AAED,wBAAwB;AACxB,SAAgB,YAAY,CAAI,MAAwB;IACtD,OAAO,MAAM,CAAC,KAAK,CAAA;AACrB,CAAC;AAED,wBAAwB;AACxB,SAAgB,YAAY,CAAI,MAAwB;IACtD,OAAO,MAAM,CAAC,KAAK,CAAA;AACrB,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAwB;AACxB,SAAgB,QAAQ,CAAC,GAAY;IACnC,IAAI,GAAG,YAAY,KAAK;QAAE,OAAO,OAAO,CAAC,GAAG,CAAC,CAAA;IAC7C,OAAO,OAAO,CAAC,IAAI,KAAK,CAAC,eAAe,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAA;AAC5D,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAwB;AACxB,SAAgB,aAAa,CAAI,IAA+B;IAC9D,OAAO,CAAC,GAAY,EAAoB,EAAE;QACxC,IAAI,GAAG,YAAY,IAAI;YAAE,OAAO,OAAO,CAAC,GAAG,CAAC,CAAA;QAC5C,MAAM,GAAG,CAAA;IACX,CAAC,CAAA;AACH,CAAC","sourcesContent":["export type ResultSuccess<V = any> = { success: true; value: V }\nexport type ResultFailure<E = Error> = { success: false; error: E }\n\nexport type Result<V = any, E = Error> = ResultSuccess<V> | ResultFailure<E>\n\n/*@__NO_SIDE_EFFECTS__*/\nexport function success<V>(value: V): ResultSuccess<V> {\n  return { success: true, value }\n}\n\n/*@__NO_SIDE_EFFECTS__*/\nexport function failure<E>(error: E): ResultFailure<E> {\n  return { success: false, error }\n}\n\n/*@__NO_SIDE_EFFECTS__*/\nexport function failureError<T>(result: ResultFailure<T>): T {\n  return result.error\n}\n\n/*@__NO_SIDE_EFFECTS__*/\nexport function successValue<T>(result: ResultSuccess<T>): T {\n  return result.value\n}\n\n/**\n * Catches any error and wraps it in a {@link ResultFailure<Error>}.\n *\n * @param err - The error to catch.\n * @returns A {@link ResultFailure<Error>} containing the caught error.\n * @example\n *\n * ```ts\n * declare function someFunction(): Promise<ResultSuccess<string>>\n *\n * const result = await someFunction().catch(catchall)\n * if (result.success) {\n *   console.log(result.value) // string\n * } else {\n *   console.error(result.error instanceof Error) // true\n *   console.error(result.error.message) // string\n * }\n * ```\n */\n/*@__NO_SIDE_EFFECTS__*/\nexport function catchall(err: unknown): ResultFailure<Error> {\n  if (err instanceof Error) return failure(err)\n  return failure(new Error('Unknown error', { cause: err }))\n}\n\n/**\n * Creates a catcher function for the given constructor that wraps caught errors\n * in a {@link ResultFailure}.\n *\n * @example\n *\n * ```ts\n * class FooError extends Error {}\n * class BarError extends Error {}\n *\n * declare function someFunction(): Promise<ResultSuccess<string>>\n *\n * const result = await someFunction()\n *   .catch(createCatcher(FooError))\n *   .catch(createCatcher(BarError))\n *\n * if (result.success) {\n *   console.log(result.value) // string\n * } else {\n *   console.error(result.error) // FooError | BarError\n * }\n */\n/*@__NO_SIDE_EFFECTS__*/\nexport function createCatcher<T>(Ctor: new (...args: any[]) => T) {\n  return (err: unknown): ResultFailure<T> => {\n    if (err instanceof Ctor) return failure(err)\n    throw err\n  }\n}\n"]}
+{"version":3,"file":"result.js","sourceRoot":"","sources":["../../src/core/result.ts"],"names":[],"mappings":";;AAMA,0BAEC;AAGD,0BAEC;AAGD,sCAEC;AAGD,oCAEC;AAsBD,4BAGC;AA0BD,sCAKC;AA1ED,wBAAwB;AACxB,SAAgB,OAAO,CAAI,KAAQ;IACjC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAA;AACjC,CAAC;AAED,wBAAwB;AACxB,SAAgB,OAAO,CAAI,MAAS;IAClC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;AACnC,CAAC;AAED,wBAAwB;AACxB,SAAgB,aAAa,CAAI,MAAwB;IACvD,OAAO,MAAM,CAAC,MAAM,CAAA;AACtB,CAAC;AAED,wBAAwB;AACxB,SAAgB,YAAY,CAAI,MAAwB;IACtD,OAAO,MAAM,CAAC,KAAK,CAAA;AACrB,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAwB;AACxB,SAAgB,QAAQ,CAAC,GAAY;IACnC,IAAI,GAAG,YAAY,KAAK;QAAE,OAAO,OAAO,CAAC,GAAG,CAAC,CAAA;IAC7C,OAAO,OAAO,CAAC,IAAI,KAAK,CAAC,eAAe,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAA;AAC5D,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAwB;AACxB,SAAgB,aAAa,CAAI,IAA+B;IAC9D,OAAO,CAAC,GAAY,EAAoB,EAAE;QACxC,IAAI,GAAG,YAAY,IAAI;YAAE,OAAO,OAAO,CAAC,GAAG,CAAC,CAAA;QAC5C,MAAM,GAAG,CAAA;IACX,CAAC,CAAA;AACH,CAAC","sourcesContent":["export type ResultSuccess<V = any> = { success: true; value: V }\nexport type ResultFailure<E = Error> = { success: false; reason: E }\n\nexport type Result<V = any, E = Error> = ResultSuccess<V> | ResultFailure<E>\n\n/*@__NO_SIDE_EFFECTS__*/\nexport function success<V>(value: V): ResultSuccess<V> {\n  return { success: true, value }\n}\n\n/*@__NO_SIDE_EFFECTS__*/\nexport function failure<E>(reason: E): ResultFailure<E> {\n  return { success: false, reason }\n}\n\n/*@__NO_SIDE_EFFECTS__*/\nexport function failureReason<T>(result: ResultFailure<T>): T {\n  return result.reason\n}\n\n/*@__NO_SIDE_EFFECTS__*/\nexport function successValue<T>(result: ResultSuccess<T>): T {\n  return result.value\n}\n\n/**\n * Catches any error and wraps it in a {@link ResultFailure<Error>}.\n *\n * @param err - The error to catch.\n * @returns A {@link ResultFailure<Error>} containing the caught error.\n * @example\n *\n * ```ts\n * declare function someFunction(): Promise<string>\n *\n * const result = await someFunction().then(success, catchall)\n * if (result.success) {\n *   console.log(result.value) // string\n * } else {\n *   console.error(result.error instanceof Error) // true\n *   console.error(result.error.message) // string\n * }\n * ```\n */\n/*@__NO_SIDE_EFFECTS__*/\nexport function catchall(err: unknown): ResultFailure<Error> {\n  if (err instanceof Error) return failure(err)\n  return failure(new Error('Unknown error', { cause: err }))\n}\n\n/**\n * Creates a catcher function for the given constructor that wraps caught errors\n * in a {@link ResultFailure}.\n *\n * @example\n *\n * ```ts\n * class FooError extends Error {}\n * class BarError extends Error {}\n *\n * declare function someFunction(): Promise<string>\n *\n * const result = await someFunction()\n *   .then(success)\n *   .catch(createCatcher(FooError))\n *   .catch(createCatcher(BarError))\n *\n * if (result.success) {\n *   console.log(result.value) // string\n * } else {\n *   console.error(result.error) // FooError | BarError\n * }\n */\n/*@__NO_SIDE_EFFECTS__*/\nexport function createCatcher<T>(Ctor: new (...args: any[]) => T) {\n  return (err: unknown): ResultFailure<T> => {\n    if (err instanceof Ctor) return failure(err)\n    throw err\n  }\n}\n"]}

package/dist/core/string-format.d.ts

@@ -1,32 +1,43 @@
+import { isLanguageString } from '@atproto/lex-data';
 import { AtIdentifierString, AtUriString, DatetimeString, DidString, HandleString, NsidString, RecordKeyString, TidString } from '@atproto/syntax';
-type AssertFn<T> = <I extends string>(input: I) => asserts input is I & T;
-type CastFn<T> = <I extends string>(input: I) => I & T;
-export type { AtIdentifierString, AtUriString, DatetimeString, DidString, HandleString, NsidString, RecordKeyString, TidString, };
-export declare const assertDid: AssertFn<DidString>;
-export declare const assertAtUri: AssertFn<AtUriString>;
-export declare const assertAtIdentifier: AssertFn<AtIdentifierString>;
-export declare const assertNsid: AssertFn<NsidString>;
-export declare const assertTid: AssertFn<TidString>;
-export declare const assertRecordKey: AssertFn<RecordKeyString>;
-export declare const assertDatetime: AssertFn<DatetimeString>;
-export declare const assertCidString: AssertFn<string>;
-export declare const assertHandle: AssertFn<HandleString>;
+import { AssertFn, CastFn, CheckFn } from '../util/assertion-util.js';
 export type CidString = string;
-export type UriString = `${string}:${string}`;
 export type LanguageString = string;
-export declare function assertUri(input: string): asserts input is UriString;
-export declare function assertLanguage(input: string): asserts input is LanguageString;
-export declare const asDid: CastFn<DidString>;
-export declare const asAtUri: CastFn<AtUriString>;
-export declare const asNsid: CastFn<NsidString>;
-export declare const asTid: CastFn<TidString>;
-export declare const asRecordKey: CastFn<RecordKeyString>;
-export declare const asDatetime: CastFn<DatetimeString>;
-export declare const asCidString: CastFn<string>;
-export declare const asHandle: CastFn<HandleString>;
-export declare const asUri: CastFn<UriString>;
-export declare const asLanguage: CastFn<LanguageString>;
-export declare const asAtIdentifier: CastFn<AtIdentifierString>;
+export type UriString = `${string}:${string}`;
+export declare function isUriString<T extends string>(input: T): input is T & UriString;
+export type { AtIdentifierString, AtUriString, DatetimeString, DidString, HandleString, NsidString, RecordKeyString, TidString, } from '@atproto/syntax';
+export declare const assertAtIdentifierString: AssertFn<AtIdentifierString>;
+export declare const assertAtUriString: AssertFn<AtUriString>;
+export declare const assertCidString: AssertFn<CidString>;
+export declare const assertDatetimeString: AssertFn<DatetimeString>;
+export declare const assertDidString: AssertFn<DidString>;
+export declare const assertHandleString: AssertFn<HandleString>;
+export declare const assertLanguageString: AssertFn<LanguageString>;
+export declare const assertNsidString: AssertFn<NsidString>;
+export declare const assertRecordKeyString: AssertFn<RecordKeyString>;
+export declare const assertTidString: AssertFn<TidString>;
+export declare const assertUriString: AssertFn<UriString>;
+export declare const asAtIdentifierString: CastFn<AtIdentifierString>;
+export declare const asAtUriString: CastFn<AtUriString>;
+export declare const asCidString: CastFn<CidString>;
+export declare const asDatetimeString: CastFn<DatetimeString>;
+export declare const asDidString: CastFn<DidString>;
+export declare const asHandleString: CastFn<HandleString>;
+export declare const asLanguageString: CastFn<LanguageString>;
+export declare const asNsidString: CastFn<NsidString>;
+export declare const asRecordKeyString: CastFn<RecordKeyString>;
+export declare const asTidString: CastFn<TidString>;
+export declare const asUriString: CastFn<UriString>;
+export { isLanguageString };
+export declare const isAtIdentifierString: CheckFn<AtIdentifierString>;
+export declare const isAtUriString: CheckFn<AtUriString>;
+export declare const isCidString: CheckFn<CidString>;
+export declare const isDatetimeString: CheckFn<DatetimeString>;
+export declare const isDidString: CheckFn<DidString>;
+export declare const isHandleString: CheckFn<HandleString>;
+export declare const isNsidString: CheckFn<NsidString>;
+export declare const isRecordKeyString: CheckFn<RecordKeyString>;
+export declare const isTidString: CheckFn<TidString>;
 export declare const STRING_FORMATS: readonly ["datetime", "uri", "at-uri", "did", "handle", "at-identifier", "nsid", "cid", "language", "tid", "record-key"];
 export type StringFormat = (typeof STRING_FORMATS)[number];
 export type InferStringFormat<F> = F extends 'datetime' ? DatetimeString : F extends 'uri' ? UriString : F extends 'at-uri' ? AtUriString : F extends 'did' ? DidString : F extends 'handle' ? HandleString : F extends 'at-identifier' ? AtIdentifierString : F extends 'nsid' ? NsidString : string;

package/dist/core/string-format.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"string-format.d.ts","sourceRoot":"","sources":["../../src/core/string-format.ts"],"names":[],"mappings":"AACA,OAAO,EACL,kBAAkB,EAClB,WAAW,EACX,cAAc,EACd,SAAS,EACT,YAAY,EACZ,UAAU,EACV,eAAe,EACf,SAAS,EASV,MAAM,iBAAiB,CAAA;AAExB,KAAK,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC,KAAK,IAAI,CAAC,GAAG,CAAC,CAAA;AACzE,KAAK,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;AAatD,YAAY,EACV,kBAAkB,EAClB,WAAW,EACX,cAAc,EACd,SAAS,EACT,YAAY,EACZ,UAAU,EACV,eAAe,EACf,SAAS,GACV,CAAA;AAED,eAAO,MAAM,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAkB,CAAA;AAC5D,eAAO,MAAM,WAAW,EAAE,QAAQ,CAAC,WAAW,CAAoB,CAAA;AAClE,eAAO,MAAM,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB,CACnC,CAAA;AACzB,eAAO,MAAM,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAmB,CAAA;AAC/D,eAAO,MAAM,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAkB,CAAA;AAC5D,eAAO,MAAM,eAAe,EAAE,QAAQ,CAAC,eAAe,CAAwB,CAAA;AAC9E,eAAO,MAAM,cAAc,EAAE,QAAQ,CAAC,cAAc,CAAuB,CAAA;AAC3E,eAAO,MAAM,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAwB,CAAA;AACrE,eAAO,MAAM,YAAY,EAAE,QAAQ,CAAC,YAAY,CAAqB,CAAA;AAIrE,MAAM,MAAM,SAAS,GAAG,MAAM,CAAA;AAC9B,MAAM,MAAM,SAAS,GAAG,GAAG,MAAM,IAAI,MAAM,EAAE,CAAA;AAC7C,MAAM,MAAM,cAAc,GAAG,MAAM,CAAA;AAGnC,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,KAAK,IAAI,SAAS,CAInE;AAGD,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,KAAK,IAAI,cAAc,CAI7E;AAED,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,SAAS,CACc,CAAA;AAClD,eAAO,MAAM,OAAO,EAAE,MAAM,CAAC,WAAW,CACY,CAAA;AACpD,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,UAAU,CACa,CAAA;AACnD,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,SAAS,CACc,CAAA;AAClD,eAAO,MAAM,WAAW,EAAE,MAAM,CAAC,eAAe,CACQ,CAAA;AACxD,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,cAAc,CACS,CAAA;AACvD,eAAO,MAAM,WAAW,EAAE,MAAM,CAAC,MAAM,CACiB,CAAA;AACxD,eAAO,MAAM,QAAQ,EAAE,MAAM,CAAC,YAAY,CACW,CAAA;AACrD,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,SAAS,CACS,CAAA;AAC7C,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,cAAc,CACI,CAAA;AAClD,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,kBAAkB,CACA,CAAA;AAItD,eAAO,MAAM,cAAc,0HAYhB,CAAA;AAEX,MAAM,MAAM,YAAY,GAAG,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,CAAC,CAAA;AAE1D,MAAM,MAAM,iBAAiB,CAAC,CAAC,IAE7B,CAAC,SAAS,UAAU,GAChB,cAAc,GACd,CAAC,SAAS,KAAK,GACb,SAAS,GACT,CAAC,SAAS,QAAQ,GAChB,WAAW,GACX,CAAC,SAAS,KAAK,GACb,SAAS,GACT,CAAC,SAAS,QAAQ,GAChB,YAAY,GACZ,CAAC,SAAS,eAAe,GACvB,kBAAkB,GAClB,CAAC,SAAS,MAAM,GACd,UAAU,GAEV,MAAM,CAAA;AAiBxB,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,YAAY,EACvD,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,CAAC,GACR,OAAO,CAAC,KAAK,IAAI,iBAAiB,CAAC,CAAC,CAAC,CAKvC"}
+{"version":3,"file":"string-format.d.ts","sourceRoot":"","sources":["../../src/core/string-format.ts"],"names":[],"mappings":"AAAA,OAAO,EAAwB,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AAC1E,OAAO,EACL,kBAAkB,EAClB,WAAW,EACX,cAAc,EACd,SAAS,EACT,YAAY,EACZ,UAAU,EACV,eAAe,EACf,SAAS,EASV,MAAM,iBAAiB,CAAA;AACxB,OAAO,EACL,QAAQ,EACR,MAAM,EACN,OAAO,EAIR,MAAM,2BAA2B,CAAA;AAGlC,MAAM,MAAM,SAAS,GAAG,MAAM,CAAA;AAC9B,MAAM,MAAM,cAAc,GAAG,MAAM,CAAA;AACnC,MAAM,MAAM,SAAS,GAAG,GAAG,MAAM,IAAI,MAAM,EAAE,CAAA;AAG7C,wBAAgB,WAAW,CAAC,CAAC,SAAS,MAAM,EAC1C,KAAK,EAAE,CAAC,GACP,KAAK,IAAI,CAAC,GAAG,SAAS,CAExB;AAKD,YAAY,EACV,kBAAkB,EAClB,WAAW,EACX,cAAc,EACd,SAAS,EACT,YAAY,EACZ,UAAU,EACV,eAAe,EACf,SAAS,GACV,MAAM,iBAAiB,CAAA;AAIxB,eAAO,MAAM,wBAAwB,EAAE,QAAQ,CAAC,kBAAkB,CACzC,CAAA;AACzB,eAAO,MAAM,iBAAiB,EAAE,QAAQ,CAAC,WAAW,CAAoB,CAAA;AACxE,eAAO,MAAM,eAAe,EAAE,QAAQ,CAAC,SAAS,CAAwB,CAAA;AACxE,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,cAAc,CACrC,CAAA;AACrB,eAAO,MAAM,eAAe,EAAE,QAAQ,CAAC,SAAS,CAAkB,CAAA;AAClE,eAAO,MAAM,kBAAkB,EAAE,QAAQ,CAAC,YAAY,CAAqB,CAAA;AAC3E,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,cAAc,CAIvD,CAAA;AACH,eAAO,MAAM,gBAAgB,EAAE,QAAQ,CAAC,UAAU,CAAmB,CAAA;AACrE,eAAO,MAAM,qBAAqB,EAAE,QAAQ,CAAC,eAAe,CACtC,CAAA;AACtB,eAAO,MAAM,eAAe,EAAE,QAAQ,CAAC,SAAS,CAAkB,CAAA;AAClE,eAAO,MAAM,eAAe,EAAE,QAAQ,CAAC,SAAS,CACa,CAAA;AAE7D,eAAO,MAAM,oBAAoB,EAAE,MAAM,CAAC,kBAAkB,CACA,CAAA;AAC5D,eAAO,MAAM,aAAa,EAAE,MAAM,CAAC,WAAW,CACM,CAAA;AACpD,eAAO,MAAM,WAAW,EAAE,MAAM,CAAC,SAAS,CACc,CAAA;AACxD,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,cAAc,CACG,CAAA;AACvD,eAAO,MAAM,WAAW,EAAE,MAAM,CAAC,SAAS,CACQ,CAAA;AAClD,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,YAAY,CACK,CAAA;AACrD,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,cAAc,CACI,CAAA;AACxD,eAAO,MAAM,YAAY,EAAE,MAAM,CAAC,UAAU,CACO,CAAA;AACnD,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,eAAe,CACE,CAAA;AACxD,eAAO,MAAM,WAAW,EAAE,MAAM,CAAC,SAAS,CACQ,CAAA;AAClD,eAAO,MAAM,WAAW,EAAE,MAAM,CAAC,SAAS,CACS,CAAA;AAEnD,OAAO,EAAE,gBAAgB,EAAE,CAAA;AAC3B,eAAO,MAAM,oBAAoB,EAAE,OAAO,CAAC,kBAAkB,CACA,CAAA;AAC7D,eAAO,MAAM,aAAa,EAAE,OAAO,CAAC,WAAW,CACc,CAAA;AAC7D,eAAO,MAAM,WAAW,EAAE,OAAO,CAAC,SAAS,CACS,CAAA;AACpD,eAAO,MAAM,gBAAgB,EAAE,OAAO,CAAC,cAAc,CACI,CAAA;AACzD,eAAO,MAAM,WAAW,EAAE,OAAO,CAAC,SAAS,CACS,CAAA;AACpD,eAAO,MAAM,cAAc,EAAE,OAAO,CAAC,YAAY,CACM,CAAA;AACvD,eAAO,MAAM,YAAY,EAAE,OAAO,CAAC,UAAU,CACQ,CAAA;AACrD,eAAO,MAAM,iBAAiB,EAAE,OAAO,CAAC,eAAe,CACG,CAAA;AAC1D,eAAO,MAAM,WAAW,EAAE,OAAO,CAAC,SAAS,CACS,CAAA;AAIpD,eAAO,MAAM,cAAc,0HAYhB,CAAA;AAEX,MAAM,MAAM,YAAY,GAAG,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,CAAC,CAAA;AAE1D,MAAM,MAAM,iBAAiB,CAAC,CAAC,IAE7B,CAAC,SAAS,UAAU,GAChB,cAAc,GACd,CAAC,SAAS,KAAK,GACb,SAAS,GACT,CAAC,SAAS,QAAQ,GAChB,WAAW,GACX,CAAC,SAAS,KAAK,GACb,SAAS,GACT,CAAC,SAAS,QAAQ,GAChB,YAAY,GACZ,CAAC,SAAS,eAAe,GACvB,kBAAkB,GAClB,CAAC,SAAS,MAAM,GACd,UAAU,GAEV,MAAM,CAAA;AAiBxB,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,YAAY,EACvD,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,CAAC,GACR,OAAO,CAAC,KAAK,IAAI,iBAAiB,CAAC,CAAC,CAAC,CAKvC"}

package/dist/core/string-format.js

@@ -1,61 +1,68 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.STRING_FORMATS = exports.asAtIdentifier = exports.asLanguage = exports.asUri = exports.asHandle = exports.asCidString = exports.asDatetime = exports.asRecordKey = exports.asTid = exports.asNsid = exports.asAtUri = exports.asDid = exports.assertHandle = exports.assertCidString = exports.assertDatetime = exports.assertRecordKey = exports.assertTid = exports.assertNsid = exports.assertAtIdentifier = exports.assertAtUri = exports.assertDid = void 0;
-exports.assertUri = assertUri;
-exports.assertLanguage = assertLanguage;
+exports.STRING_FORMATS = exports.isTidString = exports.isRecordKeyString = exports.isNsidString = exports.isHandleString = exports.isDidString = exports.isDatetimeString = exports.isCidString = exports.isAtUriString = exports.isAtIdentifierString = exports.isLanguageString = exports.asUriString = exports.asTidString = exports.asRecordKeyString = exports.asNsidString = exports.asLanguageString = exports.asHandleString = exports.asDidString = exports.asDatetimeString = exports.asCidString = exports.asAtUriString = exports.asAtIdentifierString = exports.assertUriString = exports.assertTidString = exports.assertRecordKeyString = exports.assertNsidString = exports.assertLanguageString = exports.assertHandleString = exports.assertDidString = exports.assertDatetimeString = exports.assertCidString = exports.assertAtUriString = exports.assertAtIdentifierString = void 0;
+exports.isUriString = isUriString;
 exports.assertStringFormat = assertStringFormat;
 const lex_data_1 = require("@atproto/lex-data");
+Object.defineProperty(exports, "isLanguageString", { enumerable: true, get: function () { return lex_data_1.isLanguageString; } });
 const syntax_1 = require("@atproto/syntax");
+const assertion_util_js_1 = require("../util/assertion-util.js");
 /*@__NO_SIDE_EFFECTS__*/
-function createCastFunction(assertFn) {
-    return (input) => {
-        assertFn(input);
-        return input;
-    };
+function isUriString(input) {
+    return /^\w+:(?:\/\/)?[^\s/][^\s]*$/.test(input);
 }
-exports.assertDid = syntax_1.ensureValidDid;
-exports.assertAtUri = syntax_1.ensureValidAtUri;
-exports.assertAtIdentifier = syntax_1.ensureValidAtIdentifier;
-exports.assertNsid = syntax_1.ensureValidNsid;
-exports.assertTid = syntax_1.ensureValidTid;
-exports.assertRecordKey = syntax_1.ensureValidRecordKey;
-exports.assertDatetime = syntax_1.ensureValidDatetime;
+// Export utilities for formats missing from @atproto/syntax
+exports.assertAtIdentifierString = syntax_1.ensureValidAtIdentifier;
+exports.assertAtUriString = syntax_1.ensureValidAtUri;
 exports.assertCidString = lex_data_1.ensureValidCidString;
-exports.assertHandle = syntax_1.ensureValidHandle;
-/*@__NO_SIDE_EFFECTS__*/
-function assertUri(input) {
-    if (!/^\w+:(?:\/\/)?[^\s/][^\s]*$/.test(input)) {
-        throw new Error('Invalid URI');
-    }
-}
-/*@__NO_SIDE_EFFECTS__*/
-function assertLanguage(input) {
-    if (!(0, lex_data_1.isLanguage)(input)) {
-        throw new Error('Invalid BCP 47 string');
-    }
-}
-exports.asDid = 
-/*#__PURE__*/ createCastFunction(syntax_1.ensureValidDid);
-exports.asAtUri = 
-/*#__PURE__*/ createCastFunction(syntax_1.ensureValidAtUri);
-exports.asNsid = 
-/*#__PURE__*/ createCastFunction(syntax_1.ensureValidNsid);
-exports.asTid = 
-/*#__PURE__*/ createCastFunction(syntax_1.ensureValidTid);
-exports.asRecordKey = 
-/*#__PURE__*/ createCastFunction(syntax_1.ensureValidRecordKey);
-exports.asDatetime = 
-/*#__PURE__*/ createCastFunction(syntax_1.ensureValidDatetime);
+exports.assertDatetimeString = syntax_1.ensureValidDatetime;
+exports.assertDidString = syntax_1.ensureValidDid;
+exports.assertHandleString = syntax_1.ensureValidHandle;
+exports.assertLanguageString = (0, assertion_util_js_1.createAssertFunction)(lex_data_1.isLanguageString, 'Invalid BCP 47 string');
+exports.assertNsidString = syntax_1.ensureValidNsid;
+exports.assertRecordKeyString = syntax_1.ensureValidRecordKey;
+exports.assertTidString = syntax_1.ensureValidTid;
+exports.assertUriString = (0, assertion_util_js_1.createAssertFunction)(isUriString, 'Invalid URI');
+exports.asAtIdentifierString = 
+/*#__PURE__*/ (0, assertion_util_js_1.createCastFunction)(exports.assertAtIdentifierString);
+exports.asAtUriString = 
+/*#__PURE__*/ (0, assertion_util_js_1.createCastFunction)(syntax_1.ensureValidAtUri);
 exports.asCidString = 
-/*#__PURE__*/ createCastFunction(lex_data_1.ensureValidCidString);
-exports.asHandle = 
-/*#__PURE__*/ createCastFunction(syntax_1.ensureValidHandle);
-exports.asUri = 
-/*#__PURE__*/ createCastFunction(assertUri);
-exports.asLanguage = 
-/*#__PURE__*/ createCastFunction(assertLanguage);
-exports.asAtIdentifier = 
-/*#__PURE__*/ createCastFunction(exports.assertAtIdentifier);
+/*#__PURE__*/ (0, assertion_util_js_1.createCastFunction)(lex_data_1.ensureValidCidString);
+exports.asDatetimeString = 
+/*#__PURE__*/ (0, assertion_util_js_1.createCastFunction)(syntax_1.ensureValidDatetime);
+exports.asDidString = 
+/*#__PURE__*/ (0, assertion_util_js_1.createCastFunction)(syntax_1.ensureValidDid);
+exports.asHandleString = 
+/*#__PURE__*/ (0, assertion_util_js_1.createCastFunction)(syntax_1.ensureValidHandle);
+exports.asLanguageString = 
+/*#__PURE__*/ (0, assertion_util_js_1.createCastFunction)(exports.assertLanguageString);
+exports.asNsidString = 
+/*#__PURE__*/ (0, assertion_util_js_1.createCastFunction)(syntax_1.ensureValidNsid);
+exports.asRecordKeyString = 
+/*#__PURE__*/ (0, assertion_util_js_1.createCastFunction)(syntax_1.ensureValidRecordKey);
+exports.asTidString = 
+/*#__PURE__*/ (0, assertion_util_js_1.createCastFunction)(syntax_1.ensureValidTid);
+exports.asUriString = 
+/*#__PURE__*/ (0, assertion_util_js_1.createCastFunction)(exports.assertUriString);
+exports.isAtIdentifierString = 
+/*#__PURE__*/ (0, assertion_util_js_1.createCheckFunction)(exports.assertAtIdentifierString);
+exports.isAtUriString = 
+/*#__PURE__*/ (0, assertion_util_js_1.createCheckFunction)(exports.assertAtIdentifierString);
+exports.isCidString = 
+/*#__PURE__*/ (0, assertion_util_js_1.createCheckFunction)(exports.assertCidString);
+exports.isDatetimeString = 
+/*#__PURE__*/ (0, assertion_util_js_1.createCheckFunction)(exports.assertDatetimeString);
+exports.isDidString = 
+/*#__PURE__*/ (0, assertion_util_js_1.createCheckFunction)(exports.assertDidString);
+exports.isHandleString = 
+/*#__PURE__*/ (0, assertion_util_js_1.createCheckFunction)(exports.assertHandleString);
+exports.isNsidString = 
+/*#__PURE__*/ (0, assertion_util_js_1.createCheckFunction)(exports.assertNsidString);
+exports.isRecordKeyString = 
+/*#__PURE__*/ (0, assertion_util_js_1.createCheckFunction)(exports.assertRecordKeyString);
+exports.isTidString = 
+/*#__PURE__*/ (0, assertion_util_js_1.createCheckFunction)(exports.assertTidString);
 // String formatting types and utilities
 exports.STRING_FORMATS = Object.freeze([
     'datetime',
@@ -71,17 +78,17 @@ exports.STRING_FORMATS = Object.freeze([
     'record-key',
 ]);
 const formatters = /*#__PURE__*/ new Map([
-    ['datetime', exports.assertDatetime],
-    ['uri', assertUri],
-    ['at-uri', exports.assertAtUri],
-    ['did', exports.assertDid],
-    ['handle', exports.assertHandle],
-    ['at-identifier', exports.assertAtIdentifier],
-    ['nsid', exports.assertNsid],
+    ['at-identifier', exports.assertAtIdentifierString],
+    ['at-uri', exports.assertAtUriString],
     ['cid', exports.assertCidString],
-    ['language', assertLanguage],
-    ['tid', exports.assertTid],
-    ['record-key', exports.assertRecordKey],
+    ['datetime', exports.assertDatetimeString],
+    ['did', exports.assertDidString],
+    ['handle', exports.assertHandleString],
+    ['language', exports.assertLanguageString],
+    ['nsid', exports.assertNsidString],
+    ['record-key', exports.assertRecordKeyString],
+    ['tid', exports.assertTidString],
+    ['uri', exports.assertUriString],
 ]);
 /*@__NO_SIDE_EFFECTS__*/
 function assertStringFormat(input, format) {

package/dist/core/string-format.js.map

@@ -1 +1 @@
-{"version":3,"file":"string-format.js","sourceRoot":"","sources":["../../src/core/string-format.ts"],"names":[],"mappings":";;;AA+DA,8BAIC;AAGD,wCAIC;AA6ED,gDAQC;AA/JD,gDAAoE;AACpE,4CAiBwB;AAKxB,wBAAwB;AACxB,SAAS,kBAAkB,CAAI,QAAqB;IAClD,OAAO,CAAmB,KAAQ,EAAE,EAAE;QACpC,QAAQ,CAAC,KAAK,CAAC,CAAA;QACf,OAAO,KAAc,CAAA;IACvB,CAAC,CAAA;AACH,CAAC;AAgBY,QAAA,SAAS,GAAwB,uBAAc,CAAA;AAC/C,QAAA,WAAW,GAA0B,yBAAgB,CAAA;AACrD,QAAA,kBAAkB,GAC7B,gCAAuB,CAAA;AACZ,QAAA,UAAU,GAAyB,wBAAe,CAAA;AAClD,QAAA,SAAS,GAAwB,uBAAc,CAAA;AAC/C,QAAA,eAAe,GAA8B,6BAAoB,CAAA;AACjE,QAAA,cAAc,GAA6B,4BAAmB,CAAA;AAC9D,QAAA,eAAe,GAAqB,+BAAoB,CAAA;AACxD,QAAA,YAAY,GAA2B,0BAAiB,CAAA;AAQrE,wBAAwB;AACxB,SAAgB,SAAS,CAAC,KAAa;IACrC,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,KAAK,CAAC,aAAa,CAAC,CAAA;IAChC,CAAC;AACH,CAAC;AAED,wBAAwB;AACxB,SAAgB,cAAc,CAAC,KAAa;IAC1C,IAAI,CAAC,IAAA,qBAAU,EAAC,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAA;IAC1C,CAAC;AACH,CAAC;AAEY,QAAA,KAAK;AAChB,aAAa,CAAC,kBAAkB,CAAC,uBAAc,CAAC,CAAA;AACrC,QAAA,OAAO;AAClB,aAAa,CAAC,kBAAkB,CAAC,yBAAgB,CAAC,CAAA;AACvC,QAAA,MAAM;AACjB,aAAa,CAAC,kBAAkB,CAAC,wBAAe,CAAC,CAAA;AACtC,QAAA,KAAK;AAChB,aAAa,CAAC,kBAAkB,CAAC,uBAAc,CAAC,CAAA;AACrC,QAAA,WAAW;AACtB,aAAa,CAAC,kBAAkB,CAAC,6BAAoB,CAAC,CAAA;AAC3C,QAAA,UAAU;AACrB,aAAa,CAAC,kBAAkB,CAAC,4BAAmB,CAAC,CAAA;AAC1C,QAAA,WAAW;AACtB,aAAa,CAAC,kBAAkB,CAAC,+BAAoB,CAAC,CAAA;AAC3C,QAAA,QAAQ;AACnB,aAAa,CAAC,kBAAkB,CAAC,0BAAiB,CAAC,CAAA;AACxC,QAAA,KAAK;AAChB,aAAa,CAAC,kBAAkB,CAAC,SAAS,CAAC,CAAA;AAChC,QAAA,UAAU;AACrB,aAAa,CAAC,kBAAkB,CAAC,cAAc,CAAC,CAAA;AACrC,QAAA,cAAc;AACzB,aAAa,CAAC,kBAAkB,CAAC,0BAAkB,CAAC,CAAA;AAEtD,wCAAwC;AAE3B,QAAA,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1C,UAAU;IACV,KAAK;IACL,QAAQ;IACR,KAAK;IACL,QAAQ;IACR,eAAe;IACf,MAAM;IACN,KAAK;IACL,UAAU;IACV,KAAK;IACL,YAAY;CACJ,CAAC,CAAA;AAuBX,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,GAAG,CAAsC;IAC5E,CAAC,UAAU,EAAE,sBAAc,CAAC;IAC5B,CAAC,KAAK,EAAE,SAAS,CAAC;IAClB,CAAC,QAAQ,EAAE,mBAAW,CAAC;IACvB,CAAC,KAAK,EAAE,iBAAS,CAAC;IAClB,CAAC,QAAQ,EAAE,oBAAY,CAAC;IACxB,CAAC,eAAe,EAAE,0BAAkB,CAAC;IACrC,CAAC,MAAM,EAAE,kBAAU,CAAC;IACpB,CAAC,KAAK,EAAE,uBAAe,CAAC;IACxB,CAAC,UAAU,EAAE,cAAc,CAAC;IAC5B,CAAC,KAAK,EAAE,iBAAS,CAAC;IAClB,CAAC,YAAY,EAAE,uBAAe,CAAC;CACvB,CAAC,CAAA;AAEX,wBAAwB;AACxB,SAAgB,kBAAkB,CAChC,KAAa,EACb,MAAS;IAET,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IACvC,IAAI,QAAQ;QAAE,QAAQ,CAAC,KAAK,CAAC,CAAA;IAC7B,aAAa;;QACR,MAAM,IAAI,KAAK,CAAC,0BAA0B,MAAM,EAAE,CAAC,CAAA;AAC1D,CAAC","sourcesContent":["import { ensureValidCidString, isLanguage } from '@atproto/lex-data'\nimport {\n  AtIdentifierString,\n  AtUriString,\n  DatetimeString,\n  DidString,\n  HandleString,\n  NsidString,\n  RecordKeyString,\n  TidString,\n  ensureValidAtIdentifier,\n  ensureValidAtUri,\n  ensureValidDatetime,\n  ensureValidDid,\n  ensureValidHandle,\n  ensureValidNsid,\n  ensureValidRecordKey,\n  ensureValidTid,\n} from '@atproto/syntax'\n\ntype AssertFn<T> = <I extends string>(input: I) => asserts input is I & T\ntype CastFn<T> = <I extends string>(input: I) => I & T\n\n/*@__NO_SIDE_EFFECTS__*/\nfunction createCastFunction<T>(assertFn: AssertFn<T>): CastFn<T> {\n  return <I extends string>(input: I) => {\n    assertFn(input)\n    return input as I & T\n  }\n}\n\n// Re-export utility typed as assertion functions so that TypeScript can\n// infer the narrowed type after calling them.\n\nexport type {\n  AtIdentifierString,\n  AtUriString,\n  DatetimeString,\n  DidString,\n  HandleString,\n  NsidString,\n  RecordKeyString,\n  TidString,\n}\n\nexport const assertDid: AssertFn<DidString> = ensureValidDid\nexport const assertAtUri: AssertFn<AtUriString> = ensureValidAtUri\nexport const assertAtIdentifier: AssertFn<AtIdentifierString> =\n  ensureValidAtIdentifier\nexport const assertNsid: AssertFn<NsidString> = ensureValidNsid\nexport const assertTid: AssertFn<TidString> = ensureValidTid\nexport const assertRecordKey: AssertFn<RecordKeyString> = ensureValidRecordKey\nexport const assertDatetime: AssertFn<DatetimeString> = ensureValidDatetime\nexport const assertCidString: AssertFn<string> = ensureValidCidString\nexport const assertHandle: AssertFn<HandleString> = ensureValidHandle\n\n// Export utilities for formats missing from @atproto/syntax\n\nexport type CidString = string\nexport type UriString = `${string}:${string}`\nexport type LanguageString = string\n\n/*@__NO_SIDE_EFFECTS__*/\nexport function assertUri(input: string): asserts input is UriString {\n  if (!/^\\w+:(?:\\/\\/)?[^\\s/][^\\s]*$/.test(input)) {\n    throw new Error('Invalid URI')\n  }\n}\n\n/*@__NO_SIDE_EFFECTS__*/\nexport function assertLanguage(input: string): asserts input is LanguageString {\n  if (!isLanguage(input)) {\n    throw new Error('Invalid BCP 47 string')\n  }\n}\n\nexport const asDid: CastFn<DidString> =\n  /*#__PURE__*/ createCastFunction(ensureValidDid)\nexport const asAtUri: CastFn<AtUriString> =\n  /*#__PURE__*/ createCastFunction(ensureValidAtUri)\nexport const asNsid: CastFn<NsidString> =\n  /*#__PURE__*/ createCastFunction(ensureValidNsid)\nexport const asTid: CastFn<TidString> =\n  /*#__PURE__*/ createCastFunction(ensureValidTid)\nexport const asRecordKey: CastFn<RecordKeyString> =\n  /*#__PURE__*/ createCastFunction(ensureValidRecordKey)\nexport const asDatetime: CastFn<DatetimeString> =\n  /*#__PURE__*/ createCastFunction(ensureValidDatetime)\nexport const asCidString: CastFn<string> =\n  /*#__PURE__*/ createCastFunction(ensureValidCidString)\nexport const asHandle: CastFn<HandleString> =\n  /*#__PURE__*/ createCastFunction(ensureValidHandle)\nexport const asUri: CastFn<UriString> =\n  /*#__PURE__*/ createCastFunction(assertUri)\nexport const asLanguage: CastFn<LanguageString> =\n  /*#__PURE__*/ createCastFunction(assertLanguage)\nexport const asAtIdentifier: CastFn<AtIdentifierString> =\n  /*#__PURE__*/ createCastFunction(assertAtIdentifier)\n\n// String formatting types and utilities\n\nexport const STRING_FORMATS = Object.freeze([\n  'datetime',\n  'uri',\n  'at-uri',\n  'did',\n  'handle',\n  'at-identifier',\n  'nsid',\n  'cid',\n  'language',\n  'tid',\n  'record-key',\n] as const)\n\nexport type StringFormat = (typeof STRING_FORMATS)[number]\n\nexport type InferStringFormat<F> =\n  //\n  F extends 'datetime'\n    ? DatetimeString\n    : F extends 'uri'\n      ? UriString\n      : F extends 'at-uri'\n        ? AtUriString\n        : F extends 'did'\n          ? DidString\n          : F extends 'handle'\n            ? HandleString\n            : F extends 'at-identifier'\n              ? AtIdentifierString\n              : F extends 'nsid'\n                ? NsidString\n                : // LanguageString | CidString | TidString | RecordKeyString\n                  string\n\nconst formatters = /*#__PURE__*/ new Map<StringFormat, (str: string) => void>([\n  ['datetime', assertDatetime],\n  ['uri', assertUri],\n  ['at-uri', assertAtUri],\n  ['did', assertDid],\n  ['handle', assertHandle],\n  ['at-identifier', assertAtIdentifier],\n  ['nsid', assertNsid],\n  ['cid', assertCidString],\n  ['language', assertLanguage],\n  ['tid', assertTid],\n  ['record-key', assertRecordKey],\n] as const)\n\n/*@__NO_SIDE_EFFECTS__*/\nexport function assertStringFormat<F extends StringFormat>(\n  input: string,\n  format: F,\n): asserts input is InferStringFormat<F> {\n  const assertFn = formatters.get(format)\n  if (assertFn) assertFn(input)\n  // Fool-proof\n  else throw new Error(`Unknown string format: ${format}`)\n}\n"]}
+{"version":3,"file":"string-format.js","sourceRoot":"","sources":["../../src/core/string-format.ts"],"names":[],"mappings":";;;AAkCA,kCAIC;AAqID,gDAQC;AAnLD,gDAA0E;AAmGjE,iGAnGsB,2BAAgB,OAmGtB;AAlGzB,4CAiBwB;AACxB,iEAOkC;AAOlC,wBAAwB;AACxB,SAAgB,WAAW,CACzB,KAAQ;IAER,OAAO,6BAA6B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AAClD,CAAC;AAgBD,4DAA4D;AAE/C,QAAA,wBAAwB,GACnC,gCAAuB,CAAA;AACZ,QAAA,iBAAiB,GAA0B,yBAAgB,CAAA;AAC3D,QAAA,eAAe,GAAwB,+BAAoB,CAAA;AAC3D,QAAA,oBAAoB,GAC/B,4BAAmB,CAAA;AACR,QAAA,eAAe,GAAwB,uBAAc,CAAA;AACrD,QAAA,kBAAkB,GAA2B,0BAAiB,CAAA;AAC9D,QAAA,oBAAoB,GAC/B,IAAA,wCAAoB,EAClB,2BAAgB,EAChB,uBAAuB,CACxB,CAAA;AACU,QAAA,gBAAgB,GAAyB,wBAAe,CAAA;AACxD,QAAA,qBAAqB,GAChC,6BAAoB,CAAA;AACT,QAAA,eAAe,GAAwB,uBAAc,CAAA;AACrD,QAAA,eAAe,GAC1B,IAAA,wCAAoB,EAAY,WAAW,EAAE,aAAa,CAAC,CAAA;AAEhD,QAAA,oBAAoB;AAC/B,aAAa,CAAC,IAAA,sCAAkB,EAAC,gCAAwB,CAAC,CAAA;AAC/C,QAAA,aAAa;AACxB,aAAa,CAAC,IAAA,sCAAkB,EAAC,yBAAgB,CAAC,CAAA;AACvC,QAAA,WAAW;AACtB,aAAa,CAAC,IAAA,sCAAkB,EAAC,+BAAoB,CAAC,CAAA;AAC3C,QAAA,gBAAgB;AAC3B,aAAa,CAAC,IAAA,sCAAkB,EAAC,4BAAmB,CAAC,CAAA;AAC1C,QAAA,WAAW;AACtB,aAAa,CAAC,IAAA,sCAAkB,EAAC,uBAAc,CAAC,CAAA;AACrC,QAAA,cAAc;AACzB,aAAa,CAAC,IAAA,sCAAkB,EAAC,0BAAiB,CAAC,CAAA;AACxC,QAAA,gBAAgB;AAC3B,aAAa,CAAC,IAAA,sCAAkB,EAAC,4BAAoB,CAAC,CAAA;AAC3C,QAAA,YAAY;AACvB,aAAa,CAAC,IAAA,sCAAkB,EAAC,wBAAe,CAAC,CAAA;AACtC,QAAA,iBAAiB;AAC5B,aAAa,CAAC,IAAA,sCAAkB,EAAC,6BAAoB,CAAC,CAAA;AAC3C,QAAA,WAAW;AACtB,aAAa,CAAC,IAAA,sCAAkB,EAAC,uBAAc,CAAC,CAAA;AACrC,QAAA,WAAW;AACtB,aAAa,CAAC,IAAA,sCAAkB,EAAC,uBAAe,CAAC,CAAA;AAGtC,QAAA,oBAAoB;AAC/B,aAAa,CAAC,IAAA,uCAAmB,EAAC,gCAAwB,CAAC,CAAA;AAChD,QAAA,aAAa;AACxB,aAAa,CAAC,IAAA,uCAAmB,EAAC,gCAAwB,CAAC,CAAA;AAChD,QAAA,WAAW;AACtB,aAAa,CAAC,IAAA,uCAAmB,EAAC,uBAAe,CAAC,CAAA;AACvC,QAAA,gBAAgB;AAC3B,aAAa,CAAC,IAAA,uCAAmB,EAAC,4BAAoB,CAAC,CAAA;AAC5C,QAAA,WAAW;AACtB,aAAa,CAAC,IAAA,uCAAmB,EAAC,uBAAe,CAAC,CAAA;AACvC,QAAA,cAAc;AACzB,aAAa,CAAC,IAAA,uCAAmB,EAAC,0BAAkB,CAAC,CAAA;AAC1C,QAAA,YAAY;AACvB,aAAa,CAAC,IAAA,uCAAmB,EAAC,wBAAgB,CAAC,CAAA;AACxC,QAAA,iBAAiB;AAC5B,aAAa,CAAC,IAAA,uCAAmB,EAAC,6BAAqB,CAAC,CAAA;AAC7C,QAAA,WAAW;AACtB,aAAa,CAAC,IAAA,uCAAmB,EAAC,uBAAe,CAAC,CAAA;AAEpD,wCAAwC;AAE3B,QAAA,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1C,UAAU;IACV,KAAK;IACL,QAAQ;IACR,KAAK;IACL,QAAQ;IACR,eAAe;IACf,MAAM;IACN,KAAK;IACL,UAAU;IACV,KAAK;IACL,YAAY;CACJ,CAAC,CAAA;AAuBX,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,GAAG,CAAsC;IAC5E,CAAC,eAAe,EAAE,gCAAwB,CAAC;IAC3C,CAAC,QAAQ,EAAE,yBAAiB,CAAC;IAC7B,CAAC,KAAK,EAAE,uBAAe,CAAC;IACxB,CAAC,UAAU,EAAE,4BAAoB,CAAC;IAClC,CAAC,KAAK,EAAE,uBAAe,CAAC;IACxB,CAAC,QAAQ,EAAE,0BAAkB,CAAC;IAC9B,CAAC,UAAU,EAAE,4BAAoB,CAAC;IAClC,CAAC,MAAM,EAAE,wBAAgB,CAAC;IAC1B,CAAC,YAAY,EAAE,6BAAqB,CAAC;IACrC,CAAC,KAAK,EAAE,uBAAe,CAAC;IACxB,CAAC,KAAK,EAAE,uBAAe,CAAC;CAChB,CAAC,CAAA;AAEX,wBAAwB;AACxB,SAAgB,kBAAkB,CAChC,KAAa,EACb,MAAS;IAET,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IACvC,IAAI,QAAQ;QAAE,QAAQ,CAAC,KAAK,CAAC,CAAA;IAC7B,aAAa;;QACR,MAAM,IAAI,KAAK,CAAC,0BAA0B,MAAM,EAAE,CAAC,CAAA;AAC1D,CAAC","sourcesContent":["import { ensureValidCidString, isLanguageString } from '@atproto/lex-data'\nimport {\n  AtIdentifierString,\n  AtUriString,\n  DatetimeString,\n  DidString,\n  HandleString,\n  NsidString,\n  RecordKeyString,\n  TidString,\n  ensureValidAtIdentifier,\n  ensureValidAtUri,\n  ensureValidDatetime,\n  ensureValidDid,\n  ensureValidHandle,\n  ensureValidNsid,\n  ensureValidRecordKey,\n  ensureValidTid,\n} from '@atproto/syntax'\nimport {\n  AssertFn,\n  CastFn,\n  CheckFn,\n  createAssertFunction,\n  createCastFunction,\n  createCheckFunction,\n} from '../util/assertion-util.js'\n\n// Format utilities missing from @atproto/syntax\nexport type CidString = string\nexport type LanguageString = string\nexport type UriString = `${string}:${string}`\n\n/*@__NO_SIDE_EFFECTS__*/\nexport function isUriString<T extends string>(\n  input: T,\n): input is T & UriString {\n  return /^\\w+:(?:\\/\\/)?[^\\s/][^\\s]*$/.test(input)\n}\n\n// Re-export utility typed as assertion functions so that TypeScript can\n// infer the narrowed type after calling them.\n\nexport type {\n  AtIdentifierString,\n  AtUriString,\n  DatetimeString,\n  DidString,\n  HandleString,\n  NsidString,\n  RecordKeyString,\n  TidString,\n} from '@atproto/syntax'\n\n// Export utilities for formats missing from @atproto/syntax\n\nexport const assertAtIdentifierString: AssertFn<AtIdentifierString> =\n  ensureValidAtIdentifier\nexport const assertAtUriString: AssertFn<AtUriString> = ensureValidAtUri\nexport const assertCidString: AssertFn<CidString> = ensureValidCidString\nexport const assertDatetimeString: AssertFn<DatetimeString> =\n  ensureValidDatetime\nexport const assertDidString: AssertFn<DidString> = ensureValidDid\nexport const assertHandleString: AssertFn<HandleString> = ensureValidHandle\nexport const assertLanguageString: AssertFn<LanguageString> =\n  createAssertFunction<LanguageString>(\n    isLanguageString,\n    'Invalid BCP 47 string',\n  )\nexport const assertNsidString: AssertFn<NsidString> = ensureValidNsid\nexport const assertRecordKeyString: AssertFn<RecordKeyString> =\n  ensureValidRecordKey\nexport const assertTidString: AssertFn<TidString> = ensureValidTid\nexport const assertUriString: AssertFn<UriString> =\n  createAssertFunction<UriString>(isUriString, 'Invalid URI')\n\nexport const asAtIdentifierString: CastFn<AtIdentifierString> =\n  /*#__PURE__*/ createCastFunction(assertAtIdentifierString)\nexport const asAtUriString: CastFn<AtUriString> =\n  /*#__PURE__*/ createCastFunction(ensureValidAtUri)\nexport const asCidString: CastFn<CidString> =\n  /*#__PURE__*/ createCastFunction(ensureValidCidString)\nexport const asDatetimeString: CastFn<DatetimeString> =\n  /*#__PURE__*/ createCastFunction(ensureValidDatetime)\nexport const asDidString: CastFn<DidString> =\n  /*#__PURE__*/ createCastFunction(ensureValidDid)\nexport const asHandleString: CastFn<HandleString> =\n  /*#__PURE__*/ createCastFunction(ensureValidHandle)\nexport const asLanguageString: CastFn<LanguageString> =\n  /*#__PURE__*/ createCastFunction(assertLanguageString)\nexport const asNsidString: CastFn<NsidString> =\n  /*#__PURE__*/ createCastFunction(ensureValidNsid)\nexport const asRecordKeyString: CastFn<RecordKeyString> =\n  /*#__PURE__*/ createCastFunction(ensureValidRecordKey)\nexport const asTidString: CastFn<TidString> =\n  /*#__PURE__*/ createCastFunction(ensureValidTid)\nexport const asUriString: CastFn<UriString> =\n  /*#__PURE__*/ createCastFunction(assertUriString)\n\nexport { isLanguageString }\nexport const isAtIdentifierString: CheckFn<AtIdentifierString> =\n  /*#__PURE__*/ createCheckFunction(assertAtIdentifierString)\nexport const isAtUriString: CheckFn<AtUriString> =\n  /*#__PURE__*/ createCheckFunction(assertAtIdentifierString)\nexport const isCidString: CheckFn<CidString> =\n  /*#__PURE__*/ createCheckFunction(assertCidString)\nexport const isDatetimeString: CheckFn<DatetimeString> =\n  /*#__PURE__*/ createCheckFunction(assertDatetimeString)\nexport const isDidString: CheckFn<DidString> =\n  /*#__PURE__*/ createCheckFunction(assertDidString)\nexport const isHandleString: CheckFn<HandleString> =\n  /*#__PURE__*/ createCheckFunction(assertHandleString)\nexport const isNsidString: CheckFn<NsidString> =\n  /*#__PURE__*/ createCheckFunction(assertNsidString)\nexport const isRecordKeyString: CheckFn<RecordKeyString> =\n  /*#__PURE__*/ createCheckFunction(assertRecordKeyString)\nexport const isTidString: CheckFn<TidString> =\n  /*#__PURE__*/ createCheckFunction(assertTidString)\n\n// String formatting types and utilities\n\nexport const STRING_FORMATS = Object.freeze([\n  'datetime',\n  'uri',\n  'at-uri',\n  'did',\n  'handle',\n  'at-identifier',\n  'nsid',\n  'cid',\n  'language',\n  'tid',\n  'record-key',\n] as const)\n\nexport type StringFormat = (typeof STRING_FORMATS)[number]\n\nexport type InferStringFormat<F> =\n  //\n  F extends 'datetime'\n    ? DatetimeString\n    : F extends 'uri'\n      ? UriString\n      : F extends 'at-uri'\n        ? AtUriString\n        : F extends 'did'\n          ? DidString\n          : F extends 'handle'\n            ? HandleString\n            : F extends 'at-identifier'\n              ? AtIdentifierString\n              : F extends 'nsid'\n                ? NsidString\n                : // LanguageString | CidString | TidString | RecordKeyString\n                  string\n\nconst formatters = /*#__PURE__*/ new Map<StringFormat, (str: string) => void>([\n  ['at-identifier', assertAtIdentifierString],\n  ['at-uri', assertAtUriString],\n  ['cid', assertCidString],\n  ['datetime', assertDatetimeString],\n  ['did', assertDidString],\n  ['handle', assertHandleString],\n  ['language', assertLanguageString],\n  ['nsid', assertNsidString],\n  ['record-key', assertRecordKeyString],\n  ['tid', assertTidString],\n  ['uri', assertUriString],\n] as const)\n\n/*@__NO_SIDE_EFFECTS__*/\nexport function assertStringFormat<F extends StringFormat>(\n  input: string,\n  format: F,\n): asserts input is InferStringFormat<F> {\n  const assertFn = formatters.get(format)\n  if (assertFn) assertFn(input)\n  // Fool-proof\n  else throw new Error(`Unknown string format: ${format}`)\n}\n"]}

package/dist/core/types.d.ts

@@ -23,5 +23,8 @@ export type WithOptionalProperties<P> = Simplify<{
 } & {
     -readonly [K in keyof P as undefined extends P[K] ? K : never]?: P[K];
 }>;
+export type OmitKey<T, K extends keyof T> = {
+    [K2 in keyof T as K2 extends K ? never : K2]: T[K2];
+};
 export {};
 //# sourceMappingURL=types.d.ts.map

package/dist/core/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/core/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,CAAA;AAEzD,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG,WAAW,CAAC,OAAO,CAAC,CAAA;AAEzE,OAAO,CAAC,MAAM,YAAY,EAAE,OAAO,MAAM,CAAA;AACzC;;;GAGG;AACH,MAAM,MAAM,UAAU,CAAC,OAAO,SAAS,MAAM,IAAI,OAAO,YAAY,GAAG;IACrE,CAAC,YAAY,CAAC,EAAE,OAAO,CAAA;CACxB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,sBAAsB,CAAC,CAAC,IAAI,QAAQ,CAC9C;IACE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,IAAI,SAAS,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACvE,GAAG;IACF,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,IAAI,SAAS,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;CACtE,CACF,CAAA"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/core/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,CAAA;AAEzD,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG,WAAW,CAAC,OAAO,CAAC,CAAA;AAEzE,OAAO,CAAC,MAAM,YAAY,EAAE,OAAO,MAAM,CAAA;AACzC;;;GAGG;AACH,MAAM,MAAM,UAAU,CAAC,OAAO,SAAS,MAAM,IAAI,OAAO,YAAY,GAAG;IACrE,CAAC,YAAY,CAAC,EAAE,OAAO,CAAA;CACxB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,sBAAsB,CAAC,CAAC,IAAI,QAAQ,CAC9C;IACE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,IAAI,SAAS,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACvE,GAAG;IACF,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,IAAI,SAAS,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;CACtE,CACF,CAAA;AAED,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,CAAC,IAAI;KACzC,EAAE,IAAI,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,GAAG,KAAK,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;CACpD,CAAA"}

package/dist/core/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/core/types.ts"],"names":[],"mappings":"","sourcesContent":["/**\n * Same as {@link string} but prevents TypeScript allowing union types to\n * be widened to `string` in IDEs.\n */\nexport type UnknownString = string & NonNullable<unknown>\n\nexport type Simplify<T> = { [K in keyof T]: T[K] } & NonNullable<unknown>\n\ndeclare const __restricted: unique symbol\n/**\n * A type that represents a value that cannot be used, with a custom\n * message explaining the restriction.\n */\nexport type Restricted<Message extends string> = typeof __restricted & {\n  [__restricted]: Message\n}\n\n/**\n * Converts all properties of `P` that are optional (i.e. may be `undefined`)\n * into actual optional properties on the resulting type.\n */\nexport type WithOptionalProperties<P> = Simplify<\n  {\n    -readonly [K in keyof P as undefined extends P[K] ? never : K]-?: P[K]\n  } & {\n    -readonly [K in keyof P as undefined extends P[K] ? K : never]?: P[K]\n  }\n>\n"]}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/core/types.ts"],"names":[],"mappings":"","sourcesContent":["/**\n * Same as {@link string} but prevents TypeScript allowing union types to\n * be widened to `string` in IDEs.\n */\nexport type UnknownString = string & NonNullable<unknown>\n\nexport type Simplify<T> = { [K in keyof T]: T[K] } & NonNullable<unknown>\n\ndeclare const __restricted: unique symbol\n/**\n * A type that represents a value that cannot be used, with a custom\n * message explaining the restriction.\n */\nexport type Restricted<Message extends string> = typeof __restricted & {\n  [__restricted]: Message\n}\n\n/**\n * Converts all properties of `P` that are optional (i.e. may be `undefined`)\n * into actual optional properties on the resulting type.\n */\nexport type WithOptionalProperties<P> = Simplify<\n  {\n    -readonly [K in keyof P as undefined extends P[K] ? never : K]-?: P[K]\n  } & {\n    -readonly [K in keyof P as undefined extends P[K] ? K : never]?: P[K]\n  }\n>\n\nexport type OmitKey<T, K extends keyof T> = {\n  [K2 in keyof T as K2 extends K ? never : K2]: T[K2]\n}\n"]}

package/dist/external.d.ts

@@ -1,7 +1,8 @@
 import { $Type, $TypeOf, LexiconRecordKey, NsidString } from './core.js';
-import { ArraySchema, ArraySchemaOptions, BlobSchema, BlobSchemaOptions, BooleanSchema, BooleanSchemaOptions, BytesSchema, BytesSchemaOptions, CidSchema, CidSchemaOptions, CustomAssertion, CustomSchema, DictSchema, DiscriminatedUnionSchema, DiscriminatedUnionVariants, EnumSchema, EnumSchemaOptions, IntegerSchema, IntegerSchemaOptions, IntersectionSchema, LiteralSchema, LiteralSchemaOptions, NeverSchema, NullSchema, NullableSchema, ObjectSchema, ObjectSchemaShape, OptionalSchema, ParamsSchema, ParamsSchemaShape, Payload, PayloadBody, Permission, PermissionOptions, PermissionSet, PermissionSetOptions, Procedure, Query, RecordSchema, RefSchema, RefSchemaGetter, RegexpSchema, StringSchema, StringSchemaOptions, Subscription, TokenSchema, TypedObjectSchema, TypedRefGetter, TypedRefSchema, TypedUnionSchema, UnionSchema, UnionSchemaValidators, UnknownObjectOutput, UnknownObjectSchema, UnknownSchema, refine } from './schema.js';
-import { Infer, PropertyKey, Validator } from './validation.js';
+import { ArraySchema, ArraySchemaOptions, BlobSchema, BlobSchemaOptions, BooleanSchema, BooleanSchemaOptions, BytesSchema, BytesSchemaOptions, CidSchema, CidSchemaOptions, CustomAssertion, CustomSchema, DictSchema, DiscriminatedUnionSchema, DiscriminatedUnionVariants, EnumSchema, EnumSchemaOptions, IntegerSchema, IntegerSchemaOptions, IntersectionSchema, LiteralSchema, LiteralSchemaOptions, NeverSchema, NullSchema, NullableSchema, ObjectSchema, ObjectSchemaShape, OptionalSchema, ParamsSchema, ParamsSchemaShape, Payload, PayloadSchema, Permission, PermissionOptions, PermissionSet, PermissionSetOptions, Procedure, Query, RecordSchema, RefSchema, RefSchemaGetter, RegexpSchema, StringSchema, StringSchemaOptions, Subscription, TokenSchema, TypedObjectSchema, TypedRefGetter, TypedRefSchema, TypedUnionSchema, UnionSchema, UnionSchemaValidators, UnknownObjectOutput, UnknownObjectSchema, UnknownSchema, refine } from './schema.js';
+import { Infer, PropertyKey, Schema, Validator } from './validation.js';
 export * from './core.js';
+export * from './helpers.js';
 export * from './schema.js';
 export * from './validation.js';
 export declare function never(): NeverSchema;
@@ -49,7 +50,7 @@ export declare function typedUnion<const R extends readonly TypedRefSchema[], co
  *   schemas that work even if they contain circular references.
  */
 export declare function typedObject<const N extends NsidString, const H extends string, const S extends Validator<{
-    [_ in string]?: unknown;
+    [k: string]: unknown;
 }>>(nsid: N, hash: H, schema: S): TypedObjectSchema<$Type<N, H>, S>;
 export declare function typedObject<V extends {
     $type?: $Type;
@@ -74,16 +75,16 @@ type AsNsid<T> = T extends `${string}#${string}` ? never : T;
  *   schemas that work even if they contain circular references.
  */
 export declare function record<const K extends LexiconRecordKey, const T extends NsidString, const S extends Validator<{
-    [_ in string]?: unknown;
+    [k: string]: unknown;
 }>>(key: K, type: AsNsid<T>, schema: S): RecordSchema<K, T, S>;
 export declare function record<const K extends LexiconRecordKey, const V extends {
     $type: NsidString;
 }>(key: K, type: AsNsid<V['$type']>, schema: Validator<Omit<V, '$type'>>): RecordSchema<K, V['$type'], Validator<Omit<V, '$type'>>>;
 export declare function params<const P extends ParamsSchemaShape = NonNullable<unknown>>(properties?: P): ParamsSchema<P>;
-export declare function payload<const E extends string | undefined = undefined, const S extends PayloadBody<E> = undefined>(encoding?: E, schema?: S): Payload<E, S>;
+export declare function payload<const E extends string | undefined = undefined, const S extends PayloadSchema<E> = undefined>(encoding?: E, schema?: S): Payload<E, S>;
 export declare function query<const N extends NsidString, const P extends ParamsSchema, const O extends Payload, const E extends undefined | readonly string[] = undefined>(nsid: N, parameters: P, output: O, errors?: E): Query<N, P, O, E>;
 export declare function procedure<const N extends NsidString, const P extends ParamsSchema, const I extends Payload, const O extends Payload, const E extends undefined | readonly string[] = undefined>(nsid: N, parameters: P, input: I, output: O, errors?: E): Procedure<N, P, I, O, E>;
-export declare function subscription<const N extends NsidString, const P extends ParamsSchema, const M extends undefined | RefSchema | TypedUnionSchema | ObjectSchema, const E extends undefined | readonly string[] = undefined>(nsid: N, parameters: P, message: M, errors?: E): Subscription<N, P, M, E>;
+export declare function subscription<const N extends NsidString, const P extends ParamsSchema, const M extends Schema, const E extends undefined | readonly string[] = undefined>(nsid: N, parameters: P, message: M, errors?: E): Subscription<N, P, M, E>;
 export declare function permission<const R extends string, const O extends PermissionOptions>(resource: R, options?: PermissionOptions & O): Permission<R, O>;
 export declare function permissionSet<const N extends NsidString, const P extends readonly Permission[]>(nsid: N, permissions: P, options?: PermissionSetOptions): PermissionSet<N, P>;
 //# sourceMappingURL=external.d.ts.map