@typia/utils 12.0.0-dev.20260225

package/src/validators/OpenApiV3TypeChecker.ts

@@ -0,0 +1,70 @@
+import { OpenApiV3 } from "@typia/interface";
+
+/**
+ * Type checker for raw OpenAPI v3.0 JSON schemas.
+ *
+ * `OpenApiV3TypeChecker` provides type guard functions for
+ * {@link OpenApiV3.IJsonSchema} (raw, unemended format). For typia's normalized
+ * format, use {@link OpenApiTypeChecker} instead.
+ *
+ * Key differences from v3.1: v3.0 uses `nullable: true` property instead of
+ * union types, and has no `const` or tuple support.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export namespace OpenApiV3TypeChecker {
+  export const isBoolean = (
+    schema: OpenApiV3.IJsonSchema,
+  ): schema is OpenApiV3.IJsonSchema.IBoolean =>
+    (schema as OpenApiV3.IJsonSchema.IBoolean).type === "boolean";
+
+  export const isInteger = (
+    schema: OpenApiV3.IJsonSchema,
+  ): schema is OpenApiV3.IJsonSchema.IInteger =>
+    (schema as OpenApiV3.IJsonSchema.IInteger).type === "integer";
+
+  export const isNumber = (
+    schema: OpenApiV3.IJsonSchema,
+  ): schema is OpenApiV3.IJsonSchema.INumber =>
+    (schema as OpenApiV3.IJsonSchema.INumber).type === "number";
+
+  export const isString = (
+    schema: OpenApiV3.IJsonSchema,
+  ): schema is OpenApiV3.IJsonSchema.IString =>
+    (schema as OpenApiV3.IJsonSchema.IString).type === "string";
+
+  export const isArray = (
+    schema: OpenApiV3.IJsonSchema,
+  ): schema is OpenApiV3.IJsonSchema.IArray =>
+    (schema as OpenApiV3.IJsonSchema.IArray).type === "array";
+
+  export const isObject = (
+    schema: OpenApiV3.IJsonSchema,
+  ): schema is OpenApiV3.IJsonSchema.IObject =>
+    (schema as OpenApiV3.IJsonSchema.IObject).type === "object";
+
+  export const isReference = (
+    schema: OpenApiV3.IJsonSchema,
+  ): schema is OpenApiV3.IJsonSchema.IReference =>
+    (schema as OpenApiV3.IJsonSchema.IReference).$ref !== undefined;
+
+  export const isAllOf = (
+    schema: OpenApiV3.IJsonSchema,
+  ): schema is OpenApiV3.IJsonSchema.IAllOf =>
+    (schema as OpenApiV3.IJsonSchema.IAllOf).allOf !== undefined;
+
+  export const isAnyOf = (
+    schema: OpenApiV3.IJsonSchema,
+  ): schema is OpenApiV3.IJsonSchema.IAnyOf =>
+    (schema as OpenApiV3.IJsonSchema.IAnyOf).anyOf !== undefined;
+
+  export const isOneOf = (
+    schema: OpenApiV3.IJsonSchema,
+  ): schema is OpenApiV3.IJsonSchema.IOneOf =>
+    (schema as OpenApiV3.IJsonSchema.IOneOf).oneOf !== undefined;
+
+  export const isNullOnly = (
+    schema: OpenApiV3.IJsonSchema,
+  ): schema is OpenApiV3.IJsonSchema.INullOnly =>
+    (schema as OpenApiV3.IJsonSchema.INullOnly).type === "null";
+}

package/src/validators/OpenApiV3_1TypeChecker.ts

@@ -0,0 +1,86 @@
+import { OpenApiV3_1 } from "@typia/interface";
+
+/**
+ * Type checker for raw OpenAPI v3.1 JSON schemas.
+ *
+ * `OpenApiV3_1TypeChecker` provides type guard functions for
+ * {@link OpenApiV3_1.IJsonSchema} (raw, unemended format). For typia's
+ * normalized format, use {@link OpenApiTypeChecker} instead.
+ *
+ * Key v3.1 features: `const` keyword, `type` arrays (`["string", "null"]`),
+ * `prefixItems` for tuples, JSON Schema draft 2020-12 compatibility.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export namespace OpenApiV3_1TypeChecker {
+  export const isConstant = (
+    schema: OpenApiV3_1.IJsonSchema,
+  ): schema is OpenApiV3_1.IJsonSchema.IConstant =>
+    (schema as OpenApiV3_1.IJsonSchema.IConstant).const !== undefined;
+
+  export const isBoolean = (
+    schema: OpenApiV3_1.IJsonSchema,
+  ): schema is OpenApiV3_1.IJsonSchema.IBoolean =>
+    (schema as OpenApiV3_1.IJsonSchema.IBoolean).type === "boolean";
+
+  export const isInteger = (
+    schema: OpenApiV3_1.IJsonSchema,
+  ): schema is OpenApiV3_1.IJsonSchema.IInteger =>
+    (schema as OpenApiV3_1.IJsonSchema.IInteger).type === "integer";
+
+  export const isNumber = (
+    schema: OpenApiV3_1.IJsonSchema,
+  ): schema is OpenApiV3_1.IJsonSchema.INumber =>
+    (schema as OpenApiV3_1.IJsonSchema.INumber).type === "number";
+
+  export const isString = (
+    schema: OpenApiV3_1.IJsonSchema,
+  ): schema is OpenApiV3_1.IJsonSchema.IString =>
+    (schema as OpenApiV3_1.IJsonSchema.IString).type === "string";
+
+  export const isArray = (
+    schema: OpenApiV3_1.IJsonSchema,
+  ): schema is OpenApiV3_1.IJsonSchema.IArray =>
+    (schema as OpenApiV3_1.IJsonSchema.IArray).type === "array";
+
+  export const isObject = (
+    schema: OpenApiV3_1.IJsonSchema,
+  ): schema is OpenApiV3_1.IJsonSchema.IObject =>
+    (schema as OpenApiV3_1.IJsonSchema.IObject).type === "object";
+
+  export const isReference = (
+    schema: OpenApiV3_1.IJsonSchema,
+  ): schema is OpenApiV3_1.IJsonSchema.IReference =>
+    (schema as OpenApiV3_1.IJsonSchema.IReference).$ref !== undefined;
+
+  export const isRecursiveReference = (
+    schema: OpenApiV3_1.IJsonSchema,
+  ): schema is OpenApiV3_1.IJsonSchema.IRecursiveReference =>
+    (schema as OpenApiV3_1.IJsonSchema.IRecursiveReference).$recursiveRef !==
+    undefined;
+
+  export const isAllOf = (
+    schema: OpenApiV3_1.IJsonSchema,
+  ): schema is OpenApiV3_1.IJsonSchema.IAllOf =>
+    (schema as OpenApiV3_1.IJsonSchema.IAllOf).allOf !== undefined;
+
+  export const isAnyOf = (
+    schema: OpenApiV3_1.IJsonSchema,
+  ): schema is OpenApiV3_1.IJsonSchema.IAnyOf =>
+    (schema as OpenApiV3_1.IJsonSchema.IAnyOf).anyOf !== undefined;
+
+  export const isOneOf = (
+    schema: OpenApiV3_1.IJsonSchema,
+  ): schema is OpenApiV3_1.IJsonSchema.IOneOf =>
+    (schema as OpenApiV3_1.IJsonSchema.IOneOf).oneOf !== undefined;
+
+  export const isNullOnly = (
+    schema: OpenApiV3_1.IJsonSchema,
+  ): schema is OpenApiV3_1.IJsonSchema.INull =>
+    (schema as OpenApiV3_1.IJsonSchema.INull).type === "null";
+
+  export const isMixed = (
+    schema: OpenApiV3_1.IJsonSchema,
+  ): schema is OpenApiV3_1.IJsonSchema.IMixed =>
+    Array.isArray((schema as OpenApiV3_1.IJsonSchema.IMixed).type);
+}

package/src/validators/OpenApiValidator.ts

@@ -0,0 +1,94 @@
+import { IValidation, OpenApi } from "@typia/interface";
+
+import { OpenApiStationValidator } from "./internal/OpenApiStationValidator";
+
+/**
+ * OpenAPI JSON Schema validator.
+ *
+ * `OpenApiValidator` validates runtime data against {@link OpenApi.IJsonSchema}
+ * definitions. Returns {@link IValidation} with detailed error paths and
+ * expected types.
+ *
+ * Primary use case: Validating LLM-generated function call arguments. LLMs
+ * frequently make type errors (e.g., `"123"` instead of `123`). Use the
+ * validation errors to provide feedback and retry.
+ *
+ * Functions:
+ *
+ * - {@link create}: Create reusable validator function from schema
+ * - {@link validate}: One-shot validation with inline schema
+ *
+ * Set `equals: true` to reject objects with extra properties (strict mode).
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export namespace OpenApiValidator {
+  export const create =
+    (props: {
+      components: OpenApi.IComponents;
+      schema: OpenApi.IJsonSchema;
+      required: boolean;
+      equals?: boolean;
+    }) =>
+    (value: unknown): IValidation<unknown> =>
+      validate({ ...props, value });
+
+  export const validate = (props: {
+    components: OpenApi.IComponents;
+    schema: OpenApi.IJsonSchema;
+    value: unknown;
+    required: boolean;
+    equals?: boolean;
+  }): IValidation<unknown> => {
+    const errors: IValidation.IError[] = [];
+    OpenApiStationValidator.validate({
+      ...props,
+      path: "$input",
+      exceptionable: true,
+      report: createReporter(errors),
+      equals: props.equals ?? false,
+    });
+    return errors.length === 0
+      ? {
+          success: true,
+          data: props.value,
+        }
+      : {
+          success: false,
+          data: props.value,
+          errors,
+        };
+  };
+
+  const createReporter = (array: IValidation.IError[]) => {
+    const reportable = (path: string): boolean => {
+      if (array.length === 0) return true;
+      const last: string = array[array.length - 1]!.path;
+      return (
+        path.length > last.length || last.substring(0, path.length) !== path
+      );
+    };
+    return (
+      error: IValidation.IError & {
+        exceptionable: boolean;
+      },
+    ): false => {
+      if (error.exceptionable && reportable(error.path)) {
+        const info: IValidation.IError = {
+          path: error.path,
+          expected: error.expected,
+          value: error.value,
+          description: error.description,
+        };
+        if (error.value === undefined)
+          info.description ??= [
+            "The value at this path is `undefined`.",
+            "",
+            `Please fill the \`${error.expected}\` typed value next time.`,
+          ].join("\n");
+        array.push(info);
+      }
+      return false;
+    };
+  };
+}

package/src/validators/SwaggerV2TypeChecker.ts

@@ -0,0 +1,71 @@
+import { SwaggerV2 } from "@typia/interface";
+
+/**
+ * Type checker for Swagger v2.0 (OpenAPI v2) JSON schemas.
+ *
+ * `SwaggerV2TypeChecker` provides type guard functions for
+ * {@link SwaggerV2.IJsonSchema}. For typia's normalized format, use
+ * {@link OpenApiTypeChecker} instead.
+ *
+ * Key limitations vs OpenAPI v3.x: No `oneOf`/`anyOf`, no `nullable`, uses
+ * `definitions` instead of `components.schemas`, body parameters use `in:
+ * "body"` with `schema` property.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export namespace SwaggerV2TypeChecker {
+  export const isBoolean = (
+    schema: SwaggerV2.IJsonSchema,
+  ): schema is SwaggerV2.IJsonSchema.IBoolean =>
+    (schema as SwaggerV2.IJsonSchema.IBoolean).type === "boolean";
+
+  export const isInteger = (
+    schema: SwaggerV2.IJsonSchema,
+  ): schema is SwaggerV2.IJsonSchema.IInteger =>
+    (schema as SwaggerV2.IJsonSchema.IInteger).type === "integer";
+
+  export const isNumber = (
+    schema: SwaggerV2.IJsonSchema,
+  ): schema is SwaggerV2.IJsonSchema.INumber =>
+    (schema as SwaggerV2.IJsonSchema.INumber).type === "number";
+
+  export const isString = (
+    schema: SwaggerV2.IJsonSchema,
+  ): schema is SwaggerV2.IJsonSchema.IString =>
+    (schema as SwaggerV2.IJsonSchema.IString).type === "string";
+
+  export const isArray = (
+    schema: SwaggerV2.IJsonSchema,
+  ): schema is SwaggerV2.IJsonSchema.IArray =>
+    (schema as SwaggerV2.IJsonSchema.IArray).type === "array";
+
+  export const isObject = (
+    schema: SwaggerV2.IJsonSchema,
+  ): schema is SwaggerV2.IJsonSchema.IObject =>
+    (schema as SwaggerV2.IJsonSchema.IObject).type === "object";
+
+  export const isReference = (
+    schema: SwaggerV2.IJsonSchema,
+  ): schema is SwaggerV2.IJsonSchema.IReference =>
+    (schema as SwaggerV2.IJsonSchema.IReference).$ref !== undefined;
+
+  export const isAllOf = (
+    schema: SwaggerV2.IJsonSchema,
+  ): schema is SwaggerV2.IJsonSchema.IAllOf =>
+    (schema as SwaggerV2.IJsonSchema.IAllOf).allOf !== undefined;
+
+  export const isOneOf = (
+    schema: SwaggerV2.IJsonSchema,
+  ): schema is SwaggerV2.IJsonSchema.IOneOf =>
+    (schema as SwaggerV2.IJsonSchema.IOneOf)["x-oneOf"] !== undefined;
+
+  export const isAnyOf = (
+    schema: SwaggerV2.IJsonSchema,
+  ): schema is SwaggerV2.IJsonSchema.IAnyOf =>
+    (schema as SwaggerV2.IJsonSchema.IAnyOf)["x-anyOf"] !== undefined;
+
+  export const isNullOnly = (
+    schema: SwaggerV2.IJsonSchema,
+  ): schema is SwaggerV2.IJsonSchema.INullOnly =>
+    (schema as SwaggerV2.IJsonSchema.INullOnly).type === "null";
+}

package/src/validators/functional/_isBigintString.ts

@@ -0,0 +1,8 @@
+export const _isBigintString = (str: string): boolean => {
+  try {
+    BigInt(str);
+    return true;
+  } catch {
+    return false;
+  }
+};

package/src/validators/functional/_isFormatByte.ts

@@ -0,0 +1,7 @@
+export const _isFormatByte = (str: string): boolean => {
+  PATTERN.lastIndex = 0;
+  return PATTERN.test(str);
+};
+
+const PATTERN =
+  /^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==|[A-Za-z0-9+/]{3}=)?$/gm;

package/src/validators/functional/_isFormatDate.ts

@@ -0,0 +1,3 @@
+export const _isFormatDate = (str: string): boolean => FORMAT.test(str);
+
+const FORMAT = /^[0-9]{4}-(0[1-9]|1[0-2])-(0[1-9]|[12][0-9]|3[01])$/;

package/src/validators/functional/_isFormatDateTime.ts

@@ -0,0 +1,4 @@
+export const _isFormatDateTime = (str: string): boolean => PATTERN.test(str);
+
+const PATTERN =
+  /^[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;

package/src/validators/functional/_isFormatDuration.ts

@@ -0,0 +1,4 @@
+export const _isFormatDuration = (str: string): boolean => PATTERN.test(str);
+
+const PATTERN =
+  /^P(?!$)((\d+Y)?(\d+M)?(\d+D)?(T(?=\d)(\d+H)?(\d+M)?(\d+S)?)?|(\d+W)?)$/;

package/src/validators/functional/_isFormatEmail.ts

@@ -0,0 +1,4 @@
+export const _isFormatEmail = (str: string): boolean => PATTERN.test(str);
+
+const PATTERN =
+  /^[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;

package/src/validators/functional/_isFormatHostname.ts

@@ -0,0 +1,4 @@
+export const _isFormatHostname = (str: string): boolean => PATTERN.test(str);
+
+const PATTERN =
+  /^(?=.{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;

package/src/validators/functional/_isFormatIdnEmail.ts

@@ -0,0 +1,4 @@
+export const _isFormatIdnEmail = (str: string): boolean => PATTERN.test(str);
+
+const PATTERN =
+  /^(([^<>()[\]\.,;:\s@\"]+(\.[^<>()[\]\.,;:\s@\"]+)*)|(\".+\"))@(([^<>()[\]\.,;:\s@\"]+\.)+[^<>()[\]\.,;:\s@\"]{2,})$/i;

package/src/validators/functional/_isFormatIdnHostname.ts

@@ -0,0 +1,4 @@
+export const _isFormatIdnHostname = (str: string): boolean => PATTERN.test(str);
+
+const PATTERN =
+  /^([a-z0-9\u00a1-\uffff0-9]+(-[a-z0-9\u00a1-\uffff0-9]+)*\.)+[a-z\u00a1-\uffff]{2,}$/i;

package/src/validators/functional/_isFormatIpv4.ts

@@ -0,0 +1,4 @@
+export const _isFormatIpv4 = (str: string): boolean => PATTERN.test(str);
+
+const PATTERN =
+  /^(?:(?: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)$/;

package/src/validators/functional/_isFormatIpv6.ts

@@ -0,0 +1,4 @@
+export const _isFormatIpv6 = (str: string): boolean => PATTERN.test(str);
+
+const PATTERN =
+  /^((([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;

package/src/validators/functional/_isFormatIri.ts

@@ -0,0 +1,3 @@
+export const _isFormatIri = (str: string): boolean => PATTERN.test(str);
+
+const PATTERN = /^[A-Za-z][\d+-.A-Za-z]*:[^\u0000-\u0020"<>\\^`{|}]*$/u;

package/src/validators/functional/_isFormatIriReference.ts

@@ -0,0 +1,4 @@
+export const _isFormatIriReference = (str: string): boolean =>
+  PATTERN.test(str);
+
+const PATTERN = /^[A-Za-z][\d+-.A-Za-z]*:[^\u0000-\u0020"<>\\^`{|}]*$/u;

package/src/validators/functional/_isFormatJsonPointer.ts

@@ -0,0 +1,3 @@
+export const _isFormatJsonPointer = (str: string): boolean => PATTERN.test(str);
+
+const PATTERN = /^(?:\/(?:[^~/]|~0|~1)*)*$/;

package/src/validators/functional/_isFormatPassword.ts

@@ -0,0 +1 @@
+export const _isFormatPassword = (): boolean => true;

package/src/validators/functional/_isFormatRegex.ts

@@ -0,0 +1,8 @@
+export const _isFormatRegex = (str: string): boolean => {
+  try {
+    new RegExp(str);
+    return true;
+  } catch {
+    return false;
+  }
+};

package/src/validators/functional/_isFormatRelativeJsonPointer.ts

@@ -0,0 +1,4 @@
+export const _isFormatRelativeJsonPointer = (str: string): boolean =>
+  PATTERN.test(str);
+
+const PATTERN = /^(?:0|[1-9][0-9]*)(?:#|(?:\/(?:[^~/]|~0|~1)*)*)$/;

package/src/validators/functional/_isFormatTime.ts

@@ -0,0 +1,4 @@
+export const _isFormatTime = (str: string): boolean => PATTERN.test(str);
+
+const PATTERN =
+  /^([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;

package/src/validators/functional/_isFormatUri.ts

@@ -0,0 +1,6 @@
+export const _isFormatUri = (str: string): boolean =>
+  NOT_URI_FRAGMENT.test(str) && URI.test(str);
+
+const NOT_URI_FRAGMENT = /\/|:/;
+const URI =
+  /^(?:[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;

package/src/validators/functional/_isFormatUriReference.ts

@@ -0,0 +1,5 @@
+export const _isFormatUriReference = (str: string): boolean =>
+  PATTERN.test(str);
+
+const PATTERN =
+  /^(?:[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;

package/src/validators/functional/_isFormatUriTemplate.ts

@@ -0,0 +1,4 @@
+export const _isFormatUriTemplate = (str: string): boolean => PATTERN.test(str);
+
+const PATTERN =
+  /^(?:(?:[^\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;

package/src/validators/functional/_isFormatUrl.ts

@@ -0,0 +1,4 @@
+export const _isFormatUrl = (str: string): boolean => PATTERN.test(str);
+
+const PATTERN =
+  /^(?: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;

package/src/validators/functional/_isFormatUuid.ts

@@ -0,0 +1,3 @@
+export const _isFormatUuid = (str: string): boolean => PATTERN.test(str);
+
+const PATTERN = /^(?:urn:uuid:)?[0-9a-f]{8}-(?:[0-9a-f]{4}-){3}[0-9a-f]{12}$/i;

package/src/validators/functional/_isUniqueItems.ts

@@ -0,0 +1,159 @@
+export const _isUniqueItems = (elements: any[]): boolean => {
+  // EMPTY OR ONLY ONE
+  if (elements.length < 2) return true;
+
+  // SHALLOW COMPARISON
+  if (["boolean", "bigint", "number", "string"].includes(typeof elements[0]))
+    return new Set(elements).size === elements.length;
+
+  // DEEP COMPARISON
+  for (let i = 0; i < elements.length; i++)
+    for (let j = i + 1; j < elements.length; j++)
+      if (equals(new WeakMap())(elements[i], elements[j])) return false;
+  return true;
+};
+
+const equals = (visited: WeakMap<object, WeakMap<object, boolean>>) => {
+  const next = (a: any, b: any): boolean => {
+    // SHALLOW EQUAL
+    if (a === b) return true;
+    else if (typeof a !== typeof b || typeof a !== "object") return false;
+    // COMPARE CONTAINERS
+    else if (Array.isArray(a))
+      return Array.isArray(b) && a.map((x, i) => next(x, b[i])).every((x) => x);
+    else if (a instanceof Set)
+      return (
+        b instanceof Set && a.size === b.size && [...a].every((x) => b.has(x))
+      );
+    else if (a instanceof Map)
+      return (
+        b instanceof Map &&
+        a.size === b.size &&
+        [...a].every(([k, v]) => b.has(k) && next(v, b.get(k)))
+      );
+    // ATOMIC CLASSES
+    else if (a instanceof Boolean)
+      return b instanceof Boolean
+        ? a.valueOf() === b.valueOf()
+        : a.valueOf() === b;
+    else if (a instanceof BigInt)
+      return b instanceof BigInt ? a === b : a === BigInt(b);
+    else if (a instanceof Number)
+      return b instanceof Number
+        ? a.valueOf() === b.valueOf()
+        : a.valueOf() === b;
+    else if (a instanceof String)
+      return b instanceof String
+        ? a.valueOf() === b.valueOf()
+        : a.valueOf() === b;
+    else if (a instanceof Date)
+      return b instanceof Date && a.getTime() === b.getTime();
+    // BINARY DATA
+    else if (a instanceof Uint8Array)
+      return (
+        b instanceof Uint8Array &&
+        a.length === b.length &&
+        a.every((x, i) => x === b[i])
+      );
+    else if (a instanceof Uint8ClampedArray)
+      return (
+        b instanceof Uint8ClampedArray &&
+        a.length === b.length &&
+        a.every((x, i) => x === b[i])
+      );
+    else if (a instanceof Uint16Array)
+      return (
+        b instanceof Uint16Array &&
+        a.length === b.length &&
+        a.every((x, i) => x === b[i])
+      );
+    else if (a instanceof Uint32Array)
+      return (
+        b instanceof Uint32Array &&
+        a.length === b.length &&
+        a.every((x, i) => x === b[i])
+      );
+    else if (a instanceof BigUint64Array)
+      return (
+        b instanceof BigUint64Array &&
+        a.length === b.length &&
+        a.every((x, i) => x === b[i])
+      );
+    else if (a instanceof Int8Array)
+      return (
+        b instanceof Int8Array &&
+        a.length === b.length &&
+        a.every((x, i) => x === b[i])
+      );
+    else if (a instanceof Int16Array)
+      return (
+        b instanceof Int16Array &&
+        a.length === b.length &&
+        a.every((x, i) => x === b[i])
+      );
+    else if (a instanceof Int32Array)
+      return (
+        b instanceof Int32Array &&
+        a.length === b.length &&
+        a.every((x, i) => x === b[i])
+      );
+    else if (a instanceof BigInt64Array)
+      return (
+        b instanceof BigInt64Array &&
+        a.length === b.length &&
+        a.every((x, i) => x === b[i])
+      );
+    else if (a instanceof Float32Array)
+      return (
+        b instanceof Float32Array &&
+        a.length === b.length &&
+        a.every((x, i) => x === b[i])
+      );
+    else if (a instanceof Float64Array)
+      return (
+        b instanceof Float64Array &&
+        a.length === b.length &&
+        a.every((x, i) => x === b[i])
+      );
+    else if (a instanceof ArrayBuffer) {
+      if (!(b instanceof ArrayBuffer) || a.byteLength !== b.byteLength)
+        return false;
+      const x: Uint8Array = new Uint8Array(a);
+      const y: Uint8Array = new Uint8Array(b);
+      return x.every((v, i) => v === y[i]);
+    } else if (a instanceof SharedArrayBuffer) {
+      if (!(b instanceof SharedArrayBuffer) || a.byteLength !== b.byteLength)
+        return false;
+      const x: Uint8Array = new Uint8Array(a);
+      const y: Uint8Array = new Uint8Array(b);
+      return x.every((v, i) => v === y[i]);
+    } else if (a instanceof DataView) {
+      if (!(b instanceof DataView) || a.byteLength !== b.byteLength)
+        return false;
+      const x: Uint8Array = new Uint8Array(a.buffer);
+      const y: Uint8Array = new Uint8Array(b.buffer);
+      return x.every((v, i) => v === y[i]);
+    } else if (a instanceof File)
+      return (
+        b instanceof File &&
+        a.name === b.name &&
+        a.size === b.size &&
+        a.type === b.type &&
+        next(a.slice(), b.slice())
+      );
+    // JUST PLAIN OBJECTS
+    else if (a !== null && b !== null) {
+      if (visited.has(a) && visited.get(a)!.has(b))
+        return visited.get(a)!.get(b)!;
+      if (!visited.has(a)) visited.set(a, new WeakMap());
+      visited.get(a)!.set(b, true);
+      const res: boolean =
+        Object.keys(a).length === Object.keys(b).length &&
+        Object.keys(a).every((x) => next(a[x], b[x]));
+      visited.get(a)!.set(b, res);
+      return res;
+    }
+    return false;
+  };
+  return next;
+};

package/src/validators/index.ts

@@ -0,0 +1,14 @@
+export * from "./LlmTypeChecker";
+export * from "./OpenApiTypeChecker";
+
+/** @internal */
+export * from "./OpenApiV3TypeChecker";
+
+/** @internal */
+export * from "./OpenApiV3_1TypeChecker";
+
+/** @internal */
+export * from "./SwaggerV2TypeChecker";
+
+/** @internal */
+export * from "./OpenApiValidator";

package/src/validators/internal/IOpenApiValidatorContext.ts

@@ -0,0 +1,17 @@
+import { IValidation, OpenApi } from "@typia/interface";
+
+export interface IOpenApiValidatorContext<Schema extends OpenApi.IJsonSchema> {
+  components: OpenApi.IComponents;
+  schema: Schema;
+  value: unknown;
+  path: string;
+  report: (
+    error: IValidation.IError & {
+      exceptionable: boolean;
+    },
+  ) => false;
+  exceptionable: boolean;
+  expected: string;
+  equals: boolean;
+  required: boolean;
+}