typia 6.0.0-dev.20240122 → 6.0.0

package/src/schemas/metadata/Metadata.ts

@@ -42,8 +42,8 @@ export class Metadata {
   /** @internal */ public boolean_literal_intersected_?: boolean;
 
   /* -----------------------------------------------------------
-        CONSTRUCTORS
-    ----------------------------------------------------------- */
+    CONSTRUCTORS
+  ----------------------------------------------------------- */
   /**
    * @hidden
    */
@@ -205,8 +205,8 @@ export class Metadata {
   }
 
   /* -----------------------------------------------------------
-        ACCESSORS
-    ----------------------------------------------------------- */
+    ACCESSORS
+  ----------------------------------------------------------- */
   public getName(): string {
     return (this.name_ ??= getName(this));
   }
@@ -281,7 +281,7 @@ export class Metadata {
       this.constants[0]!.type === "string" &&
       this.constants[0]!.values.length === 1
     )
-      return this.constants[0]!.values[0] as string;
+      return this.constants[0]!.values[0]!.value as string;
     else return null;
   }
 
@@ -318,6 +318,13 @@ export namespace Metadata {
       if (x.natives.some((xn) => y.natives.some((yn) => xn === yn)))
         return true;
 
+    // ESCAPED
+    if (x.escaped && y.escaped)
+      return (
+        intersects(x.escaped.original, y.escaped.original) ||
+        intersects(x.escaped.returns, y.escaped.returns)
+      );
+
     //----
     // VALUES
     //----
@@ -340,8 +347,8 @@ export namespace Metadata {
       if (opposite === undefined) continue;
 
       const values: Set<any> = new Set([
-        ...constant.values,
-        ...opposite.values,
+        ...constant.values.map((e) => e.value),
+        ...opposite.values.map((e) => e.value),
       ]);
       if (values.size !== constant.values.length + opposite.values.length)
         return true;
@@ -362,12 +369,24 @@ export namespace Metadata {
     x: Metadata,
     y: Metadata,
     level: number = 0,
+    escaped: boolean = false,
   ): boolean => {
     // CHECK ANY
     if (x === y) return false;
     else if (x.any) return true;
     else if (y.any) return false;
 
+    if (escaped === false) {
+      if (x.escaped === null && y.escaped !== null) return false;
+      else if (
+        x.escaped !== null &&
+        y.escaped !== null &&
+        (!covers(x.escaped.original, y.escaped.original, level, true) ||
+          !covers(x.escaped.returns, y.escaped.returns, level, true))
+      )
+        return false;
+    }
+
     //----
     // INSTANCES
     //----
@@ -433,7 +452,7 @@ export namespace Metadata {
       );
       if (xc === undefined) return false;
       else if (
-        (yc.values as number[]).some(
+        (yc.values.map((e) => e.value) as number[]).some(
           (yv) => xc.values.includes(yv as never) === false,
         )
       )
@@ -505,7 +524,8 @@ export namespace Metadata {
             values: [],
           }),
       );
-      for (const value of constant.values) ArrayUtil.add(target.values, value);
+      for (const value of constant.values)
+        ArrayUtil.add(target.values, value, (a, b) => a.value === b.value);
     }
     for (const obj of y.objects)
       ArrayUtil.set(output.objects, obj, (elem) => elem.name);
@@ -530,10 +550,7 @@ const getName = (metadata: Metadata): string => {
     elements.push(atom.getName());
   }
   for (const constant of metadata.constants)
-    for (const value of constant.values)
-      elements.push(
-        constant.type === "string" ? JSON.stringify(value) : value.toString(),
-      );
+    for (const value of constant.values) elements.push(value.getName());
   for (const template of metadata.templates)
     elements.push(
       "`" +

package/src/schemas/metadata/MetadataAtomic.ts

@@ -43,21 +43,7 @@ export class MetadataAtomic {
   }
 
   public getName(): string {
-    return (this.name_ ??= (() => {
-      if (this.tags.length === 0) return this.type;
-      else if (this.tags.length === 1) {
-        const str: string = [
-          this.type,
-          ...this.tags[0]!.map((t) => t.name),
-        ].join(" & ");
-        return `(${str})`;
-      }
-      const rows: string[] = this.tags.map((row) => {
-        const str: string = row.map((t) => t.name).join(" & ");
-        return row.length === 1 ? str : `(${str})`;
-      });
-      return `(${this.type} & (${rows.join(" | ")}))`;
-    })());
+    return (this.name_ ??= getName(this));
   }
 
   public toJSON(): IMetadataAtomic {
@@ -77,8 +63,24 @@ export class MetadataAtomic {
               : tag.value,
           validate: tag.validate,
           exclusive: tag.exclusive,
+          schema: this.type !== "bigint" ? tag.schema : undefined,
         })),
       ),
     };
   }
 }
+
+const getName = (obj: MetadataAtomic): string => {
+  if (obj.tags.length === 0) return obj.type;
+  else if (obj.tags.length === 1) {
+    const str: string = [obj.type, ...obj.tags[0]!.map((t) => t.name)].join(
+      " & ",
+    );
+    return `(${str})`;
+  }
+  const rows: string[] = obj.tags.map((row) => {
+    const str: string = row.map((t) => t.name).join(" & ");
+    return row.length === 1 ? str : `(${str})`;
+  });
+  return `(${obj.type} & (${rows.join(" | ")}))`;
+};

package/src/schemas/metadata/MetadataConstant.ts

@@ -1,21 +1,15 @@
 import { ClassProperties } from "../../typings/ClassProperties";
 
 import { IMetadataConstant } from "./IMetadataConstant";
-import { IMetadataTypeTag } from "./IMetadataTypeTag";
+import { MetadataConstantValue } from "./MetadataConstantValue";
 
 export class MetadataConstant {
   public readonly type: "boolean" | "bigint" | "number" | "string";
-  public readonly values: boolean[] | bigint[] | number[] | string[];
-
-  /**
-   * @internal
-   */
-  public tags?: IMetadataTypeTag[][] | undefined;
+  public readonly values: MetadataConstantValue[];
 
   private constructor(props: ClassProperties<MetadataConstant>) {
     this.type = props.type;
-    this.values = props.values;
-    this.tags = props.tags;
+    this.values = props.values.map(MetadataConstantValue.create);
   }
 
   public static create(
@@ -27,20 +21,14 @@ export class MetadataConstant {
   public static from(json: IMetadataConstant): MetadataConstant {
     return MetadataConstant.create({
       type: json.type,
-      values:
-        json.type === "bigint"
-          ? json.values.map((v) => BigInt(v))
-          : (json.values as any[]),
+      values: json.values.map(MetadataConstantValue.from),
     });
   }
 
   public toJSON(): IMetadataConstant {
     return {
       type: this.type,
-      values:
-        this.type === "bigint"
-          ? this.values.map((v) => v.toString())
-          : (this.values as any[]),
+      values: this.values.map((value) => value.toJSON()),
     };
   }
 }

package/src/schemas/metadata/MetadataConstantValue.ts

@@ -0,0 +1,53 @@
+import { ClassProperties } from "../../typings/ClassProperties";
+
+import { IMetadataConstantValue } from "./IMetadataConstantValue";
+import { IMetadataTypeTag } from "./IMetadataTypeTag";
+
+export class MetadataConstantValue {
+  public readonly value: boolean | bigint | number | string;
+  public tags: IMetadataTypeTag[][] | undefined;
+  private name_?: string;
+
+  private constructor(props: ClassProperties<MetadataConstantValue>) {
+    this.value = props.value;
+    this.tags = props.tags;
+  }
+
+  public static create(
+    props: ClassProperties<MetadataConstantValue>,
+  ): MetadataConstantValue {
+    return new MetadataConstantValue(props);
+  }
+
+  public static from(json: IMetadataConstantValue<any>): MetadataConstantValue {
+    return MetadataConstantValue.create({
+      value: typeof json.value === "bigint" ? BigInt(json.value) : json.value,
+      tags: json.tags,
+    });
+  }
+
+  public getName(): string {
+    return (this.name_ ??= getName(this));
+  }
+
+  public toJSON(): IMetadataConstantValue<any> {
+    return {
+      value:
+        typeof this.value === "bigint" ? this.value.toString() : this.value,
+      tags: this.tags,
+    };
+  }
+}
+
+const getName = (obj: MetadataConstantValue): string => {
+  const base: string =
+    typeof obj.value === "string"
+      ? JSON.stringify(obj.value)
+      : obj.value.toString();
+  if (!obj.tags?.length) return base;
+  const rows: string[] = obj.tags.map((row) => {
+    const str: string = row.map((t) => t.name).join(" & ");
+    return row.length === 1 ? str : `(${str})`;
+  });
+  return `(${base} & (${rows.join(" | ")}))`;
+};

package/src/tags/Constant.ts

@@ -0,0 +1,15 @@
+import { TagBase } from "./TagBase";
+
+export type Constant<
+  Value extends boolean | number | string,
+  Content extends {
+    title?: string | undefined;
+    description?: string | undefined;
+  },
+> = Value &
+  TagBase<{
+    target: "string" | "boolean" | "number";
+    kind: "constant";
+    value: undefined;
+    schema: Content;
+  }>;

package/src/tags/ContentMediaType.ts

@@ -0,0 +1,10 @@
+import { TagBase } from "./TagBase";
+
+export type ContentMediaType<Value extends string> = TagBase<{
+  target: "string";
+  kind: "contentMediaType";
+  value: undefined;
+  schema: {
+    contentMediaType: Value;
+  };
+}>;

package/src/tags/Default.ts

@@ -5,11 +5,14 @@ export type Default<Value extends boolean | bigint | number | string> =
     target: Value extends boolean
       ? "boolean"
       : Value extends bigint
-      ? "bigint"
-      : Value extends number
-      ? "number"
-      : "string";
+        ? "bigint"
+        : Value extends number
+          ? "number"
+          : "string";
     kind: "default";
     value: Value;
     exclusive: true;
+    schema: {
+      default: Value;
+    };
   }>;

package/src/tags/ExclusiveMaximum.ts

@@ -6,6 +6,12 @@ export type ExclusiveMaximum<Value extends number | bigint> = TagBase<{
   value: Value;
   validate: `$input < ${Numeric<Value>}`;
   exclusive: ["exclusiveMaximum", "maximum"];
+  schema: Value extends number
+    ? {
+        exclusiveMaximum: true;
+        maximum: Value;
+      }
+    : undefined;
 }>;
 
 type Numeric<Value extends number | bigint> = Value extends number

package/src/tags/ExclusiveMinimum.ts

@@ -6,6 +6,12 @@ export type ExclusiveMinimum<Value extends number | bigint> = TagBase<{
   value: Value;
   validate: `${Numeric<Value>} < $input`;
   exclusive: ["exclusiveMinimum", "minimum"];
+  schema: Value extends number
+    ? {
+        exclusiveMinimum: true;
+        minimum: Value;
+      }
+    : undefined;
 }>;
 
 type Numeric<Value extends number | bigint> = Value extends number

package/src/tags/Format.ts

@@ -1,30 +1,16 @@
-import { TagBase } from "./TagBase";
+import type { TagBase } from "./TagBase";
+import type { FormatCheatSheet } from "./internal/FormatCheatSheet";
 
-export type Format<
-  Value extends
-    | "email"
-    | "uuid"
-    | "ipv4"
-    | "ipv6"
-    | "url"
-    | "date"
-    | "date-time",
-> = TagBase<{
+export type Format<Value extends keyof Format.Validator> = TagBase<{
   target: "string";
   kind: "format";
   value: Value;
-  validate: Value extends "email"
-    ? `/^(([^<>()[\\]\\.,;:\\s@\\"]+(\\.[^<>()[\\]\\.,;:\\s@\\"]+)*)|(\\".+\\"))@(([^<>()[\\]\\.,;:\\s@\\"]+\\.)+[^<>()[\\]\\.,;:\\s@\\"]{2,})$/i.test($input)`
-    : Value extends "uuid"
-    ? `/^(?:[0-9a-f]{8}-[0-9a-f]{4}-[1-5][0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}|00000000-0000-0000-0000-000000000000)$/i.test($input)`
-    : Value extends "ipv4"
-    ? `/^(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)\\.(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)\\.(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)\\.(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)$/.test($input)`
-    : Value extends "ipv6"
-    ? `/^(([0-9a-fA-F]{1,4}:){7,7}[0-9a-fA-F]{1,4}|([0-9a-fA-F]{1,4}:){1,7}:|([0-9a-fA-F]{1,4}:){1,6}:[0-9a-fA-F]{1,4}|([0-9a-fA-F]{1,4}:){1,5}(:[0-9a-fA-F]{1,4}){1,2}|([0-9a-fA-F]{1,4}:){1,4}(:[0-9a-fA-F]{1,4}){1,3}|([0-9a-fA-F]{1,4}:){1,3}(:[0-9a-fA-F]{1,4}){1,4}|([0-9a-fA-F]{1,4}:){1,2}(:[0-9a-fA-F]{1,4}){1,5}|[0-9a-fA-F]{1,4}:((:[0-9a-fA-F]{1,4}){1,6})|:((:[0-9a-fA-F]{1,4}){1,7}|:)|fe80:(:[0-9a-fA-F]{0,4}){0,4}%[0-9a-zA-Z]{1,}|::(ffff(:0{1,4}){0,1}:){0,1}((25[0-5]|(2[0-4]|1{0,1}[0-9]){0,1}[0-9])\\.){3,3}(25[0-5]|(2[0-4]|1{0,1}[0-9]){0,1}[0-9])|([0-9a-fA-F]{1,4}:){1,4}:((25[0-5]|(2[0-4]|1{0,1}[0-9]){0,1}[0-9])\\.){3,3}(25[0-5]|(2[0-4]|1{0,1}[0-9]){0,1}[0-9]))$/.test($input)`
-    : Value extends "url"
-    ? `/^[a-zA-Z0-9]+:\\/\\/(?:www.)?[-a-zA-Z0-9@:%._+~#=]{1,256}.[a-zA-Z0-9()]{1,6}\\b(?:[-a-zA-Z0-9()@:%_+.~#?&/=]*)$/.test($input)`
-    : Value extends "date"
-    ? `/^(\\d{4})-(\\d{2})-(\\d{2})$/.test($input)`
-    : `!isNaN(new Date($input).getTime())`;
+  validate: Format.Validator[Value];
   exclusive: ["format", "pattern"];
+  schema: {
+    format: Value;
+  };
 }>;
+export namespace Format {
+  export type Validator = typeof FormatCheatSheet;
+}

package/src/tags/JsonSchemaPlugin.ts

@@ -0,0 +1,8 @@
+import { TagBase } from "./TagBase";
+
+export type JsonSchemaPlugin<Schema extends object> = TagBase<{
+  target: "string" | "boolean" | "number" | "array";
+  kind: "jsonPlugin";
+  value: undefined;
+  schema: Schema;
+}>;

package/src/tags/MaxItems.ts

@@ -6,4 +6,7 @@ export type MaxItems<Value extends number> = TagBase<{
   value: Value;
   validate: `$input.length <= ${Value}`;
   exclusive: true;
+  schema: {
+    maxItems: Value;
+  };
 }>;

package/src/tags/MaxLength.ts

@@ -6,4 +6,7 @@ export type MaxLength<Value extends number> = TagBase<{
   value: Value;
   validate: `$input.length <= ${Value}`;
   exclusive: true;
+  schema: {
+    maxLength: Value;
+  };
 }>;

package/src/tags/Maximum.ts

@@ -6,6 +6,11 @@ export type Maximum<Value extends number | bigint> = TagBase<{
   value: Value;
   validate: `$input <= ${Numeric<Value>}`;
   exclusive: ["maximum", "exclusiveMaximum"];
+  schema: Value extends number
+    ? {
+        maximum: Value;
+      }
+    : undefined;
 }>;
 
 type Numeric<Value extends number | bigint> = Value extends number

package/src/tags/MinItems.ts

@@ -6,4 +6,7 @@ export type MinItems<Value extends number> = TagBase<{
   value: Value;
   validate: `${Value} <= $input.length`;
   exclusive: true;
+  schema: {
+    minItems: Value;
+  };
 }>;

package/src/tags/MinLength.ts

@@ -6,4 +6,7 @@ export type MinLength<Value extends number> = TagBase<{
   value: Value;
   validate: `${Value} <= $input.length`;
   exclusive: true;
+  schema: {
+    minLength: Value;
+  };
 }>;

package/src/tags/Minimum.ts

@@ -6,6 +6,11 @@ export type Minimum<Value extends number | bigint> = TagBase<{
   value: Value;
   validate: `${Numeric<Value>} <= $input`;
   exclusive: ["minimum", "exclusiveMinimum"];
+  schema: Value extends number
+    ? {
+        minimum: Value;
+      }
+    : undefined;
 }>;
 
 type Numeric<Value extends number | bigint> = Value extends number

package/src/tags/MultipleOf.ts

@@ -8,6 +8,11 @@ export type MultipleOf<Value extends number | bigint> = TagBase<{
     ? Numeric<0n>
     : 0}`;
   exclusive: true;
+  schema: Value extends number
+    ? {
+        multipleOf: Value;
+      }
+    : undefined;
 }>;
 
 type Numeric<Value extends number | bigint> = Value extends number

package/src/tags/Pattern.ts

@@ -6,4 +6,7 @@ export type Pattern<Value extends string> = TagBase<{
   value: Value;
   validate: `/${Value}/.test($input)`;
   exclusive: ["format", "pattern"];
+  schema: {
+    pattern: Value;
+  };
 }>;

package/src/tags/TagBase.ts

@@ -1,4 +1,6 @@
-export type TagBase<Props extends TagBase.IProps<any, any, any, any, any>> = {
+export type TagBase<
+  Props extends TagBase.IProps<any, any, any, any, any, any>,
+> = {
   /**
    * This is a dummy property for compilation.
    *
@@ -17,6 +19,7 @@ export namespace TagBase {
           [key in Target]?: string;
         },
     Exclusive extends boolean | string[],
+    Schema extends object | undefined,
   > {
     /**
      * Target type.
@@ -64,5 +67,10 @@ export namespace TagBase {
      * @default false
      */
     exclusive?: Exclusive | string[];
+
+    /**
+     * Additional schema info assigned to the {@link IJsonSchema} object.
+     */
+    schema?: Schema;
   }
 }

package/src/tags/Type.ts

@@ -9,19 +9,24 @@ export type Type<
   validate: Value extends "int32"
     ? `Math.floor($input) === $input && -2147483648 <= $input && $input <= 2147483647`
     : Value extends "uint32"
-    ? `Math.floor($input) === $input && 0 <= $input && $input <= 4294967295`
-    : Value extends "int64"
-    ? {
-        number: `Math.floor($input) === $input && -9223372036854775808 <= $input && $input <= 9223372036854775807`;
-        bigint: `true`;
-      }
-    : Value extends "uint64"
-    ? {
-        number: `Math.floor($input) === $input && 0 <= $input && $input <= 18446744073709551615`;
-        bigint: `BigInt(0) <= $input`;
-      }
-    : Value extends "float"
-    ? `-1.175494351e38 <= $input && $input <= 3.4028235e38`
-    : `true`;
+      ? `Math.floor($input) === $input && 0 <= $input && $input <= 4294967295`
+      : Value extends "int64"
+        ? {
+            number: `Math.floor($input) === $input && -9223372036854775808 <= $input && $input <= 9223372036854775807`;
+            bigint: `true`;
+          }
+        : Value extends "uint64"
+          ? {
+              number: `Math.floor($input) === $input && 0 <= $input && $input <= 18446744073709551615`;
+              bigint: `BigInt(0) <= $input`;
+            }
+          : Value extends "float"
+            ? `-1.175494351e38 <= $input && $input <= 3.4028235e38`
+            : `true`;
   exclusive: true;
+  schema: {
+    type: Value extends "int32" | "uint32" | "int64" | "uint64"
+      ? "integer"
+      : "number";
+  };
 }>;

package/src/tags/index.ts

@@ -1,3 +1,4 @@
+export * from "./Constant";
 export * from "./Default";
 export * from "./ExclusiveMaximum";
 export * from "./ExclusiveMinimum";
@@ -9,6 +10,8 @@ export * from "./Minimum";
 export * from "./MinItems";
 export * from "./MinLength";
 export * from "./MultipleOf";
+export * from "./JsonSchemaPlugin";
 export * from "./Pattern";
 export * from "./TagBase";
 export * from "./Type";
+export * from "./ContentMediaType";

package/src/tags/internal/FormatCheatSheet.ts

@@ -0,0 +1,71 @@
+const RegexCall = <Text extends string>(text: Text) =>
+  `${text}.test($input)` as const;
+
+/**
+ * @reference https://github.dev/ajv-validator/ajv-formats/blob/master/src/formats.ts
+ */
+export const FormatCheatSheet = {
+  // SPECIAL CHARACTERS
+  byte: RegexCall(
+    `/^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==|[A-Za-z0-9+/]{3}=)?$/gm`,
+  ),
+  password: `true`,
+  regex: `(() => { try { new RegExp($input); return true; } catch { return false; } })()`,
+  uuid: RegexCall(
+    `/^(?:urn:uuid:)?[0-9a-f]{8}-(?:[0-9a-f]{4}-){3}[0-9a-f]{12}$/i`,
+  ),
+
+  // ADDRESSES
+  email: RegexCall(
+    `/^[a-z0-9!#$%&'*+/=?^_\`{|}~-]+(?:\\.[a-z0-9!#$%&'*+/=?^_\`{|}~-]+)*@(?:[a-z0-9](?:[a-z0-9-]*[a-z0-9])?\\.)+[a-z0-9](?:[a-z0-9-]*[a-z0-9])?$/i`,
+  ),
+  hostname: RegexCall(
+    `/^(?=.{1,253}\\.?$)[a-z0-9](?:[a-z0-9-]{0,61}[a-z0-9])?(?:\\.[a-z0-9](?:[-0-9a-z]{0,61}[0-9a-z])?)*\\.?$/i`,
+  ),
+  "idn-email": RegexCall(
+    `/^(([^<>()[\\]\\.,;:\\s@\\"]+(\\.[^<>()[\\]\\.,;:\\s@\\"]+)*)|(\\".+\\"))@(([^<>()[\\]\\.,;:\\s@\\"]+\\.)+[^<>()[\\]\\.,;:\\s@\\"]{2,})$/i`,
+  ),
+  "idn-hostname": RegexCall(
+    `/^([a-z0-9\\u00a1-\\uffff0-9]+(-[a-z0-9\\u00a1-\\uffff0-9]+)*\\.)+[a-z\\u00a1-\\uffff]{2,}$/i`,
+  ),
+  iri: RegexCall(
+    `/^[A-Za-z][\\d+-.A-Za-z]*:[^\\u0000-\\u0020"<>\\\\^\`{|}]*$/u`,
+  ),
+  "iri-reference": RegexCall(
+    `/^[A-Za-z][\\d+-.A-Za-z]*:[^\\u0000-\\u0020"<>\\\\^\`{|}]*$/u`,
+  ),
+  ipv4: RegexCall(
+    `/^(?:(?:25[0-5]|2[0-4]\\d|1\\d\\d|[1-9]?\\d)\\.){3}(?:25[0-5]|2[0-4]\\d|1\\d\\d|[1-9]?\\d)$/`,
+  ),
+  ipv6: RegexCall(
+    `/^((([0-9a-f]{1,4}:){7}([0-9a-f]{1,4}|:))|(([0-9a-f]{1,4}:){6}(:[0-9a-f]{1,4}|((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3})|:))|(([0-9a-f]{1,4}:){5}(((:[0-9a-f]{1,4}){1,2})|:((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3})|:))|(([0-9a-f]{1,4}:){4}(((:[0-9a-f]{1,4}){1,3})|((:[0-9a-f]{1,4})?:((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3}))|:))|(([0-9a-f]{1,4}:){3}(((:[0-9a-f]{1,4}){1,4})|((:[0-9a-f]{1,4}){0,2}:((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3}))|:))|(([0-9a-f]{1,4}:){2}(((:[0-9a-f]{1,4}){1,5})|((:[0-9a-f]{1,4}){0,3}:((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3}))|:))|(([0-9a-f]{1,4}:){1}(((:[0-9a-f]{1,4}){1,6})|((:[0-9a-f]{1,4}){0,4}:((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3}))|:))|(:(((:[0-9a-f]{1,4}){1,7})|((:[0-9a-f]{1,4}){0,5}:((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3}))|:)))$/i`,
+  ),
+  uri: `${RegexCall(`/\\/|:/`)} && ${RegexCall(
+    `/^(?:[a-z][a-z0-9+\\-.]*:)(?:\\/?\\/(?:(?:[a-z0-9\\-._~!$&'()*+,;=:]|%[0-9a-f]{2})*@)?(?:\\[(?:(?:(?:(?:[0-9a-f]{1,4}:){6}|::(?:[0-9a-f]{1,4}:){5}|(?:[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){4}|(?:(?:[0-9a-f]{1,4}:){0,1}[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){3}|(?:(?:[0-9a-f]{1,4}:){0,2}[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){2}|(?:(?:[0-9a-f]{1,4}:){0,3}[0-9a-f]{1,4})?::[0-9a-f]{1,4}:|(?:(?:[0-9a-f]{1,4}:){0,4}[0-9a-f]{1,4})?::)(?:[0-9a-f]{1,4}:[0-9a-f]{1,4}|(?:(?:25[0-5]|2[0-4]\\d|[01]?\\d\\d?)\\.){3}(?:25[0-5]|2[0-4]\\d|[01]?\\d\\d?))|(?:(?:[0-9a-f]{1,4}:){0,5}[0-9a-f]{1,4})?::[0-9a-f]{1,4}|(?:(?:[0-9a-f]{1,4}:){0,6}[0-9a-f]{1,4})?::)|[Vv][0-9a-f]+\\.[a-z0-9\\-._~!$&'()*+,;=:]+)\\]|(?:(?:25[0-5]|2[0-4]\\d|[01]?\\d\\d?)\\.){3}(?:25[0-5]|2[0-4]\\d|[01]?\\d\\d?)|(?:[a-z0-9\\-._~!$&'()*+,;=]|%[0-9a-f]{2})*)(?::\\d*)?(?:\\/(?:[a-z0-9\\-._~!$&'()*+,;=:@]|%[0-9a-f]{2})*)*|\\/(?:(?:[a-z0-9\\-._~!$&'()*+,;=:@]|%[0-9a-f]{2})+(?:\\/(?:[a-z0-9\\-._~!$&'()*+,;=:@]|%[0-9a-f]{2})*)*)?|(?:[a-z0-9\\-._~!$&'()*+,;=:@]|%[0-9a-f]{2})+(?:\\/(?:[a-z0-9\\-._~!$&'()*+,;=:@]|%[0-9a-f]{2})*)*)(?:\\?(?:[a-z0-9\\-._~!$&'()*+,;=:@/?]|%[0-9a-f]{2})*)?(?:#(?:[a-z0-9\\-._~!$&'()*+,;=:@/?]|%[0-9a-f]{2})*)?$/i`,
+  )}`,
+  "uri-reference": RegexCall(
+    `/^(?:[a-z][a-z0-9+\\-.]*:)?(?:\\/?\\/(?:(?:[a-z0-9\\-._~!$&'()*+,;=:]|%[0-9a-f]{2})*@)?(?:\\[(?:(?:(?:(?:[0-9a-f]{1,4}:){6}|::(?:[0-9a-f]{1,4}:){5}|(?:[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){4}|(?:(?:[0-9a-f]{1,4}:){0,1}[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){3}|(?:(?:[0-9a-f]{1,4}:){0,2}[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){2}|(?:(?:[0-9a-f]{1,4}:){0,3}[0-9a-f]{1,4})?::[0-9a-f]{1,4}:|(?:(?:[0-9a-f]{1,4}:){0,4}[0-9a-f]{1,4})?::)(?:[0-9a-f]{1,4}:[0-9a-f]{1,4}|(?:(?:25[0-5]|2[0-4]\\d|[01]?\\d\\d?)\\.){3}(?:25[0-5]|2[0-4]\\d|[01]?\\d\\d?))|(?:(?:[0-9a-f]{1,4}:){0,5}[0-9a-f]{1,4})?::[0-9a-f]{1,4}|(?:(?:[0-9a-f]{1,4}:){0,6}[0-9a-f]{1,4})?::)|[Vv][0-9a-f]+\\.[a-z0-9\\-._~!$&'()*+,;=:]+)\\]|(?:(?:25[0-5]|2[0-4]\\d|[01]?\\d\\d?)\\.){3}(?:25[0-5]|2[0-4]\\d|[01]?\\d\\d?)|(?:[a-z0-9\\-._~!$&'"()*+,;=]|%[0-9a-f]{2})*)(?::\\d*)?(?:\\/(?:[a-z0-9\\-._~!$&'"()*+,;=:@]|%[0-9a-f]{2})*)*|\\/(?:(?:[a-z0-9\\-._~!$&'"()*+,;=:@]|%[0-9a-f]{2})+(?:\\/(?:[a-z0-9\\-._~!$&'"()*+,;=:@]|%[0-9a-f]{2})*)*)?|(?:[a-z0-9\\-._~!$&'"()*+,;=:@]|%[0-9a-f]{2})+(?:\\/(?:[a-z0-9\\-._~!$&'"()*+,;=:@]|%[0-9a-f]{2})*)*)?(?:\\?(?:[a-z0-9\\-._~!$&'"()*+,;=:@/?]|%[0-9a-f]{2})*)?(?:#(?:[a-z0-9\\-._~!$&'"()*+,;=:@/?]|%[0-9a-f]{2})*)?$/i`,
+  ),
+  "uri-template": RegexCall(
+    `/^(?:(?:[^\\x00-\\x20"'<>%\\\\^\`{|}]|%[0-9a-f]{2})|\\{[+#./;?&=,!@|]?(?:[a-z0-9_]|%[0-9a-f]{2})+(?::[1-9][0-9]{0,3}|\\*)?(?:,(?:[a-z0-9_]|%[0-9a-f]{2})+(?::[1-9][0-9]{0,3}|\\*)?)*\\})*$/i`,
+  ),
+  url: RegexCall(
+    `/^(?:https?|ftp):\\/\\/(?:\\S+(?::\\S*)?@)?(?:(?!(?:10|127)(?:\\.\\d{1,3}){3})(?!(?:169\\.254|192\\.168)(?:\\.\\d{1,3}){2})(?!172\\.(?:1[6-9]|2\\d|3[0-1])(?:\\.\\d{1,3}){2})(?:[1-9]\\d?|1\\d\\d|2[01]\\d|22[0-3])(?:\\.(?:1?\\d{1,2}|2[0-4]\\d|25[0-5])){2}(?:\\.(?:[1-9]\\d?|1\\d\\d|2[0-4]\\d|25[0-4]))|(?:(?:[a-z0-9\\u{00a1}-\\u{ffff}]+-)*[a-z0-9\\u{00a1}-\\u{ffff}]+)(?:\\.(?:[a-z0-9\\u{00a1}-\\u{ffff}]+-)*[a-z0-9\\u{00a1}-\\u{ffff}]+)*(?:\\.(?:[a-z\\u{00a1}-\\u{ffff}]{2,})))(?::\\d{2,5})?(?:\\/[^\\s]*)?$/iu`,
+  ),
+
+  // TIMESTAMPS
+  "date-time": `!isNaN(new Date($input).getTime())`,
+  date: RegexCall(`/^(\\d{4})-(\\d{2})-(\\d{2})$/`),
+  time: RegexCall(
+    `/^(\\d\\d):(\\d\\d):(\\d\\d(?:\\.\\d+)?)(z|([+-])(\\d\\d)(?::?(\\d\\d))?)?$/i`,
+  ),
+  duration: RegexCall(
+    `/^P(?!$)((\\d+Y)?(\\d+M)?(\\d+D)?(T(?=\\d)(\\d+H)?(\\d+M)?(\\d+S)?)?|(\\d+W)?)$/`,
+  ),
+
+  // POINTERS
+  "json-pointer": RegexCall(`/^(?:\\/(?:[^~/]|~0|~1)*)*$/`),
+  "relative-json-pointer": RegexCall(
+    `/^(?:0|[1-9][0-9]*)(?:#|(?:\\/(?:[^~/]|~0|~1)*)*)$/`,
+  ),
+} as const;