@atproto/lex-schema 0.0.2 → 0.0.3

package/dist/schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AACA,cAAc,yBAAyB,CAAA;AAGvC,cAAc,mBAAmB,CAAA;AACjC,cAAc,kBAAkB,CAAA;AAChC,cAAc,qBAAqB,CAAA;AACnC,cAAc,mBAAmB,CAAA;AACjC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,kBAAkB,CAAA;AAChC,cAAc,kBAAkB,CAAA;AAChC,cAAc,qBAAqB,CAAA;AACnC,cAAc,qBAAqB,CAAA;AACnC,cAAc,mBAAmB,CAAA;AACjC,cAAc,kBAAkB,CAAA;AAChC,cAAc,oBAAoB,CAAA;AAClC,cAAc,oBAAoB,CAAA;AAClC,cAAc,4BAA4B,CAAA;AAC1C,cAAc,qBAAqB,CAAA;AAGnC,cAAc,oBAAoB,CAAA;AAClC,cAAc,iCAAiC,CAAA;AAC/C,cAAc,0BAA0B,CAAA;AACxC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,mBAAmB,CAAA;AAGjC,cAAc,oBAAoB,CAAA;AAClC,cAAc,qBAAqB,CAAA;AACnC,cAAc,4BAA4B,CAAA;AAC1C,cAAc,wBAAwB,CAAA;AACtC,cAAc,uBAAuB,CAAA;AACrC,cAAc,mBAAmB,CAAA;AACjC,cAAc,oBAAoB,CAAA;AAClC,cAAc,0BAA0B,CAAA;AACxC,cAAc,mBAAmB,CAAA;AACjC,cAAc,0BAA0B,CAAA;AACxC,cAAc,uBAAuB,CAAA;AACrC,cAAc,yBAAyB,CAAA"}
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AACA,cAAc,yBAAyB,CAAA;AAGvC,cAAc,oBAAoB,CAAA;AAGlC,cAAc,mBAAmB,CAAA;AACjC,cAAc,kBAAkB,CAAA;AAChC,cAAc,qBAAqB,CAAA;AACnC,cAAc,mBAAmB,CAAA;AACjC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,kBAAkB,CAAA;AAChC,cAAc,kBAAkB,CAAA;AAChC,cAAc,qBAAqB,CAAA;AACnC,cAAc,qBAAqB,CAAA;AACnC,cAAc,mBAAmB,CAAA;AACjC,cAAc,kBAAkB,CAAA;AAChC,cAAc,oBAAoB,CAAA;AAClC,cAAc,oBAAoB,CAAA;AAClC,cAAc,oBAAoB,CAAA;AAClC,cAAc,4BAA4B,CAAA;AAC1C,cAAc,qBAAqB,CAAA;AAGnC,cAAc,oBAAoB,CAAA;AAClC,cAAc,iCAAiC,CAAA;AAC/C,cAAc,0BAA0B,CAAA;AACxC,cAAc,sBAAsB,CAAA;AACpC,cAAc,sBAAsB,CAAA;AACpC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,mBAAmB,CAAA;AAGjC,cAAc,oBAAoB,CAAA;AAClC,cAAc,qBAAqB,CAAA;AACnC,cAAc,4BAA4B,CAAA;AAC1C,cAAc,wBAAwB,CAAA;AACtC,cAAc,uBAAuB,CAAA;AACrC,cAAc,mBAAmB,CAAA;AACjC,cAAc,oBAAoB,CAAA;AAClC,cAAc,0BAA0B,CAAA;AACxC,cAAc,mBAAmB,CAAA;AACjC,cAAc,0BAA0B,CAAA;AACxC,cAAc,uBAAuB,CAAA;AACrC,cAAc,yBAAyB,CAAA"}

package/dist/schema.js

@@ -1,8 +1,10 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 const tslib_1 = require("tslib");
-// Utilities (that depend on *and* are used by schemas)
+// Global schemas
 tslib_1.__exportStar(require("./schema/_parameters.js"), exports);
+// Utilities
+tslib_1.__exportStar(require("./schema/refine.js"), exports);
 // Concrete Types
 tslib_1.__exportStar(require("./schema/array.js"), exports);
 tslib_1.__exportStar(require("./schema/blob.js"), exports);
@@ -16,6 +18,7 @@ tslib_1.__exportStar(require("./schema/literal.js"), exports);
 tslib_1.__exportStar(require("./schema/never.js"), exports);
 tslib_1.__exportStar(require("./schema/null.js"), exports);
 tslib_1.__exportStar(require("./schema/object.js"), exports);
+tslib_1.__exportStar(require("./schema/regexp.js"), exports);
 tslib_1.__exportStar(require("./schema/string.js"), exports);
 tslib_1.__exportStar(require("./schema/unknown-object.js"), exports);
 tslib_1.__exportStar(require("./schema/unknown.js"), exports);
@@ -23,6 +26,8 @@ tslib_1.__exportStar(require("./schema/unknown.js"), exports);
 tslib_1.__exportStar(require("./schema/custom.js"), exports);
 tslib_1.__exportStar(require("./schema/discriminated-union.js"), exports);
 tslib_1.__exportStar(require("./schema/intersection.js"), exports);
+tslib_1.__exportStar(require("./schema/nullable.js"), exports);
+tslib_1.__exportStar(require("./schema/optional.js"), exports);
 tslib_1.__exportStar(require("./schema/ref.js"), exports);
 tslib_1.__exportStar(require("./schema/union.js"), exports);
 // Lexicon specific Types

package/dist/schema.js.map

@@ -1 +1 @@
-{"version":3,"file":"schema.js","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":";;;AAAA,uDAAuD;AACvD,kEAAuC;AAEvC,iBAAiB;AACjB,4DAAiC;AACjC,2DAAgC;AAChC,8DAAmC;AACnC,4DAAiC;AACjC,0DAA+B;AAC/B,2DAAgC;AAChC,2DAAgC;AAChC,8DAAmC;AACnC,8DAAmC;AACnC,4DAAiC;AACjC,2DAAgC;AAChC,6DAAkC;AAClC,6DAAkC;AAClC,qEAA0C;AAC1C,8DAAmC;AAEnC,kBAAkB;AAClB,6DAAkC;AAClC,0EAA+C;AAC/C,mEAAwC;AACxC,0DAA+B;AAC/B,4DAAiC;AAEjC,yBAAyB;AACzB,6DAAkC;AAClC,8DAAmC;AACnC,qEAA0C;AAC1C,iEAAsC;AACtC,gEAAqC;AACrC,4DAAiC;AACjC,6DAAkC;AAClC,mEAAwC;AACxC,4DAAiC;AACjC,mEAAwC;AACxC,gEAAqC;AACrC,kEAAuC","sourcesContent":["// Utilities (that depend on *and* are used by schemas)\nexport * from './schema/_parameters.js'\n\n// Concrete Types\nexport * from './schema/array.js'\nexport * from './schema/blob.js'\nexport * from './schema/boolean.js'\nexport * from './schema/bytes.js'\nexport * from './schema/cid.js'\nexport * from './schema/dict.js'\nexport * from './schema/enum.js'\nexport * from './schema/integer.js'\nexport * from './schema/literal.js'\nexport * from './schema/never.js'\nexport * from './schema/null.js'\nexport * from './schema/object.js'\nexport * from './schema/string.js'\nexport * from './schema/unknown-object.js'\nexport * from './schema/unknown.js'\n\n// Composite Types\nexport * from './schema/custom.js'\nexport * from './schema/discriminated-union.js'\nexport * from './schema/intersection.js'\nexport * from './schema/ref.js'\nexport * from './schema/union.js'\n\n// Lexicon specific Types\nexport * from './schema/params.js'\nexport * from './schema/payload.js'\nexport * from './schema/permission-set.js'\nexport * from './schema/permission.js'\nexport * from './schema/procedure.js'\nexport * from './schema/query.js'\nexport * from './schema/record.js'\nexport * from './schema/subscription.js'\nexport * from './schema/token.js'\nexport * from './schema/typed-object.js'\nexport * from './schema/typed-ref.js'\nexport * from './schema/typed-union.js'\n"]}
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":";;;AAAA,iBAAiB;AACjB,kEAAuC;AAEvC,YAAY;AACZ,6DAAkC;AAElC,iBAAiB;AACjB,4DAAiC;AACjC,2DAAgC;AAChC,8DAAmC;AACnC,4DAAiC;AACjC,0DAA+B;AAC/B,2DAAgC;AAChC,2DAAgC;AAChC,8DAAmC;AACnC,8DAAmC;AACnC,4DAAiC;AACjC,2DAAgC;AAChC,6DAAkC;AAClC,6DAAkC;AAClC,6DAAkC;AAClC,qEAA0C;AAC1C,8DAAmC;AAEnC,kBAAkB;AAClB,6DAAkC;AAClC,0EAA+C;AAC/C,mEAAwC;AACxC,+DAAoC;AACpC,+DAAoC;AACpC,0DAA+B;AAC/B,4DAAiC;AAEjC,yBAAyB;AACzB,6DAAkC;AAClC,8DAAmC;AACnC,qEAA0C;AAC1C,iEAAsC;AACtC,gEAAqC;AACrC,4DAAiC;AACjC,6DAAkC;AAClC,mEAAwC;AACxC,4DAAiC;AACjC,mEAAwC;AACxC,gEAAqC;AACrC,kEAAuC","sourcesContent":["// Global schemas\nexport * from './schema/_parameters.js'\n\n// Utilities\nexport * from './schema/refine.js'\n\n// Concrete Types\nexport * from './schema/array.js'\nexport * from './schema/blob.js'\nexport * from './schema/boolean.js'\nexport * from './schema/bytes.js'\nexport * from './schema/cid.js'\nexport * from './schema/dict.js'\nexport * from './schema/enum.js'\nexport * from './schema/integer.js'\nexport * from './schema/literal.js'\nexport * from './schema/never.js'\nexport * from './schema/null.js'\nexport * from './schema/object.js'\nexport * from './schema/regexp.js'\nexport * from './schema/string.js'\nexport * from './schema/unknown-object.js'\nexport * from './schema/unknown.js'\n\n// Composite Types\nexport * from './schema/custom.js'\nexport * from './schema/discriminated-union.js'\nexport * from './schema/intersection.js'\nexport * from './schema/nullable.js'\nexport * from './schema/optional.js'\nexport * from './schema/ref.js'\nexport * from './schema/union.js'\n\n// Lexicon specific Types\nexport * from './schema/params.js'\nexport * from './schema/payload.js'\nexport * from './schema/permission-set.js'\nexport * from './schema/permission.js'\nexport * from './schema/procedure.js'\nexport * from './schema/query.js'\nexport * from './schema/record.js'\nexport * from './schema/subscription.js'\nexport * from './schema/token.js'\nexport * from './schema/typed-object.js'\nexport * from './schema/typed-ref.js'\nexport * from './schema/typed-union.js'\n"]}

package/dist/util/array-agg.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"array-agg.d.ts","sourceRoot":"","sources":["../../src/util/array-agg.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,CAAC,EAC3B,GAAG,EAAE,SAAS,CAAC,EAAE,EACjB,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,OAAO,EAC5B,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,GAC7B,CAAC,EAAE,CAoBL"}
+{"version":3,"file":"array-agg.d.ts","sourceRoot":"","sources":["../../src/util/array-agg.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,CAAC,EAC3B,GAAG,EAAE,SAAS,CAAC,EAAE,EACjB,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,OAAO,EAC5B,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,GAC7B,CAAC,EAAE,CAoBL"}

package/dist/util/array-agg.js

@@ -19,6 +19,7 @@ exports.arrayAgg = arrayAgg;
  * // result is [{ value: 1, sum: 2 }, { value: 2, sum: 4 }, { value: 3, sum: 6 }]
  * ```
  */
+/*@__NO_SIDE_EFFECTS__*/
 function arrayAgg(arr, cmp, agg) {
     if (arr.length === 0)
         return [];

package/dist/util/array-agg.js.map

@@ -1 +1 @@
-{"version":3,"file":"array-agg.js","sourceRoot":"","sources":["../../src/util/array-agg.ts"],"names":[],"mappings":";;AAkBA,4BAwBC;AA1CD;;;;;;;;;;;;;;;;;GAiBG;AACH,SAAgB,QAAQ,CACtB,GAAiB,EACjB,GAA4B,EAC5B,GAA8B;IAE9B,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IAE/B,MAAM,MAAM,GAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACxC,MAAM,OAAO,GAAG,KAAK,CAAsB,GAAG,CAAC,MAAM,CAAC,CAAA;IAEtD,KAAK,EAAE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,IAAI,OAAO,CAAC,CAAC,CAAC;YAAE,SAAQ;QACxB,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,CAAA;QACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,IAAI,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC5B,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBACpB,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAA;gBACjB,SAAS,KAAK,CAAA;YAChB,CAAC;QACH,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;IACrB,CAAC;IAED,OAAO,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;AACxB,CAAC","sourcesContent":["/**\n * Aggregates items in an array based on a comparison function and an aggregation function.\n *\n * @param arr - The input array to aggregate.\n * @param cmp - A comparison function that determines if two items belong to the same group.\n * @param agg - An aggregation function that combines items in a group into a single item.\n * @returns An array of aggregated items.\n * @example\n * ```ts\n * const input = [1, 1, 2, 2, 3, 3, 3]\n * const result = arrayAgg(\n *   input,\n *   (a, b) => a === b,\n *   (items) => { value: items[0], sum: items.reduce((sum, item) => sum + item, 0) },\n * )\n * // result is [{ value: 1, sum: 2 }, { value: 2, sum: 4 }, { value: 3, sum: 6 }]\n * ```\n */\nexport function arrayAgg<T, O>(\n  arr: readonly T[],\n  cmp: (a: T, b: T) => boolean,\n  agg: (items: [T, ...T[]]) => O,\n): O[] {\n  if (arr.length === 0) return []\n\n  const groups: [T, ...T[]][] = [[arr[0]]]\n  const skipped = Array<undefined | boolean>(arr.length)\n\n  outer: for (let i = 1; i < arr.length; i++) {\n    if (skipped[i]) continue\n    const item = arr[i]\n    for (let j = 0; j < groups.length; j++) {\n      if (cmp(item, groups[j][0])) {\n        groups[j].push(item)\n        skipped[i] = true\n        continue outer\n      }\n    }\n    groups.push([item])\n  }\n\n  return groups.map(agg)\n}\n"]}
+{"version":3,"file":"array-agg.js","sourceRoot":"","sources":["../../src/util/array-agg.ts"],"names":[],"mappings":";;AAmBA,4BAwBC;AA3CD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAwB;AACxB,SAAgB,QAAQ,CACtB,GAAiB,EACjB,GAA4B,EAC5B,GAA8B;IAE9B,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IAE/B,MAAM,MAAM,GAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACxC,MAAM,OAAO,GAAG,KAAK,CAAsB,GAAG,CAAC,MAAM,CAAC,CAAA;IAEtD,KAAK,EAAE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,IAAI,OAAO,CAAC,CAAC,CAAC;YAAE,SAAQ;QACxB,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,CAAA;QACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,IAAI,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC5B,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBACpB,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAA;gBACjB,SAAS,KAAK,CAAA;YAChB,CAAC;QACH,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;IACrB,CAAC;IAED,OAAO,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;AACxB,CAAC","sourcesContent":["/**\n * Aggregates items in an array based on a comparison function and an aggregation function.\n *\n * @param arr - The input array to aggregate.\n * @param cmp - A comparison function that determines if two items belong to the same group.\n * @param agg - An aggregation function that combines items in a group into a single item.\n * @returns An array of aggregated items.\n * @example\n * ```ts\n * const input = [1, 1, 2, 2, 3, 3, 3]\n * const result = arrayAgg(\n *   input,\n *   (a, b) => a === b,\n *   (items) => { value: items[0], sum: items.reduce((sum, item) => sum + item, 0) },\n * )\n * // result is [{ value: 1, sum: 2 }, { value: 2, sum: 4 }, { value: 3, sum: 6 }]\n * ```\n */\n/*@__NO_SIDE_EFFECTS__*/\nexport function arrayAgg<T, O>(\n  arr: readonly T[],\n  cmp: (a: T, b: T) => boolean,\n  agg: (items: [T, ...T[]]) => O,\n): O[] {\n  if (arr.length === 0) return []\n\n  const groups: [T, ...T[]][] = [[arr[0]]]\n  const skipped = Array<undefined | boolean>(arr.length)\n\n  outer: for (let i = 1; i < arr.length; i++) {\n    if (skipped[i]) continue\n    const item = arr[i]\n    for (let j = 0; j < groups.length; j++) {\n      if (cmp(item, groups[j][0])) {\n        groups[j].push(item)\n        skipped[i] = true\n        continue outer\n      }\n    }\n    groups.push([item])\n  }\n\n  return groups.map(agg)\n}\n"]}

package/dist/util/lazy-property.d.ts

@@ -0,0 +1,2 @@
+export declare function lazyProperty<O extends object, const K extends keyof O, const V extends O[K]>(obj: O, key: K, value: V): V;
+//# sourceMappingURL=lazy-property.d.ts.map

package/dist/util/lazy-property.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lazy-property.d.ts","sourceRoot":"","sources":["../../src/util/lazy-property.ts"],"names":[],"mappings":"AACA,wBAAgB,YAAY,CAC1B,CAAC,SAAS,MAAM,EAChB,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,EACvB,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EACpB,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAQ7B"}

package/dist/util/lazy-property.js

@@ -0,0 +1,14 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.lazyProperty = lazyProperty;
+/*@__NO_SIDE_EFFECTS__*/
+function lazyProperty(obj, key, value) {
+    Object.defineProperty(obj, key, {
+        value,
+        writable: false,
+        enumerable: false,
+        configurable: true,
+    });
+    return value;
+}
+//# sourceMappingURL=lazy-property.js.map

package/dist/util/lazy-property.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lazy-property.js","sourceRoot":"","sources":["../../src/util/lazy-property.ts"],"names":[],"mappings":";;AACA,oCAYC;AAbD,wBAAwB;AACxB,SAAgB,YAAY,CAI1B,GAAM,EAAE,GAAM,EAAE,KAAQ;IACxB,MAAM,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,EAAE;QAC9B,KAAK;QACL,QAAQ,EAAE,KAAK;QACf,UAAU,EAAE,KAAK;QACjB,YAAY,EAAE,IAAI;KACnB,CAAC,CAAA;IACF,OAAO,KAAK,CAAA;AACd,CAAC","sourcesContent":["/*@__NO_SIDE_EFFECTS__*/\nexport function lazyProperty<\n  O extends object,\n  const K extends keyof O,\n  const V extends O[K],\n>(obj: O, key: K, value: V): V {\n  Object.defineProperty(obj, key, {\n    value,\n    writable: false,\n    enumerable: false,\n    configurable: true,\n  })\n  return value\n}\n"]}

package/dist/validation/schema.d.ts

@@ -0,0 +1,24 @@
+import { ValidationOptions, ValidationResult, Validator, ValidatorContext } from './validator.js';
+export declare abstract class Schema<Output> implements Validator<Output> {
+    readonly ['_lex']: {
+        output: Output;
+    };
+    abstract validateInContext(input: unknown, ctx: ValidatorContext): ValidationResult<Output>;
+    assert(input: unknown): asserts input is Output;
+    matches(input: unknown): input is Output;
+    ifMatches<I>(input: I): (I & Output) | undefined;
+    parse<I>(input: I, options: ValidationOptions & {
+        allowTransform: false;
+    }): I & Output;
+    parse(input: unknown, options?: ValidationOptions): Output;
+    safeParse<I>(input: I, options: ValidationOptions & {
+        allowTransform: false;
+    }): ValidationResult<I & Output>;
+    safeParse(input: unknown, options?: ValidationOptions): ValidationResult<Output>;
+    $assert(input: unknown): asserts input is Output;
+    $matches(input: unknown): input is Output;
+    $ifMatches<I>(input: I): (I & Output) | undefined;
+    $parse(input: unknown, options?: ValidationOptions): Output;
+    $safeParse(input: unknown, options?: ValidationOptions): ValidationResult<Output>;
+}
+//# sourceMappingURL=schema.d.ts.map

package/dist/validation/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/validation/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,SAAS,EACT,gBAAgB,EACjB,MAAM,gBAAgB,CAAA;AAEvB,8BAAsB,MAAM,CAAC,MAAM,CAAE,YAAW,SAAS,CAAC,MAAM,CAAC;IAC/D,SAAiB,CAAC,MAAM,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAA;IAE7C,QAAQ,CAAC,iBAAiB,CACxB,KAAK,EAAE,OAAO,EACd,GAAG,EAAE,gBAAgB,GACpB,gBAAgB,CAAC,MAAM,CAAC;IAE3B,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,KAAK,IAAI,MAAM;IAK/C,OAAO,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM;IAKxC,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,SAAS;IAIhD,KAAK,CAAC,CAAC,EACL,KAAK,EAAE,CAAC,EACR,OAAO,EAAE,iBAAiB,GAAG;QAAE,cAAc,EAAE,KAAK,CAAA;KAAE,GACrD,CAAC,GAAG,MAAM;IACb,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,iBAAiB,GAAG,MAAM;IAO1D,SAAS,CAAC,CAAC,EACT,KAAK,EAAE,CAAC,EACR,OAAO,EAAE,iBAAiB,GAAG;QAAE,cAAc,EAAE,KAAK,CAAA;KAAE,GACrD,gBAAgB,CAAC,CAAC,GAAG,MAAM,CAAC;IAC/B,SAAS,CACP,KAAK,EAAE,OAAO,EACd,OAAO,CAAC,EAAE,iBAAiB,GAC1B,gBAAgB,CAAC,MAAM,CAAC;IAsB3B,OAAO,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,KAAK,IAAI,MAAM;IAIhD,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM;IAIzC,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,SAAS;IAIjD,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,iBAAiB,GAAG,MAAM;IAI3D,UAAU,CACR,KAAK,EAAE,OAAO,EACd,OAAO,CAAC,EAAE,iBAAiB,GAC1B,gBAAgB,CAAC,MAAM,CAAC;CAG5B"}

package/dist/validation/schema.js

@@ -0,0 +1,57 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Schema = void 0;
+const validator_js_1 = require("./validator.js");
+class Schema {
+    assert(input) {
+        const result = this.safeParse(input, { allowTransform: false });
+        if (!result.success)
+            throw result.error;
+    }
+    matches(input) {
+        const result = this.safeParse(input, { allowTransform: false });
+        return result.success;
+    }
+    ifMatches(input) {
+        return this.matches(input) ? input : undefined;
+    }
+    parse(input, options) {
+        const result = this.safeParse(input, options);
+        if (!result.success)
+            throw result.error;
+        return result.value;
+    }
+    safeParse(input, options) {
+        return validator_js_1.ValidatorContext.validate(input, this, options);
+    }
+    // @NOTE The built lexicons namespaces will export utility functions that
+    // allow accessing the schema's methods without the need to specify ".main."
+    // as part of the namespace. This way, a utility for a particular record type
+    // can be called like "app.bsky.feed.post.<utility>()" instead of
+    // "app.bsky.feed.post.main.<utility>()". Because those utilities could
+    // conflict with other schemas (e.g. if there is a lexicon definition at
+    // "#<utility>"), those exported utilities will be prefixed with "$". In order
+    // to be able to consistently call the utilities, when using the "main" and
+    // non "main" definitions, we also expose the same methods with a "$" prefix.
+    // Thanks to this, both of the following call will be possible:
+    //
+    // - "app.bsky.feed.post.$parse(...)" // calls a utility function created by "lex build"
+    // - "app.bsky.feed.defs.postView.$parse(...)" // uses the alias defined below on the schema instance
+    $assert(input) {
+        return this.assert(input);
+    }
+    $matches(input) {
+        return this.matches(input);
+    }
+    $ifMatches(input) {
+        return this.ifMatches(input);
+    }
+    $parse(input, options) {
+        return this.parse(input, options);
+    }
+    $safeParse(input, options) {
+        return this.safeParse(input, options);
+    }
+}
+exports.Schema = Schema;
+//# sourceMappingURL=schema.js.map

package/dist/validation/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/validation/schema.ts"],"names":[],"mappings":";;;AAAA,iDAKuB;AAEvB,MAAsB,MAAM;IAQ1B,MAAM,CAAC,KAAc;QACnB,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAA;QAC/D,IAAI,CAAC,MAAM,CAAC,OAAO;YAAE,MAAM,MAAM,CAAC,KAAK,CAAA;IACzC,CAAC;IAED,OAAO,CAAC,KAAc;QACpB,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAA;QAC/D,OAAO,MAAM,CAAC,OAAO,CAAA;IACvB,CAAC;IAED,SAAS,CAAI,KAAQ;QACnB,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;IAChD,CAAC;IAOD,KAAK,CAAC,KAAc,EAAE,OAA2B;QAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;QAC7C,IAAI,CAAC,MAAM,CAAC,OAAO;YAAE,MAAM,MAAM,CAAC,KAAK,CAAA;QACvC,OAAO,MAAM,CAAC,KAAK,CAAA;IACrB,CAAC;IAUD,SAAS,CACP,KAAc,EACd,OAA2B;QAE3B,OAAO,+BAAgB,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;IACxD,CAAC;IAED,yEAAyE;IACzE,4EAA4E;IAC5E,6EAA6E;IAC7E,iEAAiE;IACjE,uEAAuE;IACvE,wEAAwE;IACxE,8EAA8E;IAC9E,2EAA2E;IAC3E,6EAA6E;IAC7E,+DAA+D;IAC/D,EAAE;IACF,wFAAwF;IACxF,qGAAqG;IAErG,OAAO,CAAC,KAAc;QACpB,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IAC3B,CAAC;IAED,QAAQ,CAAC,KAAc;QACrB,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;IAC5B,CAAC;IAED,UAAU,CAAI,KAAQ;QACpB,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;IAC9B,CAAC;IAED,MAAM,CAAC,KAAc,EAAE,OAA2B;QAChD,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;IACnC,CAAC;IAED,UAAU,CACR,KAAc,EACd,OAA2B;QAE3B,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;IACvC,CAAC;CACF;AApFD,wBAoFC","sourcesContent":["import {\n  ValidationOptions,\n  ValidationResult,\n  Validator,\n  ValidatorContext,\n} from './validator.js'\n\nexport abstract class Schema<Output> implements Validator<Output> {\n  declare readonly ['_lex']: { output: Output }\n\n  abstract validateInContext(\n    input: unknown,\n    ctx: ValidatorContext,\n  ): ValidationResult<Output>\n\n  assert(input: unknown): asserts input is Output {\n    const result = this.safeParse(input, { allowTransform: false })\n    if (!result.success) throw result.error\n  }\n\n  matches(input: unknown): input is Output {\n    const result = this.safeParse(input, { allowTransform: false })\n    return result.success\n  }\n\n  ifMatches<I>(input: I): (I & Output) | undefined {\n    return this.matches(input) ? input : undefined\n  }\n\n  parse<I>(\n    input: I,\n    options: ValidationOptions & { allowTransform: false },\n  ): I & Output\n  parse(input: unknown, options?: ValidationOptions): Output\n  parse(input: unknown, options?: ValidationOptions): Output {\n    const result = this.safeParse(input, options)\n    if (!result.success) throw result.error\n    return result.value\n  }\n\n  safeParse<I>(\n    input: I,\n    options: ValidationOptions & { allowTransform: false },\n  ): ValidationResult<I & Output>\n  safeParse(\n    input: unknown,\n    options?: ValidationOptions,\n  ): ValidationResult<Output>\n  safeParse(\n    input: unknown,\n    options?: ValidationOptions,\n  ): ValidationResult<Output> {\n    return ValidatorContext.validate(input, this, options)\n  }\n\n  // @NOTE The built lexicons namespaces will export utility functions that\n  // allow accessing the schema's methods without the need to specify \".main.\"\n  // as part of the namespace. This way, a utility for a particular record type\n  // can be called like \"app.bsky.feed.post.<utility>()\" instead of\n  // \"app.bsky.feed.post.main.<utility>()\". Because those utilities could\n  // conflict with other schemas (e.g. if there is a lexicon definition at\n  // \"#<utility>\"), those exported utilities will be prefixed with \"$\". In order\n  // to be able to consistently call the utilities, when using the \"main\" and\n  // non \"main\" definitions, we also expose the same methods with a \"$\" prefix.\n  // Thanks to this, both of the following call will be possible:\n  //\n  // - \"app.bsky.feed.post.$parse(...)\" // calls a utility function created by \"lex build\"\n  // - \"app.bsky.feed.defs.postView.$parse(...)\" // uses the alias defined below on the schema instance\n\n  $assert(input: unknown): asserts input is Output {\n    return this.assert(input)\n  }\n\n  $matches(input: unknown): input is Output {\n    return this.matches(input)\n  }\n\n  $ifMatches<I>(input: I): (I & Output) | undefined {\n    return this.ifMatches(input)\n  }\n\n  $parse(input: unknown, options?: ValidationOptions): Output {\n    return this.parse(input, options)\n  }\n\n  $safeParse(\n    input: unknown,\n    options?: ValidationOptions,\n  ): ValidationResult<Output> {\n    return this.safeParse(input, options)\n  }\n}\n"]}

package/dist/validation/validation-error.d.ts

@@ -1,9 +1,9 @@
 import { ResultFailure } from '../core.js';
-import { ValidationIssue } from './validation-issue.js';
+import { Issue } from './validation-issue.js';
 export declare class ValidationError extends Error {
-    readonly issues: ValidationIssue[];
     name: string;
-    constructor(issues: ValidationIssue[], options?: ErrorOptions);
+    readonly issues: Issue[];
+    constructor(issues: Issue[], options?: ErrorOptions);
     static fromFailures(failures: ResultFailure<ValidationError>[]): ValidationError;
 }
 //# sourceMappingURL=validation-error.d.ts.map

package/dist/validation/validation-error.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validation-error.d.ts","sourceRoot":"","sources":["../../src/validation/validation-error.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAgB,MAAM,YAAY,CAAA;AACxD,OAAO,EACL,eAAe,EAGhB,MAAM,uBAAuB,CAAA;AAE9B,qBAAa,eAAgB,SAAQ,KAAK;IAItC,QAAQ,CAAC,MAAM,EAAE,eAAe,EAAE;IAHpC,IAAI,SAAoB;gBAGb,MAAM,EAAE,eAAe,EAAE,EAClC,OAAO,CAAC,EAAE,YAAY;IAKxB,MAAM,CAAC,YAAY,CACjB,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,EAAE,GACzC,eAAe;CAQnB"}
+{"version":3,"file":"validation-error.d.ts","sourceRoot":"","sources":["../../src/validation/validation-error.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAgB,MAAM,YAAY,CAAA;AAExD,OAAO,EACL,KAAK,EAGN,MAAM,uBAAuB,CAAA;AAE9B,qBAAa,eAAgB,SAAQ,KAAK;IACxC,IAAI,SAAoB;IAExB,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,CAAA;gBAEZ,MAAM,EAAE,KAAK,EAAE,EAAE,OAAO,CAAC,EAAE,YAAY;IAMnD,MAAM,CAAC,YAAY,CACjB,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,EAAE,GACzC,eAAe;CAQnB"}

package/dist/validation/validation-error.js

@@ -2,19 +2,21 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.ValidationError = void 0;
 const core_js_1 = require("../core.js");
+const array_agg_js_1 = require("../util/array-agg.js");
 const validation_issue_js_1 = require("./validation-issue.js");
 class ValidationError extends Error {
-    issues;
     name = 'ValidationError';
+    issues;
     constructor(issues, options) {
-        super(issues.map(validation_issue_js_1.stringifyIssue).join(', '), options);
-        this.issues = issues;
+        const issuesAgg = aggregateIssues(issues);
+        super(issuesAgg.join(', '), options);
+        this.issues = issuesAgg;
     }
     static fromFailures(failures) {
         if (failures.length === 1)
             return failures[0].error;
         const issues = failures.flatMap(extractFailureIssues);
-        return new ValidationError((0, validation_issue_js_1.aggregateIssues)(issues), {
+        return new ValidationError(issues, {
             // Keep the original errors as the cause chain
             cause: failures.map(core_js_1.failureError),
         });
@@ -24,4 +26,30 @@ exports.ValidationError = ValidationError;
 function extractFailureIssues(result) {
     return result.error.issues;
 }
+function aggregateIssues(issues) {
+    // Quick path for common cases
+    if (issues.length <= 1)
+        return issues;
+    if (issues.length === 2 && issues[0].code !== issues[1].code)
+        return issues;
+    return [
+        // Aggregate invalid_type with identical paths
+        ...(0, array_agg_js_1.arrayAgg)(issues.filter((issue) => issue instanceof validation_issue_js_1.IssueInvalidType), (a, b) => comparePropertyPaths(a.path, b.path), (issues) => new validation_issue_js_1.IssueInvalidType(issues[0].path, issues[0].input, Array.from(new Set(issues.flatMap((iss) => iss.expected))))),
+        // Aggregate invalid_value with identical paths
+        ...(0, array_agg_js_1.arrayAgg)(issues.filter((issue) => issue instanceof validation_issue_js_1.IssueInvalidValue), (a, b) => comparePropertyPaths(a.path, b.path), (issues) => new validation_issue_js_1.IssueInvalidValue(issues[0].path, issues[0].input, Array.from(new Set(issues.flatMap((iss) => iss.values))))),
+        // Pass through other issues
+        ...issues.filter((issue) => !(issue instanceof validation_issue_js_1.IssueInvalidType) &&
+            !(issue instanceof validation_issue_js_1.IssueInvalidValue)),
+    ];
+}
+/*@__NO_SIDE_EFFECTS__*/
+function comparePropertyPaths(a, b) {
+    if (a.length !== b.length)
+        return false;
+    for (let i = 0; i < a.length; i++) {
+        if (a[i] !== b[i])
+            return false;
+    }
+    return true;
+}
 //# sourceMappingURL=validation-error.js.map

package/dist/validation/validation-error.js.map

@@ -1 +1 @@
-{"version":3,"file":"validation-error.js","sourceRoot":"","sources":["../../src/validation/validation-error.ts"],"names":[],"mappings":";;;AAAA,wCAAwD;AACxD,+DAI8B;AAE9B,MAAa,eAAgB,SAAQ,KAAK;IAI7B;IAHX,IAAI,GAAG,iBAAiB,CAAA;IAExB,YACW,MAAyB,EAClC,OAAsB;QAEtB,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,oCAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAA;QAH5C,WAAM,GAAN,MAAM,CAAmB;IAIpC,CAAC;IAED,MAAM,CAAC,YAAY,CACjB,QAA0C;QAE1C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;QACnD,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAA;QACrD,OAAO,IAAI,eAAe,CAAC,IAAA,qCAAe,EAAC,MAAM,CAAC,EAAE;YAClD,8CAA8C;YAC9C,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,sBAAY,CAAC;SAClC,CAAC,CAAA;IACJ,CAAC;CACF;AApBD,0CAoBC;AAED,SAAS,oBAAoB,CAAC,MAAsC;IAClE,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAA;AAC5B,CAAC","sourcesContent":["import { ResultFailure, failureError } from '../core.js'\nimport {\n  ValidationIssue,\n  aggregateIssues,\n  stringifyIssue,\n} from './validation-issue.js'\n\nexport class ValidationError extends Error {\n  name = 'ValidationError'\n\n  constructor(\n    readonly issues: ValidationIssue[],\n    options?: ErrorOptions,\n  ) {\n    super(issues.map(stringifyIssue).join(', '), options)\n  }\n\n  static fromFailures(\n    failures: ResultFailure<ValidationError>[],\n  ): ValidationError {\n    if (failures.length === 1) return failures[0].error\n    const issues = failures.flatMap(extractFailureIssues)\n    return new ValidationError(aggregateIssues(issues), {\n      // Keep the original errors as the cause chain\n      cause: failures.map(failureError),\n    })\n  }\n}\n\nfunction extractFailureIssues(result: ResultFailure<ValidationError>) {\n  return result.error.issues\n}\n"]}
+{"version":3,"file":"validation-error.js","sourceRoot":"","sources":["../../src/validation/validation-error.ts"],"names":[],"mappings":";;;AAAA,wCAAwD;AACxD,uDAA+C;AAC/C,+DAI8B;AAE9B,MAAa,eAAgB,SAAQ,KAAK;IACxC,IAAI,GAAG,iBAAiB,CAAA;IAEf,MAAM,CAAS;IAExB,YAAY,MAAe,EAAE,OAAsB;QACjD,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CAAC,CAAA;QACzC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAA;QACpC,IAAI,CAAC,MAAM,GAAG,SAAS,CAAA;IACzB,CAAC;IAED,MAAM,CAAC,YAAY,CACjB,QAA0C;QAE1C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;QACnD,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAA;QACrD,OAAO,IAAI,eAAe,CAAC,MAAM,EAAE;YACjC,8CAA8C;YAC9C,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,sBAAY,CAAC;SAClC,CAAC,CAAA;IACJ,CAAC;CACF;AArBD,0CAqBC;AAED,SAAS,oBAAoB,CAAC,MAAsC;IAClE,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAA;AAC5B,CAAC;AAED,SAAS,eAAe,CAAC,MAAe;IACtC,8BAA8B;IAC9B,IAAI,MAAM,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,MAAM,CAAA;IACrC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI;QAAE,OAAO,MAAM,CAAA;IAE3E,OAAO;QACL,8CAA8C;QAC9C,GAAG,IAAA,uBAAQ,EACT,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,YAAY,sCAAgB,CAAC,EAC3D,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAC9C,CAAC,MAAM,EAAE,EAAE,CACT,IAAI,sCAAgB,CAClB,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EACd,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,EACf,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAC3D,CACJ;QACD,+CAA+C;QAC/C,GAAG,IAAA,uBAAQ,EACT,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,YAAY,uCAAiB,CAAC,EAC5D,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAC9C,CAAC,MAAM,EAAE,EAAE,CACT,IAAI,uCAAiB,CACnB,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EACd,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,EACf,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CACzD,CACJ;QACD,4BAA4B;QAC5B,GAAG,MAAM,CAAC,MAAM,CACd,CAAC,KAAK,EAAE,EAAE,CACR,CAAC,CAAC,KAAK,YAAY,sCAAgB,CAAC;YACpC,CAAC,CAAC,KAAK,YAAY,uCAAiB,CAAC,CACxC;KACF,CAAA;AACH,CAAC;AAED,wBAAwB;AACxB,SAAS,oBAAoB,CAC3B,CAAyB,EACzB,CAAyB;IAEzB,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;QAAE,OAAO,KAAK,CAAA;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAA;IACjC,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC","sourcesContent":["import { ResultFailure, failureError } from '../core.js'\nimport { arrayAgg } from '../util/array-agg.js'\nimport {\n  Issue,\n  IssueInvalidType,\n  IssueInvalidValue,\n} from './validation-issue.js'\n\nexport class ValidationError extends Error {\n  name = 'ValidationError'\n\n  readonly issues: Issue[]\n\n  constructor(issues: Issue[], options?: ErrorOptions) {\n    const issuesAgg = aggregateIssues(issues)\n    super(issuesAgg.join(', '), options)\n    this.issues = issuesAgg\n  }\n\n  static fromFailures(\n    failures: ResultFailure<ValidationError>[],\n  ): ValidationError {\n    if (failures.length === 1) return failures[0].error\n    const issues = failures.flatMap(extractFailureIssues)\n    return new ValidationError(issues, {\n      // Keep the original errors as the cause chain\n      cause: failures.map(failureError),\n    })\n  }\n}\n\nfunction extractFailureIssues(result: ResultFailure<ValidationError>) {\n  return result.error.issues\n}\n\nfunction aggregateIssues(issues: Issue[]): Issue[] {\n  // Quick path for common cases\n  if (issues.length <= 1) return issues\n  if (issues.length === 2 && issues[0].code !== issues[1].code) return issues\n\n  return [\n    // Aggregate invalid_type with identical paths\n    ...arrayAgg(\n      issues.filter((issue) => issue instanceof IssueInvalidType),\n      (a, b) => comparePropertyPaths(a.path, b.path),\n      (issues) =>\n        new IssueInvalidType(\n          issues[0].path,\n          issues[0].input,\n          Array.from(new Set(issues.flatMap((iss) => iss.expected))),\n        ),\n    ),\n    // Aggregate invalid_value with identical paths\n    ...arrayAgg(\n      issues.filter((issue) => issue instanceof IssueInvalidValue),\n      (a, b) => comparePropertyPaths(a.path, b.path),\n      (issues) =>\n        new IssueInvalidValue(\n          issues[0].path,\n          issues[0].input,\n          Array.from(new Set(issues.flatMap((iss) => iss.values))),\n        ),\n    ),\n    // Pass through other issues\n    ...issues.filter(\n      (issue) =>\n        !(issue instanceof IssueInvalidType) &&\n        !(issue instanceof IssueInvalidValue),\n    ),\n  ]\n}\n\n/*@__NO_SIDE_EFFECTS__*/\nfunction comparePropertyPaths(\n  a: readonly PropertyKey[],\n  b: readonly PropertyKey[],\n) {\n  if (a.length !== b.length) return false\n  for (let i = 0; i < a.length; i++) {\n    if (a[i] !== b[i]) return false\n  }\n  return true\n}\n"]}

package/dist/validation/validation-issue.d.ts

@@ -1,45 +1,53 @@
 import { PropertyKey } from './property-key.js';
-export interface Issue<I = unknown> {
-    readonly input: I;
+export declare abstract class Issue {
     readonly code: string;
-    readonly message?: string;
     readonly path: readonly PropertyKey[];
+    readonly input: unknown;
+    constructor(code: string, path: readonly PropertyKey[], input: unknown);
+    abstract toString(): string;
 }
-export interface IssueCustom extends Issue {
-    readonly code: 'custom';
+export declare class IssueCustom extends Issue {
+    readonly path: readonly PropertyKey[];
+    readonly input: unknown;
     readonly message: string;
+    constructor(path: readonly PropertyKey[], input: unknown, message: string);
+    toString(): string;
 }
-export interface IssueInvalidFormat extends Issue {
-    readonly code: 'invalid_format';
+export declare class IssueInvalidFormat extends Issue {
     readonly format: string;
+    readonly message?: string | undefined;
+    constructor(path: readonly PropertyKey[], input: unknown, format: string, message?: string | undefined);
+    toString(): string;
+    get formatDescription(): string;
 }
-export interface IssueInvalidType extends Issue {
-    readonly code: 'invalid_type';
+export declare class IssueInvalidType extends Issue {
     readonly expected: readonly string[];
+    constructor(path: readonly PropertyKey[], input: unknown, expected: readonly string[]);
+    toString(): string;
 }
-export interface IssueInvalidValue extends Issue {
-    readonly code: 'invalid_value';
+export declare class IssueInvalidValue extends Issue {
     readonly values: readonly unknown[];
+    constructor(path: readonly PropertyKey[], input: unknown, values: readonly unknown[]);
+    toString(): string;
 }
-export interface IssueRequiredKey extends Issue {
-    readonly code: 'required_key';
+export declare class IssueRequiredKey extends Issue {
     readonly key: PropertyKey;
+    constructor(path: readonly PropertyKey[], input: unknown, key: PropertyKey);
+    toString(): string;
 }
-export interface IssueTooBig extends Issue {
-    readonly code: 'too_big';
+export type MeasurableType = 'array' | 'string' | 'integer' | 'grapheme' | 'bytes' | 'blob';
+export declare class IssueTooBig extends Issue {
     readonly maximum: number;
-    readonly type: 'array' | 'string' | 'integer' | 'grapheme' | 'bytes' | 'blob';
+    readonly type: MeasurableType;
     readonly actual: number;
+    constructor(path: readonly PropertyKey[], input: unknown, maximum: number, type: MeasurableType, actual: number);
+    toString(): string;
 }
-export interface IssueTooSmall extends Issue {
-    readonly code: 'too_small';
+export declare class IssueTooSmall extends Issue {
     readonly minimum: number;
-    readonly type: 'array' | 'string' | 'integer' | 'grapheme' | 'bytes';
+    readonly type: MeasurableType;
     readonly actual: number;
+    constructor(path: readonly PropertyKey[], input: unknown, minimum: number, type: MeasurableType, actual: number);
+    toString(): string;
 }
-export type ValidationIssue = IssueCustom | IssueInvalidFormat | IssueInvalidType | IssueInvalidValue | IssueRequiredKey | IssueTooBig | IssueTooSmall;
-export declare function stringifyIssue(issue: ValidationIssue): string;
-export declare function stringifyType(value: unknown): string;
-export declare function stringifyValue(value: unknown): string;
-export declare function aggregateIssues(issues: ValidationIssue[]): ValidationIssue[];
 //# sourceMappingURL=validation-issue.d.ts.map

package/dist/validation/validation-issue.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validation-issue.d.ts","sourceRoot":"","sources":["../../src/validation/validation-issue.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAE/C,MAAM,WAAW,KAAK,CAAC,CAAC,GAAG,OAAO;IAChC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;IACjB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,IAAI,EAAE,SAAS,WAAW,EAAE,CAAA;CACtC;AAED,MAAM,WAAW,WAAY,SAAQ,KAAK;IACxC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB;AAED,MAAM,WAAW,kBAAmB,SAAQ,KAAK;IAC/C,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAA;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;AAED,MAAM,WAAW,gBAAiB,SAAQ,KAAK;IAC7C,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;IAC7B,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;CACrC;AAED,MAAM,WAAW,iBAAkB,SAAQ,KAAK;IAC9C,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;IAC9B,QAAQ,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAA;CACpC;AAED,MAAM,WAAW,gBAAiB,SAAQ,KAAK;IAC7C,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;IAC7B,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAA;CAC1B;AAED,MAAM,WAAW,WAAY,SAAQ,KAAK;IACxC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,QAAQ,GAAG,SAAS,GAAG,UAAU,GAAG,OAAO,GAAG,MAAM,CAAA;IAC7E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;AAED,MAAM,WAAW,aAAc,SAAQ,KAAK;IAC1C,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,QAAQ,GAAG,SAAS,GAAG,UAAU,GAAG,OAAO,CAAA;IACpE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;AAED,MAAM,MAAM,eAAe,GACvB,WAAW,GACX,kBAAkB,GAClB,gBAAgB,GAChB,iBAAiB,GACjB,gBAAgB,GAChB,WAAW,GACX,aAAa,CAAA;AAEjB,wBAAgB,cAAc,CAAC,KAAK,EAAE,eAAe,GAAG,MAAM,CAsB7D;AAuDD,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAkBpD;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAmBrD;AAcD,wBAAgB,eAAe,CAAC,MAAM,EAAE,eAAe,EAAE,GAAG,eAAe,EAAE,CA8B5E"}
+{"version":3,"file":"validation-issue.d.ts","sourceRoot":"","sources":["../../src/validation/validation-issue.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAE/C,8BAAsB,KAAK;IAEvB,QAAQ,CAAC,IAAI,EAAE,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,SAAS,WAAW,EAAE;IACrC,QAAQ,CAAC,KAAK,EAAE,OAAO;gBAFd,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,SAAS,WAAW,EAAE,EAC5B,KAAK,EAAE,OAAO;IAGzB,QAAQ,CAAC,QAAQ,IAAI,MAAM;CAC5B;AAED,qBAAa,WAAY,SAAQ,KAAK;IAElC,QAAQ,CAAC,IAAI,EAAE,SAAS,WAAW,EAAE;IACrC,QAAQ,CAAC,KAAK,EAAE,OAAO;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM;gBAFf,IAAI,EAAE,SAAS,WAAW,EAAE,EAC5B,KAAK,EAAE,OAAO,EACd,OAAO,EAAE,MAAM;IAK1B,QAAQ;CAGT;AAED,qBAAa,kBAAmB,SAAQ,KAAK;IAIzC,QAAQ,CAAC,MAAM,EAAE,MAAM;IACvB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM;gBAHzB,IAAI,EAAE,SAAS,WAAW,EAAE,EAC5B,KAAK,EAAE,OAAO,EACL,MAAM,EAAE,MAAM,EACd,OAAO,CAAC,EAAE,MAAM,YAAA;IAK3B,QAAQ;IAIR,IAAI,iBAAiB,IAAI,MAAM,CAiB9B;CACF;AAED,qBAAa,gBAAiB,SAAQ,KAAK;IAIvC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE;gBAFpC,IAAI,EAAE,SAAS,WAAW,EAAE,EAC5B,KAAK,EAAE,OAAO,EACL,QAAQ,EAAE,SAAS,MAAM,EAAE;IAKtC,QAAQ;CAGT;AAED,qBAAa,iBAAkB,SAAQ,KAAK;IAIxC,QAAQ,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE;gBAFnC,IAAI,EAAE,SAAS,WAAW,EAAE,EAC5B,KAAK,EAAE,OAAO,EACL,MAAM,EAAE,SAAS,OAAO,EAAE;IAKrC,QAAQ;CAGT;AAED,qBAAa,gBAAiB,SAAQ,KAAK;IAIvC,QAAQ,CAAC,GAAG,EAAE,WAAW;gBAFzB,IAAI,EAAE,SAAS,WAAW,EAAE,EAC5B,KAAK,EAAE,OAAO,EACL,GAAG,EAAE,WAAW;IAK3B,QAAQ;CAGT;AAED,MAAM,MAAM,cAAc,GACtB,OAAO,GACP,QAAQ,GACR,SAAS,GACT,UAAU,GACV,OAAO,GACP,MAAM,CAAA;AAEV,qBAAa,WAAY,SAAQ,KAAK;IAIlC,QAAQ,CAAC,OAAO,EAAE,MAAM;IACxB,QAAQ,CAAC,IAAI,EAAE,cAAc;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM;gBAJvB,IAAI,EAAE,SAAS,WAAW,EAAE,EAC5B,KAAK,EAAE,OAAO,EACL,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,cAAc,EACpB,MAAM,EAAE,MAAM;IAKzB,QAAQ;CAGT;AAED,qBAAa,aAAc,SAAQ,KAAK;IAIpC,QAAQ,CAAC,OAAO,EAAE,MAAM;IACxB,QAAQ,CAAC,IAAI,EAAE,cAAc;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM;gBAJvB,IAAI,EAAE,SAAS,WAAW,EAAE,EAC5B,KAAK,EAAE,OAAO,EACL,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,cAAc,EACpB,MAAM,EAAE,MAAM;IAKzB,QAAQ;CAGT"}