typia 5.5.5 → 5.5.6-dev.20240319

package/src/tags/ExclusiveMinimum.ts

@@ -1,13 +1,13 @@
-import { TagBase } from "./TagBase";
-
-export type ExclusiveMinimum<Value extends number | bigint> = TagBase<{
-  target: Value extends number ? "number" : "bigint";
-  kind: "exclusiveMinimum";
-  value: Value;
-  validate: `${Numeric<Value>} < $input`;
-  exclusive: ["exclusiveMinimum", "minimum"];
-}>;
-
-type Numeric<Value extends number | bigint> = Value extends number
-  ? Value
-  : `BigInt(${Value})`;
+import { TagBase } from "./TagBase";
+
+export type ExclusiveMinimum<Value extends number | bigint> = TagBase<{
+  target: Value extends number ? "number" : "bigint";
+  kind: "exclusiveMinimum";
+  value: Value;
+  validate: `${Numeric<Value>} < $input`;
+  exclusive: ["exclusiveMinimum", "minimum"];
+}>;
+
+type Numeric<Value extends number | bigint> = Value extends number
+  ? Value
+  : `BigInt(${Value})`;

package/src/tags/Format.ts

@@ -1,13 +1,13 @@
-import type { TagBase } from "./TagBase";
-import type { FormatCheatSheet } from "./internal/FormatCheatSheet";
-
-export type Format<Value extends keyof Format.Validator> = TagBase<{
-  target: "string";
-  kind: "format";
-  value: Value;
-  validate: Format.Validator[Value];
-  exclusive: ["format", "pattern"];
-}>;
-export namespace Format {
-  export type Validator = typeof FormatCheatSheet;
-}
+import type { TagBase } from "./TagBase";
+import type { FormatCheatSheet } from "./internal/FormatCheatSheet";
+
+export type Format<Value extends keyof Format.Validator> = TagBase<{
+  target: "string";
+  kind: "format";
+  value: Value;
+  validate: Format.Validator[Value];
+  exclusive: ["format", "pattern"];
+}>;
+export namespace Format {
+  export type Validator = typeof FormatCheatSheet;
+}

package/src/tags/MaxItems.ts

@@ -1,9 +1,9 @@
-import { TagBase } from "./TagBase";
-
-export type MaxItems<Value extends number> = TagBase<{
-  target: "array";
-  kind: "maxItems";
-  value: Value;
-  validate: `$input.length <= ${Value}`;
-  exclusive: true;
-}>;
+import { TagBase } from "./TagBase";
+
+export type MaxItems<Value extends number> = TagBase<{
+  target: "array";
+  kind: "maxItems";
+  value: Value;
+  validate: `$input.length <= ${Value}`;
+  exclusive: true;
+}>;

package/src/tags/MaxLength.ts

@@ -1,9 +1,9 @@
-import { TagBase } from "./TagBase";
-
-export type MaxLength<Value extends number> = TagBase<{
-  target: "string";
-  kind: "maxLength";
-  value: Value;
-  validate: `$input.length <= ${Value}`;
-  exclusive: true;
-}>;
+import { TagBase } from "./TagBase";
+
+export type MaxLength<Value extends number> = TagBase<{
+  target: "string";
+  kind: "maxLength";
+  value: Value;
+  validate: `$input.length <= ${Value}`;
+  exclusive: true;
+}>;

package/src/tags/Maximum.ts

@@ -1,13 +1,13 @@
-import { TagBase } from "./TagBase";
-
-export type Maximum<Value extends number | bigint> = TagBase<{
-  target: Value extends number ? "number" : "bigint";
-  kind: "maximum";
-  value: Value;
-  validate: `$input <= ${Numeric<Value>}`;
-  exclusive: ["maximum", "exclusiveMaximum"];
-}>;
-
-type Numeric<Value extends number | bigint> = Value extends number
-  ? Value
-  : `BigInt(${Value})`;
+import { TagBase } from "./TagBase";
+
+export type Maximum<Value extends number | bigint> = TagBase<{
+  target: Value extends number ? "number" : "bigint";
+  kind: "maximum";
+  value: Value;
+  validate: `$input <= ${Numeric<Value>}`;
+  exclusive: ["maximum", "exclusiveMaximum"];
+}>;
+
+type Numeric<Value extends number | bigint> = Value extends number
+  ? Value
+  : `BigInt(${Value})`;

package/src/tags/MinItems.ts

@@ -1,9 +1,9 @@
-import { TagBase } from "./TagBase";
-
-export type MinItems<Value extends number> = TagBase<{
-  target: "array";
-  kind: "minItems";
-  value: Value;
-  validate: `${Value} <= $input.length`;
-  exclusive: true;
-}>;
+import { TagBase } from "./TagBase";
+
+export type MinItems<Value extends number> = TagBase<{
+  target: "array";
+  kind: "minItems";
+  value: Value;
+  validate: `${Value} <= $input.length`;
+  exclusive: true;
+}>;

package/src/tags/MinLength.ts

@@ -1,9 +1,9 @@
-import { TagBase } from "./TagBase";
-
-export type MinLength<Value extends number> = TagBase<{
-  target: "string";
-  kind: "minLength";
-  value: Value;
-  validate: `${Value} <= $input.length`;
-  exclusive: true;
-}>;
+import { TagBase } from "./TagBase";
+
+export type MinLength<Value extends number> = TagBase<{
+  target: "string";
+  kind: "minLength";
+  value: Value;
+  validate: `${Value} <= $input.length`;
+  exclusive: true;
+}>;

package/src/tags/Minimum.ts

@@ -1,13 +1,13 @@
-import { TagBase } from "./TagBase";
-
-export type Minimum<Value extends number | bigint> = TagBase<{
-  target: Value extends number ? "number" : "bigint";
-  kind: "minimum";
-  value: Value;
-  validate: `${Numeric<Value>} <= $input`;
-  exclusive: ["minimum", "exclusiveMinimum"];
-}>;
-
-type Numeric<Value extends number | bigint> = Value extends number
-  ? Value
-  : `BigInt(${Value})`;
+import { TagBase } from "./TagBase";
+
+export type Minimum<Value extends number | bigint> = TagBase<{
+  target: Value extends number ? "number" : "bigint";
+  kind: "minimum";
+  value: Value;
+  validate: `${Numeric<Value>} <= $input`;
+  exclusive: ["minimum", "exclusiveMinimum"];
+}>;
+
+type Numeric<Value extends number | bigint> = Value extends number
+  ? Value
+  : `BigInt(${Value})`;

package/src/tags/MultipleOf.ts

@@ -1,15 +1,15 @@
-import { TagBase } from "./TagBase";
-
-export type MultipleOf<Value extends number | bigint> = TagBase<{
-  target: Value extends bigint ? "bigint" : "number";
-  kind: "multipleOf";
-  value: Value;
-  validate: `$input % ${Numeric<Value>} === ${Value extends bigint
-    ? Numeric<0n>
-    : 0}`;
-  exclusive: true;
-}>;
-
-type Numeric<Value extends number | bigint> = Value extends number
-  ? Value
-  : `BigInt(${Value})`;
+import { TagBase } from "./TagBase";
+
+export type MultipleOf<Value extends number | bigint> = TagBase<{
+  target: Value extends bigint ? "bigint" : "number";
+  kind: "multipleOf";
+  value: Value;
+  validate: `$input % ${Numeric<Value>} === ${Value extends bigint
+    ? Numeric<0n>
+    : 0}`;
+  exclusive: true;
+}>;
+
+type Numeric<Value extends number | bigint> = Value extends number
+  ? Value
+  : `BigInt(${Value})`;

package/src/tags/Pattern.ts

@@ -1,9 +1,9 @@
-import { TagBase } from "./TagBase";
-
-export type Pattern<Value extends string> = TagBase<{
-  target: "string";
-  kind: "pattern";
-  value: Value;
-  validate: `/${Value}/.test($input)`;
-  exclusive: ["format", "pattern"];
-}>;
+import { TagBase } from "./TagBase";
+
+export type Pattern<Value extends string> = TagBase<{
+  target: "string";
+  kind: "pattern";
+  value: Value;
+  validate: `/${Value}/.test($input)`;
+  exclusive: ["format", "pattern"];
+}>;

package/src/tags/TagBase.ts

@@ -1,68 +1,68 @@
-export type TagBase<Props extends TagBase.IProps<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 {
-  export interface IProps<
-    Target extends "boolean" | "bigint" | "number" | "string" | "array",
-    Kind extends string,
-    Value extends boolean | bigint | number | string | undefined,
-    Validate extends
-      | string
-      | {
-          [key in Target]?: string;
-        },
-    Exclusive extends boolean | string[],
-  > {
-    /**
-     * 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
-     * occured. 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[];
-  }
-}
+export type TagBase<Props extends TagBase.IProps<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 {
+  export interface IProps<
+    Target extends "boolean" | "bigint" | "number" | "string" | "array",
+    Kind extends string,
+    Value extends boolean | bigint | number | string | undefined,
+    Validate extends
+      | string
+      | {
+          [key in Target]?: string;
+        },
+    Exclusive extends boolean | string[],
+  > {
+    /**
+     * 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
+     * occured. 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[];
+  }
+}

package/src/tags/Type.ts

@@ -1,27 +1,27 @@
-import { TagBase } from "./TagBase";
-
-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"
-    ? `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`;
-  exclusive: true;
-}>;
+import { TagBase } from "./TagBase";
+
+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"
+    ? `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`;
+  exclusive: true;
+}>;

package/src/tags/index.ts

@@ -1,14 +1,14 @@
-export * from "./Default";
-export * from "./ExclusiveMaximum";
-export * from "./ExclusiveMinimum";
-export * from "./Format";
-export * from "./Maximum";
-export * from "./MaxItems";
-export * from "./MaxLength";
-export * from "./Minimum";
-export * from "./MinItems";
-export * from "./MinLength";
-export * from "./MultipleOf";
-export * from "./Pattern";
-export * from "./TagBase";
-export * from "./Type";
+export * from "./Default";
+export * from "./ExclusiveMaximum";
+export * from "./ExclusiveMinimum";
+export * from "./Format";
+export * from "./Maximum";
+export * from "./MaxItems";
+export * from "./MaxLength";
+export * from "./Minimum";
+export * from "./MinItems";
+export * from "./MinLength";
+export * from "./MultipleOf";
+export * from "./Pattern";
+export * from "./TagBase";
+export * from "./Type";

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": `!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;
+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;