justus 0.4.2 → 0.5.1

package/dist/validators/string.mjs.map

@@ -1,6 +1,6 @@
 {
   "version": 3,
   "sources": ["../../src/validators/string.ts"],
-  "mappings": ";AAAA,SAAS,cAAc,wBAAwB;AAC/C,SAAS,mBAAmB,4BAA4B;AAqBjD,IAAM,qBAAN,cAAiC,kBAA0B;AAAA,EAChE,SAAS,OAAwB;AAC/B,qBAAiB,OAAO,SAAS,UAAU,yBAAyB;AACpE,WAAO;AAAA,EACT;AACF;AAGO,IAAM,kBAAN,cAAyD,kBAAqB;AAAA,EAC1E;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EAET,YAAY,cAAiC,CAAC,GAAG;AAC/C,UAAM;AAEN,UAAM;AAAA,MACJ,YAAY;AAAA,MACZ,YAAY,OAAO;AAAA,MACnB;AAAA,IACF,IAAI;AAEJ,QAAI,WAAW;AAAa,WAAK,QAAe,YAAa;AAE7D,iBAAa,aAAa,GAAG,2BAA2B,SAAS,wBAAwB;AACzF,iBAAa,aAAa,GAAG,2BAA2B,SAAS,wBAAwB;AACzF,iBAAa,aAAa,WAAW,2BAA2B,SAAS,kCAAkC,SAAS,GAAG;AAEvH,SAAK,YAAY;AACjB,SAAK,YAAY;AACjB,SAAK,UAAU;AAAA,EACjB;AAAA,EAEA,SAAS,OAAmB;AAC1B,qBAAiB,OAAO,SAAS,UAAU,yBAAyB;AAEpE;AAAA,MAAiB,MAAM,UAAU,KAAK;AAAA,MAClC,wCAAwC,KAAK,SAAS;AAAA,IAAE;AAE5D;AAAA,MAAiB,MAAM,UAAU,KAAK;AAAA,MAClC,wCAAwC,KAAK,SAAS;AAAA,IAAE;AAE5D;AAAA,MAAiB,KAAK,UAAU,KAAK,QAAQ,KAAK,KAAK,IAAI;AAAA,MACvD,0CAA0C,KAAK,OAAO;AAAA,IAAE;AAE5D,WAAO;AAAA,EACT;AACF;AAKO,SAAS,cAAc,aAAmD;AAC/E,SAAO,IAAI,gBAAgB,WAAW;AACxC;AAGO,IAAM,SAAS,qBAAqB,IAAI,mBAAmB,GAAG,aAAa;",
+  "mappings": ";AAAA,SAAS,cAAc,wBAAwB;AAC/C,SAAS,mBAAmB,4BAA4B;AAqBjD,IAAM,qBAAN,cAAiC,kBAA0B;AAAA,EAChE,SAAS,OAAwB;AAC/B,qBAAiB,OAAO,SAAS,UAAU,yBAAyB;AACpE,WAAO;AAAA,EACT;AACF;AAGO,IAAM,kBAAN,cAAqE,kBAAwB;AAAA,EACzF;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EAET,YAAY,cAAiC,CAAC,GAAG;AAC/C,UAAM;AAEN,UAAM;AAAA,MACJ,YAAY;AAAA,MACZ,YAAY,OAAO;AAAA,MACnB;AAAA,IACF,IAAI;AAEJ,QAAI,WAAW;AAAa,WAAK,QAAe,YAAa;AAE7D,iBAAa,aAAa,GAAG,2BAA2B,SAAS,wBAAwB;AACzF,iBAAa,aAAa,GAAG,2BAA2B,SAAS,wBAAwB;AACzF,iBAAa,aAAa,WAAW,2BAA2B,SAAS,kCAAkC,SAAS,GAAG;AAEvH,SAAK,YAAY;AACjB,SAAK,YAAY;AACjB,SAAK,UAAU;AAAA,EACjB;AAAA,EAEA,SAAS,OAAmB;AAC1B,qBAAiB,OAAO,SAAS,UAAU,yBAAyB;AAEpE;AAAA,MAAiB,MAAM,UAAU,KAAK;AAAA,MAClC,wCAAwC,KAAK,SAAS;AAAA,IAAE;AAE5D;AAAA,MAAiB,MAAM,UAAU,KAAK;AAAA,MAClC,wCAAwC,KAAK,SAAS;AAAA,IAAE;AAE5D;AAAA,MAAiB,KAAK,UAAU,KAAK,QAAQ,KAAK,KAAK,IAAI;AAAA,MACvD,0CAA0C,KAAK,OAAO;AAAA,IAAE;AAE5D,WAAO;AAAA,EACT;AACF;AAKO,SAAS,cAAc,aAAmD;AAC/E,SAAO,IAAI,gBAAgB,WAAW;AACxC;AAGO,IAAM,SAAS,qBAAqB,IAAI,mBAAmB,GAAG,aAAa;",
   "names": []
 }

package/dist/validators/tuple.cjs

@@ -25,9 +25,9 @@ __export(tuple_exports, {
 });
 module.exports = __toCommonJS(tuple_exports);
 var import_errors = require("../errors.cjs");
+var import_registry = require("../registry.cjs");
 var import_types = require("../types.cjs");
 var import_utilities = require("../utilities.cjs");
-var import_constant = require("./constant.cjs");
 var TupleValidator = class extends import_types.AbstractValidator {
   members;
   tuple;
@@ -36,7 +36,7 @@ var TupleValidator = class extends import_types.AbstractValidator {
     const members = [];
     for (const item of tuple2) {
       if (item === null) {
-        members.push({ single: true, validator: import_constant.nullValidator });
+        members.push({ single: true, validator: (0, import_utilities.getValidator)(null) });
       } else if (typeof item === "object" && Symbol.justusRestValidator in item) {
         members.push({ single: false, validator: item[Symbol.justusRestValidator] });
       } else {
@@ -87,6 +87,7 @@ var TupleValidator = class extends import_types.AbstractValidator {
 function tuple(tuple2) {
   return new TupleValidator(tuple2);
 }
+import_registry.registry.set("tuple", TupleValidator);
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
   TupleValidator,

package/dist/validators/tuple.cjs.map

@@ -1,6 +1,6 @@
 {
   "version": 3,
   "sources": ["../../src/validators/tuple.ts"],
-  "mappings": ";;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,oBAAkD;AAClD,mBAAkC;AAElC,uBAA6B;AAC7B,sBAA8B;AAOvB,IAAM,iBAAN,cAA8C,+BAAiC;AAAA,EAC3E;AAAA,EACA;AAAA,EAET,YAAYA,QAAU;AACpB,UAAM;AAEN,UAAM,UAAyB,CAAC;AAChC,eAAW,QAAQA,QAAO;AACxB,UAAI,SAAS,MAAM;AACjB,gBAAQ,KAAK,EAAE,QAAQ,MAAM,WAAW,8BAAc,CAAC;AAAA,MACzD,WAAY,OAAO,SAAS,YAAc,OAAO,uBAAuB,MAAO;AAC7E,gBAAQ,KAAK,EAAE,QAAQ,OAAO,WAAiB,KAAM,OAAO,mBAAmB,EAAE,CAAC;AAAA,MACpF,OAAO;AACL,gBAAQ,KAAK,EAAE,QAAQ,MAAM,eAAW,+BAAa,IAAI,EAAE,CAAC;AAAA,MAC9D;AAAA,IACF;AAEA,SAAK,UAAU;AACf,SAAK,QAAQA;AAAA,EACf;AAAA,EAEA,SAAS,OAAgB,SAA4C;AACnE,wCAAiB,MAAM,QAAQ,KAAK,GAAG,yBAAyB;AAGhE,QAAI,KAAK,QAAQ,WAAW,GAAG;AAC7B,YAAM,OAAO,MAAM;AACnB,0CAAiB,SAAS,GAAG,SAAS,IAAI,WAAW,SAAS,IAAI,KAAK,GAAG,yBAAyB;AACnG,aAAO;AAAA,IACT;AAGA,UAAM,QAAQ,IAAI,MAAM,MAAM,MAAM;AACpC,QAAI,SAAS;AACb,QAAI,WAAW;AACf,QAAI,EAAE,QAAQ,UAAU,IAAI,KAAK,QAAQ,MAAM;AAE/C,WAAQ,SAAS,KAAK,QAAQ,UAAY,WAAW,MAAM,QAAS;AAClE,UAAI;AACF,cAAM,QAAQ,IAAI,UAAU,SAAS,MAAM,QAAQ,GAAG,OAAO;AAC7D,YAAI;AAAQ,WAAC,EAAE,QAAQ,UAAU,IAAI,KAAK,QAAQ,EAAG,MAAM,KAAK,CAAC;AACjE;AAAA,MACF,SAAS,OAAO;AACd,YAAI;AAAQ,gBAAM,IAAI,8BAAgB,OAAO,CAAE,QAAS,CAAC;AAAA;AACpD,WAAC,EAAE,QAAQ,UAAU,IAAI,KAAK,QAAQ,EAAG,MAAM,KAAK,CAAC;AAAA,MAC5D;AAAA,IACF;AAEA,WAAQ,SAAS,KAAK,QAAQ,UAAY,KAAK,QAAQ,MAAM,EAAE,WAAW,OAAQ;AAChF;AAAA,IACF;AAEA,UAAM,UAAU,KAAK,QAAQ,SAAS;AACtC,QAAK,YAAY,KAAM,QAAQ;AAC7B,YAAM,IAAI,8BAAgB,oCAAoC;AAAA,IAChE,WAAW,UAAU,GAAG;AACtB,YAAM,IAAI,8BAAgB,iBAAiB,OAAO,sBAAsB;AAAA,IAC1E;AAEA,UAAM,QAAQ,MAAM,SAAS;AAC7B,wCAAiB,UAAU,GAAG,SAAS,KAAK,iBAAiB,UAAU,IAAI,KAAK,GAAG,WAAW;AAE9F,WAAO;AAAA,EACT;AACF;AAGO,SAAS,MAAuBA,QAAoC;AACzE,SAAO,IAAI,eAAeA,MAAK;AACjC;",
+  "mappings": ";;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,oBAAkD;AAClD,sBAAyB;AACzB,mBAAkC;AAClC,uBAA6B;AAetB,IAAM,iBAAN,cAA8C,+BAAqD;AAAA,EAC/F;AAAA,EACA;AAAA,EAET,YAAYA,QAAU;AACpB,UAAM;AAEN,UAAM,UAAyB,CAAC;AAChC,eAAW,QAAQA,QAAO;AACxB,UAAI,SAAS,MAAM;AACjB,gBAAQ,KAAK,EAAE,QAAQ,MAAM,eAAW,+BAAa,IAAI,EAAE,CAAC;AAAA,MAC9D,WAAY,OAAO,SAAS,YAAc,OAAO,uBAAuB,MAAO;AAC7E,gBAAQ,KAAK,EAAE,QAAQ,OAAO,WAAiB,KAAM,OAAO,mBAAmB,EAAE,CAAC;AAAA,MACpF,OAAO;AACL,gBAAQ,KAAK,EAAE,QAAQ,MAAM,eAAW,+BAAa,IAAI,EAAE,CAAC;AAAA,MAC9D;AAAA,IACF;AAEA,SAAK,UAAU;AACf,SAAK,QAAQA;AAAA,EACf;AAAA,EAEA,SAAS,OAAgB,SAA4C;AACnE,wCAAiB,MAAM,QAAQ,KAAK,GAAG,yBAAyB;AAGhE,QAAI,KAAK,QAAQ,WAAW,GAAG;AAC7B,YAAM,OAAO,MAAM;AACnB,0CAAiB,SAAS,GAAG,SAAS,IAAI,WAAW,SAAS,IAAI,KAAK,GAAG,yBAAyB;AACnG,aAAO;AAAA,IACT;AAGA,UAAM,QAAQ,IAAI,MAAM,MAAM,MAAM;AACpC,QAAI,SAAS;AACb,QAAI,WAAW;AACf,QAAI,EAAE,QAAQ,UAAU,IAAI,KAAK,QAAQ,MAAM;AAE/C,WAAQ,SAAS,KAAK,QAAQ,UAAY,WAAW,MAAM,QAAS;AAClE,UAAI;AACF,cAAM,QAAQ,IAAI,UAAU,SAAS,MAAM,QAAQ,GAAG,OAAO;AAC7D,YAAI;AAAQ,WAAC,EAAE,QAAQ,UAAU,IAAI,KAAK,QAAQ,EAAG,MAAM,KAAK,CAAC;AACjE;AAAA,MACF,SAAS,OAAO;AACd,YAAI;AAAQ,gBAAM,IAAI,8BAAgB,OAAO,CAAE,QAAS,CAAC;AAAA;AACpD,WAAC,EAAE,QAAQ,UAAU,IAAI,KAAK,QAAQ,EAAG,MAAM,KAAK,CAAC;AAAA,MAC5D;AAAA,IACF;AAEA,WAAQ,SAAS,KAAK,QAAQ,UAAY,KAAK,QAAQ,MAAM,EAAE,WAAW,OAAQ;AAChF;AAAA,IACF;AAEA,UAAM,UAAU,KAAK,QAAQ,SAAS;AACtC,QAAK,YAAY,KAAM,QAAQ;AAC7B,YAAM,IAAI,8BAAgB,oCAAoC;AAAA,IAChE,WAAW,UAAU,GAAG;AACtB,YAAM,IAAI,8BAAgB,iBAAiB,OAAO,sBAAsB;AAAA,IAC1E;AAEA,UAAM,QAAQ,MAAM,SAAS;AAC7B,wCAAiB,UAAU,GAAG,SAAS,KAAK,iBAAiB,UAAU,IAAI,KAAK,GAAG,WAAW;AAE9F,WAAO;AAAA,EACT;AACF;AAGO,SAAS,MAIdA,QAAwD;AACxD,SAAO,IAAI,eAAeA,MAAK;AACjC;AAGA,yBAAS,IAAI,SAAS,cAAc;",
   "names": ["tuple"]
 }

package/dist/validators/tuple.d.ts

@@ -1,15 +1,15 @@
 import { AbstractValidator } from '../types';
-import type { InferTuple, Tuple, ValidationOptions, Validator } from '../types';
+import type { InferInputTuple, InferTuple, Tuple, TupleRestParameter, Validation, ValidationOptions, Validator } from '../types';
 export interface TupleMember {
     single: boolean;
     validator: Validator;
 }
 /** A `Validator` for _tuples_. */
-export declare class TupleValidator<T extends Tuple> extends AbstractValidator<InferTuple<T>> {
+export declare class TupleValidator<T extends Tuple> extends AbstractValidator<InferTuple<T>, InferInputTuple<T>> {
     readonly members: readonly TupleMember[];
     readonly tuple: T;
     constructor(tuple: T);
     validate(value: unknown, options?: ValidationOptions): InferTuple<T>;
 }
 /** Validate _tuples_. */
-export declare function tuple<T extends Tuple>(tuple: T): Validator<InferTuple<T>>;
+export declare function tuple<T extends readonly [Validation | TupleRestParameter<any, any>, ...Tuple] | readonly [...Tuple, Validation | TupleRestParameter<any, any>] | readonly [...Tuple]>(tuple: T): Validator<InferTuple<T>, InferInputTuple<T>>;

package/dist/validators/tuple.mjs

@@ -1,8 +1,8 @@
 // validators/tuple.ts
 import { assertValidation, ValidationError } from "../errors.mjs";
+import { registry } from "../registry.mjs";
 import { AbstractValidator } from "../types.mjs";
 import { getValidator } from "../utilities.mjs";
-import { nullValidator } from "./constant.mjs";
 var TupleValidator = class extends AbstractValidator {
   members;
   tuple;
@@ -11,7 +11,7 @@ var TupleValidator = class extends AbstractValidator {
     const members = [];
     for (const item of tuple2) {
       if (item === null) {
-        members.push({ single: true, validator: nullValidator });
+        members.push({ single: true, validator: getValidator(null) });
       } else if (typeof item === "object" && Symbol.justusRestValidator in item) {
         members.push({ single: false, validator: item[Symbol.justusRestValidator] });
       } else {
@@ -62,6 +62,7 @@ var TupleValidator = class extends AbstractValidator {
 function tuple(tuple2) {
   return new TupleValidator(tuple2);
 }
+registry.set("tuple", TupleValidator);
 export {
   TupleValidator,
   tuple

package/dist/validators/tuple.mjs.map

@@ -1,6 +1,6 @@
 {
   "version": 3,
   "sources": ["../../src/validators/tuple.ts"],
-  "mappings": ";AAAA,SAAS,kBAAkB,uBAAuB;AAClD,SAAS,yBAAyB;AAElC,SAAS,oBAAoB;AAC7B,SAAS,qBAAqB;AAOvB,IAAM,iBAAN,cAA8C,kBAAiC;AAAA,EAC3E;AAAA,EACA;AAAA,EAET,YAAYA,QAAU;AACpB,UAAM;AAEN,UAAM,UAAyB,CAAC;AAChC,eAAW,QAAQA,QAAO;AACxB,UAAI,SAAS,MAAM;AACjB,gBAAQ,KAAK,EAAE,QAAQ,MAAM,WAAW,cAAc,CAAC;AAAA,MACzD,WAAY,OAAO,SAAS,YAAc,OAAO,uBAAuB,MAAO;AAC7E,gBAAQ,KAAK,EAAE,QAAQ,OAAO,WAAiB,KAAM,OAAO,mBAAmB,EAAE,CAAC;AAAA,MACpF,OAAO;AACL,gBAAQ,KAAK,EAAE,QAAQ,MAAM,WAAW,aAAa,IAAI,EAAE,CAAC;AAAA,MAC9D;AAAA,IACF;AAEA,SAAK,UAAU;AACf,SAAK,QAAQA;AAAA,EACf;AAAA,EAEA,SAAS,OAAgB,SAA4C;AACnE,qBAAiB,MAAM,QAAQ,KAAK,GAAG,yBAAyB;AAGhE,QAAI,KAAK,QAAQ,WAAW,GAAG;AAC7B,YAAM,OAAO,MAAM;AACnB,uBAAiB,SAAS,GAAG,SAAS,IAAI,WAAW,SAAS,IAAI,KAAK,GAAG,yBAAyB;AACnG,aAAO;AAAA,IACT;AAGA,UAAM,QAAQ,IAAI,MAAM,MAAM,MAAM;AACpC,QAAI,SAAS;AACb,QAAI,WAAW;AACf,QAAI,EAAE,QAAQ,UAAU,IAAI,KAAK,QAAQ,MAAM;AAE/C,WAAQ,SAAS,KAAK,QAAQ,UAAY,WAAW,MAAM,QAAS;AAClE,UAAI;AACF,cAAM,QAAQ,IAAI,UAAU,SAAS,MAAM,QAAQ,GAAG,OAAO;AAC7D,YAAI;AAAQ,WAAC,EAAE,QAAQ,UAAU,IAAI,KAAK,QAAQ,EAAG,MAAM,KAAK,CAAC;AACjE;AAAA,MACF,SAAS,OAAO;AACd,YAAI;AAAQ,gBAAM,IAAI,gBAAgB,OAAO,CAAE,QAAS,CAAC;AAAA;AACpD,WAAC,EAAE,QAAQ,UAAU,IAAI,KAAK,QAAQ,EAAG,MAAM,KAAK,CAAC;AAAA,MAC5D;AAAA,IACF;AAEA,WAAQ,SAAS,KAAK,QAAQ,UAAY,KAAK,QAAQ,MAAM,EAAE,WAAW,OAAQ;AAChF;AAAA,IACF;AAEA,UAAM,UAAU,KAAK,QAAQ,SAAS;AACtC,QAAK,YAAY,KAAM,QAAQ;AAC7B,YAAM,IAAI,gBAAgB,oCAAoC;AAAA,IAChE,WAAW,UAAU,GAAG;AACtB,YAAM,IAAI,gBAAgB,iBAAiB,OAAO,sBAAsB;AAAA,IAC1E;AAEA,UAAM,QAAQ,MAAM,SAAS;AAC7B,qBAAiB,UAAU,GAAG,SAAS,KAAK,iBAAiB,UAAU,IAAI,KAAK,GAAG,WAAW;AAE9F,WAAO;AAAA,EACT;AACF;AAGO,SAAS,MAAuBA,QAAoC;AACzE,SAAO,IAAI,eAAeA,MAAK;AACjC;",
+  "mappings": ";AAAA,SAAS,kBAAkB,uBAAuB;AAClD,SAAS,gBAAgB;AACzB,SAAS,yBAAyB;AAClC,SAAS,oBAAoB;AAetB,IAAM,iBAAN,cAA8C,kBAAqD;AAAA,EAC/F;AAAA,EACA;AAAA,EAET,YAAYA,QAAU;AACpB,UAAM;AAEN,UAAM,UAAyB,CAAC;AAChC,eAAW,QAAQA,QAAO;AACxB,UAAI,SAAS,MAAM;AACjB,gBAAQ,KAAK,EAAE,QAAQ,MAAM,WAAW,aAAa,IAAI,EAAE,CAAC;AAAA,MAC9D,WAAY,OAAO,SAAS,YAAc,OAAO,uBAAuB,MAAO;AAC7E,gBAAQ,KAAK,EAAE,QAAQ,OAAO,WAAiB,KAAM,OAAO,mBAAmB,EAAE,CAAC;AAAA,MACpF,OAAO;AACL,gBAAQ,KAAK,EAAE,QAAQ,MAAM,WAAW,aAAa,IAAI,EAAE,CAAC;AAAA,MAC9D;AAAA,IACF;AAEA,SAAK,UAAU;AACf,SAAK,QAAQA;AAAA,EACf;AAAA,EAEA,SAAS,OAAgB,SAA4C;AACnE,qBAAiB,MAAM,QAAQ,KAAK,GAAG,yBAAyB;AAGhE,QAAI,KAAK,QAAQ,WAAW,GAAG;AAC7B,YAAM,OAAO,MAAM;AACnB,uBAAiB,SAAS,GAAG,SAAS,IAAI,WAAW,SAAS,IAAI,KAAK,GAAG,yBAAyB;AACnG,aAAO;AAAA,IACT;AAGA,UAAM,QAAQ,IAAI,MAAM,MAAM,MAAM;AACpC,QAAI,SAAS;AACb,QAAI,WAAW;AACf,QAAI,EAAE,QAAQ,UAAU,IAAI,KAAK,QAAQ,MAAM;AAE/C,WAAQ,SAAS,KAAK,QAAQ,UAAY,WAAW,MAAM,QAAS;AAClE,UAAI;AACF,cAAM,QAAQ,IAAI,UAAU,SAAS,MAAM,QAAQ,GAAG,OAAO;AAC7D,YAAI;AAAQ,WAAC,EAAE,QAAQ,UAAU,IAAI,KAAK,QAAQ,EAAG,MAAM,KAAK,CAAC;AACjE;AAAA,MACF,SAAS,OAAO;AACd,YAAI;AAAQ,gBAAM,IAAI,gBAAgB,OAAO,CAAE,QAAS,CAAC;AAAA;AACpD,WAAC,EAAE,QAAQ,UAAU,IAAI,KAAK,QAAQ,EAAG,MAAM,KAAK,CAAC;AAAA,MAC5D;AAAA,IACF;AAEA,WAAQ,SAAS,KAAK,QAAQ,UAAY,KAAK,QAAQ,MAAM,EAAE,WAAW,OAAQ;AAChF;AAAA,IACF;AAEA,UAAM,UAAU,KAAK,QAAQ,SAAS;AACtC,QAAK,YAAY,KAAM,QAAQ;AAC7B,YAAM,IAAI,gBAAgB,oCAAoC;AAAA,IAChE,WAAW,UAAU,GAAG;AACtB,YAAM,IAAI,gBAAgB,iBAAiB,OAAO,sBAAsB;AAAA,IAC1E;AAEA,UAAM,QAAQ,MAAM,SAAS;AAC7B,qBAAiB,UAAU,GAAG,SAAS,KAAK,iBAAiB,UAAU,IAAI,KAAK,GAAG,WAAW;AAE9F,WAAO;AAAA,EACT;AACF;AAGO,SAAS,MAIdA,QAAwD;AACxD,SAAO,IAAI,eAAeA,MAAK;AACjC;AAGA,SAAS,IAAI,SAAS,cAAc;",
   "names": ["tuple"]
 }

package/dist/validators/union.cjs.map

@@ -1,6 +1,6 @@
 {
   "version": 3,
   "sources": ["../../src/validators/union.ts"],
-  "mappings": ";;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,oBAAqD;AACrD,mBAAkC;AAClC,uBAA6B;AA2BtB,IAAM,iBAAN,cAAuD,+BAA+C;AAAA,EAClG;AAAA,EAET,YAAY,MAAS;AACnB,UAAM;AACN,SAAK,aAAa,KAAK,IAAI,CAAC,mBAAe,+BAAa,UAAU,CAAC;AACnE,oCAAa,KAAK,WAAW,SAAS,GAAG,6CAA6C;AAAA,EACxF;AAAA,EAEA,SAAS,OAAgB,SAA0D;AACjF,UAAM,UAAU,IAAI,qCAAuB;AAC3C,eAAW,aAAa,KAAK,YAAY;AACvC,UAAI;AACF,eAAO,UAAU,SAAS,OAAO,OAAO;AAAA,MAC1C,SAAS,OAAO;AACd,gBAAQ,OAAO,KAAK;AAAA,MACtB;AAAA,IACF;AACA,WAAO,QAAQ,OAAO,KAAoC;AAAA,EAC5D;AACF;AAGO,SAAS,SAAmC,MAA4B;AAC7E,SAAO,IAAI,eAAe,IAAI;AAChC;AAgBO,IAAM,iBAAN,cAAuD,+BAA+C;AAAA,EAClG;AAAA,EAET,YAAY,MAAS;AACnB,UAAM;AACN,SAAK,aAAa,KAAK,IAAI,CAAC,mBAAe,+BAAa,UAAU,CAAC;AACnE,oCAAa,KAAK,WAAW,SAAS,GAAG,6CAA6C;AAAA,EACxF;AAAA,EAEA,SAAS,OAAgB,SAA0D;AACjF,eAAW,aAAa,KAAK,YAAY;AACvC,cAAQ,UAAU,SAAS,OAAO,OAAO;AAAA,IAC3C;AACA,WAAO;AAAA,EACT;AACF;AAGO,SAAS,SAAmC,MAA4B;AAC7E,SAAO,IAAI,eAAe,IAAI;AAChC;",
+  "mappings": ";;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,oBAAqD;AACrD,mBAAkC;AAClC,uBAA6B;AAyCtB,IAAM,iBAAN,cACG,+BAA+D;AAAA,EAC9D;AAAA,EAET,YAAY,MAAS;AACnB,UAAM;AACN,SAAK,aAAa,KAAK,IAAI,CAAC,mBAAe,+BAAa,UAAU,CAAC;AACnE,oCAAa,KAAK,WAAW,SAAS,GAAG,6CAA6C;AAAA,EACxF;AAAA,EAEA,SAAS,OAAgB,SAAsD;AAC7E,UAAM,UAAU,IAAI,qCAAuB;AAC3C,eAAW,aAAa,KAAK,YAAY;AACvC,UAAI;AACF,eAAO,UAAU,SAAS,OAAO,OAAO;AAAA,MAC1C,SAAS,OAAO;AACd,gBAAQ,OAAO,KAAK;AAAA,MACtB;AAAA,IACF;AACA,WAAO,QAAQ,OAAO,KAAgC;AAAA,EACxD;AACF;AAGO,SAAS,SAAmC,MAA4B;AAC7E,SAAO,IAAI,eAAe,IAAI;AAChC;AAyBO,IAAM,iBAAN,cACG,+BAA+D;AAAA,EAC9D;AAAA,EAET,YAAY,MAAS;AACnB,UAAM;AACN,SAAK,aAAa,KAAK,IAAI,CAAC,mBAAe,+BAAa,UAAU,CAAC;AACnE,oCAAa,KAAK,WAAW,SAAS,GAAG,6CAA6C;AAAA,EACxF;AAAA,EAEA,SAAS,OAAgB,SAAsD;AAC7E,eAAW,aAAa,KAAK,YAAY;AACvC,cAAQ,UAAU,SAAS,OAAO,OAAO;AAAA,IAC3C;AACA,WAAO;AAAA,EACT;AACF;AAGO,SAAS,SAAmC,MAA4B;AAC7E,SAAO,IAAI,eAAe,IAAI;AAChC;",
   "names": []
 }

package/dist/validators/union.d.ts

@@ -1,22 +1,24 @@
 import { AbstractValidator } from '../types';
-import type { InferValidation, Validation, ValidationOptions, Validator } from '../types';
+import type { InferInput, InferValidation, Validation, ValidationOptions, Validator } from '../types';
 export type OneOfArguments = readonly Validation[];
-export type InferOneOfValidationType<A extends OneOfArguments> = A extends readonly [infer First, ...infer Rest] ? First extends Validation ? Rest extends OneOfArguments ? InferValidation<First> | InferOneOfValidationType<Rest> : InferValidation<First> : never : A extends readonly (infer Type)[] ? Type extends Validation ? InferValidation<Type> : never : never;
+export type InferOneOfValidation<A extends OneOfArguments> = A extends readonly [infer First, ...infer Rest] ? First extends Validation ? Rest extends OneOfArguments ? InferValidation<First> | InferOneOfValidation<Rest> : InferValidation<First> : never : A extends readonly (infer Type)[] ? Type extends Validation ? InferValidation<Type> : never : never;
+export type InferOneOfInput<A extends OneOfArguments> = A extends readonly [infer First, ...infer Rest] ? First extends Validation ? Rest extends OneOfArguments ? InferInput<First> | InferOneOfValidation<Rest> : InferInput<First> : never : A extends readonly (infer Type)[] ? Type extends Validation ? InferInput<Type> : never : never;
 /** A `Validator` validating a value as _one of_ the specified arguments. */
-export declare class OneOfValidator<A extends OneOfArguments> extends AbstractValidator<InferOneOfValidationType<A>> {
+export declare class OneOfValidator<A extends OneOfArguments> extends AbstractValidator<InferOneOfValidation<A>, InferOneOfInput<A>> {
     readonly validators: readonly Validator[];
     constructor(args: A);
-    validate(value: unknown, options?: ValidationOptions): InferOneOfValidationType<A>;
+    validate(value: unknown, options?: ValidationOptions): InferOneOfValidation<A>;
 }
 /** Validate a value as _one of_ the specified arguments */
 export declare function oneOf<A extends OneOfArguments>(...args: A): OneOfValidator<A>;
 export type AllOfArguments = readonly [Validation, ...Validation[]];
-export type InferAllOfValidationType<A extends AllOfArguments> = A extends readonly [infer First, ...infer Rest] ? First extends Validation ? Rest extends AllOfArguments ? InferValidation<First> & InferAllOfValidationType<Rest> : InferValidation<First> : never : never;
+export type InferAllOfValidation<A extends AllOfArguments> = A extends readonly [infer First, ...infer Rest] ? First extends Validation ? Rest extends AllOfArguments ? InferValidation<First> & InferAllOfValidation<Rest> : InferValidation<First> : never : never;
+export type InferAllOfInput<A extends AllOfArguments> = A extends readonly [infer First, ...infer Rest] ? First extends Validation ? Rest extends AllOfArguments ? InferInput<First> & InferAllOfValidation<Rest> : InferInput<First> : never : never;
 /** A `Validator` validating a value as _all of_ the specified arguments. */
-export declare class AllOfValidator<A extends AllOfArguments> extends AbstractValidator<InferAllOfValidationType<A>> {
+export declare class AllOfValidator<A extends AllOfArguments> extends AbstractValidator<InferAllOfValidation<A>, InferAllOfInput<A>> {
     readonly validators: readonly Validator[];
     constructor(args: A);
-    validate(value: unknown, options?: ValidationOptions): InferAllOfValidationType<A>;
+    validate(value: unknown, options?: ValidationOptions): InferAllOfValidation<A>;
 }
 /** Validate a value as _all of_ the specified arguments */
 export declare function allOf<A extends AllOfArguments>(...args: A): AllOfValidator<A>;

package/dist/validators/union.mjs.map

@@ -1,6 +1,6 @@
 {
   "version": 3,
   "sources": ["../../src/validators/union.ts"],
-  "mappings": ";AAAA,SAAS,cAAc,8BAA8B;AACrD,SAAS,yBAAyB;AAClC,SAAS,oBAAoB;AA2BtB,IAAM,iBAAN,cAAuD,kBAA+C;AAAA,EAClG;AAAA,EAET,YAAY,MAAS;AACnB,UAAM;AACN,SAAK,aAAa,KAAK,IAAI,CAAC,eAAe,aAAa,UAAU,CAAC;AACnE,iBAAa,KAAK,WAAW,SAAS,GAAG,6CAA6C;AAAA,EACxF;AAAA,EAEA,SAAS,OAAgB,SAA0D;AACjF,UAAM,UAAU,IAAI,uBAAuB;AAC3C,eAAW,aAAa,KAAK,YAAY;AACvC,UAAI;AACF,eAAO,UAAU,SAAS,OAAO,OAAO;AAAA,MAC1C,SAAS,OAAO;AACd,gBAAQ,OAAO,KAAK;AAAA,MACtB;AAAA,IACF;AACA,WAAO,QAAQ,OAAO,KAAoC;AAAA,EAC5D;AACF;AAGO,SAAS,SAAmC,MAA4B;AAC7E,SAAO,IAAI,eAAe,IAAI;AAChC;AAgBO,IAAM,iBAAN,cAAuD,kBAA+C;AAAA,EAClG;AAAA,EAET,YAAY,MAAS;AACnB,UAAM;AACN,SAAK,aAAa,KAAK,IAAI,CAAC,eAAe,aAAa,UAAU,CAAC;AACnE,iBAAa,KAAK,WAAW,SAAS,GAAG,6CAA6C;AAAA,EACxF;AAAA,EAEA,SAAS,OAAgB,SAA0D;AACjF,eAAW,aAAa,KAAK,YAAY;AACvC,cAAQ,UAAU,SAAS,OAAO,OAAO;AAAA,IAC3C;AACA,WAAO;AAAA,EACT;AACF;AAGO,SAAS,SAAmC,MAA4B;AAC7E,SAAO,IAAI,eAAe,IAAI;AAChC;",
+  "mappings": ";AAAA,SAAS,cAAc,8BAA8B;AACrD,SAAS,yBAAyB;AAClC,SAAS,oBAAoB;AAyCtB,IAAM,iBAAN,cACG,kBAA+D;AAAA,EAC9D;AAAA,EAET,YAAY,MAAS;AACnB,UAAM;AACN,SAAK,aAAa,KAAK,IAAI,CAAC,eAAe,aAAa,UAAU,CAAC;AACnE,iBAAa,KAAK,WAAW,SAAS,GAAG,6CAA6C;AAAA,EACxF;AAAA,EAEA,SAAS,OAAgB,SAAsD;AAC7E,UAAM,UAAU,IAAI,uBAAuB;AAC3C,eAAW,aAAa,KAAK,YAAY;AACvC,UAAI;AACF,eAAO,UAAU,SAAS,OAAO,OAAO;AAAA,MAC1C,SAAS,OAAO;AACd,gBAAQ,OAAO,KAAK;AAAA,MACtB;AAAA,IACF;AACA,WAAO,QAAQ,OAAO,KAAgC;AAAA,EACxD;AACF;AAGO,SAAS,SAAmC,MAA4B;AAC7E,SAAO,IAAI,eAAe,IAAI;AAChC;AAyBO,IAAM,iBAAN,cACG,kBAA+D;AAAA,EAC9D;AAAA,EAET,YAAY,MAAS;AACnB,UAAM;AACN,SAAK,aAAa,KAAK,IAAI,CAAC,eAAe,aAAa,UAAU,CAAC;AACnE,iBAAa,KAAK,WAAW,SAAS,GAAG,6CAA6C;AAAA,EACxF;AAAA,EAEA,SAAS,OAAgB,SAAsD;AAC7E,eAAW,aAAa,KAAK,YAAY;AACvC,cAAQ,UAAU,SAAS,OAAO,OAAO;AAAA,IAC3C;AACA,WAAO;AAAA,EACT;AACF;AAGO,SAAS,SAAmC,MAA4B;AAC7E,SAAO,IAAI,eAAe,IAAI;AAChC;",
   "names": []
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "justus",
-  "version": "0.4.2",
+  "version": "0.5.1",
   "description": "A JavaScript validation library, with types!",
   "main": "./dist/index.cjs",
   "module": "./dist/index.mjs",
@@ -24,6 +24,46 @@
         "types": "./dist/dts-generator.d.ts",
         "default": "./dist/dts-generator.mjs"
       }
+    },
+    "./extra/arn": {
+      "require": {
+        "types": "./dist/extra/arn.d.ts",
+        "default": "./dist/extra/arn.cjs"
+      },
+      "import": {
+        "types": "./dist/extra/arn.d.ts",
+        "default": "./dist/extra/arn.mjs"
+      }
+    },
+    "./extra/ean13": {
+      "require": {
+        "types": "./dist/extra/ean13.d.ts",
+        "default": "./dist/extra/ean13.cjs"
+      },
+      "import": {
+        "types": "./dist/extra/ean13.d.ts",
+        "default": "./dist/extra/ean13.mjs"
+      }
+    },
+    "./extra/url": {
+      "require": {
+        "types": "./dist/extra/url.d.ts",
+        "default": "./dist/extra/url.cjs"
+      },
+      "import": {
+        "types": "./dist/extra/url.d.ts",
+        "default": "./dist/extra/url.mjs"
+      }
+    },
+    "./extra/uuid": {
+      "require": {
+        "types": "./dist/extra/uuid.d.ts",
+        "default": "./dist/extra/uuid.cjs"
+      },
+      "import": {
+        "types": "./dist/extra/uuid.d.ts",
+        "default": "./dist/extra/uuid.mjs"
+      }
     }
   },
   "types": "./dist/index.d.ts",
@@ -38,8 +78,8 @@
   "author": "Juit Developers <developers@juit.com>",
   "license": "Apache-2.0",
   "devDependencies": {
-    "@plugjs/build": "^0.4.28",
-    "@plugjs/tsd": "^0.4.30",
+    "@plugjs/build": "^0.4.33",
+    "@plugjs/tsd": "^0.4.32",
     "@types/chai": "^4.3.5",
     "chai": "^4.3.8",
     "typescript": "^5.2.2"

package/src/dts-generator.ts

@@ -1,32 +1,22 @@
 import ts from 'typescript'
 
-import {
-  AllOfValidator,
-  AnyArrayValidator,
-  AnyNumberValidator,
-  AnyObjectValidator,
-  AnyStringValidator,
-  AnyValidator,
-  ArrayValidator,
-  assertSchema,
-  BooleanValidator,
-  ConstantValidator,
-  DateValidator,
-  getValidator,
-  NeverValidator,
-  NumberValidator,
-  ObjectValidator,
-  OneOfValidator,
-  OptionalValidator,
-  StringValidator,
-  TupleValidator,
-  URLValidator,
-} from './index'
-
-import type {
-  Validation,
-  Validator,
-} from './index'
+import { assertSchema } from './errors'
+import { URLValidator } from './extra/url'
+import { getValidator } from './utilities'
+import { AnyValidator } from './validators/any'
+import { AnyArrayValidator, ArrayValidator } from './validators/array'
+import { BooleanValidator } from './validators/boolean'
+import { ConstantValidator } from './validators/constant'
+import { DateValidator } from './validators/date'
+import { NeverValidator } from './validators/never'
+import { AnyNumberValidator, NumberValidator } from './validators/number'
+import { AnyObjectValidator, ObjectValidator } from './validators/object'
+import { OptionalValidator } from './validators/optional'
+import { AnyStringValidator, StringValidator } from './validators/string'
+import { TupleValidator } from './validators/tuple'
+import { AllOfValidator, OneOfValidator } from './validators/union'
+
+import type { Validation, Validator } from './types'
 
 /* ========================================================================== *
  * LOCAL TYPES                                                                *

package/src/extra/arn.ts

@@ -0,0 +1,172 @@
+import { assertValidation } from '../errors'
+import { AbstractValidator, makeValidatorFactory } from '../types'
+
+/*  ===== TYPES ============================================================= */
+
+/** The type for a validated _string_ ARN (Amazon Resource Name) */
+export type ArnString<
+  Service extends string = string,
+  ResourceType extends string = string,
+> = string & { __arn: never }
+& ( string extends Service ? string : { [ k in `__arn_service_${Service}`] : never })
+& ( string extends ResourceType ? string : { [ k in `__arn_resource_${ResourceType}`] : never })
+
+/** The type for a _parsed_ ARN (Amazon Resource Name) */
+export interface ParsedArn<
+  Service extends string = string,
+  ResourceType extends string = string,
+> {
+  /** The full  */
+  Arn: ArnString<Service, ResourceType>,
+  Partition: string,
+  Service: Service,
+  Region: string,
+  Account: string,
+  Resource: [ ResourceType, ...string[] ],
+}
+
+/* ===== INTERNALS ========================================================== */
+
+function assertComponent<T extends string>(
+    actual: string,
+    expected: T | undefined,
+    kind: string,
+): asserts actual is T {
+  if (expected === undefined) return
+  assertValidation(actual === expected, `ARN ${kind} "${actual}" mismatch (expected "${expected}")`)
+}
+
+/** Validate a string and convert it into into an {@link ParsedArn} */
+function parse<Service extends string, ResourceType extends string>(
+    value: unknown,
+    service?: Service,
+    type?: ResourceType,
+): ParsedArn<Service, ResourceType> {
+  assertValidation(typeof value == 'string', 'Value is not a "string"')
+
+  const segments = value.split(':')
+
+  assertValidation(segments.length >= 6, 'Invalid components in ARN')
+
+  const [ pfx, prt, svc, rgn, act, ...res ] = segments
+
+  assertValidation(pfx === 'arn', 'ARN must start with "arn:"')
+  assertValidation(!! prt, 'Missing partition in ARN')
+  assertValidation(!! svc, 'Missing service in ARN')
+  assertValidation(!! act, 'Missing account ID in ARN')
+  assertValidation(!! res[0], 'Missing resource ID in ARN')
+
+  const [ [ resType, ...resArray ], resString ] = res[0].includes('/') ?
+    [ res[0].split('/'), res[0] ] :
+    [ res, res.join(':') ]
+
+  assertValidation(!! resType, 'Invalid resource ID in ARN')
+
+  assertComponent(svc, service, 'Service')
+  assertComponent(resType, type, 'Resource Type')
+
+  const arn = `arn:${prt}:${svc}:${rgn}:${act}:${resString}`
+
+  return {
+    Arn: arn as ArnString<Service, ResourceType>,
+    Partition: prt,
+    Service: svc, // as Service,
+    Region: rgn || '',
+    Account: act,
+    Resource: [ resType, ...resArray ], // as [ ResourceType, ...string[] ],
+  }
+}
+
+/* ===== VALIDATOR CLASSES ================================================== */
+
+/** Validator parsing an ARN (Amazon Resource Name) and returning its components */
+export class ParsedArnValidator<
+  Service extends string = string,
+  ResourceType extends string = string,
+> extends AbstractValidator<ParsedArn<Service, ResourceType>, string> {
+  /**
+   * Create a new {@link ParsedArnValidator} instance.
+   *
+   * @param service The (optional) service the ARN should be pointing to
+   *                (e.g. `iam` or `elasticloadbalancing`)
+   * @param resourceType The (optional) resource _type_ the ARN should be
+   *                     representing (e.g. `role` in the `iam` service, or
+   *                     `targetgroup` in the `elasticloadbalancing` service)
+   */
+  constructor(service?: Service, resourceType?: ResourceType)
+  constructor(private _service?: Service, private _type?: ResourceType) {
+    super()
+  }
+
+  validate(value: unknown): ParsedArn<Service, ResourceType> {
+    return parse(value, this._service, this._type)
+  }
+}
+
+/** Validator validating an ARN (Amazon Resource Name) _string_ */
+export class ArnValidator<
+  Service extends string = string,
+  ResourceType extends string = string,
+> extends AbstractValidator<ArnString<Service, ResourceType>, string> {
+  /**
+   * Create a new {@link ArnValidator} instance.
+   *
+   * @param service The (optional) service the ARN should be pointing to
+   *                (e.g. `iam` or `elasticloadbalancing`)
+   * @param resourceType The (optional) resource _type_ the ARN should be
+   *                     representing (e.g. `role` in the `iam` service, or
+   *                     `targetgroup` in the `elasticloadbalancing` service)
+   */
+  constructor(service?: Service, resourceType?: ResourceType)
+  constructor(private _service?: Service, private _type?: ResourceType) {
+    super()
+  }
+
+  validate(value: unknown): ArnString<Service, ResourceType> {
+    return parse(value, this._service, this._type).Arn
+  }
+}
+
+/* ===== VALIDATOR FACTORIES ================================================ */
+
+/**
+ * Create a new {@link ParsedArnValidator} parsing an ARN referring to the
+ * specified `service` (e.g. `iam` or `elasticloadbalancing`).
+ *
+ * An (optional) resource _type_ can be specified, and will validate the first
+ * component of the ARN's resource (e.g. `role` in the `iam` service, or
+ * `targetgroup` in the `elasticloadbalancing` service)
+ */
+export function parseArnFactory<
+  Service extends string = string,
+  ResourceType extends string = string>(
+    service: Service,
+    resourceType?: ResourceType,
+): ParsedArnValidator<Service, ResourceType> {
+  return new ParsedArnValidator(service, resourceType)
+}
+
+/**
+ * Create a new {@link ArnValidator} validating an ARN referring to the
+ * specified `service` (e.g. `iam` or `elasticloadbalancing`).
+ *
+ * An (optional) resource _type_ can be specified, and will validate the first
+ * component of the ARN's resource (e.g. `role` in the `iam` service, or
+ * `targetgroup` in the `elasticloadbalancing` service)
+ */
+export function arnFactory<
+  Service extends string = string,
+  ResourceType extends string = string>(
+    service: Service,
+    resourceType?: ResourceType,
+): ArnValidator<Service, ResourceType> {
+  return new ArnValidator(service, resourceType)
+}
+
+/* ===== VALIDATOR CONSTANTS ================================================ */
+
+/** Validate a string and parse it into into an {@link ParsedArn} */
+export const parseArn = makeValidatorFactory(new ParsedArnValidator(), parseArnFactory)
+
+/** Validate a ARN (Amazon Resource Name) string */
+export const arn = makeValidatorFactory(new ArnValidator(), arnFactory)

package/src/extra/ean13.ts

@@ -0,0 +1,31 @@
+import { assertValidation } from '../errors'
+import { StringValidator } from '../validators/string'
+
+export type EAN13String = string & { __ean_13: never }
+
+export class EAN13Validator extends StringValidator<EAN13String, string | number> {
+  constructor() {
+    super({ minLength: 13, maxLength: 13, pattern: /^\d{13}$/ })
+  }
+
+  validate(value: unknown): EAN13String
+  validate(value: unknown): string {
+    if (typeof value === 'number') value = `${value}`
+    const ean13 = super.validate(value).toLowerCase()
+
+    /* Calculate the weighted sum for the first 12 digits */
+    let sum = 0
+    for (let i = 0, w = 1; i < 12; i ++, w = i % 2 ? 3 : 1) {
+      sum += (ean13.charCodeAt(i) - 0x30) * w
+    }
+
+    /* 10 - sum should match our 13th digit */
+    const valid = (10 - (sum % 10)) % 10 === ean13.charCodeAt(12) - 0x30
+
+    /* Assert validity of the checksum and return */
+    assertValidation(valid, `Invalid checksum in EAN-13 "${ean13}"`)
+    return ean13
+  }
+}
+
+export const ean13 = new EAN13Validator()

package/src/{validators → extra}/url.ts

@@ -1,7 +1,7 @@
 import { ValidationError, ValidationErrorBuilder } from '../errors'
 import { AbstractValidator, makeValidatorFactory } from '../types'
-import { ConstantValidator } from './constant'
-import { ObjectValidator } from './object'
+import { ConstantValidator } from '../validators/constant'
+import { ObjectValidator } from '../validators/object'
 
 import type { ValidationOptions } from '..'
 import type { Schema, Validator } from '../types'
@@ -60,7 +60,7 @@ export interface URLConstraints {
 }
 
 /** A `Validator` validating URLs and converting them to `URL` instances. */
-export class URLValidator extends AbstractValidator<URL> {
+export class URLValidator extends AbstractValidator<URL, URL | string> {
   readonly href?: Validator<string>
   readonly origin?: Validator<string>
   readonly protocol?: Validator<string>
@@ -115,9 +115,7 @@ export class URLValidator extends AbstractValidator<URL> {
 
     if (this.searchParams) {
       const parameters: Record<string, string> = {}
-      for (const param of url.searchParams.keys()) {
-        parameters[param] = url.searchParams.get(param) as string
-      }
+      url.searchParams.forEach((value, key) => parameters[key] = value)
 
       try {
         this.searchParams.validate(parameters, OPTIONS)

package/src/extra/uuid.ts

@@ -0,0 +1,18 @@
+import { StringValidator } from '../validators/string'
+
+export const UUID_EXPR = /^[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$/i
+
+export type UUIDString = string & { __uuid: never }
+
+export class UUIDValidator extends StringValidator<UUIDString> {
+  constructor() {
+    super({ minLength: 36, maxLength: 36, pattern: UUID_EXPR })
+  }
+
+  validate(value: unknown): UUIDString
+  validate(value: unknown): string {
+    return super.validate(value).toLowerCase()
+  }
+}
+
+export const uuid = new UUIDValidator()

package/src/index.ts

@@ -21,7 +21,6 @@ export { OptionalValidator, optional } from './validators/optional'
 export { AnyStringValidator, StringValidator, string } from './validators/string'
 export { TupleValidator, tuple } from './validators/tuple'
 export { AllOfValidator, OneOfValidator, allOf, oneOf } from './validators/union'
-export { URLValidator, url } from './validators/url'
 
 // Validator Types
 export type { ArrayConstraints, arrayFactory } from './validators/array'
@@ -31,7 +30,6 @@ export type { BrandedNumberConstraints, numberFactory } from './validators/numbe
 export type { objectFactory } from './validators/object'
 export type { BrandedStringConstraints, StringConstraints, stringFactory } from './validators/string'
 export type { TupleMember } from './validators/tuple'
-export type { URLConstraints, urlFactory } from './validators/url'
 
 /* ========================================================================== *
  * VALIDATE FUNCTION (our main entry point)                                   *

package/src/registry.ts

@@ -0,0 +1,28 @@
+import { assertSchema } from './errors'
+
+import type { ConstantValidator } from './validators/constant'
+import type { ObjectValidator } from './validators/object'
+import type { TupleValidator } from './validators/tuple'
+
+type RegistryTypes = {
+  constant: typeof ConstantValidator,
+  object: typeof ObjectValidator,
+  tuple: typeof TupleValidator,
+}
+
+const _registry: Partial<RegistryTypes> = {}
+
+/** Internal registry for validator constructors (avoids circular imports) */
+export const registry = {
+  /** Registers the specified validator constructor */
+  set<K extends keyof RegistryTypes>(key: K, constructor: RegistryTypes[K]): void {
+    _registry[key] = constructor
+  },
+
+  /** Retrieves the specified validator constructor */
+  get<K extends keyof RegistryTypes>(key: K): RegistryTypes[K] {
+    const value = _registry[key]
+    assertSchema(!! value, `No validator found for "${key}"`)
+    return value
+  },
+}

package/src/schema.ts

@@ -1,10 +1,9 @@
-// import { additionalValidator } from './types'
-// eslint-disable-next-line import/no-cycle
 import { getValidator } from './utilities'
 import { any } from './validators/any'
 
 import type {
-  AdditionalProperties, InferValidation,
+  AdditionalProperties,
+  InferValidation,
   Validation,
   Validator,
 } from './types'
@@ -14,12 +13,12 @@ import type {
  * ========================================================================== */
 
 /** Internal definition of `allowAdditionalProperties(...)` */
-export function _allowAdditionalProperties(): AdditionalProperties<Validator<any>>
-export function _allowAdditionalProperties(allow: true): AdditionalProperties<Validator<any>>
-export function _allowAdditionalProperties(allow: false): AdditionalProperties<false>
-export function _allowAdditionalProperties<V extends Validation>(validation: V): AdditionalProperties<Validator<InferValidation<V>>>
+function additionalProperties(): AdditionalProperties<Validator<any>>
+function additionalProperties(allow: true): AdditionalProperties<Validator<any>>
+function additionalProperties(allow: false): AdditionalProperties<false>
+function additionalProperties<V extends Validation>(validation: V): AdditionalProperties<Validator<InferValidation<V>>>
 
-export function _allowAdditionalProperties(options?: Validation | boolean): AdditionalProperties<Validator | false> {
+function additionalProperties(options?: Validation | boolean): AdditionalProperties<Validator | false> {
   if (options === false) return { [Symbol.justusAdditionalValidator]: false }
   if (options === true) return { [Symbol.justusAdditionalValidator]: any }
 
@@ -35,9 +34,9 @@ export function _allowAdditionalProperties(options?: Validation | boolean): Addi
  *
  * @param allow - A `boolean` or a `Validator` instance
  */
-export const allowAdditionalProperties = _allowAdditionalProperties as
-  typeof _allowAdditionalProperties & AdditionalProperties<Validator<any>>
+export const allowAdditionalProperties = additionalProperties as
+  typeof additionalProperties & AdditionalProperties<Validator<any>>
 
 // Remember to inject our `any` validator as the default for when
 // `allowAdditionalProperties` is _not_ used as a function
-allowAdditionalProperties[Symbol.justusAdditionalValidator] = any
+additionalProperties[Symbol.justusAdditionalValidator] = any