justus 0.4.1 → 0.5.0

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,eAAe,SAAS,IAAI,KAAK,4BAA4B;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,OAAP;AACA,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,6BAA6B;AAAA,IAC1E;AAEA,UAAM,QAAQ,MAAM,SAAS;AAC7B,qBAAiB,UAAU,GAAG,SAAS,sBAAsB,UAAU,IAAI,KAAK,cAAc;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,OAAP;AACA,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,OAAP;AACA,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.1",
+  "version": "0.5.0",
   "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,14 +78,14 @@
   "author": "Juit Developers <developers@juit.com>",
   "license": "Apache-2.0",
   "devDependencies": {
-    "@plugjs/build": "^0.4.7",
-    "@plugjs/tsd": "^0.4.10",
+    "@plugjs/build": "^0.4.30",
+    "@plugjs/tsd": "^0.4.31",
     "@types/chai": "^4.3.5",
-    "chai": "^4.3.7",
-    "typescript": "^5.0.4"
+    "chai": "^4.3.8",
+    "typescript": "^5.2.2"
   },
   "optionalDependencies": {
-    "typescript": "^5.0.4"
+    "typescript": "^5.2.2"
   },
   "directories": {
     "test": "test"

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,151 @@
+import { assertValidation } from '../errors'
+import { AbstractValidator, makeValidatorFactory } from '../types'
+
+/** The type for a validated _string_ ARN (Amazon Resource Name) */
+export type ArnString<Service extends string = string> = string & { __arn: never }
+& ( string extends Service ? string : { [ k in `__arn_${Service}`] : never })
+
+/** The type for a _parsed_ ARN (Amazon Resource Name) */
+export interface ParsedArn<Service extends string = string> {
+  /** The full  */
+  Arn: ArnString<Service>,
+  Partition: string,
+  Service: Service,
+  Region: string,
+  Account: string,
+  Resource: [ string, ...string[] ],
+}
+
+/* ========================================================================== */
+
+/** Validate a string and convert it into into an {@link ParsedArn} */
+function parse<Service extends string>(
+    value: unknown,
+    service?: Service,
+    type?: string,
+): ParsedArn<Service> {
+  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')
+
+  if (service !== undefined) {
+    assertValidation(svc === service, `ARN Service "${svc}" mismatch (expected "${service}")`)
+  }
+
+  const [ resArray, resString ] = res[0].includes('/') ?
+    [ res[0].split('/'), res[0] ] :
+    [ res, res.join(':') ]
+
+  assertValidation(!! resArray[0], 'Invalid resource ID in ARN')
+
+  if (type !== undefined) {
+    assertValidation(resArray[0] === type, `ARN Resource Type "${resArray[0]}" mismatch (expected "${type}")`)
+  }
+
+  const arn = `arn:${prt}:${svc}:${rgn}:${act}:${resString}`
+
+  return {
+    Arn: arn as ArnString<Service>,
+    Partition: prt,
+    Service: svc as Service,
+    Region: rgn || '',
+    Account: act,
+    Resource: resArray as [ string, ...string[] ],
+  }
+}
+
+/* ========================================================================== */
+
+/** Validator parsing an ARN (Amazon Resource Name) and returning its components */
+export class ParsedArnValidator<Service extends string = string>
+  extends AbstractValidator<ParsedArn<Service>, 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?: string)
+  constructor(private _service?: Service, private _type?: string) {
+    super()
+  }
+
+  validate(value: unknown): ParsedArn<Service> {
+    return parse(value, this._service, this._type)
+  }
+}
+
+/** Validator validating an ARN (Amazon Resource Name) _string_ */
+export class ArnValidator<Service extends string = string>
+  extends AbstractValidator<ArnString<Service>, 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?: string)
+  constructor(private _service?: Service, private _type?: string) {
+    super()
+  }
+
+  validate(value: unknown): ArnString<Service> {
+    return parse(value, this._service, this._type).Arn
+  }
+}
+
+/* ========================================================================== */
+
+/**
+ * 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>(
+    service: Service,
+    resourceType?: string,
+): ParsedArnValidator<Service> {
+  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>(
+    service: Service,
+    resourceType?: string,
+): ArnValidator<Service> {
+  return new ArnValidator(service, resourceType)
+}
+
+/* ========================================================================== */
+
+/** 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)
@@ -130,9 +128,9 @@ export class URLValidator extends AbstractValidator<URL> {
   }
 }
 
-function _url(constraints: URLConstraints): URLValidator {
+export function urlFactory(constraints: URLConstraints): URLValidator {
   return new URLValidator(constraints)
 }
 
 /** Validate URLs and convert them to `URL` instances. */
-export const url = makeValidatorFactory(new URLValidator(), _url)
+export const url = makeValidatorFactory(new URLValidator(), urlFactory)

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

@@ -9,28 +9,27 @@ export * from './types'
 export * from './utilities'
 
 // Validators
-export { any, AnyValidator } from './validators/any'
-export { array, arrayOf, ArrayValidator, AnyArrayValidator } from './validators/array'
-export { boolean, BooleanValidator } from './validators/boolean'
-export { constant, ConstantValidator } from './validators/constant'
-export { date, DateValidator } from './validators/date'
-export { never, NeverValidator } from './validators/never'
-export { AnyNumberValidator, number, NumberValidator } from './validators/number'
-export { AnyObjectValidator, object, objectOf, ObjectValidator } from './validators/object'
-export { optional, OptionalValidator } from './validators/optional'
-export { AnyStringValidator, string, StringValidator } from './validators/string'
-export { tuple, TupleValidator } from './validators/tuple'
-export { allOf, AllOfValidator, oneOf, OneOfValidator } from './validators/union'
-export { url, URLValidator } from './validators/url'
+export { AnyValidator, any } from './validators/any'
+export { AnyArrayValidator, ArrayValidator, array, arrayOf } from './validators/array'
+export { BooleanValidator, boolean } from './validators/boolean'
+export { ConstantValidator, constant } from './validators/constant'
+export { DateValidator, date } from './validators/date'
+export { NeverValidator, never } from './validators/never'
+export { AnyNumberValidator, NumberValidator, number } from './validators/number'
+export { AnyObjectValidator, ObjectValidator, object, objectOf } from './validators/object'
+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'
 
 // Validator Types
-export type { ArrayConstraints } from './validators/array'
-export type { BooleanConstraints } from './validators/boolean'
-export type { DateConstraints } from './validators/date'
-export type { BrandedNumberConstraints } from './validators/number'
-export type { BrandedStringConstraints, StringConstraints } from './validators/string'
+export type { ArrayConstraints, arrayFactory } from './validators/array'
+export type { BooleanConstraints, booleanFactory } from './validators/boolean'
+export type { DateConstraints, dateFactory } from './validators/date'
+export type { BrandedNumberConstraints, numberFactory } from './validators/number'
+export type { objectFactory } from './validators/object'
+export type { BrandedStringConstraints, StringConstraints, stringFactory } from './validators/string'
 export type { TupleMember } from './validators/tuple'
-export type { URLConstraints } 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