@sinclair/typebox 0.34.16 → 0.34.18

package/build/cjs/type/type/type.js

@@ -1,125 +1,131 @@
 "use strict";
 
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.String = exports.ReturnType = exports.Rest = exports.Required = exports.RegExp = exports.Ref = exports.Recursive = exports.Record = exports.ReadonlyOptional = exports.Readonly = exports.Promise = exports.Pick = exports.Partial = exports.Parameters = exports.Optional = exports.Omit = exports.Object = exports.Number = exports.Null = exports.Not = exports.Never = exports.Module = exports.Mapped = exports.Literal = exports.KeyOf = exports.Iterator = exports.Uppercase = exports.Lowercase = exports.Uncapitalize = exports.Capitalize = exports.Intersect = exports.Integer = exports.InstanceType = exports.Index = exports.Function = exports.Extract = exports.Extends = exports.Exclude = exports.Enum = exports.Date = exports.ConstructorParameters = exports.Constructor = exports.Const = exports.Composite = exports.Boolean = exports.BigInt = exports.Awaited = exports.AsyncIterator = exports.Array = exports.Any = void 0;
-exports.Void = exports.Unsafe = exports.Unknown = exports.Union = exports.Undefined = exports.Uint8Array = exports.Tuple = exports.Transform = exports.TemplateLiteral = exports.Symbol = void 0;
+exports.Required = exports.Remap = exports.RegExp = exports.Ref = exports.Recursive = exports.Record = exports.ReadonlyOptional = exports.Readonly = exports.Promise = exports.Pick = exports.Partial = exports.Parameters = exports.Optional = exports.Omit = exports.Object = exports.Number = exports.Null = exports.Not = exports.Never = exports.Module = exports.Mapped = exports.Literal = exports.KeyOf = exports.Iterator = exports.Uppercase = exports.Lowercase = exports.Uncapitalize = exports.Capitalize = exports.Intersect = exports.Integer = exports.Instantiate = exports.InstanceType = exports.Index = exports.Function = exports.Extract = exports.Extends = exports.Exclude = exports.Enum = exports.Date = exports.ConstructorParameters = exports.Constructor = exports.Const = exports.Composite = exports.Boolean = exports.BigInt = exports.Awaited = exports.AsyncIterator = exports.Array = exports.Argument = exports.Any = void 0;
+exports.Void = exports.Unsafe = exports.Unknown = exports.Union = exports.Undefined = exports.Uint8Array = exports.Tuple = exports.Transform = exports.TemplateLiteral = exports.Symbol = exports.String = exports.ReturnType = exports.Rest = void 0;
 // ------------------------------------------------------------------
 // Type: Module
 // ------------------------------------------------------------------
 var index_1 = require("../any/index");
 Object.defineProperty(exports, "Any", { enumerable: true, get: function () { return index_1.Any; } });
-var index_2 = require("../array/index");
-Object.defineProperty(exports, "Array", { enumerable: true, get: function () { return index_2.Array; } });
-var index_3 = require("../async-iterator/index");
-Object.defineProperty(exports, "AsyncIterator", { enumerable: true, get: function () { return index_3.AsyncIterator; } });
-var index_4 = require("../awaited/index");
-Object.defineProperty(exports, "Awaited", { enumerable: true, get: function () { return index_4.Awaited; } });
-var index_5 = require("../bigint/index");
-Object.defineProperty(exports, "BigInt", { enumerable: true, get: function () { return index_5.BigInt; } });
-var index_6 = require("../boolean/index");
-Object.defineProperty(exports, "Boolean", { enumerable: true, get: function () { return index_6.Boolean; } });
-var index_7 = require("../composite/index");
-Object.defineProperty(exports, "Composite", { enumerable: true, get: function () { return index_7.Composite; } });
-var index_8 = require("../const/index");
-Object.defineProperty(exports, "Const", { enumerable: true, get: function () { return index_8.Const; } });
-var index_9 = require("../constructor/index");
-Object.defineProperty(exports, "Constructor", { enumerable: true, get: function () { return index_9.Constructor; } });
-var index_10 = require("../constructor-parameters/index");
-Object.defineProperty(exports, "ConstructorParameters", { enumerable: true, get: function () { return index_10.ConstructorParameters; } });
-var index_11 = require("../date/index");
-Object.defineProperty(exports, "Date", { enumerable: true, get: function () { return index_11.Date; } });
-var index_12 = require("../enum/index");
-Object.defineProperty(exports, "Enum", { enumerable: true, get: function () { return index_12.Enum; } });
-var index_13 = require("../exclude/index");
-Object.defineProperty(exports, "Exclude", { enumerable: true, get: function () { return index_13.Exclude; } });
-var index_14 = require("../extends/index");
-Object.defineProperty(exports, "Extends", { enumerable: true, get: function () { return index_14.Extends; } });
-var index_15 = require("../extract/index");
-Object.defineProperty(exports, "Extract", { enumerable: true, get: function () { return index_15.Extract; } });
-var index_16 = require("../function/index");
-Object.defineProperty(exports, "Function", { enumerable: true, get: function () { return index_16.Function; } });
-var index_17 = require("../indexed/index");
-Object.defineProperty(exports, "Index", { enumerable: true, get: function () { return index_17.Index; } });
-var index_18 = require("../instance-type/index");
-Object.defineProperty(exports, "InstanceType", { enumerable: true, get: function () { return index_18.InstanceType; } });
-var index_19 = require("../integer/index");
-Object.defineProperty(exports, "Integer", { enumerable: true, get: function () { return index_19.Integer; } });
-var index_20 = require("../intersect/index");
-Object.defineProperty(exports, "Intersect", { enumerable: true, get: function () { return index_20.Intersect; } });
-var index_21 = require("../intrinsic/index");
-Object.defineProperty(exports, "Capitalize", { enumerable: true, get: function () { return index_21.Capitalize; } });
-Object.defineProperty(exports, "Uncapitalize", { enumerable: true, get: function () { return index_21.Uncapitalize; } });
-Object.defineProperty(exports, "Lowercase", { enumerable: true, get: function () { return index_21.Lowercase; } });
-Object.defineProperty(exports, "Uppercase", { enumerable: true, get: function () { return index_21.Uppercase; } });
-var index_22 = require("../iterator/index");
-Object.defineProperty(exports, "Iterator", { enumerable: true, get: function () { return index_22.Iterator; } });
-var index_23 = require("../keyof/index");
-Object.defineProperty(exports, "KeyOf", { enumerable: true, get: function () { return index_23.KeyOf; } });
-var index_24 = require("../literal/index");
-Object.defineProperty(exports, "Literal", { enumerable: true, get: function () { return index_24.Literal; } });
-var index_25 = require("../mapped/index");
-Object.defineProperty(exports, "Mapped", { enumerable: true, get: function () { return index_25.Mapped; } });
-var index_26 = require("../module/index");
-Object.defineProperty(exports, "Module", { enumerable: true, get: function () { return index_26.Module; } });
-var index_27 = require("../never/index");
-Object.defineProperty(exports, "Never", { enumerable: true, get: function () { return index_27.Never; } });
-var index_28 = require("../not/index");
-Object.defineProperty(exports, "Not", { enumerable: true, get: function () { return index_28.Not; } });
-var index_29 = require("../null/index");
-Object.defineProperty(exports, "Null", { enumerable: true, get: function () { return index_29.Null; } });
-var index_30 = require("../number/index");
-Object.defineProperty(exports, "Number", { enumerable: true, get: function () { return index_30.Number; } });
-var index_31 = require("../object/index");
-Object.defineProperty(exports, "Object", { enumerable: true, get: function () { return index_31.Object; } });
-var index_32 = require("../omit/index");
-Object.defineProperty(exports, "Omit", { enumerable: true, get: function () { return index_32.Omit; } });
-var index_33 = require("../optional/index");
-Object.defineProperty(exports, "Optional", { enumerable: true, get: function () { return index_33.Optional; } });
-var index_34 = require("../parameters/index");
-Object.defineProperty(exports, "Parameters", { enumerable: true, get: function () { return index_34.Parameters; } });
-var index_35 = require("../partial/index");
-Object.defineProperty(exports, "Partial", { enumerable: true, get: function () { return index_35.Partial; } });
-var index_36 = require("../pick/index");
-Object.defineProperty(exports, "Pick", { enumerable: true, get: function () { return index_36.Pick; } });
-var index_37 = require("../promise/index");
-Object.defineProperty(exports, "Promise", { enumerable: true, get: function () { return index_37.Promise; } });
-var index_38 = require("../readonly/index");
-Object.defineProperty(exports, "Readonly", { enumerable: true, get: function () { return index_38.Readonly; } });
-var index_39 = require("../readonly-optional/index");
-Object.defineProperty(exports, "ReadonlyOptional", { enumerable: true, get: function () { return index_39.ReadonlyOptional; } });
-var index_40 = require("../record/index");
-Object.defineProperty(exports, "Record", { enumerable: true, get: function () { return index_40.Record; } });
-var index_41 = require("../recursive/index");
-Object.defineProperty(exports, "Recursive", { enumerable: true, get: function () { return index_41.Recursive; } });
-var index_42 = require("../ref/index");
-Object.defineProperty(exports, "Ref", { enumerable: true, get: function () { return index_42.Ref; } });
-var index_43 = require("../regexp/index");
-Object.defineProperty(exports, "RegExp", { enumerable: true, get: function () { return index_43.RegExp; } });
-var index_44 = require("../required/index");
-Object.defineProperty(exports, "Required", { enumerable: true, get: function () { return index_44.Required; } });
-var index_45 = require("../rest/index");
-Object.defineProperty(exports, "Rest", { enumerable: true, get: function () { return index_45.Rest; } });
-var index_46 = require("../return-type/index");
-Object.defineProperty(exports, "ReturnType", { enumerable: true, get: function () { return index_46.ReturnType; } });
-var index_47 = require("../string/index");
-Object.defineProperty(exports, "String", { enumerable: true, get: function () { return index_47.String; } });
-var index_48 = require("../symbol/index");
-Object.defineProperty(exports, "Symbol", { enumerable: true, get: function () { return index_48.Symbol; } });
-var index_49 = require("../template-literal/index");
-Object.defineProperty(exports, "TemplateLiteral", { enumerable: true, get: function () { return index_49.TemplateLiteral; } });
-var index_50 = require("../transform/index");
-Object.defineProperty(exports, "Transform", { enumerable: true, get: function () { return index_50.Transform; } });
-var index_51 = require("../tuple/index");
-Object.defineProperty(exports, "Tuple", { enumerable: true, get: function () { return index_51.Tuple; } });
-var index_52 = require("../uint8array/index");
-Object.defineProperty(exports, "Uint8Array", { enumerable: true, get: function () { return index_52.Uint8Array; } });
-var index_53 = require("../undefined/index");
-Object.defineProperty(exports, "Undefined", { enumerable: true, get: function () { return index_53.Undefined; } });
-var index_54 = require("../union/index");
-Object.defineProperty(exports, "Union", { enumerable: true, get: function () { return index_54.Union; } });
-var index_55 = require("../unknown/index");
-Object.defineProperty(exports, "Unknown", { enumerable: true, get: function () { return index_55.Unknown; } });
-var index_56 = require("../unsafe/index");
-Object.defineProperty(exports, "Unsafe", { enumerable: true, get: function () { return index_56.Unsafe; } });
-var index_57 = require("../void/index");
-Object.defineProperty(exports, "Void", { enumerable: true, get: function () { return index_57.Void; } });
+var index_2 = require("../argument/index");
+Object.defineProperty(exports, "Argument", { enumerable: true, get: function () { return index_2.Argument; } });
+var index_3 = require("../array/index");
+Object.defineProperty(exports, "Array", { enumerable: true, get: function () { return index_3.Array; } });
+var index_4 = require("../async-iterator/index");
+Object.defineProperty(exports, "AsyncIterator", { enumerable: true, get: function () { return index_4.AsyncIterator; } });
+var index_5 = require("../awaited/index");
+Object.defineProperty(exports, "Awaited", { enumerable: true, get: function () { return index_5.Awaited; } });
+var index_6 = require("../bigint/index");
+Object.defineProperty(exports, "BigInt", { enumerable: true, get: function () { return index_6.BigInt; } });
+var index_7 = require("../boolean/index");
+Object.defineProperty(exports, "Boolean", { enumerable: true, get: function () { return index_7.Boolean; } });
+var index_8 = require("../composite/index");
+Object.defineProperty(exports, "Composite", { enumerable: true, get: function () { return index_8.Composite; } });
+var index_9 = require("../const/index");
+Object.defineProperty(exports, "Const", { enumerable: true, get: function () { return index_9.Const; } });
+var index_10 = require("../constructor/index");
+Object.defineProperty(exports, "Constructor", { enumerable: true, get: function () { return index_10.Constructor; } });
+var index_11 = require("../constructor-parameters/index");
+Object.defineProperty(exports, "ConstructorParameters", { enumerable: true, get: function () { return index_11.ConstructorParameters; } });
+var index_12 = require("../date/index");
+Object.defineProperty(exports, "Date", { enumerable: true, get: function () { return index_12.Date; } });
+var index_13 = require("../enum/index");
+Object.defineProperty(exports, "Enum", { enumerable: true, get: function () { return index_13.Enum; } });
+var index_14 = require("../exclude/index");
+Object.defineProperty(exports, "Exclude", { enumerable: true, get: function () { return index_14.Exclude; } });
+var index_15 = require("../extends/index");
+Object.defineProperty(exports, "Extends", { enumerable: true, get: function () { return index_15.Extends; } });
+var index_16 = require("../extract/index");
+Object.defineProperty(exports, "Extract", { enumerable: true, get: function () { return index_16.Extract; } });
+var index_17 = require("../function/index");
+Object.defineProperty(exports, "Function", { enumerable: true, get: function () { return index_17.Function; } });
+var index_18 = require("../indexed/index");
+Object.defineProperty(exports, "Index", { enumerable: true, get: function () { return index_18.Index; } });
+var index_19 = require("../instance-type/index");
+Object.defineProperty(exports, "InstanceType", { enumerable: true, get: function () { return index_19.InstanceType; } });
+var index_20 = require("../instantiate/index");
+Object.defineProperty(exports, "Instantiate", { enumerable: true, get: function () { return index_20.Instantiate; } });
+var index_21 = require("../integer/index");
+Object.defineProperty(exports, "Integer", { enumerable: true, get: function () { return index_21.Integer; } });
+var index_22 = require("../intersect/index");
+Object.defineProperty(exports, "Intersect", { enumerable: true, get: function () { return index_22.Intersect; } });
+var index_23 = require("../intrinsic/index");
+Object.defineProperty(exports, "Capitalize", { enumerable: true, get: function () { return index_23.Capitalize; } });
+Object.defineProperty(exports, "Uncapitalize", { enumerable: true, get: function () { return index_23.Uncapitalize; } });
+Object.defineProperty(exports, "Lowercase", { enumerable: true, get: function () { return index_23.Lowercase; } });
+Object.defineProperty(exports, "Uppercase", { enumerable: true, get: function () { return index_23.Uppercase; } });
+var index_24 = require("../iterator/index");
+Object.defineProperty(exports, "Iterator", { enumerable: true, get: function () { return index_24.Iterator; } });
+var index_25 = require("../keyof/index");
+Object.defineProperty(exports, "KeyOf", { enumerable: true, get: function () { return index_25.KeyOf; } });
+var index_26 = require("../literal/index");
+Object.defineProperty(exports, "Literal", { enumerable: true, get: function () { return index_26.Literal; } });
+var index_27 = require("../mapped/index");
+Object.defineProperty(exports, "Mapped", { enumerable: true, get: function () { return index_27.Mapped; } });
+var index_28 = require("../module/index");
+Object.defineProperty(exports, "Module", { enumerable: true, get: function () { return index_28.Module; } });
+var index_29 = require("../never/index");
+Object.defineProperty(exports, "Never", { enumerable: true, get: function () { return index_29.Never; } });
+var index_30 = require("../not/index");
+Object.defineProperty(exports, "Not", { enumerable: true, get: function () { return index_30.Not; } });
+var index_31 = require("../null/index");
+Object.defineProperty(exports, "Null", { enumerable: true, get: function () { return index_31.Null; } });
+var index_32 = require("../number/index");
+Object.defineProperty(exports, "Number", { enumerable: true, get: function () { return index_32.Number; } });
+var index_33 = require("../object/index");
+Object.defineProperty(exports, "Object", { enumerable: true, get: function () { return index_33.Object; } });
+var index_34 = require("../omit/index");
+Object.defineProperty(exports, "Omit", { enumerable: true, get: function () { return index_34.Omit; } });
+var index_35 = require("../optional/index");
+Object.defineProperty(exports, "Optional", { enumerable: true, get: function () { return index_35.Optional; } });
+var index_36 = require("../parameters/index");
+Object.defineProperty(exports, "Parameters", { enumerable: true, get: function () { return index_36.Parameters; } });
+var index_37 = require("../partial/index");
+Object.defineProperty(exports, "Partial", { enumerable: true, get: function () { return index_37.Partial; } });
+var index_38 = require("../pick/index");
+Object.defineProperty(exports, "Pick", { enumerable: true, get: function () { return index_38.Pick; } });
+var index_39 = require("../promise/index");
+Object.defineProperty(exports, "Promise", { enumerable: true, get: function () { return index_39.Promise; } });
+var index_40 = require("../readonly/index");
+Object.defineProperty(exports, "Readonly", { enumerable: true, get: function () { return index_40.Readonly; } });
+var index_41 = require("../readonly-optional/index");
+Object.defineProperty(exports, "ReadonlyOptional", { enumerable: true, get: function () { return index_41.ReadonlyOptional; } });
+var index_42 = require("../record/index");
+Object.defineProperty(exports, "Record", { enumerable: true, get: function () { return index_42.Record; } });
+var index_43 = require("../recursive/index");
+Object.defineProperty(exports, "Recursive", { enumerable: true, get: function () { return index_43.Recursive; } });
+var index_44 = require("../ref/index");
+Object.defineProperty(exports, "Ref", { enumerable: true, get: function () { return index_44.Ref; } });
+var index_45 = require("../regexp/index");
+Object.defineProperty(exports, "RegExp", { enumerable: true, get: function () { return index_45.RegExp; } });
+var index_46 = require("../remap/index");
+Object.defineProperty(exports, "Remap", { enumerable: true, get: function () { return index_46.Remap; } });
+var index_47 = require("../required/index");
+Object.defineProperty(exports, "Required", { enumerable: true, get: function () { return index_47.Required; } });
+var index_48 = require("../rest/index");
+Object.defineProperty(exports, "Rest", { enumerable: true, get: function () { return index_48.Rest; } });
+var index_49 = require("../return-type/index");
+Object.defineProperty(exports, "ReturnType", { enumerable: true, get: function () { return index_49.ReturnType; } });
+var index_50 = require("../string/index");
+Object.defineProperty(exports, "String", { enumerable: true, get: function () { return index_50.String; } });
+var index_51 = require("../symbol/index");
+Object.defineProperty(exports, "Symbol", { enumerable: true, get: function () { return index_51.Symbol; } });
+var index_52 = require("../template-literal/index");
+Object.defineProperty(exports, "TemplateLiteral", { enumerable: true, get: function () { return index_52.TemplateLiteral; } });
+var index_53 = require("../transform/index");
+Object.defineProperty(exports, "Transform", { enumerable: true, get: function () { return index_53.Transform; } });
+var index_54 = require("../tuple/index");
+Object.defineProperty(exports, "Tuple", { enumerable: true, get: function () { return index_54.Tuple; } });
+var index_55 = require("../uint8array/index");
+Object.defineProperty(exports, "Uint8Array", { enumerable: true, get: function () { return index_55.Uint8Array; } });
+var index_56 = require("../undefined/index");
+Object.defineProperty(exports, "Undefined", { enumerable: true, get: function () { return index_56.Undefined; } });
+var index_57 = require("../union/index");
+Object.defineProperty(exports, "Union", { enumerable: true, get: function () { return index_57.Union; } });
+var index_58 = require("../unknown/index");
+Object.defineProperty(exports, "Unknown", { enumerable: true, get: function () { return index_58.Unknown; } });
+var index_59 = require("../unsafe/index");
+Object.defineProperty(exports, "Unsafe", { enumerable: true, get: function () { return index_59.Unsafe; } });
+var index_60 = require("../void/index");
+Object.defineProperty(exports, "Void", { enumerable: true, get: function () { return index_60.Void; } });

package/build/cjs/value/check/check.js

@@ -48,6 +48,9 @@ function IsDefined(value) {
 function FromAny(schema, references, value) {
     return true;
 }
+function FromArgument(schema, references, value) {
+    return true;
+}
 function FromArray(schema, references, value) {
     if (!(0, index_10.IsArray)(value))
         return false;
@@ -396,6 +399,8 @@ function Visit(schema, references, value) {
     switch (schema_[index_4.Kind]) {
         case 'Any':
             return FromAny(schema_, references_, value);
+        case 'Argument':
+            return FromArgument(schema_, references_, value);
         case 'Array':
             return FromArray(schema_, references_, value);
         case 'AsyncIterator':

package/build/cjs/value/create/create.js

@@ -40,6 +40,9 @@ function FromAny(schema, references) {
         return {};
     }
 }
+function FromArgument(schema, references) {
+    return {};
+}
 function FromArray(schema, references) {
     if (schema.uniqueItems === true && !(0, index_1.HasPropertyKey)(schema, 'default')) {
         throw new ValueCreateError(schema, 'Array with the uniqueItems constraint requires a default value');
@@ -398,6 +401,8 @@ function Visit(schema, references) {
     switch (schema_[index_8.Kind]) {
         case 'Any':
             return FromAny(schema_, references_);
+        case 'Argument':
+            return FromArgument(schema_, references_);
         case 'Array':
             return FromArray(schema_, references_);
         case 'AsyncIterator':

package/build/esm/compiler/compiler.mjs

@@ -202,6 +202,9 @@ export var TypeCompiler;
     function* FromAny(schema, references, value) {
         yield 'true';
     }
+    function* FromArgument(schema, references, value) {
+        yield 'true';
+    }
     function* FromArray(schema, references, value) {
         yield `Array.isArray(${value})`;
         const [parameter, accumulator] = [CreateParameter('value', 'any'), CreateParameter('acc', 'number')];
@@ -486,6 +489,8 @@ export var TypeCompiler;
         switch (schema_[Kind]) {
             case 'Any':
                 return yield* FromAny(schema_, references_, value);
+            case 'Argument':
+                return yield* FromArgument(schema_, references_, value);
             case 'Array':
                 return yield* FromArray(schema_, references_, value);
             case 'AsyncIterator':

package/build/esm/errors/errors.mjs

@@ -138,6 +138,7 @@ function Create(errorType, schema, path, value, errors = []) {
 // Types
 // --------------------------------------------------------------------------
 function* FromAny(schema, references, path, value) { }
+function* FromArgument(schema, references, path, value) { }
 function* FromArray(schema, references, path, value) {
     if (!IsArray(value)) {
         return yield Create(ValueErrorType.Array, schema, path, value);
@@ -514,6 +515,8 @@ function* Visit(schema, references, path, value) {
     switch (schema_[Kind]) {
         case 'Any':
             return yield* FromAny(schema_, references_, path, value);
+        case 'Argument':
+            return yield* FromArgument(schema_, references_, path, value);
         case 'Array':
             return yield* FromArray(schema_, references_, path, value);
         case 'AsyncIterator':

package/build/esm/index.d.mts

@@ -9,6 +9,7 @@ export * from './type/sets/index.mjs';
 export * from './type/symbols/index.mjs';
 export * from './type/any/index.mjs';
 export * from './type/array/index.mjs';
+export * from './type/argument/index.mjs';
 export * from './type/async-iterator/index.mjs';
 export * from './type/awaited/index.mjs';
 export * from './type/bigint/index.mjs';
@@ -25,6 +26,7 @@ export * from './type/extract/index.mjs';
 export * from './type/function/index.mjs';
 export * from './type/indexed/index.mjs';
 export * from './type/instance-type/index.mjs';
+export * from './type/instantiate/index.mjs';
 export * from './type/integer/index.mjs';
 export * from './type/intersect/index.mjs';
 export * from './type/iterator/index.mjs';
@@ -50,6 +52,7 @@ export * from './type/record/index.mjs';
 export * from './type/recursive/index.mjs';
 export * from './type/ref/index.mjs';
 export * from './type/regexp/index.mjs';
+export * from './type/remap/index.mjs';
 export * from './type/required/index.mjs';
 export * from './type/rest/index.mjs';
 export * from './type/return-type/index.mjs';

package/build/esm/index.mjs

@@ -15,6 +15,7 @@ export * from './type/symbols/index.mjs';
 // ------------------------------------------------------------------
 export * from './type/any/index.mjs';
 export * from './type/array/index.mjs';
+export * from './type/argument/index.mjs';
 export * from './type/async-iterator/index.mjs';
 export * from './type/awaited/index.mjs';
 export * from './type/bigint/index.mjs';
@@ -31,6 +32,7 @@ export * from './type/extract/index.mjs';
 export * from './type/function/index.mjs';
 export * from './type/indexed/index.mjs';
 export * from './type/instance-type/index.mjs';
+export * from './type/instantiate/index.mjs';
 export * from './type/integer/index.mjs';
 export * from './type/intersect/index.mjs';
 export * from './type/iterator/index.mjs';
@@ -56,6 +58,7 @@ export * from './type/record/index.mjs';
 export * from './type/recursive/index.mjs';
 export * from './type/ref/index.mjs';
 export * from './type/regexp/index.mjs';
+export * from './type/remap/index.mjs';
 export * from './type/required/index.mjs';
 export * from './type/rest/index.mjs';
 export * from './type/return-type/index.mjs';

package/build/esm/syntax/runtime.d.mts

@@ -2,7 +2,7 @@ import { Runtime } from '../parser/index.mjs';
 import * as t from '../type/index.mjs';
 export declare const Module: Runtime.Module<{
     Literal: Runtime.IUnion<t.TLiteral<string> | t.TLiteral<number> | t.TLiteral<boolean>>;
-    Keyword: Runtime.IUnion<t.TAny | t.TNever | t.TString | t.TBoolean | t.TNumber | t.TInteger | t.TBigInt | t.TNull | t.TSymbol | t.TUndefined | t.TUnknown | t.TVoid>;
+    Keyword: Runtime.IUnion<t.TAny | t.TBoolean | t.TBigInt | t.TNever | t.TString | t.TNumber | t.TInteger | t.TNull | t.TSymbol | t.TUndefined | t.TUnknown | t.TVoid>;
     KeyOf: Runtime.IUnion<boolean>;
     IndexArray: Runtime.IUnion<unknown[]>;
     Extends: Runtime.IUnion<unknown[]>;
@@ -31,6 +31,7 @@ export declare const Module: Runtime.Module<{
     Mapped: Runtime.ITuple<t.TLiteral<"Mapped types not supported">>;
     AsyncIterator: Runtime.ITuple<t.TAsyncIterator<t.TSchema>>;
     Iterator: Runtime.ITuple<t.TIterator<t.TSchema>>;
+    Argument: Runtime.ITuple<t.TNever | t.TArgument<number>>;
     Awaited: Runtime.ITuple<t.TSchema>;
     Array: Runtime.ITuple<t.TArray<t.TSchema>>;
     Record: Runtime.ITuple<t.TNever>;
@@ -51,5 +52,6 @@ export declare const Module: Runtime.Module<{
     Uncapitalize: Runtime.ITuple<t.TSchema>;
     Date: Runtime.IConst<t.TDate>;
     Uint8Array: Runtime.IConst<t.TUint8Array>;
+    GenericReference: Runtime.ITuple<t.TSchema>;
     Reference: Runtime.IIdent<t.TSchema>;
 }>;

package/build/esm/syntax/runtime.mjs

@@ -30,16 +30,28 @@ function DestructureRight(values) {
         : [values, undefined];
 }
 // ------------------------------------------------------------------
-// Deref
+// Dereference
 // ------------------------------------------------------------------
-const Deref = (context, key) => {
+const Dereference = (context, key) => {
     return key in context ? context[key] : t.Ref(key);
 };
 // ------------------------------------------------------------------
+// GenericReference
+// ------------------------------------------------------------------
+function GenericReferenceMapping(results, context) {
+    const target = Dereference(context, results[0]);
+    return t.Instantiate(target, results[2]);
+}
+const GenericReference = Runtime.Tuple([Runtime.Ident(), Runtime.Const(LAngle), Runtime.Ref('Elements'), Runtime.Const(RAngle)], (results, context) => GenericReferenceMapping(results, context));
+// ------------------------------------------------------------------
 // Reference
 // ------------------------------------------------------------------
+function ReferenceMapping(result, context) {
+    const target = Dereference(context, result);
+    return target;
+}
 // prettier-ignore
-const Reference = Runtime.Ident((value, context) => Deref(context, value));
+const Reference = Runtime.Ident((result, context) => ReferenceMapping(result, context));
 // ------------------------------------------------------------------
 // Literal
 // ------------------------------------------------------------------
@@ -131,6 +143,7 @@ const Base = Runtime.Union([
             Runtime.Ref('FunctionParameters'),
             Runtime.Ref('InstanceType'),
             Runtime.Ref('ReturnType'),
+            Runtime.Ref('Argument'),
             Runtime.Ref('Awaited'),
             Runtime.Ref('Array'),
             Runtime.Ref('Record'),
@@ -147,6 +160,7 @@ const Base = Runtime.Union([
             Runtime.Ref('Uncapitalize'),
             Runtime.Ref('Date'),
             Runtime.Ref('Uint8Array'),
+            Runtime.Ref('GenericReference'),
             Runtime.Ref('Reference')
         ])])
 ], BaseMapping);
@@ -413,6 +427,20 @@ const ReturnType = Runtime.Tuple([
     Runtime.Const(RAngle),
 ], value => t.ReturnType(value[2]));
 // ------------------------------------------------------------------
+// Argument
+// ------------------------------------------------------------------
+// prettier-ignore
+const Argument = Runtime.Tuple([
+    Runtime.Const('Argument'),
+    Runtime.Const(LAngle),
+    Runtime.Ref('Type'),
+    Runtime.Const(RAngle),
+], results => {
+    return t.KindGuard.IsLiteralNumber(results[2])
+        ? t.Argument(Math.trunc(results[2].const))
+        : t.Never();
+});
+// ------------------------------------------------------------------
 // Awaited
 // ------------------------------------------------------------------
 // prettier-ignore
@@ -606,6 +634,7 @@ export const Module = new Runtime.Module({
     Mapped,
     AsyncIterator,
     Iterator,
+    Argument,
     Awaited,
     Array,
     Record,
@@ -626,5 +655,6 @@ export const Module = new Runtime.Module({
     Uncapitalize,
     Date,
     Uint8Array,
+    GenericReference,
     Reference,
 });

package/build/esm/syntax/static.d.mts

@@ -41,9 +41,18 @@ type Delimit<Parser extends Static.IParser, Delimiter extends Static.IParser> =
     Static.Tuple<[Parser, DelimitTail<Parser, Delimiter>]>,
     Static.Tuple<[]>
 ], DelimitMapping>);
-type Deref<Context extends t.TProperties, Ref extends string> = (Ref extends keyof Context ? Context[Ref] : t.TRef<Ref>);
+type Dereference<Context extends t.TProperties, Ref extends string> = (Ref extends keyof Context ? Context[Ref] : t.TRef<Ref>);
+interface GenericReferenceMapping extends Static.IMapping {
+    output: this['context'] extends t.TProperties ? this['input'] extends [infer Reference extends string, LAngle, infer Parameters extends t.TSchema[], RAngle] ? t.TInstantiate<Dereference<this['context'], Reference>, [...Parameters]> : never : never;
+}
+type GenericReference = Static.Tuple<[
+    Static.Ident,
+    Static.Const<LAngle>,
+    Elements,
+    Static.Const<RAngle>
+], GenericReferenceMapping>;
 interface ReferenceMapping extends Static.IMapping {
-    output: this['context'] extends t.TProperties ? this['input'] extends string ? Deref<this['context'], this['input']> : never : never;
+    output: this['context'] extends t.TProperties ? this['input'] extends string ? Dereference<this['context'], this['input']> : never : never;
 }
 type Reference = Static.Ident<ReferenceMapping>;
 interface LiteralBooleanMapping extends Static.IMapping {
@@ -119,6 +128,7 @@ type Base = Static.Union<[
             Iterator,
             ConstructorParameters,
             FunctionParameters,
+            Argument,
             InstanceType,
             ReturnType,
             Awaited,
@@ -137,6 +147,7 @@ type Base = Static.Union<[
             Uncapitalize,
             Date,
             Uint8Array,
+            GenericReference,
             Reference
         ]>
     ]>
@@ -337,6 +348,15 @@ type ReturnType = Static.Tuple<[
     Type,
     Static.Const<RAngle>
 ], ReturnTypeMapping>;
+interface ArgumentMapping extends Static.IMapping {
+    output: this['input'] extends ['Argument', LAngle, infer Type extends t.TSchema, RAngle] ? Type extends t.TLiteral<infer Index extends number> ? t.TArgument<Index> : t.TNever : never;
+}
+type Argument = Static.Tuple<[
+    Static.Const<'Argument'>,
+    Static.Const<LAngle>,
+    Type,
+    Static.Const<RAngle>
+], ArgumentMapping>;
 interface AwaitedMapping extends Static.IMapping {
     output: this['input'] extends ['Awaited', LAngle, infer Type extends t.TSchema, RAngle] ? t.TAwaited<Type> : never;
 }

package/build/esm/type/argument/argument.d.mts

@@ -0,0 +1,9 @@
+import type { TSchema } from '../schema/index.mjs';
+import { Kind } from '../symbols/index.mjs';
+export interface TArgument<Index extends number = number> extends TSchema {
+    [Kind]: 'Argument';
+    static: unknown;
+    index: Index;
+}
+/** `[JavaScript]` Creates an Argument Type. */
+export declare function Argument<Index extends number>(index: Index): TArgument<Index>;

package/build/esm/type/argument/argument.mjs

@@ -0,0 +1,6 @@
+import { CreateType } from '../create/type.mjs';
+import { Kind } from '../symbols/index.mjs';
+/** `[JavaScript]` Creates an Argument Type. */
+export function Argument(index) {
+    return CreateType({ [Kind]: 'Argument', index });
+}

package/build/esm/type/argument/index.d.mts

@@ -0,0 +1 @@
+export * from './argument.mjs';

package/build/esm/type/argument/index.mjs

@@ -0,0 +1 @@
+export * from './argument.mjs';

package/build/esm/type/guard/kind.d.mts

@@ -1,14 +1,11 @@
 import { Kind, Hint, TransformKind } from '../symbols/index.mjs';
 import { TransformOptions } from '../transform/index.mjs';
-import type { TTemplateLiteral } from '../template-literal/index.mjs';
+import type { TAny } from '../any/index.mjs';
+import type { TArgument } from '../argument/index.mjs';
 import type { TArray } from '../array/index.mjs';
+import type { TAsyncIterator } from '../async-iterator/index.mjs';
 import type { TBoolean } from '../boolean/index.mjs';
 import type { TComputed } from '../computed/index.mjs';
-import type { TRecord } from '../record/index.mjs';
-import type { TString } from '../string/index.mjs';
-import type { TUnion } from '../union/index.mjs';
-import type { TAny } from '../any/index.mjs';
-import type { TAsyncIterator } from '../async-iterator/index.mjs';
 import type { TBigInt } from '../bigint/index.mjs';
 import type { TConstructor } from '../constructor/index.mjs';
 import type { TFunction } from '../function/index.mjs';
@@ -26,14 +23,18 @@ import type { TObject, TProperties } from '../object/index.mjs';
 import type { TOptional } from '../optional/index.mjs';
 import type { TPromise } from '../promise/index.mjs';
 import type { TReadonly } from '../readonly/index.mjs';
+import type { TRecord } from '../record/index.mjs';
 import type { TRef } from '../ref/index.mjs';
 import type { TRegExp } from '../regexp/index.mjs';
 import type { TSchema } from '../schema/index.mjs';
+import type { TString } from '../string/index.mjs';
 import type { TSymbol } from '../symbol/index.mjs';
+import type { TTemplateLiteral } from '../template-literal/index.mjs';
 import type { TTuple } from '../tuple/index.mjs';
 import type { TUint8Array } from '../uint8array/index.mjs';
 import type { TUndefined } from '../undefined/index.mjs';
 import type { TUnknown } from '../unknown/index.mjs';
+import type { TUnion } from '../union/index.mjs';
 import type { TUnsafe } from '../unsafe/index.mjs';
 import type { TVoid } from '../void/index.mjs';
 import type { TDate } from '../date/index.mjs';
@@ -44,6 +45,8 @@ export declare function IsReadonly<T extends TSchema>(value: T): value is TReado
 export declare function IsOptional<T extends TSchema>(value: T): value is TOptional<T>;
 /** `[Kind-Only]` Returns true if the given value is TAny */
 export declare function IsAny(value: unknown): value is TAny;
+/** `[Kind-Only]` Returns true if the given value is TArgument */
+export declare function IsArgument(value: unknown): value is TArgument;
 /** `[Kind-Only]` Returns true if the given value is TArray */
 export declare function IsArray(value: unknown): value is TArray;
 /** `[Kind-Only]` Returns true if the given value is TAsyncIterator */