typia 9.7.2 → 10.0.0-dev.20251107

package/src/tags/TagBase.ts

@@ -1,102 +1,102 @@
-/**
- * Base type for all validation tags in typia.
- *
- * TagBase provides the foundation for all typia's validation tags. It attaches
- * metadata to TypeScript types that typia's transformer processes at
- * compile-time to generate optimized runtime validation code.
- *
- * @author Jeongho Nam - https://github.com/samchon
- * @example
- *   ```typescript
- *   // Custom tag example
- *   type MyCustomTag<Value extends number> = TagBase<{
- *   target: "number";
- *   kind: "MyCustom";
- *   value: Value;
- *   validate: `$input === ${Value}`;
- *   }>;
- *   ```
- *
- * @template Props - Tag properties that define validation behavior
- */
-export type TagBase<
-  Props extends TagBase.IProps<any, any, any, any, any, any>,
-> = {
-  /**
-   * This is a dummy property for compilation.
-   *
-   * It does not mean anything in runtime.
-   */
-  "typia.tag"?: Props;
-};
-export namespace TagBase {
-  /**
-   * Properties interface for validation tags.
-   *
-   * @author Jeongho Nam - https://github.com/samchon
-   */
-  export interface IProps<
-    Target extends
-      | "boolean"
-      | "bigint"
-      | "number"
-      | "string"
-      | "array"
-      | "object",
-    Kind extends string,
-    Value extends boolean | bigint | number | string | undefined,
-    Validate extends
-      | string
-      | {
-          [key in Target]?: string;
-        },
-    Exclusive extends boolean | string[],
-    Schema extends object | undefined,
-  > {
-    /**
-     * Target type.
-     *
-     * If user tries to adapt this tag to a different type, it would be a
-     * compile error.
-     *
-     * For example, you've configured target type as `string`, but user adapted
-     * it onto a `number` type (`number & YourCustomTag<Value>`), then it would
-     * be blocked by TypeScript compiler.
-     */
-    target: Target;
-
-    /** What kind of tag is this? */
-    kind: Kind;
-
-    /** Value to be configured by user. */
-    value: Value;
-
-    /**
-     * Validation script.
-     *
-     * This script would be inserted into the generated validation function. In
-     * here script, target variable name must be `$input`. The variable name
-     * `$input` would be transformed to the suitable when compilation.
-     *
-     * Also, If you've take a mistake on this script, compile error would be
-     * occurred. So, define it with confidence. Compiler will block all your
-     * mistakes.
-     */
-    validate?: Validate;
-
-    /**
-     * Exclusive option.
-     *
-     * If this property configured as `true`, same {@link kind} tag cannot be
-     * duplicated in the target type. Otherwise, if you've configured this
-     * property as string array, all of the {@link kind} value assigned tags
-     * cannot be compatible in the target type.
-     *
-     * @default false
-     */
-    exclusive?: Exclusive | string[];
-
-    /** Additional schema info assigned to the {@link IJsonSchema} object. */
-    schema?: Schema;
-  }
-}
+/**
+ * Base type for all validation tags in typia.
+ *
+ * TagBase provides the foundation for all typia's validation tags. It attaches
+ * metadata to TypeScript types that typia's transformer processes at
+ * compile-time to generate optimized runtime validation code.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @example
+ *   ```typescript
+ *   // Custom tag example
+ *   type MyCustomTag<Value extends number> = TagBase<{
+ *   target: "number";
+ *   kind: "MyCustom";
+ *   value: Value;
+ *   validate: `$input === ${Value}`;
+ *   }>;
+ *   ```
+ *
+ * @template Props - Tag properties that define validation behavior
+ */
+export type TagBase<
+  Props extends TagBase.IProps<any, any, any, any, any, any>,
+> = {
+  /**
+   * This is a dummy property for compilation.
+   *
+   * It does not mean anything in runtime.
+   */
+  "typia.tag"?: Props;
+};
+export namespace TagBase {
+  /**
+   * Properties interface for validation tags.
+   *
+   * @author Jeongho Nam - https://github.com/samchon
+   */
+  export interface IProps<
+    Target extends
+      | "boolean"
+      | "bigint"
+      | "number"
+      | "string"
+      | "array"
+      | "object",
+    Kind extends string,
+    Value extends boolean | bigint | number | string | undefined,
+    Validate extends
+      | string
+      | {
+          [key in Target]?: string;
+        },
+    Exclusive extends boolean | string[],
+    Schema extends object | undefined,
+  > {
+    /**
+     * Target type.
+     *
+     * If user tries to adapt this tag to a different type, it would be a
+     * compile error.
+     *
+     * For example, you've configured target type as `string`, but user adapted
+     * it onto a `number` type (`number & YourCustomTag<Value>`), then it would
+     * be blocked by TypeScript compiler.
+     */
+    target: Target;
+
+    /** What kind of tag is this? */
+    kind: Kind;
+
+    /** Value to be configured by user. */
+    value: Value;
+
+    /**
+     * Validation script.
+     *
+     * This script would be inserted into the generated validation function. In
+     * here script, target variable name must be `$input`. The variable name
+     * `$input` would be transformed to the suitable when compilation.
+     *
+     * Also, If you've take a mistake on this script, compile error would be
+     * occurred. So, define it with confidence. Compiler will block all your
+     * mistakes.
+     */
+    validate?: Validate;
+
+    /**
+     * Exclusive option.
+     *
+     * If this property configured as `true`, same {@link kind} tag cannot be
+     * duplicated in the target type. Otherwise, if you've configured this
+     * property as string array, all of the {@link kind} value assigned tags
+     * cannot be compatible in the target type.
+     *
+     * @default false
+     */
+    exclusive?: Exclusive | string[];
+
+    /** Additional schema info assigned to the {@link IJsonSchema} object. */
+    schema?: Schema;
+  }
+}

package/src/tags/Type.ts

@@ -1,64 +1,64 @@
-import { TagBase } from "./TagBase";
-
-/**
- * Type tag for specifying numeric bit-width representations.
- *
- * Constrains numeric types to specific bit-width formats used in systems
- * programming and protocol buffers. Ensures numbers conform to
- * platform-specific representations.
- *
- * Supported types:
- *
- * - `int32`: 32-bit signed integer (-2^31 to 2^31-1)
- * - `uint32`: 32-bit unsigned integer (0 to 2^32-1)
- * - `int64`: 64-bit signed integer (supports both bigint and number)
- * - `uint64`: 64-bit unsigned integer (supports both bigint and number)
- * - `float`: 32-bit floating point (single precision)
- * - `double`: 64-bit floating point (double precision, default JS number)
- *
- * @author Jeongho Nam - https://github.com/samchon
- * @example
- *   ```typescript
- *   type Score = number & Type<"int32">;      // -2,147,483,648 to 2,147,483,647
- *   type UserId = number & Type<"uint32">;    // 0 to 4,294,967,295
- *   type FileSize = bigint & Type<"int64">;   // Large file sizes
- *   type Coordinate = number & Type<"double">; // High precision coordinates
- *   ```
- *
- * @template Value - The numeric type representation
- */
-export type Type<
-  Value extends "int32" | "uint32" | "int64" | "uint64" | "float" | "double",
-> = TagBase<{
-  target: Value extends "int64" | "uint64" ? "bigint" | "number" : "number";
-  kind: "type";
-  value: Value;
-  validate: Value extends "int32"
-    ? `$importInternal("isTypeInt32")($input)`
-    : Value extends "uint32"
-      ? `$importInternal("isTypeUint32")($input)`
-      : Value extends "int64"
-        ? {
-            number: `$importInternal("isTypeInt64")($input)`;
-            bigint: `true`;
-          }
-        : Value extends "uint64"
-          ? {
-              number: `$importInternal("isTypeUint64")($input)`;
-              bigint: `BigInt(0) <= $input`;
-            }
-          : Value extends "float"
-            ? `$importInternal("isTypeFloat")($input)`
-            : `true`;
-  exclusive: true;
-  schema: Value extends "uint32" | "uint64"
-    ? {
-        type: "integer";
-        minimum: 0;
-      }
-    : {
-        type: Value extends "int32" | "uint32" | "int64" | "uint64"
-          ? "integer"
-          : "number";
-      };
-}>;
+import { TagBase } from "./TagBase";
+
+/**
+ * Type tag for specifying numeric bit-width representations.
+ *
+ * Constrains numeric types to specific bit-width formats used in systems
+ * programming and protocol buffers. Ensures numbers conform to
+ * platform-specific representations.
+ *
+ * Supported types:
+ *
+ * - `int32`: 32-bit signed integer (-2^31 to 2^31-1)
+ * - `uint32`: 32-bit unsigned integer (0 to 2^32-1)
+ * - `int64`: 64-bit signed integer (supports both bigint and number)
+ * - `uint64`: 64-bit unsigned integer (supports both bigint and number)
+ * - `float`: 32-bit floating point (single precision)
+ * - `double`: 64-bit floating point (double precision, default JS number)
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @example
+ *   ```typescript
+ *   type Score = number & Type<"int32">;      // -2,147,483,648 to 2,147,483,647
+ *   type UserId = number & Type<"uint32">;    // 0 to 4,294,967,295
+ *   type FileSize = bigint & Type<"int64">;   // Large file sizes
+ *   type Coordinate = number & Type<"double">; // High precision coordinates
+ *   ```
+ *
+ * @template Value - The numeric type representation
+ */
+export type Type<
+  Value extends "int32" | "uint32" | "int64" | "uint64" | "float" | "double",
+> = TagBase<{
+  target: Value extends "int64" | "uint64" ? "bigint" | "number" : "number";
+  kind: "type";
+  value: Value;
+  validate: Value extends "int32"
+    ? `$importInternal("isTypeInt32")($input)`
+    : Value extends "uint32"
+      ? `$importInternal("isTypeUint32")($input)`
+      : Value extends "int64"
+        ? {
+            number: `$importInternal("isTypeInt64")($input)`;
+            bigint: `true`;
+          }
+        : Value extends "uint64"
+          ? {
+              number: `$importInternal("isTypeUint64")($input)`;
+              bigint: `BigInt(0) <= $input`;
+            }
+          : Value extends "float"
+            ? `$importInternal("isTypeFloat")($input)`
+            : `true`;
+  exclusive: true;
+  schema: Value extends "uint32" | "uint64"
+    ? {
+        type: "integer";
+        minimum: 0;
+      }
+    : {
+        type: Value extends "int32" | "uint32" | "int64" | "uint64"
+          ? "integer"
+          : "number";
+      };
+}>;

package/src/tags/UniqueItems.ts

@@ -1,34 +1,34 @@
-import { TagBase } from "./TagBase";
-
-/**
- * Unique items validation tag for arrays.
- *
- * Enforces that all items in an array are unique, preventing duplicate values.
- * Uniqueness is determined using strict equality (===) for primitives and deep
- * structural comparison for objects and arrays. This means two objects with the
- * same properties and values are considered duplicates.
- *
- * @author Jeongho Nam - https://github.com/samchon
- * @example
- *   // Ensure all IDs are unique
- *   type UserIds = number[] & UniqueItems;
- *
- * @example
- *   // Prevent duplicate email addresses
- *   type EmailList = string[] & UniqueItems;
- *
- * @template Value - Boolean flag to enable/disable uniqueness validation
- *   (defaults to true)
- */
-export type UniqueItems<Value extends boolean = true> = TagBase<{
-  target: "array";
-  kind: "uniqueItems";
-  value: Value;
-  validate: Value extends true
-    ? `$importInternal("isUniqueItems")($input)`
-    : undefined;
-  exclusive: true;
-  schema: {
-    uniqueItems: true;
-  };
-}>;
+import { TagBase } from "./TagBase";
+
+/**
+ * Unique items validation tag for arrays.
+ *
+ * Enforces that all items in an array are unique, preventing duplicate values.
+ * Uniqueness is determined using strict equality (===) for primitives and deep
+ * structural comparison for objects and arrays. This means two objects with the
+ * same properties and values are considered duplicates.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @example
+ *   // Ensure all IDs are unique
+ *   type UserIds = number[] & UniqueItems;
+ *
+ * @example
+ *   // Prevent duplicate email addresses
+ *   type EmailList = string[] & UniqueItems;
+ *
+ * @template Value - Boolean flag to enable/disable uniqueness validation
+ *   (defaults to true)
+ */
+export type UniqueItems<Value extends boolean = true> = TagBase<{
+  target: "array";
+  kind: "uniqueItems";
+  value: Value;
+  validate: Value extends true
+    ? `$importInternal("isUniqueItems")($input)`
+    : undefined;
+  exclusive: true;
+  schema: {
+    uniqueItems: true;
+  };
+}>;

package/src/tags/internal/FormatCheatSheet.ts

@@ -1,71 +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": RegexCall(
-    `/^[0-9]{4}-(0[1-9]|1[0-2])-(0[1-9]|[12][0-9]|3[01])(T|\\s)([01][0-9]|2[0-3]):[0-5][0-9]:[0-5][0-9](?:\\.[0-9]{1,9})?(Z|[+-]([01][0-9]|2[0-3]):[0-5][0-9])$/i`,
-  ),
-  date: RegexCall(`/^[0-9]{4}-(0[1-9]|1[0-2])-(0[1-9]|[12][0-9]|3[01])$/`),
-  time: RegexCall(
-    `/^([01][0-9]|2[0-3]):[0-5][0-9]:[0-5][0-9](?:\\.[0-9]{1,9})?(Z|[+-]([01][0-9]|2[0-3]):[0-5][0-9])$/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;
+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": RegexCall(
+    `/^[0-9]{4}-(0[1-9]|1[0-2])-(0[1-9]|[12][0-9]|3[01])(T|\\s)([01][0-9]|2[0-3]):[0-5][0-9]:[0-5][0-9](?:\\.[0-9]{1,9})?(Z|[+-]([01][0-9]|2[0-3]):[0-5][0-9])$/i`,
+  ),
+  date: RegexCall(`/^[0-9]{4}-(0[1-9]|1[0-2])-(0[1-9]|[12][0-9]|3[01])$/`),
+  time: RegexCall(
+    `/^([01][0-9]|2[0-3]):[0-5][0-9]:[0-5][0-9](?:\\.[0-9]{1,9})?(Z|[+-]([01][0-9]|2[0-3]):[0-5][0-9])$/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;