typia 7.0.0-dev.20241112 → 7.0.0-dev.20241114

package/lib/utils/ProtobufNameEncoder.js.map

@@ -1 +1 @@
-{"version":3,"file":"ProtobufNameEncoder.js","sourceRoot":"","sources":["../../src/utils/ProtobufNameEncoder.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,IAAiB,mBAAmB,CAYnC;AAZD,WAAiB,mBAAmB;IACrB,0BAAM,GAAG,UAAC,GAAW;;;YAChC,KAA8B,IAAA,cAAA,SAAA,SAAS,CAAA,oCAAA;gBAA5B,IAAA,KAAA,8BAAe,EAAd,MAAM,QAAA,EAAE,KAAK,QAAA;gBACvB,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;aAAA;;;;;;;;;QACtC,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IAEW,0BAAM,GAAG,UAAC,GAAW;;;YAChC,KAA8B,IAAA,cAAA,SAAA,SAAS,CAAA,oCAAA;gBAA5B,IAAA,KAAA,8BAAe,EAAd,MAAM,QAAA,EAAE,KAAK,QAAA;gBACvB,IAAI,KAAK,KAAK,EAAE;oBAAE,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;aAAA;;;;;;;;;QACxD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;AACJ,CAAC,EAZgB,mBAAmB,mCAAnB,mBAAmB,QAYnC;AAED,IAAM,SAAS,GAAuB;IACpC,CAAC,GAAG,EAAE,UAAU,CAAC;IACjB,CAAC,GAAG,EAAE,OAAO,CAAC;IACd,CAAC,GAAG,EAAE,MAAM,CAAC;IACb,CAAC,GAAG,EAAE,OAAO,CAAC;IACd,CAAC,GAAG,EAAE,OAAO,CAAC;IACd,CAAC,GAAG,EAAE,MAAM,CAAC;IACb,CAAC,GAAG,EAAE,MAAM,CAAC;IACb,CAAC,GAAG,EAAE,MAAM,CAAC;IACb,CAAC,GAAG,EAAE,MAAM,CAAC;IACb,CAAC,GAAG,EAAE,OAAO,CAAC;IACd,CAAC,GAAG,EAAE,OAAO,CAAC;IACd,CAAC,GAAG,EAAE,SAAS,CAAC;IAChB,CAAC,GAAG,EAAE,aAAa,CAAC;IACpB,CAAC,GAAG,EAAE,eAAe,CAAC;IACtB,CAAC,GAAG,EAAE,eAAe,CAAC;IACtB,CAAC,GAAG,EAAE,SAAS,CAAC;CACjB,CAAC"}
+{"version":3,"file":"ProtobufNameEncoder.js","sourceRoot":"","sources":["../../src/utils/ProtobufNameEncoder.ts"],"names":[],"mappings":";;;AAAA,IAAiB,mBAAmB,CAYnC;AAZD,WAAiB,mBAAmB;IACrB,0BAAM,GAAG,CAAC,GAAW,EAAU,EAAE;QAC5C,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,SAAS;YACrC,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtC,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IAEW,0BAAM,GAAG,CAAC,GAAW,EAAU,EAAE;QAC5C,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,SAAS;YACrC,IAAI,KAAK,KAAK,EAAE;gBAAE,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACxD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;AACJ,CAAC,EAZgB,mBAAmB,mCAAnB,mBAAmB,QAYnC;AAED,MAAM,SAAS,GAAuB;IACpC,CAAC,GAAG,EAAE,UAAU,CAAC;IACjB,CAAC,GAAG,EAAE,OAAO,CAAC;IACd,CAAC,GAAG,EAAE,MAAM,CAAC;IACb,CAAC,GAAG,EAAE,OAAO,CAAC;IACd,CAAC,GAAG,EAAE,OAAO,CAAC;IACd,CAAC,GAAG,EAAE,MAAM,CAAC;IACb,CAAC,GAAG,EAAE,MAAM,CAAC;IACb,CAAC,GAAG,EAAE,MAAM,CAAC;IACb,CAAC,GAAG,EAAE,MAAM,CAAC;IACb,CAAC,GAAG,EAAE,OAAO,CAAC;IACd,CAAC,GAAG,EAAE,OAAO,CAAC;IACd,CAAC,GAAG,EAAE,SAAS,CAAC;IAChB,CAAC,GAAG,EAAE,aAAa,CAAC;IACpB,CAAC,GAAG,EAAE,eAAe,CAAC;IACtB,CAAC,GAAG,EAAE,eAAe,CAAC;IACtB,CAAC,GAAG,EAAE,SAAS,CAAC;CACjB,CAAC"}

package/lib/utils/Singleton.js

@@ -1,47 +1,17 @@
 "use strict";
-var __read = (this && this.__read) || function (o, n) {
-    var m = typeof Symbol === "function" && o[Symbol.iterator];
-    if (!m) return o;
-    var i = m.call(o), r, ar = [], e;
-    try {
-        while ((n === void 0 || n-- > 0) && !(r = i.next()).done) ar.push(r.value);
-    }
-    catch (error) { e = { error: error }; }
-    finally {
-        try {
-            if (r && !r.done && (m = i["return"])) m.call(i);
-        }
-        finally { if (e) throw e.error; }
-    }
-    return ar;
-};
-var __spreadArray = (this && this.__spreadArray) || function (to, from, pack) {
-    if (pack || arguments.length === 2) for (var i = 0, l = from.length, ar; i < l; i++) {
-        if (ar || !(i in from)) {
-            if (!ar) ar = Array.prototype.slice.call(from, 0, i);
-            ar[i] = from[i];
-        }
-    }
-    return to.concat(ar || Array.prototype.slice.call(from));
-};
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.Singleton = void 0;
-var Singleton = /** @class */ (function () {
-    function Singleton(closure) {
+class Singleton {
+    constructor(closure) {
         this.closure_ = closure;
         this.value_ = NOT_MOUNTED_YET;
     }
-    Singleton.prototype.get = function () {
-        var args = [];
-        for (var _i = 0; _i < arguments.length; _i++) {
-            args[_i] = arguments[_i];
-        }
+    get(...args) {
         if (this.value_ === NOT_MOUNTED_YET)
-            this.value_ = this.closure_.apply(this, __spreadArray([], __read(args), false));
+            this.value_ = this.closure_(...args);
         return this.value_;
-    };
-    return Singleton;
-}());
+    }
+}
 exports.Singleton = Singleton;
-var NOT_MOUNTED_YET = {};
+const NOT_MOUNTED_YET = {};
 //# sourceMappingURL=Singleton.js.map

package/lib/utils/Singleton.js.map

@@ -1 +1 @@
-{"version":3,"file":"Singleton.js","sourceRoot":"","sources":["../../src/utils/Singleton.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;IAIE,mBAAmB,OAA6B;QAC9C,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;QACxB,IAAI,CAAC,MAAM,GAAG,eAAe,CAAC;IAChC,CAAC;IAEM,uBAAG,GAAV;QAAW,cAAa;aAAb,UAAa,EAAb,qBAAa,EAAb,IAAa;YAAb,yBAAa;;QACtB,IAAI,IAAI,CAAC,MAAM,KAAK,eAAe;YAAE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,QAAQ,OAAb,IAAI,2BAAa,IAAI,UAAC,CAAC;QAC1E,OAAO,IAAI,CAAC,MAAW,CAAC;IAC1B,CAAC;IACH,gBAAC;AAAD,CAAC,AAbD,IAaC;AAbY,8BAAS;AAetB,IAAM,eAAe,GAAG,EAAE,CAAC"}
+{"version":3,"file":"Singleton.js","sourceRoot":"","sources":["../../src/utils/Singleton.ts"],"names":[],"mappings":";;;AAAA,MAAa,SAAS;IAIpB,YAAmB,OAA6B;QAC9C,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;QACxB,IAAI,CAAC,MAAM,GAAG,eAAe,CAAC;IAChC,CAAC;IAEM,GAAG,CAAC,GAAG,IAAU;QACtB,IAAI,IAAI,CAAC,MAAM,KAAK,eAAe;YAAE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,CAAC;QAC1E,OAAO,IAAI,CAAC,MAAW,CAAC;IAC1B,CAAC;CACF;AAbD,8BAaC;AAED,MAAM,eAAe,GAAG,EAAE,CAAC"}

package/lib/utils/StringUtil.js

@@ -3,15 +3,13 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.StringUtil = void 0;
 var StringUtil;
 (function (StringUtil) {
-    StringUtil.capitalize = function (str) {
-        return str.length ? str[0].toUpperCase() + str.slice(1).toLowerCase() : str;
-    };
-    StringUtil.escapeDuplicate = function (props) {
+    StringUtil.capitalize = (str) => str.length ? str[0].toUpperCase() + str.slice(1).toLowerCase() : str;
+    StringUtil.escapeDuplicate = (props) => {
         var _a;
         return props.keep.includes(props.input)
             ? StringUtil.escapeDuplicate({
                 keep: props.keep,
-                input: ((_a = props.escape) !== null && _a !== void 0 ? _a : (function (str) { return "_".concat(str); }))(props.input),
+                input: ((_a = props.escape) !== null && _a !== void 0 ? _a : ((str) => `_${str}`))(props.input),
             })
             : props.input;
     };

package/lib/utils/StringUtil.js.map

@@ -1 +1 @@
-{"version":3,"file":"StringUtil.js","sourceRoot":"","sources":["../../src/utils/StringUtil.ts"],"names":[],"mappings":";;;AAAA,IAAiB,UAAU,CAe1B;AAfD,WAAiB,UAAU;IACZ,qBAAU,GAAG,UAAC,GAAW;QACpC,OAAA,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,GAAG;IAArE,CAAqE,CAAC;IAE3D,0BAAe,GAAG,UAAC,KAI/B;;QACC,OAAA,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;YAC9B,CAAC,CAAC,WAAA,eAAe,CAAC;gBACd,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,KAAK,EAAE,CAAC,MAAA,KAAK,CAAC,MAAM,mCAAI,CAAC,UAAC,GAAG,IAAK,OAAA,WAAI,GAAG,CAAE,EAAT,CAAS,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;aAC3D,CAAC;YACJ,CAAC,CAAC,KAAK,CAAC,KAAK,CAAA;KAAA,CAAC;AACpB,CAAC,EAfgB,UAAU,0BAAV,UAAU,QAe1B"}
+{"version":3,"file":"StringUtil.js","sourceRoot":"","sources":["../../src/utils/StringUtil.ts"],"names":[],"mappings":";;;AAAA,IAAiB,UAAU,CAe1B;AAfD,WAAiB,UAAU;IACZ,qBAAU,GAAG,CAAC,GAAW,EAAE,EAAE,CACxC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;IAE3D,0BAAe,GAAG,CAAC,KAI/B,EAAU,EAAE;;QACX,OAAA,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;YAC9B,CAAC,CAAC,WAAA,eAAe,CAAC;gBACd,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,KAAK,EAAE,CAAC,MAAA,KAAK,CAAC,MAAM,mCAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;aAC3D,CAAC;YACJ,CAAC,CAAC,KAAK,CAAC,KAAK,CAAA;KAAA,CAAC;AACpB,CAAC,EAfgB,UAAU,0BAAV,UAAU,QAe1B"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "typia",
-  "version": "7.0.0-dev.20241112",
+  "version": "7.0.0-dev.20241114",
   "description": "Superfast runtime validators with only one line",
   "main": "lib/index.js",
   "typings": "lib/index.d.ts",

package/src/factories/ExpressionFactory.ts

@@ -1,5 +1,7 @@
 import ts from "typescript";
 
+import { ImportProgrammer } from "../programmers/ImportProgrammer";
+
 import { _randomFormatUuid } from "../internal/_randomFormatUuid";
 
 export namespace ExpressionFactory {
@@ -129,13 +131,14 @@ export namespace ExpressionFactory {
       props.input.getSourceFile(),
     );
 
-  export const transpile = (
-    transformer: ts.TransformationContext,
-    script: string,
-  ) => {
+  export const transpile = (props: {
+    transformer?: ts.TransformationContext;
+    importer?: ImportProgrammer;
+    script: string;
+  }) => {
     const file: ts.SourceFile = ts.createSourceFile(
       `${_randomFormatUuid()}.ts`,
-      script,
+      props.script,
       ts.ScriptTarget.ESNext,
       true,
       ts.ScriptKind.TS,
@@ -152,13 +155,64 @@ export namespace ExpressionFactory {
     return (input: ts.Expression): ts.Expression => {
       const visitor = (node: ts.Node): ts.Node => {
         if (ts.isIdentifier(node) && node.text === "$input") return input;
+        else if (props.importer !== undefined && ts.isCallExpression(node))
+          if (
+            node.expression.getText() === "$importInternal" &&
+            node.arguments.length === 1 &&
+            ts.isStringLiteralLike(node.arguments[0]!)
+          ) {
+            const name: string = node.arguments[0]!.text;
+            return props.importer.internal(name);
+          } else if (
+            node.expression.getText() === "$importInstance" &&
+            node.arguments.length === 2 &&
+            ts.isStringLiteralLike(node.arguments[0]!) &&
+            ts.isStringLiteralLike(node.arguments[1]!)
+          ) {
+            const name: string = node.arguments[0]!.text;
+            const file: string = node.arguments[1]!.text;
+            return props.importer.instance({
+              file,
+              name,
+              alias: null,
+              type: false,
+            });
+          } else if (
+            node.expression.getText() === "$importNamespace" &&
+            node.arguments.length === 2 &&
+            ts.isStringLiteralLike(node.arguments[0]!) &&
+            ts.isStringLiteralLike(node.arguments[1]!)
+          ) {
+            const name: string = node.arguments[0]!.text;
+            const file: string = node.arguments[1]!.text;
+            return props.importer.namespace({
+              file,
+              name,
+              type: false,
+            });
+          } else if (
+            node.expression.getText() === "$importDefault" &&
+            node.arguments.length === 3 &&
+            ts.isStringLiteralLike(node.arguments[0]!) &&
+            ts.isStringLiteralLike(node.arguments[1]!)
+          ) {
+            const name: string = node.arguments[0]!.text;
+            const file: string = node.arguments[1]!.text;
+            return props.importer.default({
+              file,
+              name,
+              type: false,
+            });
+          }
         return ts.visitEachChild(
-          (ts.factory as any).cloneNode(node),
+          ts.factory.cloneNode(node),
           visitor,
-          transformer,
+          props.transformer,
         );
       };
-      return visitor(statement.expression) as ts.Expression;
+      return visitor(
+        ts.factory.cloneNode(statement.expression),
+      ) as ts.Expression;
     };
   };
 }

package/src/factories/MetadataFactory.ts

@@ -149,32 +149,29 @@ export namespace MetadataFactory {
   };
 
   const validateMeta = (props: {
-    transformer?: ts.TransformationContext;
     options: IOptions;
     visitor: IValidationVisitor;
     metadata: Metadata;
     explore: IExplore;
   }) => {
     const result: string[] = [];
-    if (props.transformer !== undefined)
-      for (const atomic of props.metadata.atomics)
-        for (const row of atomic.tags)
-          for (const tag of row.filter(
-            (t) => t.validate !== undefined && t.predicate === undefined,
-          ))
-            try {
-              tag.predicate = ExpressionFactory.transpile(
-                props.transformer,
-                tag.validate!,
-              );
-            } catch {
-              result.push(
-                `Unable to transpile type tag script: ${JSON.stringify(
-                  tag.validate,
-                )}`,
-              );
-              tag.predicate = () => ts.factory.createTrue();
-            }
+    for (const atomic of props.metadata.atomics)
+      for (const row of atomic.tags)
+        for (const tag of row.filter(
+          (t) => t.validate !== undefined && t.predicate === undefined,
+        ))
+          try {
+            tag.predicate = ExpressionFactory.transpile({
+              script: tag.validate!,
+            });
+          } catch {
+            result.push(
+              `Unable to transpile type tag script: ${JSON.stringify(
+                tag.validate,
+              )}`,
+            );
+            tag.predicate = () => ts.factory.createTrue();
+          }
     result.push(...props.visitor.functor(props.metadata, props.explore));
     if (result.length)
       props.visitor.errors.push({

package/src/internal/_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/internal/_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/internal/_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/internal/_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/internal/_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/internal/_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/internal/_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/internal/_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/internal/_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/internal/_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/internal/_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/internal/_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/internal/_isFormatJsonPointer.ts

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

package/src/internal/_isFormatPassword.ts

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

package/src/internal/_isFormatRegex.ts

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

package/src/internal/_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/internal/_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/internal/_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/internal/_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/internal/_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/internal/_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/internal/_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/internal/_isTypeFloat.ts

@@ -0,0 +1,5 @@
+export const _isTypeFloat = (value: number): boolean =>
+  MINIMUM <= value && value <= MAXIMUM;
+
+const MINIMUM = -1.175494351e38;
+const MAXIMUM = 3.4028235e38;

package/src/internal/_isTypeInt32.ts

@@ -0,0 +1,5 @@
+export const _isTypeInt32 = (value: number): boolean =>
+  Math.floor(value) === value && MINIMUM <= value && value <= MAXIMUM;
+
+const MINIMUM = -(2 ** 31);
+const MAXIMUM = 2 ** 31 - 1;

package/src/internal/_isTypeInt64.ts

@@ -0,0 +1,5 @@
+export const _isTypeInt64 = (value: number): boolean =>
+  Math.floor(value) === value && MINIMUM <= value && value <= MAXIMUM;
+
+const MINIMUM = -(2 ** 63);
+const MAXIMUM = 2 ** 63 - 1;

package/src/internal/_isTypeUint32.ts

@@ -0,0 +1,5 @@
+export const _isTypeUint32 = (value: number): boolean =>
+  Math.floor(value) === value && MINIMUM <= value && value <= MAXIMUM;
+
+const MINIMUM = 0;
+const MAXIMUM = 2 ** 32 - 1;

package/src/internal/_isTypeUint64.ts

@@ -0,0 +1,5 @@
+export const _isTypeUint64 = (value: number): boolean =>
+  Math.floor(value) === value && MINIMUM <= value && value <= MAXIMUM;
+
+const MINIMUM = 0;
+const MAXIMUM = 2 ** 64 - 1;

package/src/programmers/internal/check_array_length.ts

@@ -38,9 +38,10 @@ const check_array_type_tags = (props: {
     .map((row) =>
       row.map((tag) => ({
         expected: `Array<> & ${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_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<{
+export type Format<Value extends Format.Value> = TagBase<{
   target: "string";
   kind: "format";
   value: Value;
-  validate: Format.Validator[Value];
+  validate: `$importInternal("isFormat${PascalizeString<Value>}")($input)`;
   exclusive: ["format", "pattern"];
   schema: {
     format: Value;
   };
 }>;
 export namespace Format {
-  export type Validator = typeof FormatCheatSheet;
+  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

@@ -7,21 +7,21 @@ export type Type<
   kind: "type";
   value: Value;
   validate: Value extends "int32"
-    ? `Math.floor($input) === $input && -2147483648 <= $input && $input <= 2147483647`
+    ? `$importInternal("isTypeInt32")($input)`
     : Value extends "uint32"
-      ? `Math.floor($input) === $input && 0 <= $input && $input <= 4294967295`
+      ? `$importInternal("isTypeUint32")($input)`
       : Value extends "int64"
         ? {
-            number: `Math.floor($input) === $input && -9223372036854775808 <= $input && $input <= 9223372036854775807`;
+            number: `$importInternal("isTypeInt64")($input)`;
             bigint: `true`;
           }
         : Value extends "uint64"
           ? {
-              number: `Math.floor($input) === $input && 0 <= $input && $input <= 18446744073709551615`;
+              number: `$importInternal("isTypeUint64")($input)`;
               bigint: `BigInt(0) <= $input`;
             }
           : Value extends "float"
-            ? `-1.175494351e38 <= $input && $input <= 3.4028235e38`
+            ? `$importInternal("isTypeFloat")($input)`
             : `true`;
   exclusive: true;
   schema: {