@sinclair/typebox 0.32.0-dev-11 → 0.32.0-dev-12

package/build/require/type/mapped/mapped.d.ts

@@ -1,24 +1,50 @@
 import type { TSchema } from '../schema/index';
-import type { Evaluate } from '../helpers/index';
-import type { Static } from '../static/index';
-import { type TObject, type TProperties } from '../object/index';
-import { IndexedKeyResolve } from '../indexed/indexed-key';
+import type { Ensure, Evaluate } from '../helpers/index';
+import { IndexedPropertyKeys } from '../indexed/index';
 import { Kind } from '../symbols/index';
+import { type TArray } from '../array/index';
+import { type TAsyncIterator } from '../async-iterator/index';
+import { type TConstructor } from '../constructor/index';
+import { type TFunction } from '../function/index';
+import { type TIntersect } from '../intersect/index';
+import { type TIterator } from '../iterator/index';
+import { type TLiteral, type TLiteralValue } from '../literal/index';
+import { type TNever } from '../never/index';
+import { type TObject, type TProperties, type ObjectOptions } from '../object/index';
+import { type TOptional } from '../optional/index';
+import { type TPromise } from '../promise/index';
+import { type TReadonly } from '../readonly/index';
+import { type TUnion } from '../union/index';
 export interface TMappedKey<T extends PropertyKey[] = PropertyKey[]> extends TSchema {
     [Kind]: 'MappedKey';
     static: T[number];
-    anyOf: [];
+    keys: T;
 }
+export declare function MappedKey<T extends PropertyKey[]>(T: [...T]): TMappedKey<T>;
 export type MappedFunction<K extends PropertyKey[], I = TMappedKey<K>> = (T: I) => TSchema;
-export type MappedResultProperties<K extends PropertyKey[], T extends TSchema> = K extends [infer L extends string, ...infer R extends PropertyKey[]] ? {
-    [_ in `${L}`]: T;
-} & MappedResultProperties<R, T> : {};
-export type UnevaluatedMappedResult<T extends TSchema> = T;
-export type EvaluatedMappedResult<K extends PropertyKey[], T extends TSchema> = T;
-export interface TMappedResult<K extends PropertyKey[], F extends MappedFunction<K>, S extends TSchema = ReturnType<F>, R extends TSchema = EvaluatedMappedResult<K, S>, P extends TProperties = Evaluate<MappedResultProperties<K, R>>, O extends TObject = TObject<P>> extends TSchema {
+type FromMappedResult<K extends PropertyKey, P extends TProperties> = (K extends keyof P ? FromMappedPropertyKey<K, P[K]> : TNever);
+declare function FromMappedResult<K extends PropertyKey, P extends TProperties>(K: K, P: P): FromMappedResult<K, P>;
+type FromMappedKey<K extends PropertyKey, _ extends PropertyKey[]> = (K extends TLiteralValue ? TLiteral<K> : TLiteral<'never'>);
+declare function FromMappedKey<K extends PropertyKey, P extends PropertyKey[]>(K: K, _: [...P]): TLiteral<TLiteralValue>;
+type FromRest<K extends PropertyKey, T extends TSchema[]> = T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? [FromMappedPropertyKey<K, L>, ...FromRest<K, R>] : [];
+declare function FromRest<K extends PropertyKey, T extends TSchema[]>(K: K, T: [...T]): FromRest<K, T>;
+type FromProperties<K extends PropertyKey, T extends TProperties, R extends TProperties = Evaluate<{
+    [K2 in keyof T]: FromMappedPropertyKey<K, T[K2]>;
+}>> = R;
+declare function FromProperties<K extends PropertyKey, T extends TProperties>(K: K, T: T): FromProperties<K, T>;
+export type FromMappedPropertyKey<K extends PropertyKey, T extends TSchema> = (T extends TReadonly<infer S> ? TReadonly<FromMappedPropertyKey<K, S>> : T extends TOptional<infer S> ? TOptional<FromMappedPropertyKey<K, S>> : T extends TMappedResult<infer P> ? FromMappedResult<K, P> : T extends TMappedKey<infer S> ? FromMappedKey<K, S> : T extends TConstructor<infer S extends TSchema[], infer R extends TSchema> ? TConstructor<FromRest<K, S>, FromMappedPropertyKey<K, R>> : T extends TFunction<infer S extends TSchema[], infer R extends TSchema> ? TFunction<FromRest<K, S>, FromMappedPropertyKey<K, R>> : T extends TAsyncIterator<infer S> ? TAsyncIterator<FromMappedPropertyKey<K, S>> : T extends TIterator<infer S> ? TIterator<FromMappedPropertyKey<K, S>> : T extends TIntersect<infer S> ? TIntersect<FromRest<K, S>> : T extends TUnion<infer S> ? TUnion<FromRest<K, S>> : T extends TObject<infer S> ? TObject<FromProperties<K, S>> : T extends TArray<infer S> ? TArray<FromMappedPropertyKey<K, S>> : T extends TPromise<infer S> ? TPromise<FromMappedPropertyKey<K, S>> : T);
+export declare function FromMappedPropertyKey<K extends PropertyKey, T extends TSchema>(K: K, T: T): FromMappedPropertyKey<K, T>;
+export type FromMappedPropertyKeys<K extends PropertyKey[], T extends TSchema> = (K extends [infer L extends PropertyKey, ...infer R extends PropertyKey[]] ? {
+    [_ in L]: FromMappedPropertyKey<L, T>;
+} & FromMappedPropertyKeys<R, T> : {});
+export declare function FromMappedPropertyKeys<K extends PropertyKey[], T extends TSchema>(K: [...K], T: T): FromMappedPropertyKeys<K, T>;
+export interface TMappedResult<T extends TProperties = TProperties> extends TSchema {
     [Kind]: 'MappedResult';
-    static: Static<O, this['params']>;
-    properties: P;
+    properties: T;
+    static: unknown;
 }
-export declare function Mapped<K extends TSchema, I extends PropertyKey[] = IndexedKeyResolve<K>, F extends MappedFunction<I> = MappedFunction<I>, R extends TMappedResult<I, F> = TMappedResult<I, F>>(key: K, map: F): R;
-export declare function Mapped<K extends PropertyKey[], F extends MappedFunction<K> = MappedFunction<K>, R extends TMappedResult<K, F> = TMappedResult<K, F>>(key: [...K], map: F): R;
+export declare function MappedResult<T extends TProperties>(properties: T): TMappedResult<T>;
+export type TMapped<K extends PropertyKey[], F extends MappedFunction<K>, R extends TProperties = Evaluate<FromMappedPropertyKeys<K, ReturnType<F>>>> = Ensure<TObject<R>>;
+export declare function Mapped<K extends TSchema, I extends PropertyKey[] = IndexedPropertyKeys<K>, F extends MappedFunction<I> = MappedFunction<I>, R extends TMapped<I, F> = TMapped<I, F>>(key: K, map: F, options?: ObjectOptions): R;
+export declare function Mapped<K extends PropertyKey[], F extends MappedFunction<K> = MappedFunction<K>, R extends TMapped<K, F> = TMapped<K, F>>(key: [...K], map: F, options?: ObjectOptions): R;
+export {};

package/build/require/type/mapped/mapped.js

@@ -1,18 +1,86 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.Mapped = void 0;
-const index_1 = require("../object/index");
-const index_2 = require("../literal/index");
-const indexed_key_1 = require("../indexed/indexed-key");
+exports.Mapped = exports.MappedResult = exports.FromMappedPropertyKeys = exports.FromMappedPropertyKey = exports.MappedKey = void 0;
+const index_1 = require("../indexed/index");
 const type_1 = require("../guard/type");
-const index_3 = require("../symbols/index");
-function Mapped(key, map) {
-    const keys = (0, type_1.TSchema)(key) ? (0, indexed_key_1.IndexedKeyResolve)(key) : key;
-    const anyOf = keys.map(key => (0, index_2.Literal)(key));
-    const mapped = { [index_3.Kind]: 'MappedKey', anyOf };
-    const properties = keys.reduce((acc, key) => {
-        return { ...acc, [key]: map(mapped) };
+const index_2 = require("../symbols/index");
+const type_2 = require("../clone/type");
+const index_3 = require("../discard/index");
+const index_4 = require("../array/index");
+const index_5 = require("../async-iterator/index");
+const index_6 = require("../constructor/index");
+const index_7 = require("../function/index");
+const index_8 = require("../intersect/index");
+const index_9 = require("../iterator/index");
+const index_10 = require("../literal/index");
+const index_11 = require("../never/index");
+const index_12 = require("../object/index");
+const index_13 = require("../optional/index");
+const index_14 = require("../promise/index");
+const index_15 = require("../readonly/index");
+const index_16 = require("../union/index");
+const type_3 = require("../guard/type");
+function MappedKey(T) {
+    return {
+        [index_2.Kind]: 'MappedKey',
+        keys: T
+    };
+}
+exports.MappedKey = MappedKey;
+function FromMappedResult(K, P) {
+    return (K in P
+        ? FromMappedPropertyKey(K, P[K])
+        : (0, index_11.Never)());
+}
+function FromMappedKey(K, _) {
+    return (0, index_10.Literal)(K);
+}
+function FromRest(K, T) {
+    const [L, ...R] = T;
+    return (T.length > 0
+        ? [FromMappedPropertyKey(K, L), ...FromRest(K, R)]
+        : []);
+}
+function FromProperties(K, T) {
+    return globalThis.Object.getOwnPropertyNames(T).reduce((Acc, K2) => {
+        return { ...Acc, [K2]: FromMappedPropertyKey(K, T[K2]) };
     }, {});
-    return (0, index_1.Object)(properties);
+}
+function FromMappedPropertyKey(K, T) {
+    return ((0, type_3.TOptional)(T) ? (0, index_13.Optional)(FromMappedPropertyKey(K, (0, index_3.Discard)(T, [index_2.OptionalKind]))) :
+        (0, type_3.TReadonly)(T) ? (0, index_15.Readonly)(FromMappedPropertyKey(K, (0, index_3.Discard)(T, [index_2.ReadonlyKind]))) :
+            (0, type_3.TMappedResult)(T) ? FromMappedResult(K, T.properties) :
+                (0, type_3.TMappedKey)(T) ? FromMappedKey(K, T.keys) :
+                    (0, type_3.TConstructor)(T) ? (0, index_6.Constructor)(FromRest(K, T.parameters), FromMappedPropertyKey(K, T.returns)) :
+                        (0, type_3.TFunction)(T) ? (0, index_7.Function)(FromRest(K, T.parameters), FromMappedPropertyKey(K, T.returns)) :
+                            (0, type_3.TAsyncIterator)(T) ? (0, index_5.AsyncIterator)(FromMappedPropertyKey(K, T.items)) :
+                                (0, type_3.TIterator)(T) ? (0, index_9.Iterator)(FromMappedPropertyKey(K, T.items)) :
+                                    (0, type_3.TIntersect)(T) ? (0, index_8.Intersect)(FromRest(K, T.allOf)) :
+                                        (0, type_3.TUnion)(T) ? (0, index_16.Union)(FromRest(K, T.anyOf)) :
+                                            (0, type_3.TObject)(T) ? (0, index_12.Object)(FromProperties(K, T.properties)) :
+                                                (0, type_3.TArray)(T) ? (0, index_4.Array)(FromMappedPropertyKey(K, T.items)) :
+                                                    (0, type_3.TPromise)(T) ? (0, index_14.Promise)(FromMappedPropertyKey(K, T.item)) :
+                                                        T);
+}
+exports.FromMappedPropertyKey = FromMappedPropertyKey;
+function FromMappedPropertyKeys(K, T) {
+    const [L, ...R] = K;
+    return (K.length > 0
+        ? { [L]: FromMappedPropertyKey(L, T), ...FromMappedPropertyKeys(R, T) }
+        : {});
+}
+exports.FromMappedPropertyKeys = FromMappedPropertyKeys;
+function MappedResult(properties) {
+    return {
+        [index_2.Kind]: 'MappedResult',
+        properties
+    };
+}
+exports.MappedResult = MappedResult;
+function Mapped(key, map, options = {}) {
+    const K = (0, type_1.TSchema)(key) ? (0, index_1.IndexedPropertyKeys)(key) : key;
+    const RT = map({ [index_2.Kind]: 'MappedKey', keys: K });
+    const R = FromMappedPropertyKeys(K, RT);
+    return (0, type_2.CloneType)((0, index_12.Object)(R), options);
 }
 exports.Mapped = Mapped;

package/build/require/type/omit/omit.d.ts

@@ -4,7 +4,7 @@ import { type TRecursive } from '../recursive/index';
 import { type TIntersect } from '../intersect/index';
 import { type TUnion } from '../union/index';
 import { type TObject, type TProperties } from '../object/index';
-import { IndexedKeyResolve } from '../indexed/index';
+import { IndexedPropertyKeys } from '../indexed/index';
 type FromIntersect<T extends TSchema[], K extends PropertyKey[]> = T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? [OmitResolve<L, K>, ...FromIntersect<R, K>] : [];
 declare function FromIntersect<T extends TSchema[], K extends PropertyKey[]>(T: T, K: K): FromIntersect<T, K>;
 type FromUnion<T extends TSchema[], K extends PropertyKey[]> = T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? [OmitResolve<L, K>, ...FromUnion<R, K>] : [];
@@ -14,6 +14,6 @@ declare function FromProperties<T extends TProperties, K extends PropertyKey[]>(
 export type OmitResolve<T extends TProperties, K extends PropertyKey[]> = T extends TRecursive<infer S> ? TRecursive<OmitResolve<S, K>> : T extends TIntersect<infer S> ? TIntersect<FromIntersect<S, K>> : T extends TUnion<infer S> ? TUnion<FromUnion<S, K>> : T extends TObject<infer S> ? TObject<FromProperties<S, K>> : TObject<{}>;
 export declare function OmitResolve<T extends TSchema, K extends PropertyKey[]>(T: T, K: [...K]): OmitResolve<T, K>;
 export type TOmit<T extends TSchema, K extends PropertyKey[]> = OmitResolve<T, K>;
-export declare function Omit<T extends TSchema, K extends TSchema, I extends PropertyKey[] = IndexedKeyResolve<K>>(T: T, K: K, options?: SchemaOptions): TOmit<T, I>;
+export declare function Omit<T extends TSchema, K extends TSchema, I extends PropertyKey[] = IndexedPropertyKeys<K>>(T: T, K: K, options?: SchemaOptions): TOmit<T, I>;
 export declare function Omit<T extends TSchema, K extends PropertyKey[]>(T: T, K: readonly [...K], options?: SchemaOptions): TOmit<T, K>;
 export {};

package/build/require/type/omit/omit.js

@@ -32,7 +32,7 @@ function OmitResolve(T, K) {
 }
 exports.OmitResolve = OmitResolve;
 function Omit(T, K, options = {}) {
-    const I = (0, type_2.TSchema)(K) ? (0, index_4.IndexedKeyResolve)(K) : K;
+    const I = (0, type_2.TSchema)(K) ? (0, index_4.IndexedPropertyKeys)(K) : K;
     const D = (0, index_5.Discard)(T, [index_6.TransformKind, '$id', 'required']);
     const R = (0, type_1.CloneType)(OmitResolve(T, I), options);
     return { ...D, ...R };

package/build/require/type/pick/pick.d.ts

@@ -4,7 +4,7 @@ import { type TRecursive } from '../recursive/index';
 import { type TIntersect } from '../intersect/index';
 import { type TUnion } from '../union/index';
 import { type TObject, type TProperties } from '../object/index';
-import { IndexedKeyResolve } from '../indexed/index';
+import { IndexedPropertyKeys } from '../indexed/index';
 type FromIntersect<T extends TSchema[], K extends PropertyKey[]> = T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? [PickResolve<L, K>, ...FromIntersect<R, K>] : [];
 declare function FromIntersect<T extends TSchema[], K extends PropertyKey[]>(T: T, K: K): FromIntersect<T, K>;
 type FromUnion<T extends TSchema[], K extends PropertyKey[]> = T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? [PickResolve<L, K>, ...FromUnion<R, K>] : [];
@@ -14,6 +14,6 @@ declare function FromProperties<T extends TProperties, K extends PropertyKey[]>(
 export type PickResolve<T extends TProperties, K extends PropertyKey[]> = T extends TRecursive<infer S> ? TRecursive<PickResolve<S, K>> : T extends TIntersect<infer S> ? TIntersect<FromIntersect<S, K>> : T extends TUnion<infer S> ? TUnion<FromUnion<S, K>> : T extends TObject<infer S> ? TObject<FromProperties<S, K>> : TObject<{}>;
 export declare function PickResolve<T extends TSchema, K extends PropertyKey[]>(T: T, K: [...K]): PickResolve<T, K>;
 export type TPick<T extends TSchema, K extends PropertyKey[]> = PickResolve<T, K>;
-export declare function Pick<T extends TSchema, K extends TSchema, I extends PropertyKey[] = IndexedKeyResolve<K>>(T: T, K: K, options?: SchemaOptions): TPick<T, I>;
+export declare function Pick<T extends TSchema, K extends TSchema, I extends PropertyKey[] = IndexedPropertyKeys<K>>(T: T, K: K, options?: SchemaOptions): TPick<T, I>;
 export declare function Pick<T extends TSchema, K extends PropertyKey[]>(T: T, K: readonly [...K], options?: SchemaOptions): TPick<T, K>;
 export {};

package/build/require/type/pick/pick.js

@@ -28,7 +28,7 @@ function PickResolve(T, K) {
 }
 exports.PickResolve = PickResolve;
 function Pick(T, K, options = {}) {
-    const I = (0, type_2.TSchema)(K) ? (0, index_4.IndexedKeyResolve)(K) : K;
+    const I = (0, type_2.TSchema)(K) ? (0, index_4.IndexedPropertyKeys)(K) : K;
     const D = (0, index_5.Discard)(T, [index_6.TransformKind, '$id', 'required']);
     const R = (0, type_1.CloneType)(PickResolve(T, I), options);
     return { ...D, ...R };

package/build/require/type/record/record.js

@@ -21,11 +21,11 @@ function FromKeys(keys, T) {
 function FromTemplateLiteralKey(K, T) {
     const expression = (0, index_4.TemplateLiteralParseExact)(K.pattern);
     return ((0, index_4.IsTemplateLiteralFinite)(expression)
-        ? FromKeys((0, index_6.IndexedKeyResolve)(K), T)
+        ? FromKeys((0, index_6.IndexedPropertyKeys)(K), T)
         : FromPattern(K.pattern, T));
 }
 function FromUnionKey(K, T) {
-    return FromKeys((0, index_6.IndexedKeyResolve)((0, index_3.Union)(K)), T);
+    return FromKeys((0, index_6.IndexedPropertyKeys)((0, index_3.Union)(K)), T);
 }
 function FromLiteralKey(K, T) {
     return FromKeys([K.toString()], T);

package/build/require/type/type/json.d.ts

@@ -6,17 +6,19 @@ import { type TConst } from '../const/index';
 import { type TDeref } from '../deref/index';
 import { type TEnum, type TEnumKey, type TEnumValue } from '../enum/index';
 import { type TExclude } from '../exclude/index';
-import { type TExtends } from '../extends/index';
+import { type TExtends, type MappedExtends, type MappedResultExtends } from '../extends/index';
 import { type TExtract } from '../extract/index';
-import { TIndex, type IndexedKeyResolve } from '../indexed/index';
+import { TIndex, type IndexedPropertyKeys, type TMappedIndex } from '../indexed/index';
 import { type IntegerOptions, type TInteger } from '../integer/index';
 import { type IntersectOptions, type IntersectResolve } from '../intersect/index';
 import { type TCapitalize, type TUncapitalize, type TLowercase, type TUppercase } from '../intrinsic/index';
 import { type TKeyOf } from '../keyof/index';
 import { type TLiteral, type TLiteralValue } from '../literal/index';
+import { type MappedFunction, type TMapped, type TMappedResult } from '../mapped/index';
 import { type TNever } from '../never/index';
 import { type TNot } from '../not/index';
 import { type TNull } from '../null/index';
+import { type TMappedKey } from '../mapped/index';
 import { type TNumber, type NumberOptions } from '../number/index';
 import { type TObject, type TProperties, type ObjectOptions } from '../object/index';
 import { type TOmit } from '../omit/index';
@@ -51,25 +53,30 @@ export declare class JsonTypeBuilder {
     Const<T>(value: T, options?: SchemaOptions): TConst<T>;
     Deref<T extends TSchema>(schema: T, references: TSchema[]): TDeref<T>;
     Enum<V extends TEnumValue, T extends Record<TEnumKey, V>>(item: T, options?: SchemaOptions): TEnum<T>;
-    Extends<L extends TSchema, R extends TSchema, T extends TSchema, U extends TSchema>(left: L, right: R, trueType: T, falseType: U, options?: SchemaOptions): TExtends<L, R, T, U>;
+    Extends<L extends TMappedResult, R extends TSchema, T extends TSchema, F extends TSchema>(L: L, R: R, T: T, F: F, options?: SchemaOptions): MappedResultExtends<L, R, T, F>;
+    Extends<L extends TMappedKey, R extends TSchema, T extends TSchema, F extends TSchema>(L: L, R: R, T: T, F: F, options?: SchemaOptions): MappedExtends<L, R, T, F>;
+    Extends<L extends TSchema, R extends TSchema, T extends TSchema, F extends TSchema>(L: L, R: R, T: T, F: F, options?: SchemaOptions): TExtends<L, R, T, F>;
     Exclude<L extends TSchema, R extends TSchema>(unionType: L, excludedMembers: R, options?: SchemaOptions): TExclude<L, R>;
     Extract<L extends TSchema, R extends TSchema>(type: L, union: R, options?: SchemaOptions): TExtract<L, R>;
-    Index<T extends TSchema, K extends TSchema, I extends PropertyKey[] = IndexedKeyResolve<K>>(T: T, K: K, options?: SchemaOptions): TIndex<T, I>;
+    Index<T extends TSchema, K extends TMappedKey>(T: T, K: K): TMappedIndex<T, K>;
+    Index<T extends TSchema, K extends TSchema, I extends PropertyKey[] = IndexedPropertyKeys<K>>(T: T, K: K, options?: SchemaOptions): TIndex<T, I>;
     Index<T extends TSchema, K extends PropertyKey[]>(T: T, K: readonly [...K], options?: SchemaOptions): TIndex<T, K>;
     Integer(options?: IntegerOptions): TInteger;
     Intersect<T extends TSchema[]>(T: [...T], options?: IntersectOptions): IntersectResolve<T>;
     KeyOf<T extends TSchema>(schema: T, options?: SchemaOptions): TKeyOf<T>;
     Literal<T extends TLiteralValue>(value: T, options?: SchemaOptions): TLiteral<T>;
     Lowercase<T extends TSchema>(schema: T, options?: SchemaOptions): TLowercase<T>;
+    Mapped<K extends TSchema, I extends PropertyKey[] = IndexedPropertyKeys<K>, F extends MappedFunction<I> = MappedFunction<I>, R extends TMapped<I, F> = TMapped<I, F>>(key: K, map: F, options?: ObjectOptions): R;
+    Mapped<K extends PropertyKey[], F extends MappedFunction<K> = MappedFunction<K>, R extends TMapped<K, F> = TMapped<K, F>>(key: [...K], map: F, options?: ObjectOptions): R;
     Never(options?: SchemaOptions): TNever;
     Not<T extends TSchema>(schema: T, options?: SchemaOptions): TNot<T>;
     Null(options?: SchemaOptions): TNull;
     Number(options?: NumberOptions): TNumber;
     Object<T extends TProperties>(properties: T, options?: ObjectOptions): TObject<T>;
-    Omit<T extends TSchema, K extends TSchema, I extends PropertyKey[] = IndexedKeyResolve<K>>(T: T, K: K, options?: SchemaOptions): TOmit<T, I>;
+    Omit<T extends TSchema, K extends TSchema, I extends PropertyKey[] = IndexedPropertyKeys<K>>(T: T, K: K, options?: SchemaOptions): TOmit<T, I>;
     Omit<T extends TSchema, K extends PropertyKey[]>(T: T, K: readonly [...K], options?: SchemaOptions): TOmit<T, K>;
     Partial<T extends TSchema>(schema: T, options?: ObjectOptions): TPartial<T>;
-    Pick<T extends TSchema, K extends TSchema, I extends PropertyKey[] = IndexedKeyResolve<K>>(T: T, K: K, options?: SchemaOptions): TPick<T, I>;
+    Pick<T extends TSchema, K extends TSchema, I extends PropertyKey[] = IndexedPropertyKeys<K>>(T: T, K: K, options?: SchemaOptions): TPick<T, I>;
     Pick<T extends TSchema, K extends PropertyKey[]>(T: T, K: readonly [...K], options?: SchemaOptions): TPick<T, K>;
     Record<K extends TSchema, T extends TSchema>(key: K, schema: T, options?: ObjectOptions): RecordResolve<K, T>;
     Recursive<T extends TSchema>(callback: (thisType: TThis) => T, options?: SchemaOptions): TRecursive<T>;

package/build/require/type/type/json.js

@@ -17,42 +17,43 @@ const index_13 = require("../intersect/index");
 const index_14 = require("../intrinsic/index");
 const index_15 = require("../keyof/index");
 const index_16 = require("../literal/index");
-const index_17 = require("../never/index");
-const index_18 = require("../not/index");
-const index_19 = require("../null/index");
-const index_20 = require("../number/index");
-const index_21 = require("../object/index");
-const index_22 = require("../omit/index");
-const index_23 = require("../optional/index");
-const index_24 = require("../partial/index");
-const index_25 = require("../pick/index");
-const index_26 = require("../readonly/index");
-const index_27 = require("../readonly-optional/index");
-const index_28 = require("../record/index");
-const index_29 = require("../recursive/index");
-const index_30 = require("../ref/index");
-const index_31 = require("../required/index");
-const index_32 = require("../rest/index");
-const index_33 = require("../strict/index");
-const index_34 = require("../string/index");
-const index_35 = require("../template-literal/index");
-const index_36 = require("../transform/index");
-const index_37 = require("../tuple/index");
-const index_38 = require("../union/index");
-const index_39 = require("../unknown/index");
-const index_40 = require("../unsafe/index");
+const index_17 = require("../mapped/index");
+const index_18 = require("../never/index");
+const index_19 = require("../not/index");
+const index_20 = require("../null/index");
+const index_21 = require("../number/index");
+const index_22 = require("../object/index");
+const index_23 = require("../omit/index");
+const index_24 = require("../optional/index");
+const index_25 = require("../partial/index");
+const index_26 = require("../pick/index");
+const index_27 = require("../readonly/index");
+const index_28 = require("../readonly-optional/index");
+const index_29 = require("../record/index");
+const index_30 = require("../recursive/index");
+const index_31 = require("../ref/index");
+const index_32 = require("../required/index");
+const index_33 = require("../rest/index");
+const index_34 = require("../strict/index");
+const index_35 = require("../string/index");
+const index_36 = require("../template-literal/index");
+const index_37 = require("../transform/index");
+const index_38 = require("../tuple/index");
+const index_39 = require("../union/index");
+const index_40 = require("../unknown/index");
+const index_41 = require("../unsafe/index");
 class JsonTypeBuilder {
     Strict(schema) {
-        return (0, index_33.Strict)(schema);
+        return (0, index_34.Strict)(schema);
     }
     ReadonlyOptional(schema) {
-        return (0, index_27.ReadonlyOptional)(schema);
+        return (0, index_28.ReadonlyOptional)(schema);
     }
     Readonly(schema) {
-        return (0, index_26.Readonly)(schema);
+        return (0, index_27.Readonly)(schema);
     }
     Optional(schema) {
-        return (0, index_23.Optional)(schema);
+        return (0, index_24.Optional)(schema);
     }
     Any(options = {}) {
         return (0, index_1.Any)(options);
@@ -78,8 +79,8 @@ class JsonTypeBuilder {
     Enum(item, options = {}) {
         return (0, index_7.Enum)(item, options);
     }
-    Extends(left, right, trueType, falseType, options = {}) {
-        return (0, index_9.Extends)(left, right, trueType, falseType, options);
+    Extends(L, R, T, F, options = {}) {
+        return (0, index_9.Extends)(L, R, T, F, options);
     }
     Exclude(unionType, excludedMembers, options = {}) {
         return (0, index_8.Exclude)(unionType, excludedMembers, options);
@@ -105,68 +106,71 @@ class JsonTypeBuilder {
     Lowercase(schema, options = {}) {
         return (0, index_14.Lowercase)(schema, options);
     }
+    Mapped(key, map, options = {}) {
+        return (0, index_17.Mapped)(key, map, options);
+    }
     Never(options = {}) {
-        return (0, index_17.Never)(options);
+        return (0, index_18.Never)(options);
     }
     Not(schema, options) {
-        return (0, index_18.Not)(schema, options);
+        return (0, index_19.Not)(schema, options);
     }
     Null(options = {}) {
-        return (0, index_19.Null)(options);
+        return (0, index_20.Null)(options);
     }
     Number(options = {}) {
-        return (0, index_20.Number)(options);
+        return (0, index_21.Number)(options);
     }
     Object(properties, options = {}) {
-        return (0, index_21.Object)(properties, options);
+        return (0, index_22.Object)(properties, options);
     }
     Omit(schema, unresolved, options = {}) {
-        return (0, index_22.Omit)(schema, unresolved, options);
+        return (0, index_23.Omit)(schema, unresolved, options);
     }
     Partial(schema, options = {}) {
-        return (0, index_24.Partial)(schema, options);
+        return (0, index_25.Partial)(schema, options);
     }
     Pick(schema, unresolved, options = {}) {
-        return (0, index_25.Pick)(schema, unresolved, options);
+        return (0, index_26.Pick)(schema, unresolved, options);
     }
     Record(key, schema, options = {}) {
-        return (0, index_28.Record)(key, schema);
+        return (0, index_29.Record)(key, schema);
     }
     Recursive(callback, options = {}) {
-        return (0, index_29.Recursive)(callback, options);
+        return (0, index_30.Recursive)(callback, options);
     }
     Ref(unresolved, options = {}) {
-        return (0, index_30.Ref)(unresolved, options);
+        return (0, index_31.Ref)(unresolved, options);
     }
     Required(schema, options = {}) {
-        return (0, index_31.Required)(schema, options);
+        return (0, index_32.Required)(schema, options);
     }
     Rest(schema) {
-        return (0, index_32.Rest)(schema);
+        return (0, index_33.Rest)(schema);
     }
     String(options = {}) {
-        return (0, index_34.String)(options);
+        return (0, index_35.String)(options);
     }
     TemplateLiteral(unresolved, options = {}) {
-        return (0, index_35.TemplateLiteral)(unresolved, options);
+        return (0, index_36.TemplateLiteral)(unresolved, options);
     }
     Transform(schema) {
-        return (0, index_36.Transform)(schema);
+        return (0, index_37.Transform)(schema);
     }
     Tuple(items, options = {}) {
-        return (0, index_37.Tuple)(items, options);
+        return (0, index_38.Tuple)(items, options);
     }
     Uncapitalize(schema, options = {}) {
         return (0, index_14.Uncapitalize)(schema, options);
     }
     Union(schemas, options = {}) {
-        return (0, index_38.Union)(schemas, options);
+        return (0, index_39.Union)(schemas, options);
     }
     Unknown(options = {}) {
-        return (0, index_39.Unknown)(options);
+        return (0, index_40.Unknown)(options);
     }
     Unsafe(options = {}) {
-        return (0, index_40.Unsafe)(options);
+        return (0, index_41.Unsafe)(options);
     }
     Uppercase(schema, options = {}) {
         return (0, index_14.Uppercase)(schema, options);

package/build/require/value/check/check.js

@@ -142,12 +142,12 @@ function TInteger(schema, references, value) {
 function TIntersect(schema, references, value) {
     const check1 = schema.allOf.every((schema) => Visit(schema, references, value));
     if (schema.unevaluatedProperties === false) {
-        const keyPattern = new RegExp((0, index_6.KeyOfStringResolvePattern)(schema));
+        const keyPattern = new RegExp((0, index_6.KeyOfPattern)(schema));
         const check2 = Object.getOwnPropertyNames(value).every((key) => keyPattern.test(key));
         return check1 && check2;
     }
     else if ((0, type_1.TSchema)(schema.unevaluatedProperties)) {
-        const keyCheck = new RegExp((0, index_6.KeyOfStringResolvePattern)(schema));
+        const keyCheck = new RegExp((0, index_6.KeyOfPattern)(schema));
         const check2 = Object.getOwnPropertyNames(value).every((key) => keyCheck.test(key) || Visit(schema.unevaluatedProperties, references, value[key]));
         return check1 && check2;
     }

package/build/require/value/clean/clean.js

@@ -3,16 +3,16 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.Clean = void 0;
 const index_1 = require("../guard/index");
 const type_1 = require("../../type/guard/type");
-const keyof_string_1 = require("../../type/keyof/keyof-string");
-const index_2 = require("../check/index");
-const index_3 = require("../clone/index");
-const index_4 = require("../deref/index");
-const index_5 = require("../../type/symbols/index");
+const index_2 = require("../../type/keyof/index");
+const index_3 = require("../check/index");
+const index_4 = require("../clone/index");
+const index_5 = require("../deref/index");
+const index_6 = require("../../type/symbols/index");
 function IsSchema(schema) {
     return (0, type_1.TSchema)(schema);
 }
 function IsCheckable(schema) {
-    return (0, type_1.TSchema)(schema) && schema[index_5.Kind] !== 'Unsafe';
+    return (0, type_1.TSchema)(schema) && schema[index_6.Kind] !== 'Unsafe';
 }
 function TArray(schema, references, value) {
     if (!(0, index_1.IsArray)(value))
@@ -21,15 +21,15 @@ function TArray(schema, references, value) {
 }
 function TIntersect(schema, references, value) {
     const unevaluatedProperties = schema.unevaluatedProperties;
-    const intersections = schema.allOf.map((schema) => Visit(schema, references, (0, index_3.Clone)(value)));
+    const intersections = schema.allOf.map((schema) => Visit(schema, references, (0, index_4.Clone)(value)));
     const composite = intersections.reduce((acc, value) => ((0, index_1.IsObject)(value) ? { ...acc, ...value } : value), {});
     if (!(0, index_1.IsObject)(value) || !(0, index_1.IsObject)(composite) || !IsSchema(unevaluatedProperties))
         return composite;
-    const knownkeys = (0, keyof_string_1.KeyOfStringResolve)(schema);
+    const knownkeys = (0, index_2.KeyOfPropertyKeys)(schema);
     for (const key of Object.getOwnPropertyNames(value)) {
         if (knownkeys.includes(key))
             continue;
-        if ((0, index_2.Check)(unevaluatedProperties, references, value[key])) {
+        if ((0, index_3.Check)(unevaluatedProperties, references, value[key])) {
             composite[key] = Visit(unevaluatedProperties, references, value[key]);
         }
     }
@@ -44,7 +44,7 @@ function TObject(schema, references, value) {
             value[key] = Visit(schema.properties[key], references, value[key]);
             continue;
         }
-        if (IsSchema(additionalProperties) && (0, index_2.Check)(additionalProperties, references, value[key])) {
+        if (IsSchema(additionalProperties) && (0, index_3.Check)(additionalProperties, references, value[key])) {
             value[key] = Visit(additionalProperties, references, value[key]);
             continue;
         }
@@ -64,7 +64,7 @@ function TRecord(schema, references, value) {
             value[key] = Visit(propertySchema, references, value[key]);
             continue;
         }
-        if (IsSchema(additionalProperties) && (0, index_2.Check)(additionalProperties, references, value[key])) {
+        if (IsSchema(additionalProperties) && (0, index_3.Check)(additionalProperties, references, value[key])) {
             value[key] = Visit(additionalProperties, references, value[key]);
             continue;
         }
@@ -73,10 +73,10 @@ function TRecord(schema, references, value) {
     return value;
 }
 function TRef(schema, references, value) {
-    return Visit((0, index_4.Deref)(schema, references), references, value);
+    return Visit((0, index_5.Deref)(schema, references), references, value);
 }
 function TThis(schema, references, value) {
-    return Visit((0, index_4.Deref)(schema, references), references, value);
+    return Visit((0, index_5.Deref)(schema, references), references, value);
 }
 function TTuple(schema, references, value) {
     if (!(0, index_1.IsArray)(value))
@@ -93,7 +93,7 @@ function TTuple(schema, references, value) {
 }
 function TUnion(schema, references, value) {
     for (const inner of schema.anyOf) {
-        if (IsCheckable(inner) && (0, index_2.Check)(inner, value)) {
+        if (IsCheckable(inner) && (0, index_3.Check)(inner, value)) {
             return Visit(inner, references, value);
         }
     }
@@ -102,7 +102,7 @@ function TUnion(schema, references, value) {
 function Visit(schema, references, value) {
     const references_ = (0, index_1.IsString)(schema.$id) ? [...references, schema] : references;
     const schema_ = schema;
-    switch (schema_[index_5.Kind]) {
+    switch (schema_[index_6.Kind]) {
         case 'Array':
             return TArray(schema_, references_, value);
         case 'Intersect':

package/build/require/value/transform/decode.js

@@ -41,10 +41,10 @@ function TArray(schema, references, value) {
 function TIntersect(schema, references, value) {
     if (!(0, index_2.IsPlainObject)(value) || (0, index_2.IsValueType)(value))
         return Default(schema, value);
-    const knownKeys = (0, index_3.KeyOfStringResolve)(schema);
+    const knownKeys = (0, index_3.KeyOfPropertyKeys)(schema);
     const knownProperties = knownKeys.reduce((value, key) => {
         return (key in value)
-            ? { ...value, [key]: Visit((0, index_4.IndexedTypeResolve)(schema, [key]), references, value[key]) }
+            ? { ...value, [key]: Visit((0, index_4.IndexedType)(schema, [key]), references, value[key]) }
             : value;
     }, value);
     if (!(0, type_1.TTransform)(schema.unevaluatedProperties)) {
@@ -65,7 +65,7 @@ function TNot(schema, references, value) {
 function TObject(schema, references, value) {
     if (!(0, index_2.IsPlainObject)(value))
         return Default(schema, value);
-    const knownKeys = (0, index_3.KeyOfStringResolve)(schema);
+    const knownKeys = (0, index_3.KeyOfPropertyKeys)(schema);
     const knownProperties = knownKeys.reduce((value, key) => {
         return (key in value)
             ? { ...value, [key]: Visit(schema.properties[key], references, value[key]) }

package/build/require/value/transform/encode.js

@@ -43,10 +43,10 @@ function TIntersect(schema, references, value) {
     const defaulted = Default(schema, value);
     if (!(0, index_2.IsPlainObject)(value) || (0, index_2.IsValueType)(value))
         return defaulted;
-    const knownKeys = (0, index_3.KeyOfStringResolve)(schema);
+    const knownKeys = (0, index_3.KeyOfPropertyKeys)(schema);
     const knownProperties = knownKeys.reduce((value, key) => {
         return key in defaulted
-            ? { ...value, [key]: Visit((0, index_4.IndexedTypeResolve)(schema, [key]), references, value[key]) }
+            ? { ...value, [key]: Visit((0, index_4.IndexedType)(schema, [key]), references, value[key]) }
             : value;
     }, defaulted);
     if (!(0, type_1.TTransform)(schema.unevaluatedProperties)) {
@@ -67,7 +67,7 @@ function TObject(schema, references, value) {
     const defaulted = Default(schema, value);
     if (!(0, index_2.IsPlainObject)(value))
         return defaulted;
-    const knownKeys = (0, index_3.KeyOfStringResolve)(schema);
+    const knownKeys = (0, index_3.KeyOfPropertyKeys)(schema);
     const knownProperties = knownKeys.reduce((value, key) => {
         return key in value
             ? { ...value, [key]: Visit(schema.properties[key], references, value[key]) }