@sinclair/typebox 0.34.21 → 0.34.23

package/build/cjs/index.d.ts

@@ -52,7 +52,6 @@ export * from './type/record/index';
 export * from './type/recursive/index';
 export * from './type/ref/index';
 export * from './type/regexp/index';
-export * from './type/remap/index';
 export * from './type/required/index';
 export * from './type/rest/index';
 export * from './type/return-type/index';

package/build/cjs/index.js

@@ -75,7 +75,6 @@ __exportStar(require("./type/record/index"), exports);
 __exportStar(require("./type/recursive/index"), exports);
 __exportStar(require("./type/ref/index"), exports);
 __exportStar(require("./type/regexp/index"), exports);
-__exportStar(require("./type/remap/index"), exports);
 __exportStar(require("./type/required/index"), exports);
 __exportStar(require("./type/rest/index"), exports);
 __exportStar(require("./type/return-type/index"), exports);

package/build/cjs/syntax/runtime.js

@@ -43,10 +43,17 @@ const Dereference = (context, key) => {
 // GenericReference
 // ------------------------------------------------------------------
 function GenericReferenceMapping(results, context) {
-    const target = Dereference(context, results[0]);
-    return t.Instantiate(target, results[2]);
+    const type = Dereference(context, results[0]);
+    const args = results[2];
+    return t.Instantiate(type, args);
 }
-const GenericReference = index_1.Runtime.Tuple([index_1.Runtime.Ident(), index_1.Runtime.Const(LAngle), index_1.Runtime.Ref('Elements'), index_1.Runtime.Const(RAngle)], (results, context) => GenericReferenceMapping(results, context));
+// prettier-ignore
+const GenericReference = index_1.Runtime.Tuple([
+    index_1.Runtime.Ident(),
+    index_1.Runtime.Const(LAngle),
+    index_1.Runtime.Ref('Elements'),
+    index_1.Runtime.Const(RAngle)
+], (results, context) => GenericReferenceMapping(results, context));
 // ------------------------------------------------------------------
 // Reference
 // ------------------------------------------------------------------

package/build/cjs/syntax/static.d.ts

@@ -43,7 +43,7 @@ type Delimit<Parser extends Static.IParser, Delimiter extends Static.IParser> =
 ], DelimitMapping>);
 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;
+    output: this['context'] extends t.TProperties ? this['input'] extends [infer Reference extends string, LAngle, infer Args extends t.TSchema[], RAngle] ? t.TInstantiate<Dereference<this['context'], Reference>, Args> : never : never;
 }
 type GenericReference = Static.Tuple<[
     Static.Ident,

package/build/cjs/type/instantiate/instantiate.d.ts

@@ -1,25 +1,50 @@
-import type { TSchema } from '../schema/index';
-import type { TArgument } from '../argument/index';
+import { type TSchema } from '../schema/index';
+import { type TArgument } from '../argument/index';
 import { type TNever } from '../never/index';
 import { type TReadonlyOptional } from '../readonly-optional/index';
 import { type TReadonly } from '../readonly/index';
 import { type TOptional } from '../optional/index';
-import { type TRemap, type TMapping as TRemapMapping } from '../remap/index';
-type TInstantiateArgument<Argument extends TArgument, Type extends TSchema, IsArgumentReadonly extends number = Argument extends TReadonly<TSchema> ? 1 : 0, IsArgumentOptional extends number = Argument extends TOptional<TSchema> ? 1 : 0, Result extends TSchema = ([
-    IsArgumentReadonly,
-    IsArgumentOptional
-] extends [1, 1] ? TReadonlyOptional<Type> : [
-    IsArgumentReadonly,
-    IsArgumentOptional
-] extends [0, 1] ? TOptional<Type> : [
-    IsArgumentReadonly,
-    IsArgumentOptional
-] extends [1, 0] ? TReadonly<Type> : Type)> = Result;
-interface TInstantiateArguments<Arguments extends TSchema[]> extends TRemapMapping {
-    output: (this['input'] extends TArgument<infer Index extends number> ? Index extends keyof Arguments ? Arguments[Index] extends TSchema ? TInstantiateArgument<this['input'], Arguments[Index]> : TNever : TNever : this['input']);
-}
+import { type TConstructor } from '../constructor/index';
+import { type TFunction } from '../function/index';
+import { type TIntersect } from '../intersect/index';
+import { type TUnion } from '../union/index';
+import { type TTuple } from '../tuple/index';
+import { type TArray } from '../array/index';
+import { type TAsyncIterator } from '../async-iterator/index';
+import { type TIterator } from '../iterator/index';
+import { type TPromise } from '../promise/index';
+import { type TObject, type TProperties } from '../object/index';
+import { type TRecordOrObject, type TRecord } from '../record/index';
+type TFromConstructor<Args extends TSchema[], Parameters extends TSchema[], InstanceType extends TSchema, Result extends TConstructor = TConstructor<TFromTypes<Args, Parameters>, TFromType<Args, InstanceType>>> = Result;
+type TFromFunction<Args extends TSchema[], Parameters extends TSchema[], ReturnType extends TSchema, Result extends TFunction = TFunction<TFromTypes<Args, Parameters>, TFromType<Args, ReturnType>>> = Result;
+type TFromIntersect<Args extends TSchema[], Types extends TSchema[], Result extends TIntersect = TIntersect<TFromTypes<Args, Types>>> = Result;
+type TFromUnion<Args extends TSchema[], Types extends TSchema[], Result extends TUnion = TUnion<TFromTypes<Args, Types>>> = Result;
+type TFromTuple<Args extends TSchema[], Types extends TSchema[], Result extends TTuple = TTuple<TFromTypes<Args, Types>>> = Result;
+type TFromArray<Args extends TSchema[], Type extends TSchema, Result extends TArray = TArray<TFromType<Args, Type>>> = Result;
+type TFromAsyncIterator<Args extends TSchema[], Type extends TSchema, Result extends TAsyncIterator = TAsyncIterator<TFromType<Args, Type>>> = Result;
+type TFromIterator<Args extends TSchema[], Type extends TSchema, Result extends TIterator = TIterator<TFromType<Args, Type>>> = Result;
+type TFromPromise<Args extends TSchema[], Type extends TSchema, Result extends TPromise = TPromise<TFromType<Args, Type>>> = Result;
+type TFromObject<Args extends TSchema[], Properties extends TProperties, Result extends TObject = TObject<TFromProperties<Args, Properties>>> = Result;
+type TFromRecord<Args extends TSchema[], Key extends TSchema, Value extends TSchema, MappedKey extends TSchema = TFromType<Args, Key>, MappedValue extends TSchema = TFromType<Args, Value>, Result extends TSchema = TRecordOrObject<MappedKey, MappedValue>> = Result;
+type TFromArgument<Args extends TSchema[], Index extends number> = (Index extends keyof Args ? Args[Index] : TNever);
+type TFromProperty<Args extends TSchema[], Type extends TSchema, IsReadonly extends boolean = Type extends TReadonly<Type> ? true : false, IsOptional extends boolean = Type extends TOptional<Type> ? true : false, Mapped extends TSchema = TFromType<Args, Type>, Result extends TSchema = ([
+    IsReadonly,
+    IsOptional
+] extends [true, true] ? TReadonlyOptional<Mapped> : [
+    IsReadonly,
+    IsOptional
+] extends [true, false] ? TReadonly<Mapped> : [
+    IsReadonly,
+    IsOptional
+] extends [false, true] ? TOptional<Mapped> : Mapped)> = Result;
+type TFromProperties<Args extends TSchema[], Properties extends TProperties, Result extends TProperties = {
+    [Key in keyof Properties]: TFromProperty<Args, Properties[Key]>;
+}> = Result;
+export type TFromTypes<Args extends TSchema[], Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TFromTypes<Args, Right, [...Result, TFromType<Args, Left>]> : Result);
+export declare function FromTypes<Args extends TSchema[], Types extends TSchema[]>(args: [...Args], types: [...Types]): TFromTypes<Args, Types>;
+export type TFromType<Args extends TSchema[], Type extends TSchema> = (Type extends TConstructor<infer Parameters extends TSchema[], infer InstanceType extends TSchema> ? TFromConstructor<Args, Parameters, InstanceType> : Type extends TFunction<infer Parameters extends TSchema[], infer ReturnType extends TSchema> ? TFromFunction<Args, Parameters, ReturnType> : Type extends TIntersect<infer Types extends TSchema[]> ? TFromIntersect<Args, Types> : Type extends TUnion<infer Types extends TSchema[]> ? TFromUnion<Args, Types> : Type extends TTuple<infer Types extends TSchema[]> ? TFromTuple<Args, Types> : Type extends TArray<infer Type extends TSchema> ? TFromArray<Args, Type> : Type extends TAsyncIterator<infer Type extends TSchema> ? TFromAsyncIterator<Args, Type> : Type extends TIterator<infer Type extends TSchema> ? TFromIterator<Args, Type> : Type extends TPromise<infer Type extends TSchema> ? TFromPromise<Args, Type> : Type extends TObject<infer Properties extends TProperties> ? TFromObject<Args, Properties> : Type extends TRecord<infer Key extends TSchema, infer Value extends TSchema> ? TFromRecord<Args, Key, Value> : Type extends TArgument<infer Index extends number> ? TFromArgument<Args, Index> : Type);
 /** `[JavaScript]` Instantiates a type with the given parameters */
-export type TInstantiate<Type extends TSchema, Arguments extends TSchema[]> = (TRemap<Type, TInstantiateArguments<Arguments>>);
+export type TInstantiate<Type extends TSchema, Args extends TSchema[], Result extends TSchema = TFromType<Args, Type>> = Result;
 /** `[JavaScript]` Instantiates a type with the given parameters */
-export declare function Instantiate<Type extends TSchema, Arguments extends TSchema[]>(type: Type, args: [...Arguments]): TInstantiate<Type, Arguments>;
+export declare function Instantiate<Type extends TSchema, Args extends TSchema[]>(type: Type, args: [...Args]): TInstantiate<Type, Args>;
 export {};

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

@@ -1,32 +1,119 @@
 "use strict";
 
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.FromTypes = FromTypes;
 exports.Instantiate = Instantiate;
+const type_1 = require("../clone/type");
 const index_1 = require("../never/index");
 const index_2 = require("../readonly-optional/index");
 const index_3 = require("../readonly/index");
 const index_4 = require("../optional/index");
-const index_5 = require("../remap/index");
+const index_5 = require("../record/index");
+const ValueGuard = require("../guard/value");
 const KindGuard = require("../guard/kind");
 // prettier-ignore
-function InstantiateArgument(argument, type) {
-    const isReadonly = KindGuard.IsReadonly(argument);
-    const isOptional = KindGuard.IsOptional(argument);
-    return (isReadonly && isOptional ? (0, index_2.ReadonlyOptional)(type) :
-        isReadonly && !isOptional ? (0, index_3.Readonly)(type) :
-            !isReadonly && isOptional ? (0, index_4.Optional)(type) :
-                type);
+function FromConstructor(args, type) {
+    type.parameters = FromTypes(args, type.parameters);
+    type.returns = FromType(args, type.returns);
+    return type;
+}
+// prettier-ignore
+function FromFunction(args, type) {
+    type.parameters = FromTypes(args, type.parameters);
+    type.returns = FromType(args, type.returns);
+    return type;
+}
+// prettier-ignore
+function FromIntersect(args, type) {
+    type.allOf = FromTypes(args, type.allOf);
+    return type;
+}
+// prettier-ignore
+function FromUnion(args, type) {
+    type.anyOf = FromTypes(args, type.anyOf);
+    return type;
+}
+// prettier-ignore
+function FromTuple(args, type) {
+    if (ValueGuard.IsUndefined(type.items))
+        return type;
+    type.items = FromTypes(args, type.items);
+    return type;
+}
+// prettier-ignore
+function FromArray(args, type) {
+    type.items = FromType(args, type.items);
+    return type;
+}
+// prettier-ignore
+function FromAsyncIterator(args, type) {
+    type.items = FromType(args, type.items);
+    return type;
+}
+// prettier-ignore
+function FromIterator(args, type) {
+    type.items = FromType(args, type.items);
+    return type;
+}
+// prettier-ignore
+function FromPromise(args, type) {
+    type.item = FromType(args, type.item);
+    return type;
+}
+// prettier-ignore
+function FromObject(args, type) {
+    type.properties = FromProperties(args, type.properties);
+    return type;
+}
+// prettier-ignore
+function FromRecord(args, type) {
+    const mappedKey = FromType(args, (0, index_5.RecordKey)(type));
+    const mappedValue = FromType(args, (0, index_5.RecordValue)(type));
+    const result = (0, index_5.Record)(mappedKey, mappedValue);
+    return { ...type, ...result }; // retain options
+}
+// prettier-ignore
+function FromArgument(args, argument) {
+    return argument.index in args ? args[argument.index] : (0, index_1.Never)();
+}
+// prettier-ignore
+function FromProperty(args, type) {
+    const isReadonly = KindGuard.IsReadonly(type);
+    const isOptional = KindGuard.IsOptional(type);
+    const mapped = FromType(args, type);
+    return (isReadonly && isOptional ? (0, index_2.ReadonlyOptional)(mapped) :
+        isReadonly && !isOptional ? (0, index_3.Readonly)(mapped) :
+            !isReadonly && isOptional ? (0, index_4.Optional)(mapped) :
+                mapped);
+}
+// prettier-ignore
+function FromProperties(args, properties) {
+    return globalThis.Object.getOwnPropertyNames(properties).reduce((result, key) => {
+        return { ...result, [key]: FromProperty(args, properties[key]) };
+    }, {});
+}
+// prettier-ignore
+function FromTypes(args, types) {
+    return types.map(type => FromType(args, type));
+}
+// prettier-ignore
+function FromType(args, type) {
+    return (KindGuard.IsConstructor(type) ? FromConstructor(args, type) :
+        KindGuard.IsFunction(type) ? FromFunction(args, type) :
+            KindGuard.IsIntersect(type) ? FromIntersect(args, type) :
+                KindGuard.IsUnion(type) ? FromUnion(args, type) :
+                    KindGuard.IsTuple(type) ? FromTuple(args, type) :
+                        KindGuard.IsArray(type) ? FromArray(args, type) :
+                            KindGuard.IsAsyncIterator(type) ? FromAsyncIterator(args, type) :
+                                KindGuard.IsIterator(type) ? FromIterator(args, type) :
+                                    KindGuard.IsPromise(type) ? FromPromise(args, type) :
+                                        KindGuard.IsObject(type) ? FromObject(args, type) :
+                                            KindGuard.IsRecord(type) ? FromRecord(args, type) :
+                                                KindGuard.IsArgument(type) ? FromArgument(args, type) :
+                                                    type);
 }
 /** `[JavaScript]` Instantiates a type with the given parameters */
 // prettier-ignore
 function Instantiate(type, args) {
-    return (0, index_5.Remap)(type, (type) => {
-        return KindGuard.IsArgument(type)
-            ? type.index in args
-                ? KindGuard.IsSchema(args[type.index])
-                    ? InstantiateArgument(type, args[type.index])
-                    : (0, index_1.Never)()
-                : (0, index_1.Never)()
-            : type;
-    });
+    return FromType(args, (0, type_1.CloneType)(type));
 }

package/build/cjs/type/partial/partial.d.ts

@@ -10,6 +10,15 @@ import { type TObject, type TProperties } from '../object/index';
 import { type TIntersect } from '../intersect/index';
 import { type TUnion } from '../union/index';
 import { type TRef } from '../ref/index';
+import { type TBigInt } from '../bigint/index';
+import { type TBoolean } from '../boolean/index';
+import { type TInteger } from '../integer/index';
+import { type TLiteral } from '../literal/index';
+import { type TNull } from '../null/index';
+import { type TNumber } from '../number/index';
+import { type TString } from '../string/index';
+import { type TSymbol } from '../symbol/index';
+import { type TUndefined } from '../undefined/index';
 import { type TPartialFromMappedResult } from './partial-from-mapped-result';
 type TFromComputed<Target extends string, Parameters extends TSchema[]> = Ensure<TComputed<'Partial', [TComputed<Target, Parameters>]>>;
 type TFromRef<Ref extends string> = Ensure<TComputed<'Partial', [TRef<Ref>]>>;
@@ -18,7 +27,7 @@ type TFromProperties<Properties extends TProperties> = Evaluate<{
 }>;
 type TFromObject<Type extends TObject, Properties extends TProperties = Type['properties']> = Ensure<TObject<(TFromProperties<Properties>)>>;
 type TFromRest<Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TFromRest<R, [...Result, TPartial<L>]> : Result);
-export type TPartial<T extends TSchema> = (T extends TRecursive<infer Type extends TSchema> ? TRecursive<TPartial<Type>> : T extends TComputed<infer Target extends string, infer Parameters extends TSchema[]> ? TFromComputed<Target, Parameters> : T extends TRef<infer Ref extends string> ? TFromRef<Ref> : T extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromRest<Types>> : T extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromRest<Types>> : T extends TObject<infer Properties extends TProperties> ? TFromObject<TObject<Properties>> : TObject<{}>);
+export type TPartial<Type extends TSchema> = (Type extends TRecursive<infer Type extends TSchema> ? TRecursive<TPartial<Type>> : Type extends TComputed<infer Target extends string, infer Parameters extends TSchema[]> ? TFromComputed<Target, Parameters> : Type extends TRef<infer Ref extends string> ? TFromRef<Ref> : Type extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromRest<Types>> : Type extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromRest<Types>> : Type extends TObject<infer Properties extends TProperties> ? TFromObject<TObject<Properties>> : Type extends TBigInt ? Type : Type extends TBoolean ? Type : Type extends TInteger ? Type : Type extends TLiteral ? Type : Type extends TNull ? Type : Type extends TNumber ? Type : Type extends TString ? Type : Type extends TSymbol ? Type : Type extends TUndefined ? Type : TObject<{}>);
 /** `[Json]` Constructs a type where all properties are optional */
 export declare function Partial<MappedResult extends TMappedResult>(type: MappedResult, options?: SchemaOptions): TPartialFromMappedResult<MappedResult>;
 /** `[Json]` Constructs a type where all properties are optional */

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

@@ -13,9 +13,9 @@ const index_7 = require("../discard/index");
 const index_8 = require("../symbols/index");
 const partial_from_mapped_result_1 = require("./partial-from-mapped-result");
 // ------------------------------------------------------------------
-// TypeGuard
+// KindGuard
 // ------------------------------------------------------------------
-const kind_1 = require("../guard/kind");
+const KindGuard = require("../guard/kind");
 // prettier-ignore
 function FromComputed(target, parameters) {
     return (0, index_1.Computed)('Partial', [(0, index_1.Computed)(target, parameters)]);
@@ -32,9 +32,9 @@ function FromProperties(properties) {
     return partialProperties;
 }
 // prettier-ignore
-function FromObject(T) {
-    const options = (0, index_7.Discard)(T, [index_8.TransformKind, '$id', 'required', 'properties']);
-    const properties = FromProperties(T['properties']);
+function FromObject(type) {
+    const options = (0, index_7.Discard)(type, [index_8.TransformKind, '$id', 'required', 'properties']);
+    const properties = FromProperties(type['properties']);
     return (0, index_3.Object)(properties, options);
 }
 // prettier-ignore
@@ -46,16 +46,29 @@ function FromRest(types) {
 // ------------------------------------------------------------------
 // prettier-ignore
 function PartialResolve(type) {
-    return ((0, kind_1.IsComputed)(type) ? FromComputed(type.target, type.parameters) :
-        (0, kind_1.IsRef)(type) ? FromRef(type.$ref) :
-            (0, kind_1.IsIntersect)(type) ? (0, index_4.Intersect)(FromRest(type.allOf)) :
-                (0, kind_1.IsUnion)(type) ? (0, index_5.Union)(FromRest(type.anyOf)) :
-                    (0, kind_1.IsObject)(type) ? FromObject(type) :
-                        (0, index_3.Object)({}));
+    return (
+    // Mappable
+    KindGuard.IsComputed(type) ? FromComputed(type.target, type.parameters) :
+        KindGuard.IsRef(type) ? FromRef(type.$ref) :
+            KindGuard.IsIntersect(type) ? (0, index_4.Intersect)(FromRest(type.allOf)) :
+                KindGuard.IsUnion(type) ? (0, index_5.Union)(FromRest(type.anyOf)) :
+                    KindGuard.IsObject(type) ? FromObject(type) :
+                        // Intrinsic
+                        KindGuard.IsBigInt(type) ? type :
+                            KindGuard.IsBoolean(type) ? type :
+                                KindGuard.IsInteger(type) ? type :
+                                    KindGuard.IsLiteral(type) ? type :
+                                        KindGuard.IsNull(type) ? type :
+                                            KindGuard.IsNumber(type) ? type :
+                                                KindGuard.IsString(type) ? type :
+                                                    KindGuard.IsSymbol(type) ? type :
+                                                        KindGuard.IsUndefined(type) ? type :
+                                                            // Passthrough
+                                                            (0, index_3.Object)({}));
 }
 /** `[Json]` Constructs a type where all properties are optional */
 function Partial(type, options) {
-    if ((0, kind_1.IsMappedResult)(type)) {
+    if (KindGuard.IsMappedResult(type)) {
         return (0, partial_from_mapped_result_1.PartialFromMappedResult)(type, options);
     }
     else {

package/build/cjs/type/required/required.d.ts

@@ -10,6 +10,15 @@ import { type TObject, type TProperties } from '../object/index';
 import { type TIntersect } from '../intersect/index';
 import { type TUnion } from '../union/index';
 import { type TRef } from '../ref/index';
+import { type TBigInt } from '../bigint/index';
+import { type TBoolean } from '../boolean/index';
+import { type TInteger } from '../integer/index';
+import { type TLiteral } from '../literal/index';
+import { type TNull } from '../null/index';
+import { type TNumber } from '../number/index';
+import { type TString } from '../string/index';
+import { type TSymbol } from '../symbol/index';
+import { type TUndefined } from '../undefined/index';
 import { type TRequiredFromMappedResult } from './required-from-mapped-result';
 type TFromComputed<Target extends string, Parameters extends TSchema[]> = Ensure<TComputed<'Required', [TComputed<Target, Parameters>]>>;
 type TFromRef<Ref extends string> = Ensure<TComputed<'Required', [TRef<Ref>]>>;
@@ -18,7 +27,7 @@ type TFromProperties<Properties extends TProperties> = Evaluate<{
 }>;
 type TFromObject<Type extends TObject, Properties extends TProperties = Type['properties']> = Ensure<TObject<(TFromProperties<Properties>)>>;
 type TFromRest<Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TFromRest<R, [...Result, TRequired<L>]> : Result);
-export type TRequired<Type extends TSchema> = (Type extends TRecursive<infer Type extends TSchema> ? TRecursive<TRequired<Type>> : Type extends TComputed<infer Target extends string, infer Parameters extends TSchema[]> ? TFromComputed<Target, Parameters> : Type extends TRef<infer Ref extends string> ? TFromRef<Ref> : Type extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromRest<Types>> : Type extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromRest<Types>> : Type extends TObject<infer Properties extends TProperties> ? TFromObject<TObject<Properties>> : TObject<{}>);
+export type TRequired<Type extends TSchema> = (Type extends TRecursive<infer Type extends TSchema> ? TRecursive<TRequired<Type>> : Type extends TComputed<infer Target extends string, infer Parameters extends TSchema[]> ? TFromComputed<Target, Parameters> : Type extends TRef<infer Ref extends string> ? TFromRef<Ref> : Type extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromRest<Types>> : Type extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromRest<Types>> : Type extends TObject<infer Properties extends TProperties> ? TFromObject<TObject<Properties>> : Type extends TBigInt ? Type : Type extends TBoolean ? Type : Type extends TInteger ? Type : Type extends TLiteral ? Type : Type extends TNull ? Type : Type extends TNumber ? Type : Type extends TString ? Type : Type extends TSymbol ? Type : Type extends TUndefined ? Type : TObject<{}>);
 /** `[Json]` Constructs a type where all properties are required */
 export declare function Required<MappedResult extends TMappedResult>(type: MappedResult, options?: SchemaOptions): TRequiredFromMappedResult<MappedResult>;
 /** `[Json]` Constructs a type where all properties are required */

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

@@ -14,7 +14,7 @@ const required_from_mapped_result_1 = require("./required-from-mapped-result");
 // ------------------------------------------------------------------
 // TypeGuard
 // ------------------------------------------------------------------
-const kind_1 = require("../guard/kind");
+const KindGuard = require("../guard/kind");
 // prettier-ignore
 function FromComputed(target, parameters) {
     return (0, index_1.Computed)('Required', [(0, index_1.Computed)(target, parameters)]);
@@ -45,16 +45,29 @@ function FromRest(types) {
 // ------------------------------------------------------------------
 // prettier-ignore
 function RequiredResolve(type) {
-    return ((0, kind_1.IsComputed)(type) ? FromComputed(type.target, type.parameters) :
-        (0, kind_1.IsRef)(type) ? FromRef(type.$ref) :
-            (0, kind_1.IsIntersect)(type) ? (0, index_3.Intersect)(FromRest(type.allOf)) :
-                (0, kind_1.IsUnion)(type) ? (0, index_4.Union)(FromRest(type.anyOf)) :
-                    (0, kind_1.IsObject)(type) ? FromObject(type) :
-                        (0, index_2.Object)({}));
+    return (
+    // Mappable
+    KindGuard.IsComputed(type) ? FromComputed(type.target, type.parameters) :
+        KindGuard.IsRef(type) ? FromRef(type.$ref) :
+            KindGuard.IsIntersect(type) ? (0, index_3.Intersect)(FromRest(type.allOf)) :
+                KindGuard.IsUnion(type) ? (0, index_4.Union)(FromRest(type.anyOf)) :
+                    KindGuard.IsObject(type) ? FromObject(type) :
+                        // Intrinsic
+                        KindGuard.IsBigInt(type) ? type :
+                            KindGuard.IsBoolean(type) ? type :
+                                KindGuard.IsInteger(type) ? type :
+                                    KindGuard.IsLiteral(type) ? type :
+                                        KindGuard.IsNull(type) ? type :
+                                            KindGuard.IsNumber(type) ? type :
+                                                KindGuard.IsString(type) ? type :
+                                                    KindGuard.IsSymbol(type) ? type :
+                                                        KindGuard.IsUndefined(type) ? type :
+                                                            // Passthrough
+                                                            (0, index_2.Object)({}));
 }
 /** `[Json]` Constructs a type where all properties are required */
 function Required(type, options) {
-    if ((0, kind_1.IsMappedResult)(type)) {
+    if (KindGuard.IsMappedResult(type)) {
         return (0, required_from_mapped_result_1.RequiredFromMappedResult)(type, options);
     }
     else {

package/build/cjs/type/type/type.d.ts

@@ -43,7 +43,6 @@ export { Record } from '../record/index';
 export { Recursive } from '../recursive/index';
 export { Ref } from '../ref/index';
 export { RegExp } from '../regexp/index';
-export { Remap } from '../remap/index';
 export { Required } from '../required/index';
 export { Rest } from '../rest/index';
 export { ReturnType } from '../return-type/index';

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

@@ -1,8 +1,8 @@
 "use strict";
 
 Object.defineProperty(exports, "__esModule", { value: true });
-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;
+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.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 = void 0;
 // ------------------------------------------------------------------
 // Type: Module
 // ------------------------------------------------------------------
@@ -99,33 +99,31 @@ 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; } });
+var index_46 = require("../required/index");
+Object.defineProperty(exports, "Required", { enumerable: true, get: function () { return index_46.Required; } });
+var index_47 = require("../rest/index");
+Object.defineProperty(exports, "Rest", { enumerable: true, get: function () { return index_47.Rest; } });
+var index_48 = require("../return-type/index");
+Object.defineProperty(exports, "ReturnType", { enumerable: true, get: function () { return index_48.ReturnType; } });
+var index_49 = require("../string/index");
+Object.defineProperty(exports, "String", { enumerable: true, get: function () { return index_49.String; } });
+var index_50 = require("../symbol/index");
+Object.defineProperty(exports, "Symbol", { enumerable: true, get: function () { return index_50.Symbol; } });
+var index_51 = require("../template-literal/index");
+Object.defineProperty(exports, "TemplateLiteral", { enumerable: true, get: function () { return index_51.TemplateLiteral; } });
+var index_52 = require("../transform/index");
+Object.defineProperty(exports, "Transform", { enumerable: true, get: function () { return index_52.Transform; } });
+var index_53 = require("../tuple/index");
+Object.defineProperty(exports, "Tuple", { enumerable: true, get: function () { return index_53.Tuple; } });
+var index_54 = require("../uint8array/index");
+Object.defineProperty(exports, "Uint8Array", { enumerable: true, get: function () { return index_54.Uint8Array; } });
+var index_55 = require("../undefined/index");
+Object.defineProperty(exports, "Undefined", { enumerable: true, get: function () { return index_55.Undefined; } });
+var index_56 = require("../union/index");
+Object.defineProperty(exports, "Union", { enumerable: true, get: function () { return index_56.Union; } });
+var index_57 = require("../unknown/index");
+Object.defineProperty(exports, "Unknown", { enumerable: true, get: function () { return index_57.Unknown; } });
+var index_58 = require("../unsafe/index");
+Object.defineProperty(exports, "Unsafe", { enumerable: true, get: function () { return index_58.Unsafe; } });
+var index_59 = require("../void/index");
+Object.defineProperty(exports, "Void", { enumerable: true, get: function () { return index_59.Void; } });

package/build/esm/index.d.mts

@@ -52,7 +52,6 @@ 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

@@ -58,7 +58,6 @@ 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.mjs

@@ -39,10 +39,17 @@ const Dereference = (context, key) => {
 // GenericReference
 // ------------------------------------------------------------------
 function GenericReferenceMapping(results, context) {
-    const target = Dereference(context, results[0]);
-    return t.Instantiate(target, results[2]);
+    const type = Dereference(context, results[0]);
+    const args = results[2];
+    return t.Instantiate(type, args);
 }
-const GenericReference = Runtime.Tuple([Runtime.Ident(), Runtime.Const(LAngle), Runtime.Ref('Elements'), Runtime.Const(RAngle)], (results, context) => GenericReferenceMapping(results, context));
+// prettier-ignore
+const GenericReference = Runtime.Tuple([
+    Runtime.Ident(),
+    Runtime.Const(LAngle),
+    Runtime.Ref('Elements'),
+    Runtime.Const(RAngle)
+], (results, context) => GenericReferenceMapping(results, context));
 // ------------------------------------------------------------------
 // Reference
 // ------------------------------------------------------------------

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

@@ -43,7 +43,7 @@ type Delimit<Parser extends Static.IParser, Delimiter extends Static.IParser> =
 ], DelimitMapping>);
 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;
+    output: this['context'] extends t.TProperties ? this['input'] extends [infer Reference extends string, LAngle, infer Args extends t.TSchema[], RAngle] ? t.TInstantiate<Dereference<this['context'], Reference>, Args> : never : never;
 }
 type GenericReference = Static.Tuple<[
     Static.Ident,