@depup/typebox 1.1.6-depup.0

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>;

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

@@ -0,0 +1,8 @@
+// deno-fmt-ignore-file
+import { FromType } from './from-type.mjs';
+import { CyclicTarget } from '../cyclic/target.mjs';
+export function FromCyclic(defs, ref) {
+    const target = CyclicTarget(defs, ref);
+    const result = FromType(target);
+    return result;
+}

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

@@ -0,0 +1,17 @@
+import { Memory } from '../../../system/memory/index.mjs';
+import { type TSchema } from '../../types/schema.mjs';
+import { type TProperties } from '../../types/properties.mjs';
+import { type TFromType } from './from-type.mjs';
+import { type TEvaluateIntersect } from '../evaluate/evaluate.mjs';
+type TCollapseIntersectProperties<Left extends TProperties, Right extends TProperties, LeftKeys extends keyof Left = Exclude<keyof Left, keyof Right>, RightKeys extends keyof Right = Exclude<keyof Right, keyof Left>, SharedKeys extends keyof Left & keyof Right = Extract<keyof Left, keyof Right>, LeftProperties extends TProperties = {
+    [Key in LeftKeys]: Left[Key];
+}, RightProperties extends TProperties = {
+    [Key in RightKeys]: Right[Key];
+}, SharedProperties extends TProperties = {
+    [Key in SharedKeys]: TEvaluateIntersect<[Left[Key], Right[Key]]>;
+}, Unique extends TProperties = Memory.TAssign<LeftProperties, RightProperties>, Shared extends TProperties = Memory.TAssign<Unique, SharedProperties>> = Shared;
+export type TFromIntersect<Types extends TSchema[], Result extends TProperties = {}> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TFromIntersect<Right, TCollapseIntersectProperties<Result, TFromType<Left>>> : {
+    [Key in keyof Result]: Result[Key];
+});
+export declare function FromIntersect<Types extends TSchema[]>(types: [...Types]): TFromIntersect<Types>;
+export {};

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

@@ -0,0 +1,21 @@
+// deno-fmt-ignore-file
+import { Memory } from '../../../system/memory/index.mjs';
+import { Guard } from '../../../guard/index.mjs';
+import { FromType } from './from-type.mjs';
+import { EvaluateIntersect } from '../evaluate/evaluate.mjs';
+function CollapseIntersectProperties(left, right) {
+    const leftKeys = Guard.Keys(left).filter((key) => !Guard.HasPropertyKey(right, key));
+    const rightKeys = Guard.Keys(right).filter((key) => !Guard.HasPropertyKey(left, key));
+    const sharedKeys = Guard.Keys(left).filter((key) => Guard.HasPropertyKey(right, key));
+    const leftProperties = leftKeys.reduce((result, key) => ({ ...result, [key]: left[key] }), {});
+    const rightProperties = rightKeys.reduce((result, key) => ({ ...result, [key]: right[key] }), {});
+    const sharedProperties = sharedKeys.reduce((result, key) => ({ ...result, [key]: EvaluateIntersect([left[key], right[key]]) }), {});
+    const unique = Memory.Assign(leftProperties, rightProperties);
+    const shared = Memory.Assign(unique, sharedProperties);
+    return shared;
+}
+export function FromIntersect(types) {
+    return types.reduce((result, left) => {
+        return CollapseIntersectProperties(result, FromType(left));
+    }, {});
+}

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

@@ -0,0 +1,3 @@
+import { type TProperties } from '../../types/properties.mjs';
+export type TFromObject<Properties extends TProperties> = (Properties);
+export declare function FromObject<Properties extends TProperties>(properties: Properties): TFromObject<Properties>;

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

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

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

@@ -0,0 +1,6 @@
+import { type TSchema } from '../../types/schema.mjs';
+import { type TTuple } from '../../types/tuple.mjs';
+import { type TTupleToObject } from '../tuple/to-object.mjs';
+import { type TFromType } from './from-type.mjs';
+export type TFromTuple<Types extends TSchema[], Object extends TSchema = TTupleToObject<TTuple<Types>>, Result extends TSchema = TFromType<Object>> = Result;
+export declare function FromTuple<Types extends TSchema[]>(types: [...Types]): TFromTuple<Types>;

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

@@ -0,0 +1,9 @@
+// deno-fmt-ignore-file
+import { Tuple } from '../../types/tuple.mjs';
+import { TupleToObject } from '../tuple/to-object.mjs';
+import { FromType } from './from-type.mjs';
+export function FromTuple(types) {
+    const object = TupleToObject(Tuple(types));
+    const result = FromType(object);
+    return result;
+}

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

@@ -0,0 +1,14 @@
+import { type TSchema } from '../../types/schema.mjs';
+import { type TCyclic } from '../../types/cyclic.mjs';
+import { type TIntersect } from '../../types/intersect.mjs';
+import { type TProperties } from '../../types/properties.mjs';
+import { type TObject } from '../../types/object.mjs';
+import { type TTuple } from '../../types/tuple.mjs';
+import { type TUnion } from '../../types/union.mjs';
+import { type TFromCyclic } from './from-cyclic.mjs';
+import { type TFromIntersect } from './from-intersect.mjs';
+import { type TFromObject } from './from-object.mjs';
+import { type TFromTuple } from './from-tuple.mjs';
+import { type TFromUnion } from './from-union.mjs';
+export type TFromType<Type extends TSchema, Result extends TProperties = (Type extends TCyclic<infer Defs extends TProperties, infer Ref extends string> ? TFromCyclic<Defs, Ref> : 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 TObject<infer Properties extends TProperties> ? TFromObject<Properties> : {})> = Result;
+export declare function FromType<Type extends TSchema>(type: Type): TFromType<Type>;

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

@@ -0,0 +1,19 @@
+// deno-fmt-ignore-file
+import { IsCyclic } from '../../types/cyclic.mjs';
+import { IsIntersect } from '../../types/intersect.mjs';
+import { IsObject } from '../../types/object.mjs';
+import { IsTuple } from '../../types/tuple.mjs';
+import { IsUnion } from '../../types/union.mjs';
+import { FromCyclic } from './from-cyclic.mjs';
+import { FromIntersect } from './from-intersect.mjs';
+import { FromObject } from './from-object.mjs';
+import { FromTuple } from './from-tuple.mjs';
+import { FromUnion } from './from-union.mjs';
+export function FromType(type) {
+    return (IsCyclic(type) ? FromCyclic(type.$defs, type.$ref) :
+        IsIntersect(type) ? FromIntersect(type.allOf) :
+            IsUnion(type) ? FromUnion(type.anyOf) :
+                IsTuple(type) ? FromTuple(type.items) :
+                    IsObject(type) ? FromObject(type.properties) :
+                        {});
+}

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

@@ -0,0 +1,12 @@
+import { type TUnreachable } from '../../../system/unreachable/index.mjs';
+import { type TSchema } from '../../types/schema.mjs';
+import { type TProperties } from '../../types/properties.mjs';
+import { type TEvaluateUnion } from '../evaluate/evaluate.mjs';
+import { type TFromType } from './from-type.mjs';
+type TCollapseUnionProperties<Left extends TProperties, Right extends TProperties, SharedKeys extends PropertyKey = keyof Left & keyof Right, Result extends TProperties = {
+    [Key in SharedKeys]: TEvaluateUnion<[Left[Key], Right[Key]]>;
+}> = Result;
+type TReduceVariants<Types extends TSchema[], Result extends TProperties> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TReduceVariants<Right, TCollapseUnionProperties<Result, TFromType<Left>>> : Result);
+export type TFromUnion<Types extends TSchema[]> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TReduceVariants<Right, TFromType<Left>> : TUnreachable);
+export declare function FromUnion<Types extends TSchema[]>(types: [...Types]): TFromUnion<Types>;
+export {};

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

@@ -0,0 +1,26 @@
+// deno-fmt-ignore-file
+import { Unreachable } from '../../../system/unreachable/index.mjs';
+import { Guard } from '../../../guard/index.mjs';
+import { IsSchema } from '../../types/schema.mjs';
+import { EvaluateUnion } from '../evaluate/evaluate.mjs';
+import { FromType } from './from-type.mjs';
+function CollapseUnionProperties(left, right) {
+    const sharedKeys = Guard.Keys(left).filter((key) => key in right);
+    const result = sharedKeys.reduce((result, key) => {
+        return { ...result, [key]: EvaluateUnion([left[key], right[key]]) };
+    }, {});
+    return result;
+}
+function ReduceVariants(types, result) {
+    const [left, ...right] = types;
+    return (IsSchema(left)
+        ? ReduceVariants(right, CollapseUnionProperties(result, FromType(left)))
+        : result);
+}
+export function FromUnion(types) {
+    const [left, ...right] = types;
+    return (IsSchema(left)
+        ? ReduceVariants(right, FromType(left))
+        : Unreachable());
+}
+// deno-coverage-ignore-stop

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

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

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

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

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

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

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

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

package/build/type/engine/omit/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 TToIndexableKeys } from '../indexable/to-indexable-keys.mjs';
+import { type TToIndexable } from '../indexable/to-indexable.mjs';
+import { type TOmitDeferred } from '../../action/omit.mjs';
+import { type TState, type TInstantiateType, type TCanInstantiate } from '../instantiate.mjs';
+type TNormalKeys<Keys extends string[], UnionKeys extends string = Keys[number], Result extends string | number = (UnionKeys extends `${infer Value extends number}` ? UnionKeys | Value : UnionKeys)> = Result;
+type TFromKeys<Properties extends TProperties, Keys extends string[], Omitted extends TProperties = Omit<Properties, TNormalKeys<Keys>>, Result extends TProperties = {
+    [Key in keyof Omitted]: Omitted[Key];
+}> = Result;
+type TOmitAction<Type extends TSchema, Indexer extends TSchema, Indexable extends TProperties = TToIndexable<Type>, IndexableKeys extends string[] = TToIndexableKeys<Indexer>, Omitted extends TProperties = TFromKeys<Indexable, IndexableKeys>, Result extends TSchema = TObject<Omitted>> = Result;
+type TOmitImmediate<Context extends TProperties, State extends TState, Type extends TSchema, Indexer extends TSchema, InstantiatedType extends TSchema = TInstantiateType<Context, State, Type>, InstantiatedIndexer extends TSchema = TInstantiateType<Context, State, Indexer>, Result extends TSchema = TOmitAction<InstantiatedType, InstantiatedIndexer>> = Result;
+export type TOmitInstantiate<Context extends TProperties, State extends TState, Type extends TSchema, Indexer extends TSchema> = TCanInstantiate<Context, [Type, Indexer]> extends true ? TOmitImmediate<Context, State, Type, Indexer> : TOmitDeferred<Type, Indexer>;
+export declare function OmitInstantiate<Context extends TProperties, State extends TState, Type extends TSchema, Indexer extends TSchema>(context: Context, state: State, type: Type, indexer: Indexer, options: TSchemaOptions): TOmitInstantiate<Context, State, Type, Indexer>;
+export {};

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

@@ -0,0 +1,31 @@
+// deno-fmt-ignore-file
+import { Memory } from '../../../system/memory/index.mjs';
+import { Guard } from '../../../guard/index.mjs';
+import { Object } from '../../types/object.mjs';
+import { ToIndexableKeys } from '../indexable/to-indexable-keys.mjs';
+import { ToIndexable } from '../indexable/to-indexable.mjs';
+import { OmitDeferred } from '../../action/omit.mjs';
+import { InstantiateType, CanInstantiate } from '../instantiate.mjs';
+function FromKeys(properties, keys) {
+    const result = Guard.Keys(properties).reduce((result, key) => {
+        return keys.includes(key) ? result : { ...result, [key]: properties[key] };
+    }, {});
+    return result;
+}
+function OmitAction(type, indexer) {
+    const indexable = ToIndexable(type);
+    const indexableKeys = ToIndexableKeys(indexer);
+    const omitted = FromKeys(indexable, indexableKeys);
+    const result = Object(omitted);
+    return result;
+}
+function OmitImmediate(context, state, type, indexer, options) {
+    const instantiatedType = InstantiateType(context, state, type);
+    const instantiatedIndexer = InstantiateType(context, state, indexer);
+    return Memory.Update(OmitAction(instantiatedType, instantiatedIndexer), {}, options);
+}
+export function OmitInstantiate(context, state, type, indexer, options) {
+    return (CanInstantiate(context, [type, indexer])
+        ? OmitImmediate(context, state, type, indexer, options)
+        : OmitDeferred(type, indexer, options));
+}

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

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

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

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

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

@@ -0,0 +1,8 @@
+import { type TProperties } from '../../types/properties.mjs';
+import { type TSchema } from '../../types/schema.mjs';
+import { type TState, type TInstantiateType, TCanInstantiate } from '../instantiate.mjs';
+import { type TOptionsDeferred, type TOptions } from '../../action/options.mjs';
+type TOptionsImmediate<Context extends TProperties, State extends TState, Type extends TSchema, Options extends TSchema, InstantiatedType extends TSchema = TInstantiateType<Context, State, Type>, Result extends TSchema = TOptions<InstantiatedType, Options>> = Result;
+export type TOptionsInstantiate<Context extends TProperties, State extends TState, Type extends TSchema, Options extends TSchema> = TCanInstantiate<Context, [Type]> extends true ? TOptionsImmediate<Context, State, Type, Options> : TOptionsDeferred<Type, Options>;
+export declare function OptionsInstantiate<Context extends TProperties, State extends TState, Type extends TSchema, Options extends TSchema>(context: Context, state: State, type: Type, options: Options): TOptionsInstantiate<Context, State, Type, Options>;
+export {};

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

@@ -0,0 +1,13 @@
+// deno-fmt-ignore-file
+import { Memory } from '../../../system/memory/index.mjs';
+import { CanInstantiate, InstantiateType } from '../instantiate.mjs';
+import { OptionsDeferred } from '../../action/options.mjs';
+function OptionsImmediate(context, state, type, options) {
+    const instaniatedType = InstantiateType(context, state, type);
+    return Memory.Update(instaniatedType, {}, options);
+}
+export function OptionsInstantiate(context, state, type, options) {
+    return (CanInstantiate(context, [type])
+        ? OptionsImmediate(context, state, type, options)
+        : OptionsDeferred(type, options));
+}

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

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

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

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

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

@@ -0,0 +1,14 @@
+import { type TSchema, type TSchemaOptions } from '../../types/schema.mjs';
+import { type TProperties } from '../../types/properties.mjs';
+import { type TFunction } from '../../types/function.mjs';
+import { type TNever } from '../../types/never.mjs';
+import { type TTuple } from '../../types/tuple.mjs';
+import { type TParametersDeferred } from '../../action/parameters.mjs';
+import { type TState, type TInstantiateType, type TCanInstantiate } from '../instantiate.mjs';
+type TParametersAction<Type extends TSchema> = (Type extends TFunction<infer Parameters extends TSchema[], infer _ extends TSchema> ? TInstantiateType<{}, {
+    callstack: [];
+}, TTuple<Parameters>> : TNever);
+type TParametersImmediate<Context extends TProperties, State extends TState, Type extends TSchema, InstantatedType extends TSchema = TInstantiateType<Context, State, Type>> = TParametersAction<InstantatedType>;
+export type TParametersInstantiate<Context extends TProperties, State extends TState, Type extends TSchema> = (TCanInstantiate<Context, [Type]> extends true ? TParametersImmediate<Context, State, Type> : TParametersDeferred<Type>);
+export declare function ParametersInstantiate<Context extends TProperties, State extends TState, Type extends TSchema>(context: Context, state: State, type: Type, options: TSchemaOptions): TParametersInstantiate<Context, State, Type>;
+export {};

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

@@ -0,0 +1,21 @@
+// deno-fmt-ignore-file
+import { Memory } from '../../../system/memory/index.mjs';
+import { IsFunction } from '../../types/function.mjs';
+import { Never } from '../../types/never.mjs';
+import { Tuple } from '../../types/tuple.mjs';
+import { ParametersDeferred } from '../../action/parameters.mjs';
+import { InstantiateType, CanInstantiate } from '../instantiate.mjs';
+function ParametersAction(type) {
+    return (IsFunction(type)
+        ? InstantiateType({}, { callstack: [] }, Tuple(type.parameters)) // spread-rest
+        : Never());
+}
+function ParametersImmediate(context, state, type, options) {
+    const instantiatedType = InstantiateType(context, state, type);
+    return Memory.Update(ParametersAction(instantiatedType), {}, options);
+}
+export function ParametersInstantiate(context, state, type, options) {
+    return (CanInstantiate(context, [type])
+        ? ParametersImmediate(context, state, type, options)
+        : ParametersDeferred(type, options));
+}

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

@@ -0,0 +1,10 @@
+import { Memory } from '../../../system/memory/index.mjs';
+import { type TSchema } from '../../types/schema.mjs';
+import { type TCyclic } from '../../types/cyclic.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>, Partial extends TSchema = TFromType<Target>, Result extends TSchema = TCyclic<Memory.TAssign<Defs, {
+    [_ in Ref]: Partial;
+}>, Ref>> = Result;
+export declare function FromCyclic<Defs extends TProperties, Ref extends string>(defs: Defs, ref: Ref): TFromCyclic<Defs, Ref>;

package/build/type/engine/partial/from-cyclic.mjs

@@ -0,0 +1,11 @@
+// deno-fmt-ignore-file
+import { Memory } from '../../../system/memory/index.mjs';
+import { Cyclic } from '../../types/cyclic.mjs';
+import { FromType } from './from-type.mjs';
+import { CyclicTarget } from '../cyclic/target.mjs';
+export function FromCyclic(defs, ref) {
+    const target = CyclicTarget(defs, ref);
+    const partial = FromType(target);
+    const result = Cyclic(Memory.Assign(defs, { [ref]: partial }), ref);
+    return result;
+}

package/build/type/engine/partial/from-intersect.d.mts

@@ -0,0 +1,5 @@
+import { type TSchema } from '../../types/schema.mjs';
+import { type TFromType } from './from-type.mjs';
+import { type TEvaluateIntersect } from '../evaluate/evaluate.mjs';
+export type TFromIntersect<Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TFromIntersect<Right, [...Result, TFromType<Left>]> : TEvaluateIntersect<Result>);
+export declare function FromIntersect<Types extends TSchema[]>(types: [...Types]): TFromIntersect<Types>;