@atproto/lex-schema 0.0.2 → 0.0.4

package/dist/validation/validation-issue.js

@@ -1,53 +1,149 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.stringifyIssue = stringifyIssue;
-exports.stringifyType = stringifyType;
-exports.stringifyValue = stringifyValue;
-exports.aggregateIssues = aggregateIssues;
+exports.IssueTooSmall = exports.IssueTooBig = exports.IssueRequiredKey = exports.IssueInvalidValue = exports.IssueInvalidType = exports.IssueInvalidFormat = exports.IssueCustom = exports.Issue = void 0;
 const lex_data_1 = require("@atproto/lex-data");
-const array_agg_js_1 = require("../util/array-agg.js");
-function stringifyIssue(issue) {
-    const pathStr = issue.path.length ? ` at ${buildJsonPath(issue.path)}` : '';
-    switch (issue.code) {
-        case 'invalid_format':
-            return `Invalid ${stringifyStringFormat(issue.format)} format${issue.message ? ` (${issue.message})` : ''}${pathStr} (got ${stringifyValue(issue.input)})`;
-        case 'invalid_type':
-            return `Expected ${oneOf(issue.expected.map(stringifyExpectedType))} value type${pathStr} (got ${stringifyType(issue.input)})`;
-        case 'invalid_value':
-            return `Expected ${oneOf(issue.values.map(stringifyValue))}${pathStr} (got ${stringifyValue(issue.input)})`;
-        case 'required_key':
-            return `Missing required key "${String(issue.key)}"${pathStr}`;
-        case 'too_big':
-            return `${issue.type} too big (maximum ${issue.maximum})${pathStr} (got ${issue.actual})`;
-        case 'too_small':
-            return `${issue.type} too small (minimum ${issue.minimum})${pathStr} (got ${issue.actual})`;
-        case 'custom':
-            return `${issue.message}${pathStr}`;
-        default:
-            // @ts-expect-error fool-proofing
-            return `${issue.code} validation error${pathStr}`;
+class Issue {
+    code;
+    path;
+    input;
+    constructor(code, path, input) {
+        this.code = code;
+        this.path = path;
+        this.input = input;
+    }
+}
+exports.Issue = Issue;
+class IssueCustom extends Issue {
+    path;
+    input;
+    message;
+    constructor(path, input, message) {
+        super('custom', path, input);
+        this.path = path;
+        this.input = input;
+        this.message = message;
+    }
+    toString() {
+        return `${this.message}${stringifyPath(this.path)}`;
+    }
+}
+exports.IssueCustom = IssueCustom;
+class IssueInvalidFormat extends Issue {
+    format;
+    message;
+    constructor(path, input, format, message) {
+        super('invalid_format', path, input);
+        this.format = format;
+        this.message = message;
+    }
+    toString() {
+        return `Invalid ${this.formatDescription} format${this.message ? ` (${this.message})` : ''}${stringifyPath(this.path)} (got ${stringifyValue(this.input)})`;
+    }
+    get formatDescription() {
+        switch (this.format) {
+            case 'at-identifier':
+                return `AT identifier`;
+            case 'did':
+                return `DID`;
+            case 'nsid':
+                return `NSID`;
+            case 'cid':
+                return `CID string`;
+            case 'tid':
+                return `TID string`;
+            case 'record-key':
+                return `record key`;
+            default:
+                return this.format;
+        }
+    }
+}
+exports.IssueInvalidFormat = IssueInvalidFormat;
+class IssueInvalidType extends Issue {
+    expected;
+    constructor(path, input, expected) {
+        super('invalid_type', path, input);
+        this.expected = expected;
+    }
+    toString() {
+        return `Expected ${oneOf(this.expected.map(stringifyExpectedType))} value type${stringifyPath(this.path)} (got ${stringifyType(this.input)})`;
+    }
+}
+exports.IssueInvalidType = IssueInvalidType;
+class IssueInvalidValue extends Issue {
+    values;
+    constructor(path, input, values) {
+        super('invalid_value', path, input);
+        this.values = values;
+    }
+    toString() {
+        return `Expected ${oneOf(this.values.map(stringifyValue))}${stringifyPath(this.path)} (got ${stringifyValue(this.input)})`;
+    }
+}
+exports.IssueInvalidValue = IssueInvalidValue;
+class IssueRequiredKey extends Issue {
+    key;
+    constructor(path, input, key) {
+        super('required_key', path, input);
+        this.key = key;
+    }
+    toString() {
+        return `Missing required key "${String(this.key)}"${stringifyPath(this.path)}`;
     }
 }
+exports.IssueRequiredKey = IssueRequiredKey;
+class IssueTooBig extends Issue {
+    maximum;
+    type;
+    actual;
+    constructor(path, input, maximum, type, actual) {
+        super('too_big', path, input);
+        this.maximum = maximum;
+        this.type = type;
+        this.actual = actual;
+    }
+    toString() {
+        return `${this.type} too big (maximum ${this.maximum})${stringifyPath(this.path)} (got ${this.actual})`;
+    }
+}
+exports.IssueTooBig = IssueTooBig;
+class IssueTooSmall extends Issue {
+    minimum;
+    type;
+    actual;
+    constructor(path, input, minimum, type, actual) {
+        super('too_small', path, input);
+        this.minimum = minimum;
+        this.type = type;
+        this.actual = actual;
+    }
+    toString() {
+        return `${this.type} too small (minimum ${this.minimum})${stringifyPath(this.path)} (got ${this.actual})`;
+    }
+}
+exports.IssueTooSmall = IssueTooSmall;
 function stringifyExpectedType(expected) {
     if (expected === '$typed') {
         return 'an object or record which includes a "$type" property';
     }
     return expected;
 }
+function stringifyPath(path) {
+    return ` at ${buildJsonPath(path)}`;
+}
 function buildJsonPath(path) {
-    let jsonPath = '$';
-    for (const segment of path) {
-        if (typeof segment === 'number') {
-            jsonPath += `[${segment}]`;
-        }
-        else if (/^[a-zA-Z_$][a-zA-Z0-9_]*$/.test(segment)) {
-            jsonPath += `.${segment}`;
-        }
-        else {
-            jsonPath += `[${JSON.stringify(segment)}]`;
-        }
+    return `$${path.map(toJsonPathSegment).join('')}`;
+}
+function toJsonPathSegment(segment) {
+    if (typeof segment === 'number') {
+        return `[${segment}]`;
+    }
+    else if (/^[a-zA-Z_$][a-zA-Z0-9_]*$/.test(segment)) {
+        return `.${segment}`;
+    }
+    else {
+        return `[${JSON.stringify(segment)}]`;
     }
-    return jsonPath;
 }
 function oneOf(arr) {
     if (arr.length === 0)
@@ -56,30 +152,6 @@ function oneOf(arr) {
         return arr[0];
     return `one of ${arr.slice(0, -1).join(', ')} or ${arr.at(-1)}`;
 }
-function stringifyStringFormat(format) {
-    switch (format) {
-        case 'datetime':
-            return 'datetime';
-        case 'language':
-            return 'language';
-        case 'at-identifier':
-            return `AT identifier`;
-        case 'did':
-            return `DID`;
-        case 'handle':
-            return `handle`;
-        case 'nsid':
-            return `NSID`;
-        case 'cid':
-            return `CID string`;
-        case 'tid':
-            return `TID string`;
-        case 'record-key':
-            return `record key`;
-        default:
-            return format;
-    }
-}
 function stringifyType(value) {
     switch (typeof value) {
         case 'object':
@@ -87,7 +159,7 @@ function stringifyType(value) {
                 return 'null';
             if (Array.isArray(value))
                 return 'array';
-            if (lex_data_1.CID.asCID(value))
+            if ((0, lex_data_1.asCid)(value))
                 return 'cid';
             if (value instanceof Date)
                 return 'date';
@@ -128,40 +200,12 @@ function stringifyValue(value) {
             return stringifyType(value);
     }
 }
+/*@__NO_SIDE_EFFECTS__*/
 function stringifyObjectEntry([key, _value]) {
     return `${JSON.stringify(key)}: ...`;
 }
+/*@__NO_SIDE_EFFECTS__*/
 function stringifyArray(arr, fn, n = 2) {
     return arr.slice(0, n).map(fn).join(', ') + (arr.length > n ? ', ...' : '');
 }
-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.code === 'invalid_type'), (a, b) => comparePropertyPaths(a.path, b.path), (issues) => ({
-            ...issues[0],
-            expected: 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.code === 'invalid_value'), (a, b) => comparePropertyPaths(a.path, b.path), (issues) => ({
-            ...issues[0],
-            values: Array.from(new Set(issues.flatMap((iss) => iss.values))),
-        })),
-        // Pass through other issues
-        ...issues.filter((issue) => issue.code !== 'invalid_type' && issue.code !== 'invalid_value'),
-    ];
-}
-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-issue.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"validation-issue.js","sourceRoot":"","sources":["../../src/validation/validation-issue.ts"],"names":[],"mappings":";;AA2DA,wCAsBC;AAuDD,sCAkBC;AAED,wCAmBC;AAcD,0CA8BC;AA3ND,gDAAsD;AACtD,uDAA+C;AA0D/C,SAAgB,cAAc,CAAC,KAAsB;IACnD,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IAE3E,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,gBAAgB;YACnB,OAAO,WAAW,qBAAqB,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,SAAS,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAA;QAC5J,KAAK,cAAc;YACjB,OAAO,YAAY,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC,cAAc,OAAO,SAAS,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAA;QAChI,KAAK,eAAe;YAClB,OAAO,YAAY,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,GAAG,OAAO,SAAS,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAA;QAC7G,KAAK,cAAc;YACjB,OAAO,yBAAyB,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,OAAO,EAAE,CAAA;QAChE,KAAK,SAAS;YACZ,OAAO,GAAG,KAAK,CAAC,IAAI,qBAAqB,KAAK,CAAC,OAAO,IAAI,OAAO,SAAS,KAAK,CAAC,MAAM,GAAG,CAAA;QAC3F,KAAK,WAAW;YACd,OAAO,GAAG,KAAK,CAAC,IAAI,uBAAuB,KAAK,CAAC,OAAO,IAAI,OAAO,SAAS,KAAK,CAAC,MAAM,GAAG,CAAA;QAC7F,KAAK,QAAQ;YACX,OAAO,GAAG,KAAK,CAAC,OAAO,GAAG,OAAO,EAAE,CAAA;QACrC;YACE,iCAAiC;YACjC,OAAO,GAAG,KAAK,CAAC,IAAI,oBAAoB,OAAO,EAAE,CAAA;IACrD,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,QAAgB;IAC7C,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC1B,OAAO,uDAAuD,CAAA;IAChE,CAAC;IAED,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED,SAAS,aAAa,CAAC,IAA4B;IACjD,IAAI,QAAQ,GAAG,GAAG,CAAA;IAClB,KAAK,MAAM,OAAO,IAAI,IAAI,EAAE,CAAC;QAC3B,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,QAAQ,IAAI,IAAI,OAAO,GAAG,CAAA;QAC5B,CAAC;aAAM,IAAI,2BAA2B,CAAC,IAAI,CAAC,OAAiB,CAAC,EAAE,CAAC;YAC/D,QAAQ,IAAI,IAAI,OAAO,EAAE,CAAA;QAC3B,CAAC;aAAM,CAAC;YACN,QAAQ,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAA;QAC5C,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED,SAAS,KAAK,CAAC,GAAsB;IACnC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IAC/B,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC,CAAC,CAAC,CAAA;IACnC,OAAO,UAAU,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;AACjE,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAc;IAC3C,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,UAAU;YACb,OAAO,UAAU,CAAA;QACnB,KAAK,UAAU;YACb,OAAO,UAAU,CAAA;QACnB,KAAK,eAAe;YAClB,OAAO,eAAe,CAAA;QACxB,KAAK,KAAK;YACR,OAAO,KAAK,CAAA;QACd,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAA;QACjB,KAAK,MAAM;YACT,OAAO,MAAM,CAAA;QACf,KAAK,KAAK;YACR,OAAO,YAAY,CAAA;QACrB,KAAK,KAAK;YACR,OAAO,YAAY,CAAA;QACrB,KAAK,YAAY;YACf,OAAO,YAAY,CAAA;QACrB;YACE,OAAO,MAAM,CAAA;IACjB,CAAC;AACH,CAAC;AAED,SAAgB,aAAa,CAAC,KAAc;IAC1C,QAAQ,OAAO,KAAK,EAAE,CAAC;QACrB,KAAK,QAAQ;YACX,IAAI,KAAK,KAAK,IAAI;gBAAE,OAAO,MAAM,CAAA;YACjC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBAAE,OAAO,OAAO,CAAA;YACxC,IAAI,cAAG,CAAC,KAAK,CAAC,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAA;YAClC,IAAI,KAAK,YAAY,IAAI;gBAAE,OAAO,MAAM,CAAA;YACxC,IAAI,KAAK,YAAY,MAAM;gBAAE,OAAO,QAAQ,CAAA;YAC5C,IAAI,KAAK,YAAY,GAAG;gBAAE,OAAO,KAAK,CAAA;YACtC,IAAI,KAAK,YAAY,GAAG;gBAAE,OAAO,KAAK,CAAA;YACtC,OAAO,QAAQ,CAAA;QACjB,KAAK,QAAQ;YACX,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;gBAAE,OAAO,SAAS,CAAA;YAC7C,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAA;YACrC,OAAO,OAAO,CAAA;QAChB;YACE,OAAO,OAAO,KAAK,CAAA;IACvB,CAAC;AACH,CAAC;AAED,SAAgB,cAAc,CAAC,KAAc;IAC3C,QAAQ,OAAO,KAAK,EAAE,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,GAAG,KAAK,GAAG,CAAA;QACpB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;QAC9B,KAAK,QAAQ;YACX,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,OAAO,IAAI,cAAc,CAAC,KAAK,EAAE,cAAc,CAAC,GAAG,CAAA;YACrD,CAAC;YACD,IAAI,IAAA,wBAAa,EAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,OAAO,IAAI,cAAc,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,oBAAoB,CAAC,GAAG,CAAA;YAC3E,CAAC;QACH,cAAc;QACd;YACE,OAAO,aAAa,CAAC,KAAK,CAAC,CAAA;IAC/B,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,CAAC,GAAG,EAAE,MAAM,CAAyB;IACjE,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAA;AACtC,CAAC;AAED,SAAS,cAAc,CACrB,GAAiB,EACjB,EAAuB,EACvB,CAAC,GAAG,CAAC;IAEL,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;AAC7E,CAAC;AAED,SAAgB,eAAe,CAAC,MAAyB;IACvD,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,CAAC,IAAI,KAAK,cAAc,CAAC,EACvD,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAC9C,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACX,GAAG,MAAM,CAAC,CAAC,CAAC;YACZ,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;SACrE,CAAC,CACH;QACD,+CAA+C;QAC/C,GAAG,IAAA,uBAAQ,EACT,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe,CAAC,EACxD,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAC9C,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACX,GAAG,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;SACjE,CAAC,CACH;QACD,4BAA4B;QAC5B,GAAG,MAAM,CAAC,MAAM,CACd,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,IAAI,KAAK,cAAc,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,CAClE;KACF,CAAA;AACH,CAAC;AAED,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 { CID, isPlainObject } from '@atproto/lex-data'\nimport { arrayAgg } from '../util/array-agg.js'\nimport { PropertyKey } from './property-key.js'\n\nexport interface Issue<I = unknown> {\n  readonly input: I\n  readonly code: string\n  readonly message?: string\n  readonly path: readonly PropertyKey[]\n}\n\nexport interface IssueCustom extends Issue {\n  readonly code: 'custom'\n  readonly message: string\n}\n\nexport interface IssueInvalidFormat extends Issue {\n  readonly code: 'invalid_format'\n  readonly format: string\n}\n\nexport interface IssueInvalidType extends Issue {\n  readonly code: 'invalid_type'\n  readonly expected: readonly string[]\n}\n\nexport interface IssueInvalidValue extends Issue {\n  readonly code: 'invalid_value'\n  readonly values: readonly unknown[]\n}\n\nexport interface IssueRequiredKey extends Issue {\n  readonly code: 'required_key'\n  readonly key: PropertyKey\n}\n\nexport interface IssueTooBig extends Issue {\n  readonly code: 'too_big'\n  readonly maximum: number\n  readonly type: 'array' | 'string' | 'integer' | 'grapheme' | 'bytes' | 'blob'\n  readonly actual: number\n}\n\nexport interface IssueTooSmall extends Issue {\n  readonly code: 'too_small'\n  readonly minimum: number\n  readonly type: 'array' | 'string' | 'integer' | 'grapheme' | 'bytes'\n  readonly actual: number\n}\n\nexport type ValidationIssue =\n  | IssueCustom\n  | IssueInvalidFormat\n  | IssueInvalidType\n  | IssueInvalidValue\n  | IssueRequiredKey\n  | IssueTooBig\n  | IssueTooSmall\n\nexport function stringifyIssue(issue: ValidationIssue): string {\n  const pathStr = issue.path.length ? ` at ${buildJsonPath(issue.path)}` : ''\n\n  switch (issue.code) {\n    case 'invalid_format':\n      return `Invalid ${stringifyStringFormat(issue.format)} format${issue.message ? ` (${issue.message})` : ''}${pathStr} (got ${stringifyValue(issue.input)})`\n    case 'invalid_type':\n      return `Expected ${oneOf(issue.expected.map(stringifyExpectedType))} value type${pathStr} (got ${stringifyType(issue.input)})`\n    case 'invalid_value':\n      return `Expected ${oneOf(issue.values.map(stringifyValue))}${pathStr} (got ${stringifyValue(issue.input)})`\n    case 'required_key':\n      return `Missing required key \"${String(issue.key)}\"${pathStr}`\n    case 'too_big':\n      return `${issue.type} too big (maximum ${issue.maximum})${pathStr} (got ${issue.actual})`\n    case 'too_small':\n      return `${issue.type} too small (minimum ${issue.minimum})${pathStr} (got ${issue.actual})`\n    case 'custom':\n      return `${issue.message}${pathStr}`\n    default:\n      // @ts-expect-error fool-proofing\n      return `${issue.code} validation error${pathStr}`\n  }\n}\n\nfunction stringifyExpectedType(expected: string): string {\n  if (expected === '$typed') {\n    return 'an object or record which includes a \"$type\" property'\n  }\n\n  return expected\n}\n\nfunction buildJsonPath(path: readonly PropertyKey[]): string {\n  let jsonPath = '$'\n  for (const segment of path) {\n    if (typeof segment === 'number') {\n      jsonPath += `[${segment}]`\n    } else if (/^[a-zA-Z_$][a-zA-Z0-9_]*$/.test(segment as string)) {\n      jsonPath += `.${segment}`\n    } else {\n      jsonPath += `[${JSON.stringify(segment)}]`\n    }\n  }\n  return jsonPath\n}\n\nfunction oneOf(arr: readonly string[]): string {\n  if (arr.length === 0) return ''\n  if (arr.length === 1) return arr[0]\n  return `one of ${arr.slice(0, -1).join(', ')} or ${arr.at(-1)}`\n}\n\nfunction stringifyStringFormat(format: string): string {\n  switch (format) {\n    case 'datetime':\n      return 'datetime'\n    case 'language':\n      return 'language'\n    case 'at-identifier':\n      return `AT identifier`\n    case 'did':\n      return `DID`\n    case 'handle':\n      return `handle`\n    case 'nsid':\n      return `NSID`\n    case 'cid':\n      return `CID string`\n    case 'tid':\n      return `TID string`\n    case 'record-key':\n      return `record key`\n    default:\n      return format\n  }\n}\n\nexport function stringifyType(value: unknown): string {\n  switch (typeof value) {\n    case 'object':\n      if (value === null) return 'null'\n      if (Array.isArray(value)) return 'array'\n      if (CID.asCID(value)) return 'cid'\n      if (value instanceof Date) return 'date'\n      if (value instanceof RegExp) return 'regexp'\n      if (value instanceof Map) return 'map'\n      if (value instanceof Set) return 'set'\n      return 'object'\n    case 'number':\n      if (Number.isInteger(value)) return 'integer'\n      if (Number.isNaN(value)) return 'NaN'\n      return 'float'\n    default:\n      return typeof value\n  }\n}\n\nexport function stringifyValue(value: unknown): string {\n  switch (typeof value) {\n    case 'bigint':\n      return `${value}n`\n    case 'number':\n    case 'string':\n    case 'boolean':\n      return JSON.stringify(value)\n    case 'object':\n      if (Array.isArray(value)) {\n        return `[${stringifyArray(value, stringifyValue)}]`\n      }\n      if (isPlainObject(value)) {\n        return `{${stringifyArray(Object.entries(value), stringifyObjectEntry)}}`\n      }\n    // fallthrough\n    default:\n      return stringifyType(value)\n  }\n}\n\nfunction stringifyObjectEntry([key, _value]: [PropertyKey, unknown]): string {\n  return `${JSON.stringify(key)}: ...`\n}\n\nfunction stringifyArray<T>(\n  arr: readonly T[],\n  fn: (item: T) => string,\n  n = 2,\n): string {\n  return arr.slice(0, n).map(fn).join(', ') + (arr.length > n ? ', ...' : '')\n}\n\nexport function aggregateIssues(issues: ValidationIssue[]): ValidationIssue[] {\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.code === 'invalid_type'),\n      (a, b) => comparePropertyPaths(a.path, b.path),\n      (issues) => ({\n        ...issues[0],\n        expected: 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.code === 'invalid_value'),\n      (a, b) => comparePropertyPaths(a.path, b.path),\n      (issues) => ({\n        ...issues[0],\n        values: Array.from(new Set(issues.flatMap((iss) => iss.values))),\n      }),\n    ),\n    // Pass through other issues\n    ...issues.filter(\n      (issue) =>\n        issue.code !== 'invalid_type' && issue.code !== 'invalid_value',\n    ),\n  ]\n}\n\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"]}
+{"version":3,"file":"validation-issue.js","sourceRoot":"","sources":["../../src/validation/validation-issue.ts"],"names":[],"mappings":";;;AAAA,gDAAwD;AAGxD,MAAsB,KAAK;IAEd;IACA;IACA;IAHX,YACW,IAAY,EACZ,IAA4B,EAC5B,KAAc;QAFd,SAAI,GAAJ,IAAI,CAAQ;QACZ,SAAI,GAAJ,IAAI,CAAwB;QAC5B,UAAK,GAAL,KAAK,CAAS;IACtB,CAAC;CAGL;AARD,sBAQC;AAED,MAAa,WAAY,SAAQ,KAAK;IAEzB;IACA;IACA;IAHX,YACW,IAA4B,EAC5B,KAAc,EACd,OAAe;QAExB,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;QAJnB,SAAI,GAAJ,IAAI,CAAwB;QAC5B,UAAK,GAAL,KAAK,CAAS;QACd,YAAO,GAAP,OAAO,CAAQ;IAG1B,CAAC;IAED,QAAQ;QACN,OAAO,GAAG,IAAI,CAAC,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;IACrD,CAAC;CACF;AAZD,kCAYC;AAED,MAAa,kBAAmB,SAAQ,KAAK;IAIhC;IACA;IAJX,YACE,IAA4B,EAC5B,KAAc,EACL,MAAc,EACd,OAAgB;QAEzB,KAAK,CAAC,gBAAgB,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;QAH3B,WAAM,GAAN,MAAM,CAAQ;QACd,YAAO,GAAP,OAAO,CAAS;IAG3B,CAAC;IAED,QAAQ;QACN,OAAO,WAAW,IAAI,CAAC,iBAAiB,UAAU,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAA;IAC7J,CAAC;IAED,IAAI,iBAAiB;QACnB,QAAQ,IAAI,CAAC,MAAM,EAAE,CAAC;YACpB,KAAK,eAAe;gBAClB,OAAO,eAAe,CAAA;YACxB,KAAK,KAAK;gBACR,OAAO,KAAK,CAAA;YACd,KAAK,MAAM;gBACT,OAAO,MAAM,CAAA;YACf,KAAK,KAAK;gBACR,OAAO,YAAY,CAAA;YACrB,KAAK,KAAK;gBACR,OAAO,YAAY,CAAA;YACrB,KAAK,YAAY;gBACf,OAAO,YAAY,CAAA;YACrB;gBACE,OAAO,IAAI,CAAC,MAAM,CAAA;QACtB,CAAC;IACH,CAAC;CACF;AAhCD,gDAgCC;AAED,MAAa,gBAAiB,SAAQ,KAAK;IAI9B;IAHX,YACE,IAA4B,EAC5B,KAAc,EACL,QAA2B;QAEpC,KAAK,CAAC,cAAc,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;QAFzB,aAAQ,GAAR,QAAQ,CAAmB;IAGtC,CAAC;IAED,QAAQ;QACN,OAAO,YAAY,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC,cAAc,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAA;IAC/I,CAAC;CACF;AAZD,4CAYC;AAED,MAAa,iBAAkB,SAAQ,KAAK;IAI/B;IAHX,YACE,IAA4B,EAC5B,KAAc,EACL,MAA0B;QAEnC,KAAK,CAAC,eAAe,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;QAF1B,WAAM,GAAN,MAAM,CAAoB;IAGrC,CAAC;IAED,QAAQ;QACN,OAAO,YAAY,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAA;IAC5H,CAAC;CACF;AAZD,8CAYC;AAED,MAAa,gBAAiB,SAAQ,KAAK;IAI9B;IAHX,YACE,IAA4B,EAC5B,KAAc,EACL,GAAgB;QAEzB,KAAK,CAAC,cAAc,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;QAFzB,QAAG,GAAH,GAAG,CAAa;IAG3B,CAAC;IAED,QAAQ;QACN,OAAO,yBAAyB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;IAChF,CAAC;CACF;AAZD,4CAYC;AAUD,MAAa,WAAY,SAAQ,KAAK;IAIzB;IACA;IACA;IALX,YACE,IAA4B,EAC5B,KAAc,EACL,OAAe,EACf,IAAoB,EACpB,MAAc;QAEvB,KAAK,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;QAJpB,YAAO,GAAP,OAAO,CAAQ;QACf,SAAI,GAAJ,IAAI,CAAgB;QACpB,WAAM,GAAN,MAAM,CAAQ;IAGzB,CAAC;IAED,QAAQ;QACN,OAAO,GAAG,IAAI,CAAC,IAAI,qBAAqB,IAAI,CAAC,OAAO,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,MAAM,GAAG,CAAA;IACzG,CAAC;CACF;AAdD,kCAcC;AAED,MAAa,aAAc,SAAQ,KAAK;IAI3B;IACA;IACA;IALX,YACE,IAA4B,EAC5B,KAAc,EACL,OAAe,EACf,IAAoB,EACpB,MAAc;QAEvB,KAAK,CAAC,WAAW,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;QAJtB,YAAO,GAAP,OAAO,CAAQ;QACf,SAAI,GAAJ,IAAI,CAAgB;QACpB,WAAM,GAAN,MAAM,CAAQ;IAGzB,CAAC;IAED,QAAQ;QACN,OAAO,GAAG,IAAI,CAAC,IAAI,uBAAuB,IAAI,CAAC,OAAO,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,MAAM,GAAG,CAAA;IAC3G,CAAC;CACF;AAdD,sCAcC;AAED,SAAS,qBAAqB,CAAC,QAAgB;IAC7C,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC1B,OAAO,uDAAuD,CAAA;IAChE,CAAC;IACD,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED,SAAS,aAAa,CAAC,IAA4B;IACjD,OAAO,OAAO,aAAa,CAAC,IAAI,CAAC,EAAE,CAAA;AACrC,CAAC;AAED,SAAS,aAAa,CAAC,IAA4B;IACjD,OAAO,IAAI,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAA;AACnD,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAoB;IAC7C,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QAChC,OAAO,IAAI,OAAO,GAAG,CAAA;IACvB,CAAC;SAAM,IAAI,2BAA2B,CAAC,IAAI,CAAC,OAAiB,CAAC,EAAE,CAAC;QAC/D,OAAO,IAAI,OAAO,EAAE,CAAA;IACtB,CAAC;SAAM,CAAC;QACN,OAAO,IAAI,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAA;IACvC,CAAC;AACH,CAAC;AAED,SAAS,KAAK,CAAC,GAAsB;IACnC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IAC/B,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC,CAAC,CAAC,CAAA;IACnC,OAAO,UAAU,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;AACjE,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,QAAQ,OAAO,KAAK,EAAE,CAAC;QACrB,KAAK,QAAQ;YACX,IAAI,KAAK,KAAK,IAAI;gBAAE,OAAO,MAAM,CAAA;YACjC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBAAE,OAAO,OAAO,CAAA;YACxC,IAAI,IAAA,gBAAK,EAAC,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAA;YAC9B,IAAI,KAAK,YAAY,IAAI;gBAAE,OAAO,MAAM,CAAA;YACxC,IAAI,KAAK,YAAY,MAAM;gBAAE,OAAO,QAAQ,CAAA;YAC5C,IAAI,KAAK,YAAY,GAAG;gBAAE,OAAO,KAAK,CAAA;YACtC,IAAI,KAAK,YAAY,GAAG;gBAAE,OAAO,KAAK,CAAA;YACtC,OAAO,QAAQ,CAAA;QACjB,KAAK,QAAQ;YACX,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;gBAAE,OAAO,SAAS,CAAA;YAC7C,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAA;YACrC,OAAO,OAAO,CAAA;QAChB;YACE,OAAO,OAAO,KAAK,CAAA;IACvB,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,QAAQ,OAAO,KAAK,EAAE,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,GAAG,KAAK,GAAG,CAAA;QACpB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;QAC9B,KAAK,QAAQ;YACX,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,OAAO,IAAI,cAAc,CAAC,KAAK,EAAE,cAAc,CAAC,GAAG,CAAA;YACrD,CAAC;YACD,IAAI,IAAA,wBAAa,EAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,OAAO,IAAI,cAAc,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,oBAAoB,CAAC,GAAG,CAAA;YAC3E,CAAC;QACH,cAAc;QACd;YACE,OAAO,aAAa,CAAC,KAAK,CAAC,CAAA;IAC/B,CAAC;AACH,CAAC;AAED,wBAAwB;AACxB,SAAS,oBAAoB,CAAC,CAAC,GAAG,EAAE,MAAM,CAAyB;IACjE,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAA;AACtC,CAAC;AAED,wBAAwB;AACxB,SAAS,cAAc,CACrB,GAAiB,EACjB,EAAuB,EACvB,CAAC,GAAG,CAAC;IAEL,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;AAC7E,CAAC","sourcesContent":["import { asCid, isPlainObject } from '@atproto/lex-data'\nimport { PropertyKey } from './property-key.js'\n\nexport abstract class Issue {\n  constructor(\n    readonly code: string,\n    readonly path: readonly PropertyKey[],\n    readonly input: unknown,\n  ) {}\n\n  abstract toString(): string\n}\n\nexport class IssueCustom extends Issue {\n  constructor(\n    readonly path: readonly PropertyKey[],\n    readonly input: unknown,\n    readonly message: string,\n  ) {\n    super('custom', path, input)\n  }\n\n  toString() {\n    return `${this.message}${stringifyPath(this.path)}`\n  }\n}\n\nexport class IssueInvalidFormat extends Issue {\n  constructor(\n    path: readonly PropertyKey[],\n    input: unknown,\n    readonly format: string,\n    readonly message?: string,\n  ) {\n    super('invalid_format', path, input)\n  }\n\n  toString() {\n    return `Invalid ${this.formatDescription} format${this.message ? ` (${this.message})` : ''}${stringifyPath(this.path)} (got ${stringifyValue(this.input)})`\n  }\n\n  get formatDescription(): string {\n    switch (this.format) {\n      case 'at-identifier':\n        return `AT identifier`\n      case 'did':\n        return `DID`\n      case 'nsid':\n        return `NSID`\n      case 'cid':\n        return `CID string`\n      case 'tid':\n        return `TID string`\n      case 'record-key':\n        return `record key`\n      default:\n        return this.format\n    }\n  }\n}\n\nexport class IssueInvalidType extends Issue {\n  constructor(\n    path: readonly PropertyKey[],\n    input: unknown,\n    readonly expected: readonly string[],\n  ) {\n    super('invalid_type', path, input)\n  }\n\n  toString() {\n    return `Expected ${oneOf(this.expected.map(stringifyExpectedType))} value type${stringifyPath(this.path)} (got ${stringifyType(this.input)})`\n  }\n}\n\nexport class IssueInvalidValue extends Issue {\n  constructor(\n    path: readonly PropertyKey[],\n    input: unknown,\n    readonly values: readonly unknown[],\n  ) {\n    super('invalid_value', path, input)\n  }\n\n  toString() {\n    return `Expected ${oneOf(this.values.map(stringifyValue))}${stringifyPath(this.path)} (got ${stringifyValue(this.input)})`\n  }\n}\n\nexport class IssueRequiredKey extends Issue {\n  constructor(\n    path: readonly PropertyKey[],\n    input: unknown,\n    readonly key: PropertyKey,\n  ) {\n    super('required_key', path, input)\n  }\n\n  toString() {\n    return `Missing required key \"${String(this.key)}\"${stringifyPath(this.path)}`\n  }\n}\n\nexport type MeasurableType =\n  | 'array'\n  | 'string'\n  | 'integer'\n  | 'grapheme'\n  | 'bytes'\n  | 'blob'\n\nexport class IssueTooBig extends Issue {\n  constructor(\n    path: readonly PropertyKey[],\n    input: unknown,\n    readonly maximum: number,\n    readonly type: MeasurableType,\n    readonly actual: number,\n  ) {\n    super('too_big', path, input)\n  }\n\n  toString() {\n    return `${this.type} too big (maximum ${this.maximum})${stringifyPath(this.path)} (got ${this.actual})`\n  }\n}\n\nexport class IssueTooSmall extends Issue {\n  constructor(\n    path: readonly PropertyKey[],\n    input: unknown,\n    readonly minimum: number,\n    readonly type: MeasurableType,\n    readonly actual: number,\n  ) {\n    super('too_small', path, input)\n  }\n\n  toString() {\n    return `${this.type} too small (minimum ${this.minimum})${stringifyPath(this.path)} (got ${this.actual})`\n  }\n}\n\nfunction stringifyExpectedType(expected: string): string {\n  if (expected === '$typed') {\n    return 'an object or record which includes a \"$type\" property'\n  }\n  return expected\n}\n\nfunction stringifyPath(path: readonly PropertyKey[]) {\n  return ` at ${buildJsonPath(path)}`\n}\n\nfunction buildJsonPath(path: readonly PropertyKey[]): string {\n  return `$${path.map(toJsonPathSegment).join('')}`\n}\n\nfunction toJsonPathSegment(segment: PropertyKey): string {\n  if (typeof segment === 'number') {\n    return `[${segment}]`\n  } else if (/^[a-zA-Z_$][a-zA-Z0-9_]*$/.test(segment as string)) {\n    return `.${segment}`\n  } else {\n    return `[${JSON.stringify(segment)}]`\n  }\n}\n\nfunction oneOf(arr: readonly string[]): string {\n  if (arr.length === 0) return ''\n  if (arr.length === 1) return arr[0]\n  return `one of ${arr.slice(0, -1).join(', ')} or ${arr.at(-1)}`\n}\n\nfunction stringifyType(value: unknown): string {\n  switch (typeof value) {\n    case 'object':\n      if (value === null) return 'null'\n      if (Array.isArray(value)) return 'array'\n      if (asCid(value)) return 'cid'\n      if (value instanceof Date) return 'date'\n      if (value instanceof RegExp) return 'regexp'\n      if (value instanceof Map) return 'map'\n      if (value instanceof Set) return 'set'\n      return 'object'\n    case 'number':\n      if (Number.isInteger(value)) return 'integer'\n      if (Number.isNaN(value)) return 'NaN'\n      return 'float'\n    default:\n      return typeof value\n  }\n}\n\nfunction stringifyValue(value: unknown): string {\n  switch (typeof value) {\n    case 'bigint':\n      return `${value}n`\n    case 'number':\n    case 'string':\n    case 'boolean':\n      return JSON.stringify(value)\n    case 'object':\n      if (Array.isArray(value)) {\n        return `[${stringifyArray(value, stringifyValue)}]`\n      }\n      if (isPlainObject(value)) {\n        return `{${stringifyArray(Object.entries(value), stringifyObjectEntry)}}`\n      }\n    // fallthrough\n    default:\n      return stringifyType(value)\n  }\n}\n\n/*@__NO_SIDE_EFFECTS__*/\nfunction stringifyObjectEntry([key, _value]: [PropertyKey, unknown]): string {\n  return `${JSON.stringify(key)}: ...`\n}\n\n/*@__NO_SIDE_EFFECTS__*/\nfunction stringifyArray<T>(\n  arr: readonly T[],\n  fn: (item: T) => string,\n  n = 2,\n): string {\n  return arr.slice(0, n).map(fn).join(', ') + (arr.length > n ? ', ...' : '')\n}\n"]}

package/dist/validation/validator.d.ts

@@ -1,41 +1,36 @@
 import { ResultFailure, ResultSuccess } from '../core.js';
 import { PropertyKey } from './property-key.js';
 import { ValidationError } from './validation-error.js';
-import { IssueTooBig, IssueTooSmall, ValidationIssue } from './validation-issue.js';
+import { Issue, MeasurableType } from './validation-issue.js';
 export type ValidationSuccess<Value = any> = ResultSuccess<Value>;
 export type ValidationFailure = ResultFailure<ValidationError>;
 export type ValidationResult<Value = any> = ValidationSuccess<Value> | ValidationFailure;
-type ValidationOptions = {
+export type ValidationOptions = {
     path?: PropertyKey[];
     /** @default true */
     allowTransform?: boolean;
 };
 export type Infer<T extends Validator> = T['_lex']['output'];
-export declare abstract class Validator<Output = any> {
+export interface Validator<Output = any> {
     /**
      * This property is used for type inference purposes and does not actually
      * exist at runtime.
      *
-     * @deprecated For internal use only (not actually deprecated)
+     * @deprecated **INTERNAL API, DO NOT USE**.
      */
-    _lex: {
+    readonly ['_lex']: {
         output: Output;
     };
-    readonly lexiconType?: string;
     /**
-     * @internal **INTERNAL API, DO NOT USE**.
-     *
-     * Use {@link Validator.assert assert}, {@link Validator.check check},
-     * {@link Validator.parse parse} or {@link Validator.validate validate}
-     * instead.
+     * @internal **INTERNAL API**: use {@link ValidatorContext.validate} instead
      *
      * This method is implemented by subclasses to perform transformation and
      * validation of the input value. Do not call this method directly; as the
      * {@link ValidatorContext.options.allowTransform} option will **not** be
      * enforced. See {@link ValidatorContext.validate} for details. When
      * delegating validation from one validator sub-class implementation to
-     * another schema, {@link ValidatorContext.validate} should be used instead
-     * of calling {@link Validator.validateInContext}. This will allow to stop the
+     * another schema, {@link ValidatorContext.validate} must be used instead of
+     * calling {@link Validator.validateInContext}. This will allow to stop the
      * validation process if the value was transformed (by the other schema) but
      * transformations are not allowed.
      *
@@ -52,31 +47,8 @@ export declare abstract class Validator<Output = any> {
      *
      * @see {@link ValidatorContext.validate}
      */
-    abstract validateInContext(input: unknown, ctx: ValidatorContext): ValidationResult<Output>;
-    assert(input: unknown): asserts input is Output;
-    check(input: unknown): input is Output;
-    maybe<I>(input: I): (I & Output) | undefined;
-    parse<I>(input: I, options: ValidationOptions & {
-        allowTransform: false;
-    }): I & Output;
-    parse(input: unknown, options?: ValidationOptions): Output;
-    validate<I>(input: I, options: ValidationOptions & {
-        allowTransform: false;
-    }): ValidationResult<I & Output>;
-    validate(input: unknown, options?: ValidationOptions): ValidationResult<Output>;
-    $assert(input: unknown): asserts input is Output;
-    $check(input: unknown): input is Output;
-    $maybe<I>(input: I): (I & Output) | undefined;
-    $parse(input: unknown, options?: ValidationOptions): Output;
-    $validate(input: unknown, options?: ValidationOptions): ValidationResult<Output>;
+    validateInContext(input: unknown, ctx: ValidatorContext): ValidationResult<Output>;
 }
-export type ContextualIssue = {
-    [Code in ValidationIssue['code']]: Omit<Extract<ValidationIssue, {
-        code: Code;
-    }>, 'path'> & {
-        path?: PropertyKey | readonly PropertyKey[];
-    };
-}[ValidationIssue['code']];
 export declare class ValidatorContext {
     readonly options: ValidationOptions;
     /**
@@ -88,26 +60,24 @@ export declare class ValidatorContext {
     private readonly issues;
     protected constructor(options: ValidationOptions);
     get path(): PropertyKey[];
-    get allowTransform(): boolean;
+    concatPath(path?: PropertyKey | readonly PropertyKey[]): PropertyKey[];
     /**
      * This is basically the entry point for validation within a context. Use this
      * method instead of {@link Validator.validateInContext} directly, because
      * this method enforces the {@link ValidationOptions.allowTransform} option.
      */
     validate<V>(input: unknown, validator: Validator<V>): ValidationResult<V>;
-    validateChild<I extends object, K extends PropertyKey & keyof I, V>(input: I, key: K, validator: Validator<V>): ValidationResult<V>;
-    addIssue(issue: ContextualIssue): void;
+    validateChild<I extends object, K extends PropertyKey & keyof I, V extends Validator>(input: I, key: K, validator: V): ValidationResult<Infer<V>>;
+    addIssue(issue: Issue): void;
     success<V>(value: V): ValidationResult<V>;
-    failure(issue: ContextualIssue): ValidationFailure;
-    issueInvalidValue(input: unknown, values: readonly unknown[], path?: PropertyKey | readonly PropertyKey[]): ValidationFailure;
-    issueInvalidType(input: unknown, expected: string | readonly string[], path?: PropertyKey | readonly PropertyKey[]): ValidationFailure;
-    issueInvalidPropertyValue<I>(input: I, property: keyof I & PropertyKey, values: readonly unknown[]): ValidationFailure;
-    issueInvalidPropertyType<I>(input: I, property: keyof I & PropertyKey, expected: string | readonly string[]): ValidationFailure;
+    failure(issue: Issue): ValidationFailure;
+    issueInvalidValue(input: unknown, values: readonly unknown[]): ValidationFailure;
+    issueInvalidType(input: unknown, expected: string): ValidationFailure;
     issueRequiredKey(input: object, key: PropertyKey): ValidationFailure;
-    issueInvalidFormat(input: unknown, format: string, message?: string): ValidationFailure;
-    issueTooBig(input: unknown, type: IssueTooBig['type'], maximum: number, actual: number): ValidationFailure;
-    issueTooSmall(input: unknown, type: IssueTooSmall['type'], minimum: number, actual: number): ValidationFailure;
-    custom(input: unknown, message: string, path?: PropertyKey | readonly PropertyKey[]): ValidationFailure;
+    issueInvalidFormat(input: unknown, format: string, msg?: string): ValidationFailure;
+    issueTooBig(input: unknown, type: MeasurableType, max: number, actual: number): ValidationFailure;
+    issueTooSmall(input: unknown, type: MeasurableType, min: number, actual: number): ValidationFailure;
+    issueInvalidPropertyValue<I>(input: I, property: keyof I & PropertyKey, values: readonly unknown[]): ValidationFailure;
+    issueInvalidPropertyType<I>(input: I, property: keyof I & PropertyKey, expected: string): ValidationFailure;
 }
-export {};
 //# sourceMappingURL=validator.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../src/validation/validator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,aAAa,EAAoB,MAAM,YAAY,CAAA;AAC3E,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EACL,WAAW,EACX,aAAa,EACb,eAAe,EAChB,MAAM,uBAAuB,CAAA;AAE9B,MAAM,MAAM,iBAAiB,CAAC,KAAK,GAAG,GAAG,IAAI,aAAa,CAAC,KAAK,CAAC,CAAA;AACjE,MAAM,MAAM,iBAAiB,GAAG,aAAa,CAAC,eAAe,CAAC,CAAA;AAC9D,MAAM,MAAM,gBAAgB,CAAC,KAAK,GAAG,GAAG,IACpC,iBAAiB,CAAC,KAAK,CAAC,GACxB,iBAAiB,CAAA;AAErB,KAAK,iBAAiB,GAAG;IACvB,IAAI,CAAC,EAAE,WAAW,EAAE,CAAA;IAEpB,oBAAoB;IACpB,cAAc,CAAC,EAAE,OAAO,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAA;AAE5D,8BAAsB,SAAS,CAAC,MAAM,GAAG,GAAG;IAC1C;;;;;OAKG;IACH,IAAI,EAAG;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAA;IAEzB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAE7B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA6BG;IACH,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,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM;IAKtC,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,SAAS;IAI5C,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,QAAQ,CAAC,CAAC,EACR,KAAK,EAAE,CAAC,EACR,OAAO,EAAE,iBAAiB,GAAG;QAAE,cAAc,EAAE,KAAK,CAAA;KAAE,GACrD,gBAAgB,CAAC,CAAC,GAAG,MAAM,CAAC;IAC/B,QAAQ,CACN,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,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM;IAIvC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,SAAS;IAI7C,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,iBAAiB,GAAG,MAAM;IAI3D,SAAS,CACP,KAAK,EAAE,OAAO,EACd,OAAO,CAAC,EAAE,iBAAiB,GAC1B,gBAAgB,CAAC,MAAM,CAAC;CAG5B;AAED,MAAM,MAAM,eAAe,GAAG;KAC3B,IAAI,IAAI,eAAe,CAAC,MAAM,CAAC,GAAG,IAAI,CACrC,OAAO,CAAC,eAAe,EAAE;QAAE,IAAI,EAAE,IAAI,CAAA;KAAE,CAAC,EACxC,MAAM,CACP,GAAG;QAAE,IAAI,CAAC,EAAE,WAAW,GAAG,SAAS,WAAW,EAAE,CAAA;KAAE;CACpD,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAA;AAU1B,qBAAa,gBAAgB;IAiBL,QAAQ,CAAC,OAAO,EAAE,iBAAiB;IAhBzD;;;OAGG;IACH,MAAM,CAAC,QAAQ,CAAC,CAAC,EACf,KAAK,EAAE,OAAO,EACd,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,EACvB,OAAO,GAAE,iBAAsB,GAC9B,gBAAgB,CAAC,CAAC,CAAC;IAKtB,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAe;IAC3C,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAwB;IAE/C,SAAS,aAAsB,OAAO,EAAE,iBAAiB;IAKzD,IAAI,IAAI,kBAEP;IAED,IAAI,cAAc,YAGjB;IAED;;;;OAIG;IACH,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC;IA+BzE,aAAa,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,EAChE,KAAK,EAAE,CAAC,EACR,GAAG,EAAE,CAAC,EACN,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,GACtB,gBAAgB,CAAC,CAAC,CAAC;IAUtB,QAAQ,CAAC,KAAK,EAAE,eAAe,GAAG,IAAI;IAItC,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC;IAIzC,OAAO,CAAC,KAAK,EAAE,eAAe,GAAG,iBAAiB;IAMlD,iBAAiB,CACf,KAAK,EAAE,OAAO,EACd,MAAM,EAAE,SAAS,OAAO,EAAE,EAC1B,IAAI,CAAC,EAAE,WAAW,GAAG,SAAS,WAAW,EAAE;IAU7C,gBAAgB,CACd,KAAK,EAAE,OAAO,EACd,QAAQ,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,EACpC,IAAI,CAAC,EAAE,WAAW,GAAG,SAAS,WAAW,EAAE;IAU7C,yBAAyB,CAAC,CAAC,EACzB,KAAK,EAAE,CAAC,EACR,QAAQ,EAAE,MAAM,CAAC,GAAG,WAAW,EAC/B,MAAM,EAAE,SAAS,OAAO,EAAE;IAK5B,wBAAwB,CAAC,CAAC,EACxB,KAAK,EAAE,CAAC,EACR,QAAQ,EAAE,MAAM,CAAC,GAAG,WAAW,EAC/B,QAAQ,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE;IAKtC,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW;IAShD,kBAAkB,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM;IASnE,WAAW,CACT,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,EACzB,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,MAAM;IAWhB,aAAa,CACX,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,EAC3B,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,MAAM;IAWhB,MAAM,CACJ,KAAK,EAAE,OAAO,EACd,OAAO,EAAE,MAAM,EACf,IAAI,CAAC,EAAE,WAAW,GAAG,SAAS,WAAW,EAAE;CAS9C"}
+{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../src/validation/validator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,aAAa,EAAoB,MAAM,YAAY,CAAA;AAC3E,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EACL,KAAK,EAOL,cAAc,EACf,MAAM,uBAAuB,CAAA;AAE9B,MAAM,MAAM,iBAAiB,CAAC,KAAK,GAAG,GAAG,IAAI,aAAa,CAAC,KAAK,CAAC,CAAA;AACjE,MAAM,MAAM,iBAAiB,GAAG,aAAa,CAAC,eAAe,CAAC,CAAA;AAC9D,MAAM,MAAM,gBAAgB,CAAC,KAAK,GAAG,GAAG,IACpC,iBAAiB,CAAC,KAAK,CAAC,GACxB,iBAAiB,CAAA;AAErB,MAAM,MAAM,iBAAiB,GAAG;IAC9B,IAAI,CAAC,EAAE,WAAW,EAAE,CAAA;IAEpB,oBAAoB;IACpB,cAAc,CAAC,EAAE,OAAO,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAA;AAE5D,MAAM,WAAW,SAAS,CAAC,MAAM,GAAG,GAAG;IACrC;;;;;OAKG;IACH,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAA;IAErC;;;;;;;;;;;;;;;;;;;;;;;;;OAyBG;IACH,iBAAiB,CACf,KAAK,EAAE,OAAO,EACd,GAAG,EAAE,gBAAgB,GACpB,gBAAgB,CAAC,MAAM,CAAC,CAAA;CAC5B;AAED,qBAAa,gBAAgB;IAiBL,QAAQ,CAAC,OAAO,EAAE,iBAAiB;IAhBzD;;;OAGG;IACH,MAAM,CAAC,QAAQ,CAAC,CAAC,EACf,KAAK,EAAE,OAAO,EACd,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,EACvB,OAAO,GAAE,iBAAsB,GAC9B,gBAAgB,CAAC,CAAC,CAAC;IAKtB,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAe;IAC3C,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAc;IAErC,SAAS,aAAsB,OAAO,EAAE,iBAAiB;IAKzD,IAAI,IAAI,kBAEP;IAED,UAAU,CAAC,IAAI,CAAC,EAAE,WAAW,GAAG,SAAS,WAAW,EAAE;IAKtD;;;;OAIG;IACH,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC;IAoCzE,aAAa,CACX,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,WAAW,GAAG,MAAM,CAAC,EAC/B,CAAC,SAAS,SAAS,EACnB,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAU7D,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI;IAI5B,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC;IAIzC,OAAO,CAAC,KAAK,EAAE,KAAK,GAAG,iBAAiB;IAIxC,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,OAAO,EAAE;IAI5D,gBAAgB,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;IAIjD,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW;IAIhD,kBAAkB,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,MAAM;IAI/D,WAAW,CACT,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,cAAc,EACpB,GAAG,EAAE,MAAM,EACX,MAAM,EAAE,MAAM;IAKhB,aAAa,CACX,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,cAAc,EACpB,GAAG,EAAE,MAAM,EACX,MAAM,EAAE,MAAM;IAKhB,yBAAyB,CAAC,CAAC,EACzB,KAAK,EAAE,CAAC,EACR,QAAQ,EAAE,MAAM,CAAC,GAAG,WAAW,EAC/B,MAAM,EAAE,SAAS,OAAO,EAAE;IAO5B,wBAAwB,CAAC,CAAC,EACxB,KAAK,EAAE,CAAC,EACR,QAAQ,EAAE,MAAM,CAAC,GAAG,WAAW,EAC/B,QAAQ,EAAE,MAAM;CAMnB"}