typia 5.3.5 → 5.3.6-dev.20231229

package/README.md

@@ -11,6 +11,7 @@
 // RUNTIME VALIDATORS
 export function is<T>(input: unknown): input is T; // returns boolean
 export function assert<T>(input: unknown): T; // throws TypeGuardError
+export function assertGuard<T>(input: unknown): asserts input is T;
 export function validate<T>(input: unknown): IValidation<T>; // detailed
 
 // JSON FUNCTIONS
@@ -74,8 +75,8 @@ Check out the document in the [website](https://typia.io/docs/):
   
 ### 📖 Features
   - Runtime Validators
-    - [`is()` function](https://typia.io/docs/validators/is/)
     - [`assert()` function](https://typia.io/docs/validators/assert/)
+    - [`is()` function](https://typia.io/docs/validators/is/)
     - [`validate()` function](https://typia.io/docs/validators/validate/)
     - [Special Tags](https://typia.io/docs/validators/tags/)
   - Enhanced JSON

package/lib/functional/$ProtobufReader.js

@@ -5,13 +5,13 @@ var $ProtobufReader = (function () {
     function $ProtobufReader(buf) {
         this.buf = buf;
         this.ptr = 0;
-        this.view = new DataView(buf.buffer);
+        this.view = new DataView(buf.buffer, buf.byteOffset, buf.byteLength);
     }
     $ProtobufReader.prototype.index = function () {
         return this.ptr;
     };
     $ProtobufReader.prototype.size = function () {
-        return this.buf.length;
+        return this.view.byteLength;
     };
     $ProtobufReader.prototype.uint32 = function () {
         return this.varint32();

package/lib/functional/$ProtobufReader.js.map

@@ -1 +1 @@
-{"version":3,"file":"$ProtobufReader.js","sourceRoot":"","sources":["../../src/functional/$ProtobufReader.ts"],"names":[],"mappings":";;;AAGA;IAgBE,yBAAmB,GAAe;QAChC,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;QACf,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;QACb,IAAI,CAAC,IAAI,GAAG,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACvC,CAAC;IAEM,+BAAK,GAAZ;QACE,OAAO,IAAI,CAAC,GAAG,CAAC;IAClB,CAAC;IAEM,8BAAI,GAAX;QACE,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;IACzB,CAAC;IAEM,gCAAM,GAAb;QACE,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IACzB,CAAC;IAEM,+BAAK,GAAZ;QACE,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IACzB,CAAC;IAEM,gCAAM,GAAb;QACE,IAAM,KAAK,GAAW,IAAI,CAAC,QAAQ,EAAE,CAAC;QACtC,OAAO,CAAC,KAAK,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACtC,CAAC;IAEM,gCAAM,GAAb;QACE,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IACzB,CAAC;IAEM,+BAAK,GAAZ;QACE,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IACzB,CAAC;IAEM,gCAAM,GAAb;QACE,IAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC9B,OAAO,CAAC,KAAK,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,GAAG,CAAC,CAAC;IACzC,CAAC;IAEM,8BAAI,GAAX;QACE,OAAO,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC;IAEM,+BAAK,GAAZ;QACE,IAAM,KAAK,GAAW,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC3D,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;QACd,OAAO,KAAK,CAAC;IACf,CAAC;IAEM,gCAAM,GAAb;QACE,IAAM,KAAK,GAAW,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC3D,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;QACd,OAAO,KAAK,CAAC;IACf,CAAC;IAEM,+BAAK,GAAZ;QACE,IAAM,MAAM,GAAW,IAAI,CAAC,MAAM,EAAE,CAAC;QACrC,IAAM,IAAI,GAAW,IAAI,CAAC,GAAG,CAAC;QAC9B,IAAI,CAAC,GAAG,IAAI,MAAM,CAAC;QACnB,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAAC,CAAC;IAChD,CAAC;IAEM,gCAAM,GAAb;QACE,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;IACnC,CAAC;IAEM,8BAAI,GAAX,UAAY,MAAc;QACxB,IAAI,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI;gBAAC,CAAC;aACtC,CAAC;YACJ,IAAI,IAAI,CAAC,KAAK,EAAE,GAAG,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE;gBACrC,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;YACxE,IAAI,CAAC,GAAG,IAAI,MAAM,CAAC;QACrB,CAAC;IACH,CAAC;IAEM,kCAAQ,GAAf,UAAgB,QAAsB;QACpC,QAAQ,QAAQ,EAAE,CAAC;YACjB;gBACE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACb,MAAM;YACR;gBACE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACb,MAAM;YACR;gBACE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;gBACzB,MAAM;YACR;gBACE,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,MAA2B;oBACjE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;gBAC1B,MAAM;YACR;gBACE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACb,MAAM;YACR;gBACE,MAAM,IAAI,KAAK,CAAC,4BAAqB,QAAQ,wBAAc,IAAI,CAAC,GAAG,MAAG,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IAEO,kCAAQ,GAAhB;QACE,IAAI,MAAc,CAAC;QACnB,IAAI,KAAa,CAAC;QAElB,KAAK,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC;QACpC,IAAI,MAAM,GAAG,IAAI;YAAE,OAAO,KAAK,CAAC;QAEhC,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,MAAM,GAAG,IAAI;YAAE,OAAO,KAAK,CAAC;QAEhC,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC7C,IAAI,MAAM,GAAG,IAAI;YAAE,OAAO,KAAK,CAAC;QAEhC,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC7C,IAAI,MAAM,GAAG,IAAI;YAAE,OAAO,KAAK,CAAC;QAEhC,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QAC5C,IAAI,MAAM,GAAG,IAAI;YAAE,OAAO,KAAK,CAAC;QAGhC,IAAI,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI;YAAE,OAAO,KAAK,CAAC;QACnC,IAAI,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI;YAAE,OAAO,KAAK,CAAC;QACnC,IAAI,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI;YAAE,OAAO,KAAK,CAAC;QACnC,IAAI,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI;YAAE,OAAO,KAAK,CAAC;QACnC,IAAI,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI;YAAE,OAAO,KAAK,CAAC;QAEnC,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,kCAAQ,GAAhB;QACE,IAAI,MAAc,CAAC;QACnB,IAAI,KAAa,CAAC;QAElB,KAAK,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC;QACpC,IAAI,MAAM,GAAG,GAAG;YAAE,OAAO,KAAK,CAAC;QAE/B,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC;QACpD,IAAI,MAAM,GAAG,GAAG;YAAE,OAAO,KAAK,CAAC;QAE/B,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC;QACrD,IAAI,MAAM,GAAG,GAAG;YAAE,OAAO,KAAK,CAAC;QAE/B,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC;QACrD,IAAI,MAAM,GAAG,GAAG;YAAE,OAAO,KAAK,CAAC;QAE/B,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC;QACrD,IAAI,MAAM,GAAG,GAAG;YAAE,OAAO,KAAK,CAAC;QAE/B,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC;QACrD,IAAI,MAAM,GAAG,GAAG;YAAE,OAAO,KAAK,CAAC;QAE/B,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC;QACrD,IAAI,MAAM,GAAG,GAAG;YAAE,OAAO,KAAK,CAAC;QAE/B,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC;QACrD,IAAI,MAAM,GAAG,GAAG;YAAE,OAAO,KAAK,CAAC;QAE/B,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC;QACrD,IAAI,MAAM,GAAG,GAAG;YAAE,OAAO,KAAK,CAAC;QAE/B,KAAK,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC;QAC1C,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC;IAEO,4BAAE,GAAV;QACE,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IACxC,CAAC;IAEO,6BAAG,GAAX;QACE,OAAO,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;IAC3B,CAAC;IACH,sBAAC;AAAD,CAAC,AA1LD,IA0LC;AA1LY,0CAAe;AA4L5B,IAAM,IAAI,GAAG,IAAI,WAAW,EAAE,CAAC;AAC/B,IAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;AACzB,IAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;AACzB,IAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC"}
+{"version":3,"file":"$ProtobufReader.js","sourceRoot":"","sources":["../../src/functional/$ProtobufReader.ts"],"names":[],"mappings":";;;AAGA;IAgBE,yBAAmB,GAAe;QAChC,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;QACf,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;QACb,IAAI,CAAC,IAAI,GAAG,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IACvE,CAAC;IAEM,+BAAK,GAAZ;QACE,OAAO,IAAI,CAAC,GAAG,CAAC;IAClB,CAAC;IAEM,8BAAI,GAAX;QACE,OAAO,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC;IAC9B,CAAC;IAEM,gCAAM,GAAb;QACE,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IACzB,CAAC;IAEM,+BAAK,GAAZ;QACE,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IACzB,CAAC;IAEM,gCAAM,GAAb;QACE,IAAM,KAAK,GAAW,IAAI,CAAC,QAAQ,EAAE,CAAC;QACtC,OAAO,CAAC,KAAK,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACtC,CAAC;IAEM,gCAAM,GAAb;QACE,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IACzB,CAAC;IAEM,+BAAK,GAAZ;QACE,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IACzB,CAAC;IAEM,gCAAM,GAAb;QACE,IAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC9B,OAAO,CAAC,KAAK,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,GAAG,CAAC,CAAC;IACzC,CAAC;IAEM,8BAAI,GAAX;QACE,OAAO,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC;IAEM,+BAAK,GAAZ;QACE,IAAM,KAAK,GAAW,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC3D,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;QACd,OAAO,KAAK,CAAC;IACf,CAAC;IAEM,gCAAM,GAAb;QACE,IAAM,KAAK,GAAW,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC3D,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;QACd,OAAO,KAAK,CAAC;IACf,CAAC;IAEM,+BAAK,GAAZ;QACE,IAAM,MAAM,GAAW,IAAI,CAAC,MAAM,EAAE,CAAC;QACrC,IAAM,IAAI,GAAW,IAAI,CAAC,GAAG,CAAC;QAC9B,IAAI,CAAC,GAAG,IAAI,MAAM,CAAC;QACnB,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAAC,CAAC;IAChD,CAAC;IAEM,gCAAM,GAAb;QACE,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;IACnC,CAAC;IAEM,8BAAI,GAAX,UAAY,MAAc;QACxB,IAAI,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI;gBAAC,CAAC;aACtC,CAAC;YACJ,IAAI,IAAI,CAAC,KAAK,EAAE,GAAG,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE;gBACrC,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;YACxE,IAAI,CAAC,GAAG,IAAI,MAAM,CAAC;QACrB,CAAC;IACH,CAAC;IAEM,kCAAQ,GAAf,UAAgB,QAAsB;QACpC,QAAQ,QAAQ,EAAE,CAAC;YACjB;gBACE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACb,MAAM;YACR;gBACE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACb,MAAM;YACR;gBACE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;gBACzB,MAAM;YACR;gBACE,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,MAA2B;oBACjE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;gBAC1B,MAAM;YACR;gBACE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACb,MAAM;YACR;gBACE,MAAM,IAAI,KAAK,CAAC,4BAAqB,QAAQ,wBAAc,IAAI,CAAC,GAAG,MAAG,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IAEO,kCAAQ,GAAhB;QACE,IAAI,MAAc,CAAC;QACnB,IAAI,KAAa,CAAC;QAElB,KAAK,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC;QACpC,IAAI,MAAM,GAAG,IAAI;YAAE,OAAO,KAAK,CAAC;QAEhC,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,MAAM,GAAG,IAAI;YAAE,OAAO,KAAK,CAAC;QAEhC,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC7C,IAAI,MAAM,GAAG,IAAI;YAAE,OAAO,KAAK,CAAC;QAEhC,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC7C,IAAI,MAAM,GAAG,IAAI;YAAE,OAAO,KAAK,CAAC;QAEhC,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QAC5C,IAAI,MAAM,GAAG,IAAI;YAAE,OAAO,KAAK,CAAC;QAGhC,IAAI,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI;YAAE,OAAO,KAAK,CAAC;QACnC,IAAI,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI;YAAE,OAAO,KAAK,CAAC;QACnC,IAAI,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI;YAAE,OAAO,KAAK,CAAC;QACnC,IAAI,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI;YAAE,OAAO,KAAK,CAAC;QACnC,IAAI,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI;YAAE,OAAO,KAAK,CAAC;QAEnC,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,kCAAQ,GAAhB;QACE,IAAI,MAAc,CAAC;QACnB,IAAI,KAAa,CAAC;QAElB,KAAK,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC;QACpC,IAAI,MAAM,GAAG,GAAG;YAAE,OAAO,KAAK,CAAC;QAE/B,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC;QACpD,IAAI,MAAM,GAAG,GAAG;YAAE,OAAO,KAAK,CAAC;QAE/B,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC;QACrD,IAAI,MAAM,GAAG,GAAG;YAAE,OAAO,KAAK,CAAC;QAE/B,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC;QACrD,IAAI,MAAM,GAAG,GAAG;YAAE,OAAO,KAAK,CAAC;QAE/B,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC;QACrD,IAAI,MAAM,GAAG,GAAG;YAAE,OAAO,KAAK,CAAC;QAE/B,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC;QACrD,IAAI,MAAM,GAAG,GAAG;YAAE,OAAO,KAAK,CAAC;QAE/B,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC;QACrD,IAAI,MAAM,GAAG,GAAG;YAAE,OAAO,KAAK,CAAC;QAE/B,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC;QACrD,IAAI,MAAM,GAAG,GAAG;YAAE,OAAO,KAAK,CAAC;QAE/B,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC;QACrD,IAAI,MAAM,GAAG,GAAG;YAAE,OAAO,KAAK,CAAC;QAE/B,KAAK,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC;QAC1C,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC;IAEO,4BAAE,GAAV;QACE,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IACxC,CAAC;IAEO,6BAAG,GAAX;QACE,OAAO,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;IAC3B,CAAC;IACH,sBAAC;AAAD,CAAC,AA1LD,IA0LC;AA1LY,0CAAe;AA4L5B,IAAM,IAAI,GAAG,IAAI,WAAW,EAAE,CAAC;AAC/B,IAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;AACzB,IAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;AACzB,IAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC"}

package/package.json

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

package/src/AssertionGuard.ts

@@ -1 +1 @@
-export type AssertionGuard<T> = (input: unknown) => asserts input is T;
+export type AssertionGuard<T> = (input: unknown) => asserts input is T;

package/src/CamelCase.ts

@@ -1,114 +1,114 @@
-/**
- * Camel case type.
- *
- * `CamelCase` type is a type that all keys of an object are camelized.
- *
- * It also erase every method properties like {@link Resolved} type.
- *
- * @template T Target type to be camelized
- * @author Jeongho Nam - https://github.com/samchon
- */
-export type CamelCase<T> = Equal<T, CamelizeMain<T>> extends true
-  ? T
-  : CamelizeMain<T>;
-
-/* -----------------------------------------------------------
-    OBJECT CONVERSION
------------------------------------------------------------ */
-type Equal<X, Y> = X extends Y ? (Y extends X ? true : false) : false;
-
-type CamelizeMain<T> = T extends [never]
-  ? never // special trick for (jsonable | null) type
-  : T extends { valueOf(): boolean | bigint | number | string }
-  ? ValueOf<T>
-  : T extends Function
-  ? never
-  : T extends object
-  ? CamelizeObject<T>
-  : T;
-
-type CamelizeObject<T extends object> = T extends Array<infer U>
-  ? IsTuple<T> extends true
-    ? CamelizeTuple<T>
-    : CamelizeMain<U>[]
-  : T extends Set<infer U>
-  ? Set<CamelizeMain<U>>
-  : T extends Map<infer K, infer V>
-  ? Map<CamelizeMain<K>, CamelizeMain<V>>
-  : T extends WeakSet<any> | WeakMap<any, any>
-  ? never
-  : T extends
-      | Date
-      | Uint8Array
-      | Uint8ClampedArray
-      | Uint16Array
-      | Uint32Array
-      | BigUint64Array
-      | Int8Array
-      | Int16Array
-      | Int32Array
-      | BigInt64Array
-      | Float32Array
-      | Float64Array
-      | ArrayBuffer
-      | SharedArrayBuffer
-      | DataView
-  ? T
-  : {
-      [Key in keyof T as CamelizeString<Key & string>]: CamelizeMain<T[Key]>;
-    };
-
-/* -----------------------------------------------------------
-    SPECIAL CASES
------------------------------------------------------------ */
-type IsTuple<T extends readonly any[] | { length: number }> = [T] extends [
-  never,
-]
-  ? false
-  : T extends readonly any[]
-  ? number extends T["length"]
-    ? false
-    : true
-  : false;
-type CamelizeTuple<T extends readonly any[]> = T extends []
-  ? []
-  : T extends [infer F]
-  ? [CamelizeMain<F>]
-  : T extends [infer F, ...infer Rest extends readonly any[]]
-  ? [CamelizeMain<F>, ...CamelizeTuple<Rest>]
-  : T extends [(infer F)?]
-  ? [CamelizeMain<F>?]
-  : T extends [(infer F)?, ...infer Rest extends readonly any[]]
-  ? [CamelizeMain<F>?, ...CamelizeTuple<Rest>]
-  : [];
-
-type ValueOf<Instance> = IsValueOf<Instance, Boolean> extends true
-  ? boolean
-  : IsValueOf<Instance, Number> extends true
-  ? number
-  : IsValueOf<Instance, String> extends true
-  ? string
-  : Instance;
-
-type IsValueOf<Instance, Object extends IValueOf<any>> = Instance extends Object
-  ? Object extends IValueOf<infer Primitive>
-    ? Instance extends Primitive
-      ? false
-      : true // not Primitive, but Object
-    : false // cannot be
-  : false;
-
-interface IValueOf<T> {
-  valueOf(): T;
-}
-
-/* -----------------------------------------------------------
-    STRING CONVERTER
------------------------------------------------------------ */
-type CamelizeString<Key extends string> = Key extends `${infer F}${infer R}`
-  ? `${Lowercase<F>}${CamelizeStringRepeatedly<R>}`
-  : Key;
-type CamelizeStringRepeatedly<Key extends string> =
-  Key extends `${infer F}_${infer R}`
-    ? `${F}${Capitalize<CamelizeStringRepeatedly<R>>}`
-    : Key;
+/**
+ * Camel case type.
+ *
+ * `CamelCase` type is a type that all keys of an object are camelized.
+ *
+ * It also erase every method properties like {@link Resolved} type.
+ *
+ * @template T Target type to be camelized
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export type CamelCase<T> = Equal<T, CamelizeMain<T>> extends true
+  ? T
+  : CamelizeMain<T>;
+
+/* -----------------------------------------------------------
+    OBJECT CONVERSION
+----------------------------------------------------------- */
+type Equal<X, Y> = X extends Y ? (Y extends X ? true : false) : false;
+
+type CamelizeMain<T> = T extends [never]
+  ? never // special trick for (jsonable | null) type
+  : T extends { valueOf(): boolean | bigint | number | string }
+  ? ValueOf<T>
+  : T extends Function
+  ? never
+  : T extends object
+  ? CamelizeObject<T>
+  : T;
+
+type CamelizeObject<T extends object> = T extends Array<infer U>
+  ? IsTuple<T> extends true
+    ? CamelizeTuple<T>
+    : CamelizeMain<U>[]
+  : T extends Set<infer U>
+  ? Set<CamelizeMain<U>>
+  : T extends Map<infer K, infer V>
+  ? Map<CamelizeMain<K>, CamelizeMain<V>>
+  : T extends WeakSet<any> | WeakMap<any, any>
+  ? never
+  : T extends
+      | Date
+      | Uint8Array
+      | Uint8ClampedArray
+      | Uint16Array
+      | Uint32Array
+      | BigUint64Array
+      | Int8Array
+      | Int16Array
+      | Int32Array
+      | BigInt64Array
+      | Float32Array
+      | Float64Array
+      | ArrayBuffer
+      | SharedArrayBuffer
+      | DataView
+  ? T
+  : {
+      [Key in keyof T as CamelizeString<Key & string>]: CamelizeMain<T[Key]>;
+    };
+
+/* -----------------------------------------------------------
+    SPECIAL CASES
+----------------------------------------------------------- */
+type IsTuple<T extends readonly any[] | { length: number }> = [T] extends [
+  never,
+]
+  ? false
+  : T extends readonly any[]
+  ? number extends T["length"]
+    ? false
+    : true
+  : false;
+type CamelizeTuple<T extends readonly any[]> = T extends []
+  ? []
+  : T extends [infer F]
+  ? [CamelizeMain<F>]
+  : T extends [infer F, ...infer Rest extends readonly any[]]
+  ? [CamelizeMain<F>, ...CamelizeTuple<Rest>]
+  : T extends [(infer F)?]
+  ? [CamelizeMain<F>?]
+  : T extends [(infer F)?, ...infer Rest extends readonly any[]]
+  ? [CamelizeMain<F>?, ...CamelizeTuple<Rest>]
+  : [];
+
+type ValueOf<Instance> = IsValueOf<Instance, Boolean> extends true
+  ? boolean
+  : IsValueOf<Instance, Number> extends true
+  ? number
+  : IsValueOf<Instance, String> extends true
+  ? string
+  : Instance;
+
+type IsValueOf<Instance, Object extends IValueOf<any>> = Instance extends Object
+  ? Object extends IValueOf<infer Primitive>
+    ? Instance extends Primitive
+      ? false
+      : true // not Primitive, but Object
+    : false // cannot be
+  : false;
+
+interface IValueOf<T> {
+  valueOf(): T;
+}
+
+/* -----------------------------------------------------------
+    STRING CONVERTER
+----------------------------------------------------------- */
+type CamelizeString<Key extends string> = Key extends `${infer F}${infer R}`
+  ? `${Lowercase<F>}${CamelizeStringRepeatedly<R>}`
+  : Key;
+type CamelizeStringRepeatedly<Key extends string> =
+  Key extends `${infer F}_${infer R}`
+    ? `${F}${Capitalize<CamelizeStringRepeatedly<R>>}`
+    : Key;

package/src/IRandomGenerator.ts

@@ -1,35 +1,35 @@
-import { Customizable } from "./typings/Customizable";
-
-export interface IRandomGenerator {
-  boolean(): boolean;
-  integer(minimum?: number, maximum?: number): number;
-  number(minimum?: number, maximum?: number): number;
-  bigint(minimum?: bigint, maximum?: bigint): bigint;
-  string(length?: number): string;
-  array<T>(closure: (index: number) => T, count?: number): T[];
-  length(): number;
-
-  uuid(): string;
-  email(): string;
-  url(): string;
-  ipv4(): string;
-  ipv6(): string;
-  pattern(regex: RegExp): string;
-  date(minimum?: number, maximum?: number): string;
-  datetime(minimum?: number, maximum?: number): string;
-
-  customs?: IRandomGenerator.CustomMap;
-}
-export namespace IRandomGenerator {
-  export type CustomMap = {
-    [Type in keyof Customizable]?: (
-      tags: ITypeTag[],
-    ) => Customizable[Type] | undefined;
-  };
-
-  export interface ITypeTag {
-    name: string;
-    kind: string;
-    value: any;
-  }
-}
+import { Customizable } from "./typings/Customizable";
+
+export interface IRandomGenerator {
+  boolean(): boolean;
+  integer(minimum?: number, maximum?: number): number;
+  number(minimum?: number, maximum?: number): number;
+  bigint(minimum?: bigint, maximum?: bigint): bigint;
+  string(length?: number): string;
+  array<T>(closure: (index: number) => T, count?: number): T[];
+  length(): number;
+
+  uuid(): string;
+  email(): string;
+  url(): string;
+  ipv4(): string;
+  ipv6(): string;
+  pattern(regex: RegExp): string;
+  date(minimum?: number, maximum?: number): string;
+  datetime(minimum?: number, maximum?: number): string;
+
+  customs?: IRandomGenerator.CustomMap;
+}
+export namespace IRandomGenerator {
+  export type CustomMap = {
+    [Type in keyof Customizable]?: (
+      tags: ITypeTag[],
+    ) => Customizable[Type] | undefined;
+  };
+
+  export interface ITypeTag {
+    name: string;
+    kind: string;
+    value: any;
+  }
+}

package/src/IValidation.ts

@@ -1,21 +1,21 @@
-export type IValidation<T = unknown> =
-  | IValidation.ISuccess<T>
-  | IValidation.IFailure;
-export namespace IValidation {
-  export interface ISuccess<T = unknown> {
-    success: true;
-    data: T;
-    errors: [];
-  }
-
-  export interface IFailure {
-    success: false;
-    errors: IError[];
-  }
-
-  export interface IError {
-    path: string;
-    expected: string;
-    value: any;
-  }
-}
+export type IValidation<T = unknown> =
+  | IValidation.ISuccess<T>
+  | IValidation.IFailure;
+export namespace IValidation {
+  export interface ISuccess<T = unknown> {
+    success: true;
+    data: T;
+    errors: [];
+  }
+
+  export interface IFailure {
+    success: false;
+    errors: IError[];
+  }
+
+  export interface IError {
+    path: string;
+    expected: string;
+    value: any;
+  }
+}

package/src/PascalCase.ts

@@ -1,114 +1,114 @@
-/**
- * Pascal case type.
- *
- * `PascalCase` type is a type that all keys of an object are pascalized.
- *
- * It also erase every method properties like {@link Resolved} type.
- *
- * @template T Target type to be pascalized
- * @author Jeongho Nam - https://github.com/samchon
- */
-export type PascalCase<T> = Equal<T, PascalizeMain<T>> extends true
-  ? T
-  : PascalizeMain<T>;
-
-/* -----------------------------------------------------------
-    OBJECT CONVERSION
------------------------------------------------------------ */
-type Equal<X, Y> = X extends Y ? (Y extends X ? true : false) : false;
-
-type PascalizeMain<T> = T extends [never]
-  ? never // special trick for (jsonable | null) type
-  : T extends { valueOf(): boolean | bigint | number | string }
-  ? ValueOf<T>
-  : T extends Function
-  ? never
-  : T extends object
-  ? PascalizeObject<T>
-  : T;
-
-type PascalizeObject<T extends object> = T extends Array<infer U>
-  ? IsTuple<T> extends true
-    ? PascalizeTuple<T>
-    : PascalizeMain<U>[]
-  : T extends Set<infer U>
-  ? Set<PascalizeMain<U>>
-  : T extends Map<infer K, infer V>
-  ? Map<PascalizeMain<K>, PascalizeMain<V>>
-  : T extends WeakSet<any> | WeakMap<any, any>
-  ? never
-  : T extends
-      | Date
-      | Uint8Array
-      | Uint8ClampedArray
-      | Uint16Array
-      | Uint32Array
-      | BigUint64Array
-      | Int8Array
-      | Int16Array
-      | Int32Array
-      | BigInt64Array
-      | Float32Array
-      | Float64Array
-      | ArrayBuffer
-      | SharedArrayBuffer
-      | DataView
-  ? T
-  : {
-      [Key in keyof T as PascalizeString<Key & string>]: PascalizeMain<T[Key]>;
-    };
-
-/* -----------------------------------------------------------
-    SPECIAL CASES
------------------------------------------------------------ */
-type IsTuple<T extends readonly any[] | { length: number }> = [T] extends [
-  never,
-]
-  ? false
-  : T extends readonly any[]
-  ? number extends T["length"]
-    ? false
-    : true
-  : false;
-type PascalizeTuple<T extends readonly any[]> = T extends []
-  ? []
-  : T extends [infer F]
-  ? [PascalizeMain<F>]
-  : T extends [infer F, ...infer Rest extends readonly any[]]
-  ? [PascalizeMain<F>, ...PascalizeTuple<Rest>]
-  : T extends [(infer F)?]
-  ? [PascalizeMain<F>?]
-  : T extends [(infer F)?, ...infer Rest extends readonly any[]]
-  ? [PascalizeMain<F>?, ...PascalizeTuple<Rest>]
-  : [];
-
-type ValueOf<Instance> = IsValueOf<Instance, Boolean> extends true
-  ? boolean
-  : IsValueOf<Instance, Number> extends true
-  ? number
-  : IsValueOf<Instance, String> extends true
-  ? string
-  : Instance;
-
-type IsValueOf<Instance, Object extends IValueOf<any>> = Instance extends Object
-  ? Object extends IValueOf<infer Primitive>
-    ? Instance extends Primitive
-      ? false
-      : true // not Primitive, but Object
-    : false // cannot be
-  : false;
-
-interface IValueOf<T> {
-  valueOf(): T;
-}
-
-/* -----------------------------------------------------------
-    STRING CONVERTER
------------------------------------------------------------ */
-type PascalizeString<Key extends string> = Key extends `${infer F}${infer R}`
-  ? `${Uppercase<F>}${PascalizeStringRepeatedly<R>}`
-  : Key;
-type PascalizeStringRepeatedly<Key extends string> =
-  Key extends `${infer F}_${infer R}`
-    ? `${F}${Capitalize<PascalizeStringRepeatedly<R>>}`
-    : Key;
+/**
+ * Pascal case type.
+ *
+ * `PascalCase` type is a type that all keys of an object are pascalized.
+ *
+ * It also erase every method properties like {@link Resolved} type.
+ *
+ * @template T Target type to be pascalized
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export type PascalCase<T> = Equal<T, PascalizeMain<T>> extends true
+  ? T
+  : PascalizeMain<T>;
+
+/* -----------------------------------------------------------
+    OBJECT CONVERSION
+----------------------------------------------------------- */
+type Equal<X, Y> = X extends Y ? (Y extends X ? true : false) : false;
+
+type PascalizeMain<T> = T extends [never]
+  ? never // special trick for (jsonable | null) type
+  : T extends { valueOf(): boolean | bigint | number | string }
+  ? ValueOf<T>
+  : T extends Function
+  ? never
+  : T extends object
+  ? PascalizeObject<T>
+  : T;
+
+type PascalizeObject<T extends object> = T extends Array<infer U>
+  ? IsTuple<T> extends true
+    ? PascalizeTuple<T>
+    : PascalizeMain<U>[]
+  : T extends Set<infer U>
+  ? Set<PascalizeMain<U>>
+  : T extends Map<infer K, infer V>
+  ? Map<PascalizeMain<K>, PascalizeMain<V>>
+  : T extends WeakSet<any> | WeakMap<any, any>
+  ? never
+  : T extends
+      | Date
+      | Uint8Array
+      | Uint8ClampedArray
+      | Uint16Array
+      | Uint32Array
+      | BigUint64Array
+      | Int8Array
+      | Int16Array
+      | Int32Array
+      | BigInt64Array
+      | Float32Array
+      | Float64Array
+      | ArrayBuffer
+      | SharedArrayBuffer
+      | DataView
+  ? T
+  : {
+      [Key in keyof T as PascalizeString<Key & string>]: PascalizeMain<T[Key]>;
+    };
+
+/* -----------------------------------------------------------
+    SPECIAL CASES
+----------------------------------------------------------- */
+type IsTuple<T extends readonly any[] | { length: number }> = [T] extends [
+  never,
+]
+  ? false
+  : T extends readonly any[]
+  ? number extends T["length"]
+    ? false
+    : true
+  : false;
+type PascalizeTuple<T extends readonly any[]> = T extends []
+  ? []
+  : T extends [infer F]
+  ? [PascalizeMain<F>]
+  : T extends [infer F, ...infer Rest extends readonly any[]]
+  ? [PascalizeMain<F>, ...PascalizeTuple<Rest>]
+  : T extends [(infer F)?]
+  ? [PascalizeMain<F>?]
+  : T extends [(infer F)?, ...infer Rest extends readonly any[]]
+  ? [PascalizeMain<F>?, ...PascalizeTuple<Rest>]
+  : [];
+
+type ValueOf<Instance> = IsValueOf<Instance, Boolean> extends true
+  ? boolean
+  : IsValueOf<Instance, Number> extends true
+  ? number
+  : IsValueOf<Instance, String> extends true
+  ? string
+  : Instance;
+
+type IsValueOf<Instance, Object extends IValueOf<any>> = Instance extends Object
+  ? Object extends IValueOf<infer Primitive>
+    ? Instance extends Primitive
+      ? false
+      : true // not Primitive, but Object
+    : false // cannot be
+  : false;
+
+interface IValueOf<T> {
+  valueOf(): T;
+}
+
+/* -----------------------------------------------------------
+    STRING CONVERTER
+----------------------------------------------------------- */
+type PascalizeString<Key extends string> = Key extends `${infer F}${infer R}`
+  ? `${Uppercase<F>}${PascalizeStringRepeatedly<R>}`
+  : Key;
+type PascalizeStringRepeatedly<Key extends string> =
+  Key extends `${infer F}_${infer R}`
+    ? `${F}${Capitalize<PascalizeStringRepeatedly<R>>}`
+    : Key;