@depup/typebox 1.1.6-depup.0

package/build/type/engine/instantiate.mjs

@@ -0,0 +1,172 @@
+// deno-fmt-ignore-file
+// deno-lint-ignore-file
+import { Guard } from '../../guard/index.mjs';
+// ------------------------------------------------------------------
+// Modifiers
+// ------------------------------------------------------------------
+import { IsImmutable, Immutable } from '../types/_immutable.mjs';
+import { IsOptional, OptionalAdd, OptionalRemove } from '../types/_optional.mjs';
+import { IsReadonly, ReadonlyAdd, ReadonlyRemove } from '../types/_readonly.mjs';
+// ------------------------------------------------------------------
+// Types
+// ------------------------------------------------------------------
+import { IsSchema } from '../types/schema.mjs';
+import { Array, IsArray, ArrayOptions } from '../types/array.mjs';
+import { AsyncIterator, IsAsyncIterator, AsyncIteratorOptions } from '../types/async-iterator.mjs';
+import { IsBase } from '../types/base.mjs';
+import { Constructor, IsConstructor, ConstructorOptions } from '../types/constructor.mjs';
+import { Deferred, IsDeferred } from '../types/deferred.mjs';
+import { _Function_, IsFunction, FunctionOptions } from '../types/function.mjs';
+import { IsCall } from '../types/call.mjs';
+import { Intersect, IsIntersect, IntersectOptions } from '../types/intersect.mjs';
+import { Iterator, IsIterator, IteratorOptions } from '../types/iterator.mjs';
+import { Object, IsObject, ObjectOptions } from '../types/object.mjs';
+import { Promise, IsPromise, PromiseOptions } from '../types/promise.mjs';
+import { RecordFromPattern, IsRecord, RecordPattern, RecordValue } from '../types/record.mjs';
+import { Tuple, IsTuple, TupleOptions } from '../types/tuple.mjs';
+import { Union, IsUnion, UnionOptions } from '../types/union.mjs';
+import { IsRef } from '../types/ref.mjs';
+import { Rest, IsRest } from '../types/rest.mjs';
+// ------------------------------------------------------------------
+// Modifier Actions
+// ------------------------------------------------------------------
+import { IsReadonlyAddAction, IsReadonlyRemoveAction } from '../action/_readonly.mjs';
+import { IsOptionalAddAction, IsOptionalRemoveAction } from '../action/_optional.mjs';
+// ------------------------------------------------------------------
+// Instantiate
+// ------------------------------------------------------------------
+import { AwaitedInstantiate } from './awaited/instantiate.mjs';
+import { CallInstantiate } from './call/instantiate.mjs';
+import { CapitalizeInstantiate } from './intrinsics/instantiate.mjs';
+import { ConditionalInstantiate } from './conditional/index.mjs';
+import { ConstructorParametersInstantiate } from './constructor-parameters/instantiate.mjs';
+import { EvaluateInstantiate } from './evaluate/instantiate.mjs';
+import { ExcludeInstantiate } from './exclude/instantiate.mjs';
+import { ExtractInstantiate } from './extract/instantiate.mjs';
+import { IndexInstantiate } from './indexed/instantiate.mjs';
+import { InstanceTypeInstantiate } from './instance-type/instantiate.mjs';
+import { InterfaceInstantiate } from './interface/instantiate.mjs';
+import { KeyOfInstantiate } from './keyof/instantiate.mjs';
+import { LowercaseInstantiate } from './intrinsics/instantiate.mjs';
+import { MappedInstantiate } from './mapped/instantiate.mjs';
+import { ModuleInstantiate } from './module/instantiate.mjs';
+import { NonNullableInstantiate } from './non-nullable/instantiate.mjs';
+import { OmitInstantiate } from './omit/instantiate.mjs';
+import { OptionsInstantiate } from './options/instantiate.mjs';
+import { ParametersInstantiate } from './parameters/instantiate.mjs';
+import { PartialInstantiate } from './partial/instantiate.mjs';
+import { PickInstantiate } from './pick/instantiate.mjs';
+import { ReadonlyTypeInstantiate } from './readonly-type/instantiate.mjs';
+import { RecordInstantiate } from './record/instantiate.mjs';
+import { RefInstantiate } from './ref/instantiate.mjs';
+import { RequiredInstantiate } from './required/instantiate.mjs';
+import { ReturnTypeInstantiate } from './return-type/instantiate.mjs';
+import { TemplateLiteralInstantiate } from './template-literal/instantiate.mjs';
+import { UncapitalizeInstantiate } from './intrinsics/instantiate.mjs';
+import { UppercaseInstantiate } from './intrinsics/instantiate.mjs';
+import { RestSpread } from './rest/index.mjs';
+function CanInstantiateRef(context, ref) {
+    return (ref in context);
+}
+function CanInstantiateType(context, type) {
+    return (IsIntersect(type) ? CanInstantiate(context, type.allOf) :
+        IsUnion(type) ? CanInstantiate(context, type.anyOf) :
+            IsRef(type) ? CanInstantiateRef(context, type.$ref) :
+                true);
+}
+export function CanInstantiate(context, types) {
+    const [left, ...right] = types;
+    return (IsSchema(left)
+        ? CanInstantiateType(context, left)
+            ? CanInstantiate(context, right)
+            : false
+        : true);
+}
+function ModifierActions(type, readonly, optional) {
+    return (IsReadonlyRemoveAction(type) ? ModifierActions(type.type, 'remove', optional) :
+        IsOptionalRemoveAction(type) ? ModifierActions(type.type, readonly, 'remove') :
+            IsReadonlyAddAction(type) ? ModifierActions(type.type, 'add', optional) :
+                IsOptionalAddAction(type) ? ModifierActions(type.type, readonly, 'add') :
+                    [type, readonly, optional]);
+}
+function ApplyReadonly(action, type) {
+    return (Guard.IsEqual(action, 'remove') ? ReadonlyRemove(type) :
+        Guard.IsEqual(action, 'add') ? ReadonlyAdd(type) :
+            type);
+}
+function ApplyOptional(action, type) {
+    return (Guard.IsEqual(action, 'remove') ? OptionalRemove(type) :
+        Guard.IsEqual(action, 'add') ? OptionalAdd(type) :
+            type);
+}
+export function InstantiateProperties(context, state, properties) {
+    return Guard.Keys(properties).reduce((result, key) => {
+        return { ...result, [key]: InstantiateType(context, state, properties[key]) };
+    }, {});
+}
+export function InstantiateElements(context, state, types) {
+    const elements = InstantiateTypes(context, state, types);
+    const result = RestSpread(elements);
+    return result;
+}
+export function InstantiateTypes(context, state, types) {
+    return types.map(type => InstantiateType(context, state, type));
+}
+function InstantiateDeferred(context, state, action, parameters, options) {
+    return (Guard.IsEqual(action, 'Awaited') ? AwaitedInstantiate(context, state, parameters[0], options) :
+        Guard.IsEqual(action, 'Capitalize') ? CapitalizeInstantiate(context, state, parameters[0], options) :
+            Guard.IsEqual(action, 'Conditional') ? ConditionalInstantiate(context, state, parameters[0], parameters[1], parameters[2], parameters[3], options) :
+                Guard.IsEqual(action, 'ConstructorParameters') ? ConstructorParametersInstantiate(context, state, parameters[0], options) :
+                    Guard.IsEqual(action, 'Evaluate') ? EvaluateInstantiate(context, state, parameters[0], options) :
+                        Guard.IsEqual(action, 'Exclude') ? ExcludeInstantiate(context, state, parameters[0], parameters[1], options) :
+                            Guard.IsEqual(action, 'Extract') ? ExtractInstantiate(context, state, parameters[0], parameters[1], options) :
+                                Guard.IsEqual(action, 'Index') ? IndexInstantiate(context, state, parameters[0], parameters[1], options) :
+                                    Guard.IsEqual(action, 'InstanceType') ? InstanceTypeInstantiate(context, state, parameters[0], options) :
+                                        Guard.IsEqual(action, 'Interface') ? InterfaceInstantiate(context, state, parameters[0], parameters[1], options) :
+                                            Guard.IsEqual(action, 'KeyOf') ? KeyOfInstantiate(context, state, parameters[0], options) :
+                                                Guard.IsEqual(action, 'Lowercase') ? LowercaseInstantiate(context, state, parameters[0], options) :
+                                                    Guard.IsEqual(action, 'Mapped') ? MappedInstantiate(context, state, parameters[0], parameters[1], parameters[2], parameters[3], options) :
+                                                        Guard.IsEqual(action, 'Module') ? ModuleInstantiate(context, state, parameters[0], options) :
+                                                            Guard.IsEqual(action, 'NonNullable') ? NonNullableInstantiate(context, state, parameters[0], options) :
+                                                                Guard.IsEqual(action, 'Pick') ? PickInstantiate(context, state, parameters[0], parameters[1], options) :
+                                                                    Guard.IsEqual(action, 'Options') ? OptionsInstantiate(context, state, parameters[0], parameters[1]) :
+                                                                        Guard.IsEqual(action, 'Parameters') ? ParametersInstantiate(context, state, parameters[0], options) :
+                                                                            Guard.IsEqual(action, 'Partial') ? PartialInstantiate(context, state, parameters[0], options) :
+                                                                                Guard.IsEqual(action, 'Omit') ? OmitInstantiate(context, state, parameters[0], parameters[1], options) :
+                                                                                    Guard.IsEqual(action, 'ReadonlyType') ? ReadonlyTypeInstantiate(context, state, parameters[0], options) :
+                                                                                        Guard.IsEqual(action, 'Record') ? RecordInstantiate(context, state, parameters[0], parameters[1], options) :
+                                                                                            Guard.IsEqual(action, 'Required') ? RequiredInstantiate(context, state, parameters[0], options) :
+                                                                                                Guard.IsEqual(action, 'ReturnType') ? ReturnTypeInstantiate(context, state, parameters[0], options) :
+                                                                                                    Guard.IsEqual(action, 'TemplateLiteral') ? TemplateLiteralInstantiate(context, state, parameters[0], options) :
+                                                                                                        Guard.IsEqual(action, 'Uncapitalize') ? UncapitalizeInstantiate(context, state, parameters[0], options) :
+                                                                                                            Guard.IsEqual(action, 'Uppercase') ? UppercaseInstantiate(context, state, parameters[0], options) :
+                                                                                                                Deferred(action, parameters, options));
+}
+export function InstantiateType(context, state, input) {
+    const immutable = IsImmutable(input);
+    const modifiers = ModifierActions(input, IsReadonly(input) ? 'add' : 'none', IsOptional(input) ? 'add' : 'none');
+    const type = IsBase(modifiers[0]) ? modifiers[0].Clone() : modifiers[0];
+    const instantiated = (IsRef(type) ? RefInstantiate(context, state, type, type.$ref) :
+        IsArray(type) ? Array(InstantiateType(context, state, type.items), ArrayOptions(type)) :
+            IsAsyncIterator(type) ? AsyncIterator(InstantiateType(context, state, type.iteratorItems), AsyncIteratorOptions(type)) :
+                IsCall(type) ? CallInstantiate(context, state, type.target, type.arguments) :
+                    IsConstructor(type) ? Constructor(InstantiateTypes(context, state, type.parameters), InstantiateType(context, state, type.instanceType), ConstructorOptions(type)) :
+                        IsDeferred(type) ? InstantiateDeferred(context, state, type.action, type.parameters, type.options) :
+                            IsFunction(type) ? _Function_(InstantiateTypes(context, state, type.parameters), InstantiateType(context, state, type.returnType), FunctionOptions(type)) :
+                                IsIntersect(type) ? Intersect(InstantiateTypes(context, state, type.allOf), IntersectOptions(type)) :
+                                    IsIterator(type) ? Iterator(InstantiateType(context, state, type.iteratorItems), IteratorOptions(type)) :
+                                        IsObject(type) ? Object(InstantiateProperties(context, state, type.properties), ObjectOptions(type)) :
+                                            IsPromise(type) ? Promise(InstantiateType(context, state, type.item), PromiseOptions(type)) :
+                                                IsRecord(type) ? RecordFromPattern(RecordPattern(type), InstantiateType(context, state, RecordValue(type))) :
+                                                    IsRest(type) ? Rest(InstantiateType(context, state, type.items)) :
+                                                        IsTuple(type) ? Tuple(InstantiateElements(context, state, type.items), TupleOptions(type)) :
+                                                            IsUnion(type) ? Union(InstantiateTypes(context, state, type.anyOf), UnionOptions(type)) :
+                                                                type);
+    const withImmutable = immutable ? Immutable(instantiated) : instantiated;
+    const withModifiers = ApplyReadonly(modifiers[1], ApplyOptional(modifiers[2], withImmutable));
+    return withModifiers;
+}
+/** Instantiates computed schematics using the given context and type. */
+export function Instantiate(context, type) {
+    return InstantiateType(context, { callstack: [] }, type);
+}

package/build/type/engine/interface/index.d.mts

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

package/build/type/engine/interface/index.mjs

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

package/build/type/engine/interface/instantiate.d.mts

@@ -0,0 +1,16 @@
+import { type TSchema, type TSchemaOptions } from '../../types/schema.mjs';
+import { type TProperties } from '../../types/properties.mjs';
+import { type TObject } from '../../types/object.mjs';
+import { type TEvaluateIntersect } from '../evaluate/evaluate.mjs';
+import { type TInterfaceDeferred } from '../../action/index.mjs';
+import { type TState, type TCanInstantiate } from '../instantiate.mjs';
+import { type TInstantiateProperties } from '../instantiate.mjs';
+import { type TInstantiateTypes } from '../instantiate.mjs';
+type TInterfaceImmediate<Context extends TProperties, State extends TState, Heritage extends TSchema[], Properties extends TProperties, InstantiatedHeritage extends TSchema[] = TInstantiateTypes<Context, {
+    callstack: [];
+}, Heritage>, instantiatedProperties extends TProperties = TInstantiateProperties<Context, {
+    callstack: [];
+}, Properties>, EvaluatedInterface extends TSchema = TEvaluateIntersect<[...InstantiatedHeritage, TObject<instantiatedProperties>]>> = EvaluatedInterface;
+export type TInterfaceInstantiate<Context extends TProperties, State extends TState, Heritage extends TSchema[], Properties extends TProperties> = TCanInstantiate<Context, Heritage> extends true ? TInterfaceImmediate<Context, State, Heritage, Properties> : TInterfaceDeferred<Heritage, Properties>;
+export declare function InterfaceInstantiate<Context extends TProperties, State extends TState, Heritage extends TSchema[], Properties extends TProperties>(context: Context, state: State, heritage: [...Heritage], properties: Properties, options: TSchemaOptions): TInterfaceInstantiate<Context, State, Heritage, Properties>;
+export {};

package/build/type/engine/interface/instantiate.mjs

@@ -0,0 +1,19 @@
+// deno-fmt-ignore-file
+import { Memory } from '../../../system/memory/index.mjs';
+import { Object } from '../../types/object.mjs';
+import { EvaluateIntersect } from '../evaluate/evaluate.mjs';
+import { InterfaceDeferred } from '../../action/index.mjs';
+import { CanInstantiate } from '../instantiate.mjs';
+import { InstantiateProperties } from '../instantiate.mjs';
+import { InstantiateTypes } from '../instantiate.mjs';
+function InterfaceImmediate(context, state, heritage, properties, options) {
+    const instantiatedHeritage = InstantiateTypes(context, { callstack: [] }, heritage);
+    const instantiatedProperties = InstantiateProperties(context, { callstack: [] }, properties);
+    const evaluatedInterface = EvaluateIntersect([...instantiatedHeritage, Object(instantiatedProperties)]);
+    return Memory.Update(evaluatedInterface, {}, options);
+}
+export function InterfaceInstantiate(context, state, heritage, properties, options) {
+    return (CanInstantiate(context, heritage)
+        ? InterfaceImmediate(context, state, heritage, properties, options)
+        : InterfaceDeferred(heritage, properties, options));
+}

package/build/type/engine/intrinsics/from-literal.d.mts

@@ -0,0 +1,5 @@
+import { type TSchema } from '../../types/schema.mjs';
+import { type TLiteral, type TLiteralValue } from '../../types/literal.mjs';
+import { type TMappingType, type TMappingFunc, type TApplyMapping } from './mapping.mjs';
+export type TFromLiteral<Mapping extends TMappingType, Value extends TLiteralValue> = (Value extends string ? TLiteral<TApplyMapping<Mapping, Value>> : TLiteral<Value>);
+export declare function FromLiteral(mapping: TMappingFunc, value: TLiteralValue): TSchema;

package/build/type/engine/intrinsics/from-literal.mjs

@@ -0,0 +1,9 @@
+// deno-fmt-ignore-file
+import { Guard } from '../../../guard/index.mjs';
+import { Literal } from '../../types/literal.mjs';
+import { ApplyMapping } from './mapping.mjs';
+export function FromLiteral(mapping, value) {
+    return (Guard.IsString(value)
+        ? Literal(ApplyMapping(mapping, value))
+        : Literal(value));
+}

package/build/type/engine/intrinsics/from-template-literal.d.mts

@@ -0,0 +1,6 @@
+import { type TSchema } from '../../types/schema.mjs';
+import { type TMappingType, type TMappingFunc } from './mapping.mjs';
+import { type TTemplateLiteralDecode } from '../template-literal/decode.mjs';
+import { type TFromType } from './from-type.mjs';
+export type TFromTemplateLiteral<Mapping extends TMappingType, Pattern extends string, Decoded extends TSchema = TTemplateLiteralDecode<Pattern>, Result extends TSchema = TFromType<Mapping, Decoded>> = Result;
+export declare function FromTemplateLiteral(mapping: TMappingFunc, pattern: string): TSchema;

package/build/type/engine/intrinsics/from-template-literal.mjs

@@ -0,0 +1,8 @@
+// deno-fmt-ignore-file
+import { TemplateLiteralDecode } from '../template-literal/decode.mjs';
+import { FromType } from './from-type.mjs';
+export function FromTemplateLiteral(mapping, pattern) {
+    const decoded = TemplateLiteralDecode(pattern);
+    const result = FromType(mapping, decoded);
+    return result;
+}

package/build/type/engine/intrinsics/from-type.d.mts

@@ -0,0 +1,10 @@
+import { type TSchema } from '../../types/schema.mjs';
+import { type TLiteral, type TLiteralValue } from '../../types/literal.mjs';
+import { type TTemplateLiteral } from '../../types/template-literal.mjs';
+import { type TUnion } from '../../types/union.mjs';
+import { type TMappingType, type TMappingFunc } from './mapping.mjs';
+import { type TFromLiteral } from './from-literal.mjs';
+import { type TFromTemplateLiteral } from './from-template-literal.mjs';
+import { type TFromUnion } from './from-union.mjs';
+export type TFromType<Mapping extends TMappingType, Type extends TSchema> = (Type extends TLiteral<infer Value extends TLiteralValue> ? TFromLiteral<Mapping, Value> : Type extends TTemplateLiteral<infer Pattern extends string> ? TFromTemplateLiteral<Mapping, Pattern> : Type extends TUnion<infer Types extends TSchema[]> ? TFromUnion<Mapping, Types> : Type);
+export declare function FromType(mapping: TMappingFunc, type: TSchema): TSchema;

package/build/type/engine/intrinsics/from-type.mjs

@@ -0,0 +1,13 @@
+// deno-fmt-ignore-file
+import { IsLiteral } from '../../types/literal.mjs';
+import { IsTemplateLiteral } from '../../types/template-literal.mjs';
+import { IsUnion } from '../../types/union.mjs';
+import { FromLiteral } from './from-literal.mjs';
+import { FromTemplateLiteral } from './from-template-literal.mjs';
+import { FromUnion } from './from-union.mjs';
+export function FromType(mapping, type) {
+    return (IsLiteral(type) ? FromLiteral(mapping, type.const) :
+        IsTemplateLiteral(type) ? FromTemplateLiteral(mapping, type.pattern) :
+            IsUnion(type) ? FromUnion(mapping, type.anyOf) :
+                type);
+}

package/build/type/engine/intrinsics/from-union.d.mts

@@ -0,0 +1,6 @@
+import { type TSchema } from '../../types/schema.mjs';
+import { type TUnion } from '../../types/union.mjs';
+import { type TMappingType, type TMappingFunc } from './mapping.mjs';
+import { type TFromType } from './from-type.mjs';
+export type TFromUnion<Mapping extends TMappingType, Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TFromUnion<Mapping, Right, [...Result, TFromType<Mapping, Left>]> : TUnion<Result>);
+export declare function FromUnion(mapping: TMappingFunc, types: TSchema[]): TSchema;

package/build/type/engine/intrinsics/from-union.mjs

@@ -0,0 +1,7 @@
+// deno-fmt-ignore-file
+import { Union } from '../../types/union.mjs';
+import { FromType } from './from-type.mjs';
+export function FromUnion(mapping, types) {
+    const result = types.map(type => FromType(mapping, type));
+    return Union(result);
+}

package/build/type/engine/intrinsics/index.d.mts

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

package/build/type/engine/intrinsics/index.mjs

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

package/build/type/engine/intrinsics/instantiate.d.mts

@@ -0,0 +1,34 @@
+import { type TSchema, type TSchemaOptions } from '../../types/schema.mjs';
+import { type TProperties } from '../../types/properties.mjs';
+import { type TMappingType } from './mapping.mjs';
+import { type TFromType } from './from-type.mjs';
+import { type TState, type TInstantiateType, type TCanInstantiate } from '../instantiate.mjs';
+import { type TCapitalizeDeferred } from '../../action/capitalize.mjs';
+import { type TLowercaseDeferred } from '../../action/lowercase.mjs';
+import { type TUncapitalizeDeferred } from '../../action/uncapitalize.mjs';
+import { type TUppercaseDeferred } from '../../action/uppercase.mjs';
+interface TCapitalizeMapping extends TMappingType {
+    output: Capitalize<this['input']>;
+}
+interface TLowercaseMapping extends TMappingType {
+    output: Lowercase<this['input']>;
+}
+interface TUncapitalizeMapping extends TMappingType {
+    output: Uncapitalize<this['input']>;
+}
+interface TUppercaseMapping extends TMappingType {
+    output: Uppercase<this['input']>;
+}
+type TCapitalizeImmediate<Context extends TProperties, State extends TState, Type extends TSchema, InstantiatedType extends TSchema = TInstantiateType<Context, State, Type>> = TFromType<TCapitalizeMapping, InstantiatedType>;
+export type TCapitalizeInstantiate<Context extends TProperties, State extends TState, Type extends TSchema> = TCanInstantiate<Context, [Type]> extends true ? TCapitalizeImmediate<Context, State, Type> : TCapitalizeDeferred<Type>;
+export declare function CapitalizeInstantiate<Context extends TProperties, State extends TState, Type extends TSchema>(context: Context, state: State, type: Type, options: TSchemaOptions): TCapitalizeInstantiate<Context, State, Type>;
+type TLowercaseImmediate<Context extends TProperties, State extends TState, Type extends TSchema, InstantiatedType extends TSchema = TInstantiateType<Context, State, Type>> = TFromType<TLowercaseMapping, InstantiatedType>;
+export type TLowercaseInstantiate<Context extends TProperties, State extends TState, Type extends TSchema> = TCanInstantiate<Context, [Type]> extends true ? TLowercaseImmediate<Context, State, Type> : TLowercaseDeferred<Type>;
+export declare function LowercaseInstantiate<Context extends TProperties, State extends TState, Type extends TSchema>(context: Context, state: State, type: Type, options: TSchemaOptions): TLowercaseInstantiate<Context, State, Type>;
+type TUncapitalizeImmediate<Context extends TProperties, State extends TState, Type extends TSchema, InstantiatedType extends TSchema = TInstantiateType<Context, State, Type>> = TFromType<TUncapitalizeMapping, InstantiatedType>;
+export type TUncapitalizeInstantiate<Context extends TProperties, State extends TState, Type extends TSchema> = TCanInstantiate<Context, [Type]> extends true ? TUncapitalizeImmediate<Context, State, Type> : TUncapitalizeDeferred<Type>;
+export declare function UncapitalizeInstantiate<Context extends TProperties, State extends TState, Type extends TSchema>(context: Context, state: State, type: Type, options: TSchemaOptions): TUncapitalizeInstantiate<Context, State, Type>;
+type TUppercaseImmediate<Context extends TProperties, State extends TState, Type extends TSchema, InstantiatedType extends TSchema = TInstantiateType<Context, State, Type>> = TFromType<TUppercaseMapping, InstantiatedType>;
+export type TUppercaseInstantiate<Context extends TProperties, State extends TState, Type extends TSchema> = TCanInstantiate<Context, [Type]> extends true ? TUppercaseImmediate<Context, State, Type> : TUppercaseDeferred<Type>;
+export declare function UppercaseInstantiate<Context extends TProperties, State extends TState, Type extends TSchema>(context: Context, state: State, type: Type, options: TSchemaOptions): TUppercaseInstantiate<Context, State, Type>;
+export {};

package/build/type/engine/intrinsics/instantiate.mjs

@@ -0,0 +1,48 @@
+// deno-fmt-ignore-file
+import { Memory } from '../../../system/memory/index.mjs';
+import { FromType } from './from-type.mjs';
+import { InstantiateType, CanInstantiate } from '../instantiate.mjs';
+import { CapitalizeDeferred } from '../../action/capitalize.mjs';
+import { LowercaseDeferred } from '../../action/lowercase.mjs';
+import { UncapitalizeDeferred } from '../../action/uncapitalize.mjs';
+import { UppercaseDeferred } from '../../action/uppercase.mjs';
+const CapitalizeMapping = (input) => input[0].toUpperCase() + input.slice(1);
+const LowercaseMapping = (input) => input.toLowerCase();
+const UncapitalizeMapping = (input) => input[0].toLowerCase() + input.slice(1);
+const UppercaseMapping = (input) => input.toUpperCase();
+function CapitalizeImmediate(context, state, type, options) {
+    const instantiatedType = InstantiateType(context, state, type);
+    return Memory.Update(FromType(CapitalizeMapping, instantiatedType), {}, options);
+}
+export function CapitalizeInstantiate(context, state, type, options) {
+    return (CanInstantiate(context, [type])
+        ? CapitalizeImmediate(context, state, type, options)
+        : CapitalizeDeferred(type, options));
+}
+function LowercaseImmediate(context, state, type, options) {
+    const instantiatedType = InstantiateType(context, state, type);
+    return Memory.Update(FromType(LowercaseMapping, instantiatedType), {}, options);
+}
+export function LowercaseInstantiate(context, state, type, options) {
+    return (CanInstantiate(context, [type])
+        ? LowercaseImmediate(context, state, type, options)
+        : LowercaseDeferred(type, options));
+}
+function UncapitalizeImmediate(context, state, type, options) {
+    const instantiatedType = InstantiateType(context, state, type);
+    return Memory.Update(FromType(UncapitalizeMapping, instantiatedType), {}, options);
+}
+export function UncapitalizeInstantiate(context, state, type, options) {
+    return (CanInstantiate(context, [type])
+        ? UncapitalizeImmediate(context, state, type, options)
+        : UncapitalizeDeferred(type, options));
+}
+function UppercaseImmediate(context, state, type, options) {
+    const instantiatedType = InstantiateType(context, state, type);
+    return Memory.Update(FromType(UppercaseMapping, instantiatedType), {}, options);
+}
+export function UppercaseInstantiate(context, state, type, options) {
+    return (CanInstantiate(context, [type])
+        ? UppercaseImmediate(context, state, type, options)
+        : UppercaseDeferred(type, options));
+}

package/build/type/engine/intrinsics/mapping.d.mts

@@ -0,0 +1,9 @@
+export interface TMappingType {
+    input: string;
+    output: string;
+}
+export type TApplyMapping<Mapping extends TMappingType, Value extends string> = ((Mapping & {
+    input: Value;
+})['output']);
+export type TMappingFunc = (input: string) => string;
+export declare function ApplyMapping(mapping: TMappingFunc, value: string): string;

package/build/type/engine/intrinsics/mapping.mjs

@@ -0,0 +1,4 @@
+// deno-fmt-ignore-file
+export function ApplyMapping(mapping, value) {
+    return mapping(value);
+}

package/build/type/engine/keyof/from-any.d.mts

@@ -0,0 +1,6 @@
+import { type TNumber } from '../../types/number.mjs';
+import { type TString } from '../../types/string.mjs';
+import { type TSymbol } from '../../types/symbol.mjs';
+import { type TUnion } from '../../types/union.mjs';
+export type TFromAny<Result = TUnion<[TNumber, TString, TSymbol]>> = Result;
+export declare function FromAny(): TFromAny;

package/build/type/engine/keyof/from-any.mjs

@@ -0,0 +1,8 @@
+// deno-fmt-ignore-file
+import { Number } from '../../types/number.mjs';
+import { String } from '../../types/string.mjs';
+import { Symbol } from '../../types/symbol.mjs';
+import { Union } from '../../types/union.mjs';
+export function FromAny() {
+    return Union([Number(), String(), Symbol()]);
+}

package/build/type/engine/keyof/from-array.d.mts

@@ -0,0 +1,4 @@
+import { type TSchema } from '../../types/index.mjs';
+import { type TNumber } from '../../types/number.mjs';
+export type TFromArray<_Type extends TSchema> = TNumber;
+export declare function FromArray<_Type extends TSchema>(_type: _Type): TFromArray<_Type>;

package/build/type/engine/keyof/from-array.mjs

@@ -0,0 +1,5 @@
+// deno-fmt-ignore-file
+import { Number } from '../../types/number.mjs';
+export function FromArray(_type) {
+    return Number();
+}

package/build/type/engine/keyof/from-object.d.mts

@@ -0,0 +1,10 @@
+import { type TUnreachable } from '../../../system/unreachable/index.mjs';
+import { type TSchema } from '../../types/index.mjs';
+import { type TUnionToTuple } from '../helpers/index.mjs';
+import { type TProperties } from '../../types/properties.mjs';
+import { type TLiteral, type TLiteralValue } from '../../types/literal.mjs';
+import { type TEvaluateUnionFast } from '../evaluate/evaluate.mjs';
+type TFromPropertyKeys<Keys extends PropertyKey[], Result extends TSchema[] = []> = (Keys extends [infer Left extends PropertyKey, ...infer Right extends PropertyKey[]] ? Left extends TLiteralValue ? TFromPropertyKeys<Right, [...Result, TLiteral<Left>]> : TUnreachable : Result);
+export type TFromObject<Properties extends TProperties, PropertyKeys extends PropertyKey[] = TUnionToTuple<keyof Properties>, Variants extends TSchema[] = TFromPropertyKeys<PropertyKeys>, Result extends TSchema = TEvaluateUnionFast<Variants>> = Result;
+export declare function FromObject<Properties extends TProperties>(properties: Properties): TFromObject<Properties>;
+export {};

package/build/type/engine/keyof/from-object.mjs

@@ -0,0 +1,20 @@
+// deno-fmt-ignore-file
+import { Unreachable } from '../../../system/unreachable/index.mjs';
+import { Guard } from '../../../guard/index.mjs';
+import { Literal, IsLiteralValue } from '../../types/literal.mjs';
+import { ConvertToIntegerKey } from '../helpers/keys.mjs';
+import { EvaluateUnionFast } from '../evaluate/evaluate.mjs';
+function FromPropertyKeys(keys) {
+    const result = keys.reduce((result, left) => {
+        return IsLiteralValue(left)
+            ? [...result, Literal(ConvertToIntegerKey(left))]
+            : Unreachable();
+    }, []);
+    return result;
+}
+export function FromObject(properties) {
+    const propertyKeys = Guard.Keys(properties);
+    const variants = FromPropertyKeys(propertyKeys);
+    const result = EvaluateUnionFast(variants);
+    return result;
+}

package/build/type/engine/keyof/from-record.d.mts

@@ -0,0 +1,4 @@
+import { type TSchema } from '../../types/index.mjs';
+import { type TRecord, type TRecordKey } from '../../types/record.mjs';
+export type TFromRecord<Type extends TRecord, Result extends TSchema = TRecordKey<Type>> = Result;
+export declare function FromRecord<Type extends TRecord>(type: Type): TFromRecord<Type>;

package/build/type/engine/keyof/from-record.mjs

@@ -0,0 +1,5 @@
+// deno-fmt-ignore-file
+import { RecordKey } from '../../types/record.mjs';
+export function FromRecord(type) {
+    return RecordKey(type);
+}

package/build/type/engine/keyof/from-tuple.d.mts

@@ -0,0 +1,5 @@
+import { type TSchema } from '../../types/index.mjs';
+import { type TLiteral } from '../../types/literal.mjs';
+import { type TEvaluateUnionFast } from '../evaluate/evaluate.mjs';
+export type TFromTuple<Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [...infer Left extends TSchema[], infer _ extends TSchema] ? TFromTuple<Left, [TLiteral<Left['length']>, ...Result]> : TEvaluateUnionFast<Result>);
+export declare function FromTuple<Types extends TSchema[]>(types: [...Types]): TFromTuple<Types>;

package/build/type/engine/keyof/from-tuple.mjs

@@ -0,0 +1,7 @@
+// deno-fmt-ignore-file
+import { Literal } from '../../types/literal.mjs';
+import { EvaluateUnionFast } from '../evaluate/evaluate.mjs';
+export function FromTuple(types) {
+    const result = types.map((_, index) => Literal(index));
+    return EvaluateUnionFast(result);
+}

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

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

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

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

package/build/type/engine/keyof/instantiate.d.mts

@@ -0,0 +1,27 @@
+import { type TSchema, type TSchemaOptions } from '../../types/schema.mjs';
+import { type TProperties } from '../../types/properties.mjs';
+import { type TAny } from '../../types/any.mjs';
+import { type TArray } from '../../types/array.mjs';
+import { type TCyclic } from '../../types/cyclic.mjs';
+import { type TIntersect } from '../../types/intersect.mjs';
+import { type TNever } from '../../types/never.mjs';
+import { type TObject } from '../../types/object.mjs';
+import { type TRecord } from '../../types/record.mjs';
+import { type TTuple } from '../../types/tuple.mjs';
+import { type TUnion } from '../../types/union.mjs';
+import { type TKeyOfDeferred } from '../../action/keyof.mjs';
+import { type TState, type TInstantiateType, type TCanInstantiate } from '../instantiate.mjs';
+import { type TCollapseToObject } from '../object/index.mjs';
+import { type TFromAny } from './from-any.mjs';
+import { type TFromArray } from './from-array.mjs';
+import { type TFromObject } from './from-object.mjs';
+import { type TFromRecord } from './from-record.mjs';
+import { type TFromTuple } from './from-tuple.mjs';
+type TNormalizeType<Type extends TSchema, Result extends TSchema = (Type extends TCyclic | TIntersect | TUnion ? TCollapseToObject<Type> : Type)> = Result;
+export type TKeyOfAction<Type extends TSchema, Normal extends TSchema = TNormalizeType<Type>> = (Normal extends TAny ? TFromAny : Normal extends TArray<infer Type extends TSchema> ? TFromArray<Type> : Normal extends TObject<infer Properties extends TProperties> ? TFromObject<Properties> : Normal extends TRecord ? TFromRecord<Normal> : Normal extends TTuple<infer Types extends TSchema[]> ? TFromTuple<Types> : TNever);
+export declare function KeyOfAction<Type extends TSchema>(type: Type): TKeyOfAction<Type>;
+export type TKeyOfImmediate<Context extends TProperties, State extends TState, Type extends TSchema, InstantiatedType extends TSchema = TInstantiateType<Context, State, Type>> = TKeyOfAction<InstantiatedType>;
+export declare function KeyOfImmediate<Context extends TProperties, State extends TState, Type extends TSchema>(context: Context, state: State, type: Type, options: TSchemaOptions): TKeyOfImmediate<Context, State, Type>;
+export type TKeyOfInstantiate<Context extends TProperties, State extends TState, Type extends TSchema> = TCanInstantiate<Context, [Type]> extends true ? TKeyOfImmediate<Context, State, Type> : TKeyOfDeferred<Type>;
+export declare function KeyOfInstantiate<Context extends TProperties, State extends TState, Type extends TSchema>(context: Context, state: State, type: Type, options: TSchemaOptions): TKeyOfInstantiate<Context, State, Type>;
+export {};

package/build/type/engine/keyof/instantiate.mjs

@@ -0,0 +1,45 @@
+// deno-fmt-ignore-file
+import { Memory } from '../../../system/memory/index.mjs';
+import { IsAny } from '../../types/any.mjs';
+import { IsArray } from '../../types/array.mjs';
+import { IsCyclic } from '../../types/cyclic.mjs';
+import { IsIntersect } from '../../types/intersect.mjs';
+import { Never } from '../../types/never.mjs';
+import { IsObject } from '../../types/object.mjs';
+import { IsRecord } from '../../types/record.mjs';
+import { IsTuple } from '../../types/tuple.mjs';
+import { IsUnion } from '../../types/union.mjs';
+import { KeyOfDeferred } from '../../action/keyof.mjs';
+import { InstantiateType, CanInstantiate } from '../instantiate.mjs';
+import { CollapseToObject } from '../object/index.mjs';
+// ------------------------------------------------------------------
+// Computed
+// ------------------------------------------------------------------
+import { FromAny } from './from-any.mjs';
+import { FromArray } from './from-array.mjs';
+import { FromObject } from './from-object.mjs';
+import { FromRecord } from './from-record.mjs';
+import { FromTuple } from './from-tuple.mjs';
+function NormalizeType(type) {
+    const result = (IsCyclic(type) || IsIntersect(type) || IsUnion(type) ? CollapseToObject(type) :
+        type);
+    return result;
+}
+export function KeyOfAction(type) {
+    const normal = NormalizeType(type);
+    return (IsAny(normal) ? FromAny() :
+        IsArray(normal) ? FromArray(normal.items) :
+            IsObject(normal) ? FromObject(normal.properties) :
+                IsRecord(normal) ? FromRecord(normal) :
+                    IsTuple(normal) ? FromTuple(normal.items) :
+                        Never());
+}
+export function KeyOfImmediate(context, state, type, options) {
+    const instantiatedType = InstantiateType(context, state, type);
+    return Memory.Update(KeyOfAction(instantiatedType), {}, options);
+}
+export function KeyOfInstantiate(context, state, type, options) {
+    return (CanInstantiate(context, [type])
+        ? KeyOfImmediate(context, state, type, options)
+        : KeyOfDeferred(type, options));
+}

package/build/type/engine/mapped/index.d.mts

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

package/build/type/engine/mapped/index.mjs

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