typia 7.0.0-dev.20241112 → 7.0.0-dev.20241115

package/src/programmers/internal/check_bigint.ts

@@ -41,9 +41,10 @@ const check_bigint_type_tags = (props: {
     .map((row) =>
       row.map((tag) => ({
         expected: `bigint & ${tag.name}`,
-        expression: (
-          tag.predicate ??
-          ExpressionFactory.transpile(props.context.transformer, tag.validate!)
-        )(props.input),
+        expression: ExpressionFactory.transpile({
+          transformer: props.context.transformer,
+          importer: props.context.importer,
+          script: tag.validate!,
+        })(props.input),
       })),
     );

package/src/programmers/internal/check_number.ts

@@ -103,9 +103,10 @@ const check_numeric_type_tags = (props: {
             ]),
       ...row.map((tag) => ({
         expected: `number & ${tag.name}`,
-        expression: (
-          tag.predicate ??
-          ExpressionFactory.transpile(props.context.transformer, tag.validate!)
-        )(props.input),
+        expression: ExpressionFactory.transpile({
+          transformer: props.context.transformer,
+          importer: props.context.importer,
+          script: tag.validate!,
+        })(props.input),
       })),
     ]);

package/src/programmers/internal/check_string.ts

@@ -41,9 +41,10 @@ const check_string_type_tags = (props: {
     .map((row) =>
       row.map((tag) => ({
         expected: `string & ${tag.name}`,
-        expression: (
-          tag.predicate ??
-          ExpressionFactory.transpile(props.context.transformer, tag.validate!)
-        )(props.input),
+        expression: ExpressionFactory.transpile({
+          transformer: props.context.transformer,
+          importer: props.context.importer,
+          script: tag.validate!,
+        })(props.input),
       })),
     );

package/src/tags/Format.ts

@@ -1,16 +1,50 @@
-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"];
-  schema: {
-    format: Value;
-  };
-}>;
-export namespace Format {
-  export type Validator = typeof FormatCheatSheet;
-}
+import type { TagBase } from "./TagBase";
+
+export type Format<Value extends Format.Value> = TagBase<{
+  target: "string";
+  kind: "format";
+  value: Value;
+  validate: `$importInternal("isFormat${PascalizeString<Value>}")($input)`;
+  exclusive: ["format", "pattern"];
+  schema: {
+    format: Value;
+  };
+}>;
+export namespace Format {
+  export type Value =
+    | "byte"
+    | "password"
+    | "regex"
+    | "uuid"
+    | "email"
+    | "hostname"
+    | "idn-email"
+    | "idn-hostname"
+    | "iri"
+    | "iri-reference"
+    | "ipv4"
+    | "ipv6"
+    | "uri"
+    | "uri-reference"
+    | "uri-template"
+    | "url"
+    | "date-time"
+    | "date"
+    | "time"
+    | "duration"
+    | "json-pointer"
+    | "relative-json-pointer";
+}
+
+type PascalizeString<Key extends string> = Key extends `-${infer R}`
+  ? `${PascalizeString<R>}`
+  : Key extends `${infer _F}-${infer _R}`
+    ? PascalizeSnakeString<Key>
+    : Capitalize<Key>;
+type PascalizeSnakeString<Key extends string> = Key extends `-${infer R}`
+  ? PascalizeSnakeString<R>
+  : Key extends `${infer F}${infer M}-${infer R}`
+    ? `${Uppercase<F>}${Lowercase<M>}${PascalizeSnakeString<R>}`
+    : Key extends `${infer F}${infer R}`
+      ? `${Uppercase<F>}${Lowercase<R>}`
+      : Key;

package/src/tags/Type.ts

@@ -1,32 +1,32 @@
-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;
-  schema: {
-    type: Value extends "int32" | "uint32" | "int64" | "uint64"
-      ? "integer"
-      : "number";
-  };
-}>;
+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"
+    ? `$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: {
+    type: Value extends "int32" | "uint32" | "int64" | "uint64"
+      ? "integer"
+      : "number";
+  };
+}>;

package/src/tags/UniqueItems.ts

@@ -5,7 +5,7 @@ export type UniqueItems<Value extends boolean = true> = TagBase<{
   kind: "uniqueItems";
   value: Value;
   validate: Value extends true
-    ? `$input.length <= 1 || ($input.length === new Set($input).size)`
+    ? `$importInternal("isUniqueItems")($input)`
     : undefined;
   exclusive: true;
   schema: {