@depup/sinclair__typebox 0.34.48-depup.0

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

@@ -0,0 +1,16 @@
+import type { TSchema, SchemaOptions } from '../schema/index.mjs';
+import { Kind } from '../symbols/index.mjs';
+export interface IntegerOptions extends SchemaOptions {
+    exclusiveMaximum?: number;
+    exclusiveMinimum?: number;
+    maximum?: number;
+    minimum?: number;
+    multipleOf?: number;
+}
+export interface TInteger extends TSchema, IntegerOptions {
+    [Kind]: 'Integer';
+    static: number;
+    type: 'integer';
+}
+/** `[Json]` Creates an Integer type */
+export declare function Integer(options?: IntegerOptions): TInteger;

package/build/esm/type/integer/integer.mjs

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

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

@@ -0,0 +1,3 @@
+export * from './intersect-evaluated.mjs';
+export * from './intersect-type.mjs';
+export * from './intersect.mjs';

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

@@ -0,0 +1,3 @@
+export * from './intersect-evaluated.mjs';
+export * from './intersect-type.mjs';
+export * from './intersect.mjs';

package/build/esm/type/intersect/intersect-create.d.mts

@@ -0,0 +1,3 @@
+import type { TSchema } from '../schema/index.mjs';
+import type { TIntersect, IntersectOptions } from './intersect-type.mjs';
+export declare function IntersectCreate<T extends TSchema[]>(T: [...T], options?: IntersectOptions): TIntersect<T>;

package/build/esm/type/intersect/intersect-create.mjs

@@ -0,0 +1,19 @@
+import { CreateType } from '../create/type.mjs';
+import { Kind } from '../symbols/index.mjs';
+// ------------------------------------------------------------------
+// TypeGuard
+// ------------------------------------------------------------------
+import { IsObject, IsSchema } from '../guard/kind.mjs';
+// ------------------------------------------------------------------
+// IntersectCreate
+// ------------------------------------------------------------------
+// prettier-ignore
+export function IntersectCreate(T, options = {}) {
+    const allObjects = T.every((schema) => IsObject(schema));
+    const clonedUnevaluatedProperties = IsSchema(options.unevaluatedProperties)
+        ? { unevaluatedProperties: options.unevaluatedProperties }
+        : {};
+    return CreateType((options.unevaluatedProperties === false || IsSchema(options.unevaluatedProperties) || allObjects
+        ? { ...clonedUnevaluatedProperties, [Kind]: 'Intersect', type: 'object', allOf: T }
+        : { ...clonedUnevaluatedProperties, [Kind]: 'Intersect', allOf: T }), options);
+}

package/build/esm/type/intersect/intersect-evaluated.d.mts

@@ -0,0 +1,13 @@
+import type { TSchema } from '../schema/index.mjs';
+import { type TNever } from '../never/index.mjs';
+import { type TOptional } from '../optional/index.mjs';
+import type { TReadonly } from '../readonly/index.mjs';
+import { TIntersect, IntersectOptions } from './intersect-type.mjs';
+type TIsIntersectOptional<Types extends TSchema[]> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? Left extends TOptional<TSchema> ? TIsIntersectOptional<Right> : false : true);
+type TRemoveOptionalFromType<Type extends TSchema> = (Type extends TReadonly<infer Type extends TSchema> ? TReadonly<TRemoveOptionalFromType<Type>> : Type extends TOptional<infer Type extends TSchema> ? TRemoveOptionalFromType<Type> : Type);
+type TRemoveOptionalFromRest<Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? Left extends TOptional<infer Type extends TSchema> ? TRemoveOptionalFromRest<Right, [...Result, TRemoveOptionalFromType<Type>]> : TRemoveOptionalFromRest<Right, [...Result, Left]> : Result);
+type TResolveIntersect<Types extends TSchema[]> = (TIsIntersectOptional<Types> extends true ? TOptional<TIntersect<TRemoveOptionalFromRest<Types>>> : TIntersect<TRemoveOptionalFromRest<Types>>);
+export type TIntersectEvaluated<Types extends TSchema[]> = (Types extends [TSchema] ? Types[0] : Types extends [] ? TNever : TResolveIntersect<Types>);
+/** `[Json]` Creates an evaluated Intersect type */
+export declare function IntersectEvaluated<Types extends TSchema[], Result extends TSchema = TIntersectEvaluated<Types>>(types: [...Types], options?: IntersectOptions): Result;
+export {};

package/build/esm/type/intersect/intersect-evaluated.mjs

@@ -0,0 +1,38 @@
+import { OptionalKind } from '../symbols/index.mjs';
+import { CreateType } from '../create/type.mjs';
+import { Discard } from '../discard/index.mjs';
+import { Never } from '../never/index.mjs';
+import { Optional } from '../optional/index.mjs';
+import { IntersectCreate } from './intersect-create.mjs';
+// ------------------------------------------------------------------
+// TypeGuard
+// ------------------------------------------------------------------
+import { IsOptional, IsTransform } from '../guard/kind.mjs';
+// prettier-ignore
+function IsIntersectOptional(types) {
+    return types.every(left => IsOptional(left));
+}
+// prettier-ignore
+function RemoveOptionalFromType(type) {
+    return (Discard(type, [OptionalKind]));
+}
+// prettier-ignore
+function RemoveOptionalFromRest(types) {
+    return types.map(left => IsOptional(left) ? RemoveOptionalFromType(left) : left);
+}
+// prettier-ignore
+function ResolveIntersect(types, options) {
+    return (IsIntersectOptional(types)
+        ? Optional(IntersectCreate(RemoveOptionalFromRest(types), options))
+        : IntersectCreate(RemoveOptionalFromRest(types), options));
+}
+/** `[Json]` Creates an evaluated Intersect type */
+export function IntersectEvaluated(types, options = {}) {
+    if (types.length === 1)
+        return CreateType(types[0], options);
+    if (types.length === 0)
+        return Never(options);
+    if (types.some((schema) => IsTransform(schema)))
+        throw new Error('Cannot intersect transform types');
+    return ResolveIntersect(types, options);
+}

package/build/esm/type/intersect/intersect-type.d.mts

@@ -0,0 +1,15 @@
+import type { TSchema, SchemaOptions } from '../schema/index.mjs';
+import type { Static } from '../static/index.mjs';
+import { Kind } from '../symbols/index.mjs';
+type TIntersectStatic<T extends TSchema[], P extends unknown[], Acc extends unknown = unknown> = T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TIntersectStatic<R, P, Acc & Static<L, P>> : Acc;
+export type TUnevaluatedProperties = undefined | TSchema | boolean;
+export interface IntersectOptions extends SchemaOptions {
+    unevaluatedProperties?: TUnevaluatedProperties;
+}
+export interface TIntersect<T extends TSchema[] = TSchema[]> extends TSchema, IntersectOptions {
+    [Kind]: 'Intersect';
+    static: TIntersectStatic<T, this['params']>;
+    type?: 'object';
+    allOf: [...T];
+}
+export {};

package/build/esm/type/intersect/intersect-type.mjs

@@ -0,0 +1 @@
+import { Kind } from '../symbols/index.mjs';

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

@@ -0,0 +1,6 @@
+import type { TSchema } from '../schema/index.mjs';
+import { type TNever } from '../never/index.mjs';
+import { TIntersect, IntersectOptions } from './intersect-type.mjs';
+export type Intersect<Types extends TSchema[]> = (Types extends [TSchema] ? Types[0] : Types extends [] ? TNever : TIntersect<Types>);
+/** `[Json]` Creates an evaluated Intersect type */
+export declare function Intersect<Types extends TSchema[]>(types: [...Types], options?: IntersectOptions): Intersect<Types>;

package/build/esm/type/intersect/intersect.mjs

@@ -0,0 +1,17 @@
+import { CreateType } from '../create/type.mjs';
+import { Never } from '../never/index.mjs';
+import { IntersectCreate } from './intersect-create.mjs';
+// ------------------------------------------------------------------
+// TypeGuard
+// ------------------------------------------------------------------
+import { IsTransform } from '../guard/kind.mjs';
+/** `[Json]` Creates an evaluated Intersect type */
+export function Intersect(types, options) {
+    if (types.length === 1)
+        return CreateType(types[0], options);
+    if (types.length === 0)
+        return Never(options);
+    if (types.some((schema) => IsTransform(schema)))
+        throw new Error('Cannot intersect transform types');
+    return IntersectCreate(types, options);
+}

package/build/esm/type/intrinsic/capitalize.d.mts

@@ -0,0 +1,5 @@
+import type { TSchema, SchemaOptions } from '../schema/index.mjs';
+import { type TIntrinsic } from './intrinsic.mjs';
+export type TCapitalize<T extends TSchema> = TIntrinsic<T, 'Capitalize'>;
+/** `[Json]` Intrinsic function to Capitalize LiteralString types */
+export declare function Capitalize<T extends TSchema>(T: T, options?: SchemaOptions): TCapitalize<T>;

package/build/esm/type/intrinsic/capitalize.mjs

@@ -0,0 +1,5 @@
+import { Intrinsic } from './intrinsic.mjs';
+/** `[Json]` Intrinsic function to Capitalize LiteralString types */
+export function Capitalize(T, options = {}) {
+    return Intrinsic(T, 'Capitalize', options);
+}

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

@@ -0,0 +1,6 @@
+export * from './capitalize.mjs';
+export * from './intrinsic-from-mapped-key.mjs';
+export * from './intrinsic.mjs';
+export * from './lowercase.mjs';
+export * from './uncapitalize.mjs';
+export * from './uppercase.mjs';

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

@@ -0,0 +1,6 @@
+export * from './capitalize.mjs';
+export * from './intrinsic-from-mapped-key.mjs';
+export * from './intrinsic.mjs';
+export * from './lowercase.mjs';
+export * from './uncapitalize.mjs';
+export * from './uppercase.mjs';

package/build/esm/type/intrinsic/intrinsic-from-mapped-key.d.mts

@@ -0,0 +1,14 @@
+import type { SchemaOptions } from '../schema/index.mjs';
+import type { TProperties } from '../object/index.mjs';
+import { Assert } from '../helpers/index.mjs';
+import { type TMappedResult, type TMappedKey } from '../mapped/index.mjs';
+import { type TIntrinsic, type IntrinsicMode } from './intrinsic.mjs';
+import { type TLiteral, type TLiteralValue } from '../literal/index.mjs';
+type TMappedIntrinsicPropertyKey<K extends PropertyKey, M extends IntrinsicMode> = {
+    [_ in K]: TIntrinsic<TLiteral<Assert<K, TLiteralValue>>, M>;
+};
+type TMappedIntrinsicPropertyKeys<K extends PropertyKey[], M extends IntrinsicMode, Acc extends TProperties = {}> = (K extends [infer L extends PropertyKey, ...infer R extends PropertyKey[]] ? TMappedIntrinsicPropertyKeys<R, M, Acc & TMappedIntrinsicPropertyKey<L, M>> : Acc);
+type TMappedIntrinsicProperties<K extends TMappedKey, M extends IntrinsicMode> = (TMappedIntrinsicPropertyKeys<K['keys'], M>);
+export type TIntrinsicFromMappedKey<K extends TMappedKey, M extends IntrinsicMode, P extends TProperties = TMappedIntrinsicProperties<K, M>> = (TMappedResult<P>);
+export declare function IntrinsicFromMappedKey<K extends TMappedKey, M extends IntrinsicMode, P extends TProperties = TMappedIntrinsicProperties<K, M>>(T: K, M: M, options: SchemaOptions): TMappedResult<P>;
+export {};

package/build/esm/type/intrinsic/intrinsic-from-mapped-key.mjs

@@ -0,0 +1,26 @@
+import { MappedResult } from '../mapped/index.mjs';
+import { Intrinsic } from './intrinsic.mjs';
+import { Literal } from '../literal/index.mjs';
+import { Clone } from '../clone/value.mjs';
+// prettier-ignore
+function MappedIntrinsicPropertyKey(K, M, options) {
+    return {
+        [K]: Intrinsic(Literal(K), M, Clone(options))
+    };
+}
+// prettier-ignore
+function MappedIntrinsicPropertyKeys(K, M, options) {
+    const result = K.reduce((Acc, L) => {
+        return { ...Acc, ...MappedIntrinsicPropertyKey(L, M, options) };
+    }, {});
+    return result;
+}
+// prettier-ignore
+function MappedIntrinsicProperties(T, M, options) {
+    return MappedIntrinsicPropertyKeys(T['keys'], M, options);
+}
+// prettier-ignore
+export function IntrinsicFromMappedKey(T, M, options) {
+    const P = MappedIntrinsicProperties(T, M, options);
+    return MappedResult(P);
+}

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

@@ -0,0 +1,16 @@
+import type { TSchema, SchemaOptions } from '../schema/index.mjs';
+import { type TTemplateLiteral, type TTemplateLiteralKind } from '../template-literal/index.mjs';
+import { type TIntrinsicFromMappedKey } from './intrinsic-from-mapped-key.mjs';
+import { type TLiteral } from '../literal/index.mjs';
+import { type TUnion } from '../union/index.mjs';
+import { type TMappedKey } from '../mapped/index.mjs';
+export type IntrinsicMode = 'Uppercase' | 'Lowercase' | 'Capitalize' | 'Uncapitalize';
+type TFromTemplateLiteral<T extends TTemplateLiteralKind[], M extends IntrinsicMode> = M extends IntrinsicMode ? T extends [infer L extends TTemplateLiteralKind, ...infer R extends TTemplateLiteralKind[]] ? [TIntrinsic<L, M>, ...TFromTemplateLiteral<R, M>] : T : T;
+type TFromLiteralValue<T, M extends IntrinsicMode> = (T extends string ? M extends 'Uncapitalize' ? Uncapitalize<T> : M extends 'Capitalize' ? Capitalize<T> : M extends 'Uppercase' ? Uppercase<T> : M extends 'Lowercase' ? Lowercase<T> : string : T);
+type TFromRest<T extends TSchema[], M extends IntrinsicMode, Acc extends TSchema[] = []> = T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TFromRest<R, M, [...Acc, TIntrinsic<L, M>]> : Acc;
+export type TIntrinsic<T extends TSchema, M extends IntrinsicMode> = T extends TMappedKey ? TIntrinsicFromMappedKey<T, M> : T extends TTemplateLiteral<infer S> ? TTemplateLiteral<TFromTemplateLiteral<S, M>> : T extends TUnion<infer S> ? TUnion<TFromRest<S, M>> : T extends TLiteral<infer S> ? TLiteral<TFromLiteralValue<S, M>> : T;
+/** Applies an intrinsic string manipulation to the given type. */
+export declare function Intrinsic<T extends TMappedKey, M extends IntrinsicMode>(schema: T, mode: M, options?: SchemaOptions): TIntrinsicFromMappedKey<T, M>;
+/** Applies an intrinsic string manipulation to the given type. */
+export declare function Intrinsic<T extends TSchema, M extends IntrinsicMode>(schema: T, mode: M, options?: SchemaOptions): TIntrinsic<T, M>;
+export {};

package/build/esm/type/intrinsic/intrinsic.mjs

@@ -0,0 +1,64 @@
+import { CreateType } from '../create/type.mjs';
+import { TemplateLiteral, TemplateLiteralParseExact, IsTemplateLiteralExpressionFinite, TemplateLiteralExpressionGenerate } from '../template-literal/index.mjs';
+import { IntrinsicFromMappedKey } from './intrinsic-from-mapped-key.mjs';
+import { Literal } from '../literal/index.mjs';
+import { Union } from '../union/index.mjs';
+// ------------------------------------------------------------------
+// TypeGuard
+// ------------------------------------------------------------------
+import { IsMappedKey, IsTemplateLiteral, IsUnion, IsLiteral } from '../guard/kind.mjs';
+// ------------------------------------------------------------------
+// Apply
+// ------------------------------------------------------------------
+function ApplyUncapitalize(value) {
+    const [first, rest] = [value.slice(0, 1), value.slice(1)];
+    return [first.toLowerCase(), rest].join('');
+}
+function ApplyCapitalize(value) {
+    const [first, rest] = [value.slice(0, 1), value.slice(1)];
+    return [first.toUpperCase(), rest].join('');
+}
+function ApplyUppercase(value) {
+    return value.toUpperCase();
+}
+function ApplyLowercase(value) {
+    return value.toLowerCase();
+}
+function FromTemplateLiteral(schema, mode, options) {
+    // note: template literals require special runtime handling as they are encoded in string patterns.
+    // This diverges from the mapped type which would otherwise map on the template literal kind.
+    const expression = TemplateLiteralParseExact(schema.pattern);
+    const finite = IsTemplateLiteralExpressionFinite(expression);
+    if (!finite)
+        return { ...schema, pattern: FromLiteralValue(schema.pattern, mode) };
+    const strings = [...TemplateLiteralExpressionGenerate(expression)];
+    const literals = strings.map((value) => Literal(value));
+    const mapped = FromRest(literals, mode);
+    const union = Union(mapped);
+    return TemplateLiteral([union], options);
+}
+// prettier-ignore
+function FromLiteralValue(value, mode) {
+    return (typeof value === 'string' ? (mode === 'Uncapitalize' ? ApplyUncapitalize(value) :
+        mode === 'Capitalize' ? ApplyCapitalize(value) :
+            mode === 'Uppercase' ? ApplyUppercase(value) :
+                mode === 'Lowercase' ? ApplyLowercase(value) :
+                    value) : value.toString());
+}
+// prettier-ignore
+function FromRest(T, M) {
+    return T.map(L => Intrinsic(L, M));
+}
+/** Applies an intrinsic string manipulation to the given type. */
+export function Intrinsic(schema, mode, options = {}) {
+    // prettier-ignore
+    return (
+    // Intrinsic-Mapped-Inference
+    IsMappedKey(schema) ? IntrinsicFromMappedKey(schema, mode, options) :
+        // Standard-Inference
+        IsTemplateLiteral(schema) ? FromTemplateLiteral(schema, mode, options) :
+            IsUnion(schema) ? Union(FromRest(schema.anyOf, mode), options) :
+                IsLiteral(schema) ? Literal(FromLiteralValue(schema.const, mode), options) :
+                    // Default Type
+                    CreateType(schema, options));
+}

package/build/esm/type/intrinsic/lowercase.d.mts

@@ -0,0 +1,5 @@
+import type { TSchema, SchemaOptions } from '../schema/index.mjs';
+import { type TIntrinsic } from './intrinsic.mjs';
+export type TLowercase<T extends TSchema> = TIntrinsic<T, 'Lowercase'>;
+/** `[Json]` Intrinsic function to Lowercase LiteralString types */
+export declare function Lowercase<T extends TSchema>(T: T, options?: SchemaOptions): TLowercase<T>;

package/build/esm/type/intrinsic/lowercase.mjs

@@ -0,0 +1,5 @@
+import { Intrinsic } from './intrinsic.mjs';
+/** `[Json]` Intrinsic function to Lowercase LiteralString types */
+export function Lowercase(T, options = {}) {
+    return Intrinsic(T, 'Lowercase', options);
+}

package/build/esm/type/intrinsic/uncapitalize.d.mts

@@ -0,0 +1,5 @@
+import type { TSchema, SchemaOptions } from '../schema/index.mjs';
+import { type TIntrinsic } from './intrinsic.mjs';
+export type TUncapitalize<T extends TSchema> = TIntrinsic<T, 'Uncapitalize'>;
+/** `[Json]` Intrinsic function to Uncapitalize LiteralString types */
+export declare function Uncapitalize<T extends TSchema>(T: T, options?: SchemaOptions): TUncapitalize<T>;

package/build/esm/type/intrinsic/uncapitalize.mjs

@@ -0,0 +1,5 @@
+import { Intrinsic } from './intrinsic.mjs';
+/** `[Json]` Intrinsic function to Uncapitalize LiteralString types */
+export function Uncapitalize(T, options = {}) {
+    return Intrinsic(T, 'Uncapitalize', options);
+}

package/build/esm/type/intrinsic/uppercase.d.mts

@@ -0,0 +1,5 @@
+import type { TSchema, SchemaOptions } from '../schema/index.mjs';
+import { type TIntrinsic } from './intrinsic.mjs';
+export type TUppercase<T extends TSchema> = TIntrinsic<T, 'Uppercase'>;
+/** `[Json]` Intrinsic function to Uppercase LiteralString types */
+export declare function Uppercase<T extends TSchema>(T: T, options?: SchemaOptions): TUppercase<T>;

package/build/esm/type/intrinsic/uppercase.mjs

@@ -0,0 +1,5 @@
+import { Intrinsic } from './intrinsic.mjs';
+/** `[Json]` Intrinsic function to Uppercase LiteralString types */
+export function Uppercase(T, options = {}) {
+    return Intrinsic(T, 'Uppercase', options);
+}

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

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

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

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

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

@@ -0,0 +1,11 @@
+import type { TSchema, SchemaOptions } from '../schema/index.mjs';
+import type { Static } from '../static/index.mjs';
+import { Kind } from '../symbols/index.mjs';
+export interface TIterator<T extends TSchema = TSchema> extends TSchema {
+    [Kind]: 'Iterator';
+    static: IterableIterator<Static<T, this['params']>>;
+    type: 'Iterator';
+    items: T;
+}
+/** `[JavaScript]` Creates an Iterator type */
+export declare function Iterator<T extends TSchema>(items: T, options?: SchemaOptions): TIterator<T>;

package/build/esm/type/iterator/iterator.mjs

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

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

@@ -0,0 +1,4 @@
+export * from './keyof-from-mapped-result.mjs';
+export * from './keyof-property-entries.mjs';
+export * from './keyof-property-keys.mjs';
+export * from './keyof.mjs';

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

@@ -0,0 +1,4 @@
+export * from './keyof-from-mapped-result.mjs';
+export * from './keyof-property-entries.mjs';
+export * from './keyof-property-keys.mjs';
+export * from './keyof.mjs';

package/build/esm/type/keyof/keyof-from-mapped-result.d.mts

@@ -0,0 +1,12 @@
+import type { SchemaOptions } from '../schema/index.mjs';
+import type { Ensure, Evaluate } from '../helpers/index.mjs';
+import type { TProperties } from '../object/index.mjs';
+import { type TMappedResult } from '../mapped/index.mjs';
+import { type TKeyOfFromType } from './keyof.mjs';
+type TFromProperties<Properties extends TProperties> = ({
+    [K2 in keyof Properties]: TKeyOfFromType<Properties[K2]>;
+});
+type TFromMappedResult<MappedResult extends TMappedResult> = (Evaluate<TFromProperties<MappedResult['properties']>>);
+export type TKeyOfFromMappedResult<MappedResult extends TMappedResult, Properties extends TProperties = TFromMappedResult<MappedResult>> = (Ensure<TMappedResult<Properties>>);
+export declare function KeyOfFromMappedResult<MappedResult extends TMappedResult, Properties extends TProperties = TFromMappedResult<MappedResult>>(mappedResult: MappedResult, options?: SchemaOptions): TMappedResult<Properties>;
+export {};

package/build/esm/type/keyof/keyof-from-mapped-result.mjs

@@ -0,0 +1,19 @@
+import { MappedResult } from '../mapped/index.mjs';
+import { KeyOf } from './keyof.mjs';
+import { Clone } from '../clone/value.mjs';
+// prettier-ignore
+function FromProperties(properties, options) {
+    const result = {};
+    for (const K2 of globalThis.Object.getOwnPropertyNames(properties))
+        result[K2] = KeyOf(properties[K2], Clone(options));
+    return result;
+}
+// prettier-ignore
+function FromMappedResult(mappedResult, options) {
+    return FromProperties(mappedResult.properties, options);
+}
+// prettier-ignore
+export function KeyOfFromMappedResult(mappedResult, options) {
+    const properties = FromMappedResult(mappedResult, options);
+    return MappedResult(properties);
+}

package/build/esm/type/keyof/keyof-property-entries.d.mts

@@ -0,0 +1,7 @@
+import { TSchema } from '../schema/index.mjs';
+/**
+ * `[Utility]` Resolves an array of keys and schemas from the given schema. This method is faster
+ * than obtaining the keys and resolving each individually via indexing. This method was written
+ * accellerate Intersect and Union encoding.
+ */
+export declare function KeyOfPropertyEntries(schema: TSchema): [key: string, schema: TSchema][];

package/build/esm/type/keyof/keyof-property-entries.mjs

@@ -0,0 +1,12 @@
+import { IndexFromPropertyKeys } from '../indexed/indexed.mjs';
+import { KeyOfPropertyKeys } from './keyof-property-keys.mjs';
+/**
+ * `[Utility]` Resolves an array of keys and schemas from the given schema. This method is faster
+ * than obtaining the keys and resolving each individually via indexing. This method was written
+ * accellerate Intersect and Union encoding.
+ */
+export function KeyOfPropertyEntries(schema) {
+    const keys = KeyOfPropertyKeys(schema);
+    const schemas = IndexFromPropertyKeys(schema, keys);
+    return keys.map((_, index) => [keys[index], schemas[index]]);
+}

package/build/esm/type/keyof/keyof-property-keys.d.mts

@@ -0,0 +1,24 @@
+import type { TSchema } from '../schema/index.mjs';
+import { type ZeroString, type UnionToTuple, type TIncrement } from '../helpers/index.mjs';
+import type { TRecursive } from '../recursive/index.mjs';
+import type { TIntersect } from '../intersect/index.mjs';
+import type { TUnion } from '../union/index.mjs';
+import type { TTuple } from '../tuple/index.mjs';
+import type { TArray } from '../array/index.mjs';
+import type { TObject, TProperties } from '../object/index.mjs';
+import { type TSetUnionMany, type TSetIntersectMany } from '../sets/index.mjs';
+type TFromRest<Types extends TSchema[], Result extends PropertyKey[][] = []> = (Types extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TFromRest<R, [...Result, TKeyOfPropertyKeys<L>]> : Result);
+type TFromIntersect<Types extends TSchema[], PropertyKeysArray extends PropertyKey[][] = TFromRest<Types>, PropertyKeys extends PropertyKey[] = TSetUnionMany<PropertyKeysArray>> = PropertyKeys;
+type TFromUnion<Types extends TSchema[], PropertyKeysArray extends PropertyKey[][] = TFromRest<Types>, PropertyKeys extends PropertyKey[] = TSetIntersectMany<PropertyKeysArray>> = PropertyKeys;
+type TFromTuple<Types extends TSchema[], Indexer extends string = ZeroString, Acc extends PropertyKey[] = []> = Types extends [infer _ extends TSchema, ...infer R extends TSchema[]] ? TFromTuple<R, TIncrement<Indexer>, [...Acc, Indexer]> : Acc;
+type TFromArray<_ extends TSchema> = ([
+    '[number]'
+]);
+type TFromProperties<Properties extends TProperties> = (UnionToTuple<keyof Properties>);
+export type TKeyOfPropertyKeys<Type extends TSchema> = (Type extends TRecursive<infer Type extends TSchema> ? TKeyOfPropertyKeys<Type> : Type extends TIntersect<infer Types extends TSchema[]> ? TFromIntersect<Types> : Type extends TUnion<infer Types extends TSchema[]> ? TFromUnion<Types> : Type extends TTuple<infer Types extends TSchema[]> ? TFromTuple<Types> : Type extends TArray<infer Type extends TSchema> ? TFromArray<Type> : Type extends TObject<infer Properties extends TProperties> ? TFromProperties<Properties> : [
+]);
+/** Returns a tuple of PropertyKeys derived from the given TSchema. */
+export declare function KeyOfPropertyKeys<Type extends TSchema>(type: Type): TKeyOfPropertyKeys<Type>;
+/** Returns a regular expression pattern derived from the given TSchema */
+export declare function KeyOfPattern(schema: TSchema): string;
+export {};

package/build/esm/type/keyof/keyof-property-keys.mjs

@@ -0,0 +1,73 @@
+import { SetUnionMany, SetIntersectMany } from '../sets/index.mjs';
+// ------------------------------------------------------------------
+// TypeGuard
+// ------------------------------------------------------------------
+import { IsIntersect, IsUnion, IsTuple, IsArray, IsObject, IsRecord } from '../guard/kind.mjs';
+// prettier-ignore
+function FromRest(types) {
+    const result = [];
+    for (const L of types)
+        result.push(KeyOfPropertyKeys(L));
+    return result;
+}
+// prettier-ignore
+function FromIntersect(types) {
+    const propertyKeysArray = FromRest(types);
+    const propertyKeys = SetUnionMany(propertyKeysArray);
+    return propertyKeys;
+}
+// prettier-ignore
+function FromUnion(types) {
+    const propertyKeysArray = FromRest(types);
+    const propertyKeys = SetIntersectMany(propertyKeysArray);
+    return propertyKeys;
+}
+// prettier-ignore
+function FromTuple(types) {
+    return types.map((_, indexer) => indexer.toString());
+}
+// prettier-ignore
+function FromArray(_) {
+    return (['[number]']);
+}
+// prettier-ignore
+function FromProperties(T) {
+    return (globalThis.Object.getOwnPropertyNames(T));
+}
+// ------------------------------------------------------------------
+// FromPatternProperties
+// ------------------------------------------------------------------
+// prettier-ignore
+function FromPatternProperties(patternProperties) {
+    if (!includePatternProperties)
+        return [];
+    const patternPropertyKeys = globalThis.Object.getOwnPropertyNames(patternProperties);
+    return patternPropertyKeys.map(key => {
+        return (key[0] === '^' && key[key.length - 1] === '$')
+            ? key.slice(1, key.length - 1)
+            : key;
+    });
+}
+/** Returns a tuple of PropertyKeys derived from the given TSchema. */
+// prettier-ignore
+export function KeyOfPropertyKeys(type) {
+    return (IsIntersect(type) ? FromIntersect(type.allOf) :
+        IsUnion(type) ? FromUnion(type.anyOf) :
+            IsTuple(type) ? FromTuple(type.items ?? []) :
+                IsArray(type) ? FromArray(type.items) :
+                    IsObject(type) ? FromProperties(type.properties) :
+                        IsRecord(type) ? FromPatternProperties(type.patternProperties) :
+                            []);
+}
+// ----------------------------------------------------------------
+// KeyOfPattern
+// ----------------------------------------------------------------
+let includePatternProperties = false;
+/** Returns a regular expression pattern derived from the given TSchema */
+export function KeyOfPattern(schema) {
+    includePatternProperties = true;
+    const keys = KeyOfPropertyKeys(schema);
+    includePatternProperties = false;
+    const pattern = keys.map((key) => `(${key})`);
+    return `^(${pattern.join('|')})$`;
+}

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

@@ -0,0 +1,21 @@
+import type { TSchema } from '../schema/index.mjs';
+import type { Assert, Ensure } from '../helpers/index.mjs';
+import type { TMappedResult } from '../mapped/index.mjs';
+import type { SchemaOptions } from '../schema/index.mjs';
+import { type TLiteral, type TLiteralValue } from '../literal/index.mjs';
+import { type TNumber } from '../number/index.mjs';
+import { TComputed } from '../computed/index.mjs';
+import { type TRef } from '../ref/index.mjs';
+import { type TKeyOfPropertyKeys } from './keyof-property-keys.mjs';
+import { type TUnionEvaluated } from '../union/index.mjs';
+import { type TKeyOfFromMappedResult } from './keyof-from-mapped-result.mjs';
+type TFromComputed<Target extends string, Parameters extends TSchema[]> = Ensure<TComputed<'KeyOf', [TComputed<Target, Parameters>]>>;
+type TFromRef<Ref extends string> = Ensure<TComputed<'KeyOf', [TRef<Ref>]>>;
+/** `[Internal]` Used by KeyOfFromMappedResult */
+export type TKeyOfFromType<Type extends TSchema, PropertyKeys extends PropertyKey[] = TKeyOfPropertyKeys<Type>, PropertyKeyTypes extends TSchema[] = TKeyOfPropertyKeysToRest<PropertyKeys>, Result = TUnionEvaluated<PropertyKeyTypes>> = Ensure<Result>;
+export type TKeyOfPropertyKeysToRest<PropertyKeys extends PropertyKey[], Result extends TSchema[] = []> = (PropertyKeys extends [infer L extends PropertyKey, ...infer R extends PropertyKey[]] ? L extends '[number]' ? TKeyOfPropertyKeysToRest<R, [...Result, TNumber]> : TKeyOfPropertyKeysToRest<R, [...Result, TLiteral<Assert<L, TLiteralValue>>]> : Result);
+export declare function KeyOfPropertyKeysToRest<PropertyKeys extends PropertyKey[]>(propertyKeys: [...PropertyKeys]): TKeyOfPropertyKeysToRest<PropertyKeys>;
+export type TKeyOf<Type extends TSchema> = (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 TMappedResult ? TKeyOfFromMappedResult<Type> : TKeyOfFromType<Type>);
+/** `[Json]` Creates a KeyOf type */
+export declare function KeyOf<Type extends TSchema>(type: Type, options?: SchemaOptions): TKeyOf<Type>;
+export {};

package/build/esm/type/keyof/keyof.mjs

@@ -0,0 +1,35 @@
+import { CreateType } from '../create/type.mjs';
+import { Literal } from '../literal/index.mjs';
+import { Number } from '../number/index.mjs';
+import { Computed } from '../computed/index.mjs';
+import { Ref } from '../ref/index.mjs';
+import { KeyOfPropertyKeys } from './keyof-property-keys.mjs';
+import { UnionEvaluated } from '../union/index.mjs';
+import { KeyOfFromMappedResult } from './keyof-from-mapped-result.mjs';
+// ------------------------------------------------------------------
+// TypeGuard
+// ------------------------------------------------------------------
+import { IsMappedResult, IsRef, IsComputed } from '../guard/kind.mjs';
+// prettier-ignore
+function FromComputed(target, parameters) {
+    return Computed('KeyOf', [Computed(target, parameters)]);
+}
+// prettier-ignore
+function FromRef($ref) {
+    return Computed('KeyOf', [Ref($ref)]);
+}
+// prettier-ignore
+function KeyOfFromType(type, options) {
+    const propertyKeys = KeyOfPropertyKeys(type);
+    const propertyKeyTypes = KeyOfPropertyKeysToRest(propertyKeys);
+    const result = UnionEvaluated(propertyKeyTypes);
+    return CreateType(result, options);
+}
+// prettier-ignore
+export function KeyOfPropertyKeysToRest(propertyKeys) {
+    return propertyKeys.map(L => L === '[number]' ? Number() : Literal(L));
+}
+/** `[Json]` Creates a KeyOf type */
+export function KeyOf(type, options) {
+    return (IsComputed(type) ? FromComputed(type.target, type.parameters) : IsRef(type) ? FromRef(type.$ref) : IsMappedResult(type) ? KeyOfFromMappedResult(type, options) : KeyOfFromType(type, options));
+}

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

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

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

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