typebox 0.0.1 → 1.0.0-rc

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-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 TEvaluateUnion } 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 = TEvaluateUnion<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 { EvaluateUnion } 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 = EvaluateUnion(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 TEvaluateUnion } 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]> : TEvaluateUnion<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 { EvaluateUnion } from '../evaluate/evaluate.mjs';
+export function FromTuple(types) {
+    const result = types.map((_, index) => Literal(index));
+    return EvaluateUnion(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,25 @@
+import { type TSchema, type TSchemaOptions } from '../../types/schema.mjs';
+import { type TProperties } from '../../types/properties.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 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, Normalized extends TSchema = TNormalizeType<Type>> = (Normalized extends TArray<infer Type extends TSchema> ? TFromArray<Type> : Normalized extends TObject<infer Properties extends TProperties> ? TFromObject<Properties> : Normalized extends TRecord ? TFromRecord<Normalized> : Normalized 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,42 @@
+// deno-fmt-ignore-file
+import { Memory } from '../../../system/memory/index.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 { 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 (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';

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

@@ -0,0 +1,28 @@
+import { Memory } from '../../../system/memory/index.mjs';
+import { type TSchema, type TSchemaOptions } from '../../types/schema.mjs';
+import { type TLiteral } from '../../types/literal.mjs';
+import { type TObject } from '../../types/object.mjs';
+import { type TProperties } from '../../types/properties.mjs';
+import { type TIdentifier } from '../../types/identifier.mjs';
+import { type TMappedKeys } from './mapped-keys.mjs';
+import { type TTemplateLiteral } from '../../types/template-literal.mjs';
+import { type TMappedDeferred } from '../../action/mapped.mjs';
+import { type TTemplateLiteralDecode } from '../template-literal/decode.mjs';
+import { type TState, type TInstantiateType, type TCanInstantiate } from '../instantiate.mjs';
+type TInstantiateKeyAs<Context extends TProperties, State extends TState, Identifier extends TIdentifier, Key extends TSchema, As extends TSchema, ContextWithKey extends TProperties = Memory.TAssign<Context, {
+    [_ in Identifier['name']]: Key;
+}>, InstantiatedKeyAs extends TSchema = TInstantiateType<ContextWithKey, State, As>, Result extends TSchema = InstantiatedKeyAs extends TTemplateLiteral<infer Pattern extends string> ? TTemplateLiteralDecode<Pattern> : InstantiatedKeyAs> = Result;
+type TInstantiateProperty<Context extends TProperties, State extends TState, Identifier extends TIdentifier, Key extends TSchema, Property extends TSchema, ContextWithKey extends TProperties = Memory.TAssign<Context, {
+    [_ in Identifier['name']]: Key;
+}>, InstantiatedProperty extends TSchema = TInstantiateType<ContextWithKey, State, Property>> = InstantiatedProperty;
+type TMappedProperty<Context extends TProperties, State extends TState, Identifier extends TIdentifier, Key extends TSchema, As extends TSchema, Property extends TSchema, InstantiatedProperty extends TSchema = TInstantiateProperty<Context, State, Identifier, Key, Property>, InstantiatedKeyAs extends TSchema = TInstantiateKeyAs<Context, State, Identifier, Key, As>, Result extends TProperties = (InstantiatedKeyAs extends TLiteral<string | number> ? {
+    [_ in InstantiatedKeyAs['const']]: InstantiatedProperty;
+} : {})> = Result;
+type TMappedProperties<Context extends TProperties, State extends TState, Identifier extends TIdentifier, Keys extends TSchema[], As extends TSchema, Type extends TSchema, Result extends TProperties = {}> = (Keys extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TMappedProperties<Context, State, Identifier, Right, As, Type, Result & TMappedProperty<Context, State, Identifier, Left, As, Type>> : Result);
+type TMappedAction<Context extends TProperties, State extends TState, Identifier extends TIdentifier, Key extends TSchema, As extends TSchema, Property extends TSchema, Keys extends TSchema[] = TMappedKeys<Key>, Mapped extends TProperties = TMappedProperties<Context, State, Identifier, Keys, As, Property>, Result extends TSchema = TObject<{
+    [Key in keyof Mapped]: Mapped[Key];
+}>> = Result;
+type TMappedImmediate<Context extends TProperties, State extends TState, Identifier extends TIdentifier, Key extends TSchema, As extends TSchema, Property extends TSchema, InstantiatedKey extends TSchema = TInstantiateType<Context, State, Key>> = TMappedAction<Context, State, Identifier, InstantiatedKey, As, Property>;
+export type TMappedInstantiate<Context extends TProperties, State extends TState, Identifier extends TIdentifier, Key extends TSchema, As extends TSchema, Property extends TSchema> = TCanInstantiate<Context, [Key]> extends true ? TMappedImmediate<Context, State, Identifier, Key, As, Property> : TMappedDeferred<Identifier, Key, As, Property>;
+export declare function MappedInstantiate<Context extends TProperties, State extends TState, Identifier extends TIdentifier, Key extends TSchema, As extends TSchema, Property extends TSchema>(context: Context, state: State, identifier: Identifier, key: Key, as: As, property: Property, options: TSchemaOptions): TMappedInstantiate<Context, State, Identifier, Key, As, Property>;
+export {};

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

@@ -0,0 +1,47 @@
+// deno-fmt-ignore-file
+import { Memory } from '../../../system/memory/index.mjs';
+import { IsLiteralNumber, IsLiteralString } from '../../types/literal.mjs';
+import { Object } from '../../types/object.mjs';
+import { MappedKeys } from './mapped-keys.mjs';
+import { IsTemplateLiteral } from '../../types/template-literal.mjs';
+import { MappedDeferred } from '../../action/mapped.mjs';
+import { TemplateLiteralDecode } from '../template-literal/decode.mjs';
+import { InstantiateType, CanInstantiate } from '../instantiate.mjs';
+function InstantiateKeyAs(context, state, identifier, key, as) {
+    const contextWithKey = Memory.Assign(context, { [identifier['name']]: key });
+    const instantiatedKeyAs = InstantiateType(contextWithKey, state, as);
+    const result = IsTemplateLiteral(instantiatedKeyAs) ? TemplateLiteralDecode(instantiatedKeyAs.pattern) : instantiatedKeyAs;
+    return result;
+}
+function InstantiateProperty(context, state, identifier, key, property) {
+    const contextWithKey = Memory.Assign(context, { [identifier['name']]: key });
+    const instantiatedProperty = InstantiateType(contextWithKey, state, property);
+    return instantiatedProperty;
+}
+function MappedProperty(context, state, identifier, key, as, property) {
+    const instantiatedProperty = InstantiateProperty(context, state, identifier, key, property);
+    const instantiatedKeyAs = InstantiateKeyAs(context, state, identifier, key, as);
+    return (IsLiteralString(instantiatedKeyAs) || IsLiteralNumber(instantiatedKeyAs)
+        ? { [instantiatedKeyAs.const]: instantiatedProperty }
+        : {});
+}
+function MappedProperties(context, state, identifier, keys, as, type) {
+    return keys.reduce((result, left) => {
+        return { ...result, ...MappedProperty(context, state, identifier, left, as, type) };
+    }, {});
+}
+function MappedAction(context, state, identifier, key, as, type) {
+    const keys = MappedKeys(key);
+    const mapped = MappedProperties(context, state, identifier, keys, as, type);
+    const result = Object(mapped);
+    return result;
+}
+function MappedImmediate(context, state, identifier, key, as, property, options) {
+    const instantiatedKey = InstantiateType(context, state, key);
+    return Memory.Update(MappedAction(context, state, identifier, instantiatedKey, as, property), {}, options);
+}
+export function MappedInstantiate(context, state, identifier, key, as, property, options) {
+    return (CanInstantiate(context, [key])
+        ? MappedImmediate(context, state, identifier, key, as, property, options)
+        : MappedDeferred(identifier, key, as, property, options));
+}

package/build/type/engine/mapped/mapped-keys.d.mts

@@ -0,0 +1,14 @@
+import { type TSchema } from '../../types/index.mjs';
+import { type TLiteral } from '../../types/literal.mjs';
+import { type TEnum, type TEnumValue } from '../../types/enum.mjs';
+import { type TTemplateLiteral } from '../../types/template-literal.mjs';
+import { type TUnion } from '../../types/union.mjs';
+import { type TEnumValuesToVariants } from '../enum/index.mjs';
+import { type TTemplateLiteralDecode } from '../template-literal/decode.mjs';
+type TFromTemplateLiteral<Pattern extends string, Decoded extends TSchema = TTemplateLiteralDecode<Pattern>, Result extends TSchema = TFromType<Decoded>> = Result;
+type TFromUnion<Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TFromUnion<Right, [...Result, ...TFromType<Left>]> : Result);
+type TFromType<Type extends TSchema, Result extends TSchema[] = (Type extends TEnum<infer Values extends TEnumValue[]> ? TFromUnion<TEnumValuesToVariants<Values>> : Type extends TLiteral<string | number> ? [Type] : Type extends TTemplateLiteral<infer Pattern extends string> ? TFromTemplateLiteral<Pattern> : Type extends TUnion<infer Types extends TSchema[]> ? TFromUnion<Types> : [
+])> = Result;
+export type TMappedKeys<Type extends TSchema, Result extends TSchema[] = TFromType<Type>> = Result;
+export declare function MappedKeys<Type extends TSchema>(type: Type): TMappedKeys<Type>;
+export {};

package/build/type/engine/mapped/mapped-keys.mjs

@@ -0,0 +1,29 @@
+// deno-fmt-ignore-file
+import { IsLiteralNumber, IsLiteralString } from '../../types/literal.mjs';
+import { IsEnum } from '../../types/enum.mjs';
+import { IsTemplateLiteral } from '../../types/template-literal.mjs';
+import { IsUnion } from '../../types/union.mjs';
+import { EnumValuesToVariants } from '../enum/index.mjs';
+import { TemplateLiteralDecode } from '../template-literal/decode.mjs';
+function FromTemplateLiteral(pattern) {
+    const decoded = TemplateLiteralDecode(pattern);
+    const result = FromType(decoded);
+    return result;
+}
+function FromUnion(types) {
+    return types.reduce((result, left) => {
+        return [...result, ...FromType(left)];
+    }, []);
+}
+function FromType(type) {
+    const result = (IsEnum(type) ? FromUnion(EnumValuesToVariants(type.enum)) :
+        IsLiteralString(type) || IsLiteralNumber(type) ? [type] :
+            IsTemplateLiteral(type) ? FromTemplateLiteral(type.pattern) :
+                IsUnion(type) ? FromUnion(type.anyOf) :
+                    []);
+    return result;
+}
+export function MappedKeys(type) {
+    const result = FromType(type);
+    return result;
+}

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

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

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

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

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

@@ -0,0 +1,21 @@
+import { Memory } from '../../../system/memory/index.mjs';
+import { type TSchemaOptions } from '../../types/schema.mjs';
+import { type TProperties } from '../../types/properties.mjs';
+import { type TState } from '../instantiate.mjs';
+import { type TCyclicCandidates } from '../cyclic/candidates.mjs';
+import { type TInstantiateCyclic } from '../cyclic/instantiate.mjs';
+import { type TInstantiateType } from '../instantiate.mjs';
+type TInstantiateCyclics<Context extends TProperties, CyclicKeys extends string[], Result extends TProperties = {
+    [Key in Extract<keyof Context, CyclicKeys[number]>]: TInstantiateCyclic<Context, Key, Context[Key]>;
+}> = Result;
+type TInstantiateNonCyclics<Context extends TProperties, CyclicKeys extends string[], Result extends TProperties = {
+    [Key in Exclude<keyof Context, CyclicKeys[number]>]: TInstantiateType<Context, {
+        callstack: [];
+    }, Context[Key]>;
+}> = Result;
+type TInstantiateModule<Context extends TProperties, CyclicCandidates extends string[] = TCyclicCandidates<Context>, InstantiatedCyclics extends TProperties = TInstantiateCyclics<Context, CyclicCandidates>, InstantiatedNonCyclics extends TProperties = TInstantiateNonCyclics<Context, CyclicCandidates>, InstantiatedModule extends TProperties = InstantiatedCyclics & InstantiatedNonCyclics> = {
+    [Key in keyof InstantiatedModule]: InstantiatedModule[Key];
+} & {};
+export type TModuleInstantiate<Context extends TProperties, _State extends TState, Properties extends TProperties, ModuleContext extends TProperties = Memory.TAssign<Context, Properties>, InstantiatedModule extends TProperties = TInstantiateModule<ModuleContext>> = InstantiatedModule;
+export declare function ModuleInstantiate<Context extends TProperties, State extends TState, Properties extends TProperties>(context: Context, _state: State, properties: Properties, options: TSchemaOptions): TModuleInstantiate<Context, State, Properties>;
+export {};

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

@@ -0,0 +1,33 @@
+// deno-fmt-ignore-file
+import { Guard } from '../../../guard/index.mjs';
+import { Memory } from '../../../system/memory/index.mjs';
+// ------------------------------------------------------------------
+// Module: Instantiation Infrastructure
+// ------------------------------------------------------------------
+import { CyclicCandidates } from '../cyclic/candidates.mjs';
+import { InstantiateCyclic } from '../cyclic/instantiate.mjs';
+import { InstantiateType } from '../instantiate.mjs';
+function InstantiateCyclics(context, cyclicKeys) {
+    const keys = Guard.Keys(context).filter(key => cyclicKeys.includes(key));
+    return keys.reduce((result, key) => {
+        return { ...result, [key]: InstantiateCyclic(context, key, context[key]) };
+    }, {});
+}
+function InstantiateNonCyclics(context, cyclicKeys) {
+    const keys = Guard.Keys(context).filter(key => !cyclicKeys.includes(key));
+    return keys.reduce((result, key) => {
+        return { ...result, [key]: InstantiateType(context, { callstack: [] }, context[key]) };
+    }, {});
+}
+function InstantiateModule(context, options) {
+    const cyclicCandidates = CyclicCandidates(context);
+    const instantiatedCyclics = InstantiateCyclics(context, cyclicCandidates);
+    const instantiatedNonCyclics = InstantiateNonCyclics(context, cyclicCandidates);
+    const instantiatedModule = { ...instantiatedCyclics, ...instantiatedNonCyclics };
+    return Memory.Update(instantiatedModule, {}, options);
+}
+export function ModuleInstantiate(context, _state, properties, options) {
+    const moduleContext = Memory.Assign(context, properties);
+    const instantiatedModule = InstantiateModule(moduleContext, options);
+    return instantiatedModule;
+}

package/build/type/engine/non-nullable/index.d.mts

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

package/build/type/engine/non-nullable/index.mjs

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

package/build/type/engine/non-nullable/instantiate.d.mts

@@ -0,0 +1,15 @@
+import { type TSchema, type TSchemaOptions } from '../../types/schema.mjs';
+import { type TProperties } from '../../types/properties.mjs';
+import { type TNull } from '../../types/null.mjs';
+import { type TUndefined } from '../../types/undefined.mjs';
+import { type TUnion } from '../../types/union.mjs';
+import { type TExcludeInstantiate } from '../exclude/instantiate.mjs';
+import { type TNonNullableDeferred } from '../../action/non-nullable.mjs';
+import { type TState, type TInstantiateType, type TCanInstantiate } from '../instantiate.mjs';
+type TNonNullableAction<Type extends TSchema, Excluded extends TSchema = TUnion<[TNull, TUndefined]>> = TExcludeInstantiate<{}, {
+    callstack: [];
+}, Type, Excluded>;
+type TNonNullableImmediate<Context extends TProperties, State extends TState, Type extends TSchema, InstantiatedType extends TSchema = TInstantiateType<Context, State, Type>, Result extends TSchema = TNonNullableAction<InstantiatedType>> = Result;
+export type TNonNullableInstantiate<Context extends TProperties, State extends TState, Type extends TSchema> = TCanInstantiate<Context, [Type]> extends true ? TNonNullableImmediate<Context, State, Type> : TNonNullableDeferred<Type>;
+export declare function NonNullableInstantiate<Context extends TProperties, State extends TState, Type extends TSchema>(context: Context, state: State, type: Type, options: TSchemaOptions): TNonNullableInstantiate<Context, State, Type>;
+export {};

package/build/type/engine/non-nullable/instantiate.mjs

@@ -0,0 +1,21 @@
+// deno-fmt-ignore-file
+import { Memory } from '../../../system/memory/index.mjs';
+import { Null } from '../../types/null.mjs';
+import { Undefined } from '../../types/undefined.mjs';
+import { Union } from '../../types/union.mjs';
+import { ExcludeInstantiate } from '../exclude/instantiate.mjs';
+import { NonNullableDeferred } from '../../action/non-nullable.mjs';
+import { InstantiateType, CanInstantiate } from '../instantiate.mjs';
+function NonNullableAction(type) {
+    const excluded = Union([Null(), Undefined()]);
+    return ExcludeInstantiate({}, { callstack: [] }, type, excluded, {});
+}
+function NonNullableImmediate(context, state, type, options) {
+    const instantiatedType = InstantiateType(context, state, type);
+    return Memory.Update(NonNullableAction(instantiatedType), {}, options);
+}
+export function NonNullableInstantiate(context, state, type, options) {
+    return (CanInstantiate(context, [type])
+        ? NonNullableImmediate(context, state, type, options)
+        : NonNullableDeferred(type, options));
+}

package/build/type/engine/object/collapse.d.mts

@@ -0,0 +1,12 @@
+import { type TSchema } from '../../types/schema.mjs';
+import { type TProperties } from '../../types/properties.mjs';
+import { type TObject } from '../../types/object.mjs';
+import { type TFromType } from './from-type.mjs';
+export type TCollapseToObject<Type extends TSchema, Properties extends TProperties = TFromType<Type>, Result extends TSchema = TObject<Properties>> = Result;
+/**
+ * Collapses a type into a TObject schema. This is a lossy fast path used to
+ * normalize arbitrary TSchema types into a TObject structure. This function is
+ * primarily used in indexing operations where a normalized object structure
+ * is required. If the type cannot be collapsed, an empty object schema is returned.
+ */
+export declare function CollapseToObject<Type extends TSchema>(type: Type): TCollapseToObject<Type>;

package/build/type/engine/object/collapse.mjs

@@ -0,0 +1,14 @@
+// deno-fmt-ignore-file
+import { Object } from '../../types/object.mjs';
+import { FromType } from './from-type.mjs';
+/**
+ * Collapses a type into a TObject schema. This is a lossy fast path used to
+ * normalize arbitrary TSchema types into a TObject structure. This function is
+ * primarily used in indexing operations where a normalized object structure
+ * is required. If the type cannot be collapsed, an empty object schema is returned.
+ */
+export function CollapseToObject(type) {
+    const properties = FromType(type);
+    const result = Object(properties);
+    return result;
+}

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

@@ -0,0 +1,6 @@
+import { type TSchema } from '../../types/schema.mjs';
+import { type TProperties } from '../../types/properties.mjs';
+import { type TFromType } from './from-type.mjs';
+import { type TCyclicTarget } from '../cyclic/target.mjs';
+export type TFromCyclic<Defs extends TProperties, Ref extends string, Target extends TSchema = TCyclicTarget<Defs, Ref>, Result extends TProperties = TFromType<Target>> = Result;
+export declare function FromCyclic<Defs extends TProperties, Ref extends string>(defs: Defs, ref: Ref): TFromCyclic<Defs, Ref>;