typebox 1.0.33 → 1.0.35

package/build/cjs/type/engine/call/resolve-target.js

@@ -1,30 +0,0 @@
-"use strict";
-// deno-fmt-ignore-file
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ResolveTarget = ResolveTarget;
-const generic_1 = require("../../types/generic");
-const ref_1 = require("../../types/ref");
-const never_1 = require("../../types/never");
-function FromNotResolvable() {
-    return ['(not-resolvable)', (0, never_1.Never)()];
-}
-function FromNotGeneric() {
-    return ['(not-generic)', (0, never_1.Never)()];
-}
-function FromGeneric(name, parameters, expression) {
-    return [name, (0, generic_1.Generic)(parameters, expression)];
-}
-function FromRef(context, ref, arguments_) {
-    return (ref in context
-        ? FromType(context, ref, context[ref], arguments_)
-        : FromNotResolvable());
-}
-function FromType(context, name, target, arguments_) {
-    return ((0, generic_1.IsGeneric)(target) ? FromGeneric(name, target.parameters, target.expression) :
-        (0, ref_1.IsRef)(target) ? FromRef(context, target.$ref, arguments_) :
-            FromNotGeneric());
-}
-/** Resolves a named generic target from the context, or returns TNever if it cannot be resolved or is not generic. */
-function ResolveTarget(context, target, arguments_) {
-    return FromType(context, '(anonymous)', target, arguments_);
-}

package/build/cjs/type/engine/conditional/index.d.ts

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

package/build/cjs/type/engine/conditional/index.js

@@ -1,17 +0,0 @@
-"use strict";
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    var desc = Object.getOwnPropertyDescriptor(m, k);
-    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
-      desc = { enumerable: true, get: function() { return m[k]; } };
-    }
-    Object.defineProperty(o, k2, desc);
-}) : (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    o[k2] = m[k];
-}));
-var __exportStar = (this && this.__exportStar) || function(m, exports) {
-    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-__exportStar(require("./instantiate"), exports);

package/build/cjs/type/engine/conditional/instantiate.d.ts

@@ -1,10 +0,0 @@
-import { type TSchema, type TSchemaOptions } from '../../types/schema';
-import { type TUnion } from '../../types/union';
-import { type TProperties } from '../../types/properties';
-import { type TExtends, ExtendsResult } from '../../extends/index';
-import { type TState, type TInstantiateType, type TCanInstantiate } from '../instantiate';
-import { type TConditionalDeferred } from '../../action/conditional';
-type TConditionalImmediate<Context extends TProperties, State extends TState, Left extends TSchema, Right extends TSchema, True extends TSchema, False extends TSchema, InstaniatedLeft extends TSchema = TInstantiateType<Context, State, Left>, InstaniatedRight extends TSchema = TInstantiateType<Context, State, Right>, ExtendsResult extends ExtendsResult.TResult = TExtends<Context, InstaniatedLeft, InstaniatedRight>> = (ExtendsResult extends ExtendsResult.TExtendsUnion<infer InferredContext extends TProperties> ? TUnion<[TInstantiateType<InferredContext, State, True>, TInstantiateType<Context, State, False>]> : ExtendsResult extends ExtendsResult.TExtendsTrue<infer InferredContext extends TProperties> ? TInstantiateType<InferredContext, State, True> : TInstantiateType<Context, State, False>);
-export type TConditionalInstantiate<Context extends TProperties, State extends TState, Left extends TSchema, Right extends TSchema, True extends TSchema, False extends TSchema> = TCanInstantiate<Context, [Left, Right]> extends true ? TConditionalImmediate<Context, State, Left, Right, True, False> : TConditionalDeferred<Left, Right, True, False>;
-export declare function ConditionalInstantiate<Context extends TProperties, State extends TState, Left extends TSchema, Right extends TSchema, True extends TSchema, False extends TSchema>(context: Context, state: State, left: Left, right: Right, true_: True, false_: False, options: TSchemaOptions): TConditionalInstantiate<Context, State, Left, Right, True, False>;
-export {};

package/build/cjs/type/engine/conditional/instantiate.js

@@ -1,22 +0,0 @@
-"use strict";
-// deno-fmt-ignore-file
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ConditionalInstantiate = ConditionalInstantiate;
-const index_1 = require("../../../system/memory/index");
-const union_1 = require("../../types/union");
-const index_2 = require("../../extends/index");
-const instantiate_1 = require("../instantiate");
-const conditional_1 = require("../../action/conditional");
-function ConditionalImmediate(context, state, left, right, true_, false_, options) {
-    const instantiatedLeft = (0, instantiate_1.InstantiateType)(context, state, left);
-    const instantiatedRight = (0, instantiate_1.InstantiateType)(context, state, right);
-    const extendsResult = (0, index_2.Extends)(context, instantiatedLeft, instantiatedRight);
-    return index_1.Memory.Update((index_2.ExtendsResult.IsExtendsUnion(extendsResult) ? (0, union_1.Union)([(0, instantiate_1.InstantiateType)(extendsResult.inferred, state, true_), (0, instantiate_1.InstantiateType)(context, state, false_)]) :
-        index_2.ExtendsResult.IsExtendsTrue(extendsResult) ? (0, instantiate_1.InstantiateType)(extendsResult.inferred, state, true_) :
-            (0, instantiate_1.InstantiateType)(context, state, false_)), {}, options);
-}
-function ConditionalInstantiate(context, state, left, right, true_, false_, options) {
-    return ((0, instantiate_1.CanInstantiate)(context, [left, right])
-        ? ConditionalImmediate(context, state, left, right, true_, false_, options)
-        : (0, conditional_1.ConditionalDeferred)(left, right, true_, false_, options));
-}

package/build/cjs/type/engine/constructor-parameters/index.d.ts

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

package/build/cjs/type/engine/constructor-parameters/index.js

@@ -1,17 +0,0 @@
-"use strict";
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    var desc = Object.getOwnPropertyDescriptor(m, k);
-    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
-      desc = { enumerable: true, get: function() { return m[k]; } };
-    }
-    Object.defineProperty(o, k2, desc);
-}) : (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    o[k2] = m[k];
-}));
-var __exportStar = (this && this.__exportStar) || function(m, exports) {
-    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-__exportStar(require("./instantiate"), exports);

package/build/cjs/type/engine/constructor-parameters/instantiate.d.ts

@@ -1,14 +0,0 @@
-import { type TSchema, type TSchemaOptions } from '../../types/schema';
-import { type TProperties } from '../../types/properties';
-import { type TConstructor } from '../../types/constructor';
-import { type TNever } from '../../types/never';
-import { type TTuple } from '../../types/tuple';
-import { type TConstructorParametersDeferred } from '../../action/constructor-parameters';
-import { type TState, type TInstantiateType, type TCanInstantiate } from '../instantiate';
-type TConstructorParametersAction<Type extends TSchema> = (Type extends TConstructor<infer Parameters extends TSchema[], infer _ extends TSchema> ? TInstantiateType<{}, {
-    callstack: [];
-}, TTuple<Parameters>> : TNever);
-type TConstructorParametersImmediate<Context extends TProperties, State extends TState, Type extends TSchema, InstantiatedType extends TSchema = TInstantiateType<Context, State, Type>> = TConstructorParametersAction<InstantiatedType>;
-export type TConstructorParametersInstantiate<Context extends TProperties, State extends TState, Type extends TSchema> = TCanInstantiate<Context, [Type]> extends true ? TConstructorParametersImmediate<Context, State, Type> : TConstructorParametersDeferred<Type>;
-export declare function ConstructorParametersInstantiate<Context extends TProperties, State extends TState, Type extends TSchema>(context: Context, state: State, type: Type, options: TSchemaOptions): TConstructorParametersInstantiate<Context, State, Type>;
-export {};

package/build/cjs/type/engine/constructor-parameters/instantiate.js

@@ -1,24 +0,0 @@
-"use strict";
-// deno-fmt-ignore-file
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ConstructorParametersInstantiate = ConstructorParametersInstantiate;
-const index_1 = require("../../../system/memory/index");
-const constructor_1 = require("../../types/constructor");
-const never_1 = require("../../types/never");
-const tuple_1 = require("../../types/tuple");
-const constructor_parameters_1 = require("../../action/constructor-parameters");
-const instantiate_1 = require("../instantiate");
-function ConstructorParametersAction(type) {
-    return ((0, constructor_1.IsConstructor)(type)
-        ? (0, instantiate_1.InstantiateType)({}, { callstack: [] }, (0, tuple_1.Tuple)(type.parameters))
-        : (0, never_1.Never)());
-}
-function ConstructorParametersImmediate(context, state, type, options) {
-    const instantiatedType = (0, instantiate_1.InstantiateType)(context, state, type);
-    return index_1.Memory.Update(ConstructorParametersAction(instantiatedType), {}, options);
-}
-function ConstructorParametersInstantiate(context, state, type, options) {
-    return ((0, instantiate_1.CanInstantiate)(context, [type])
-        ? ConstructorParametersImmediate(context, state, type, options)
-        : (0, constructor_parameters_1.ConstructorParametersDeferred)(type, options));
-}

package/build/cjs/type/engine/cyclic/candidates.d.ts

@@ -1,9 +0,0 @@
-import { type TUnreachable } from '../../../system/unreachable/index';
-import { type TProperties, TPropertyKeys } from '../../types/properties';
-import { type TCyclicCheck } from './check';
-type TResolveCandidateKeys<Context extends TProperties, Keys extends string[], Result extends string[] = []> = (Keys extends [infer Left extends string, ...infer Right extends string[]] ? Left extends keyof Context ? TCyclicCheck<[Left], Context, Context[Left]> extends true ? TResolveCandidateKeys<Context, Right, [...Result, Left]> : TResolveCandidateKeys<Context, Right, Result> : TUnreachable : Result);
-/** Returns keys for context types that need to be transformed to TCyclic. */
-export type TCyclicCandidates<Context extends TProperties, Keys extends string[] = TPropertyKeys<Context>, Result extends string[] = TResolveCandidateKeys<Context, Keys>> = Result;
-/** Returns keys for context types that need to be transformed to TCyclic. */
-export declare function CyclicCandidates<Context extends TProperties>(context: Context): TCyclicCandidates<Context>;
-export {};

package/build/cjs/type/engine/cyclic/candidates.js

@@ -1,22 +0,0 @@
-"use strict";
-// deno-fmt-ignore-file
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.CyclicCandidates = CyclicCandidates;
-const index_1 = require("../../../system/unreachable/index");
-const properties_1 = require("../../types/properties");
-const check_1 = require("./check");
-function ResolveCandidateKeys(context, keys) {
-    return keys.reduce((result, left) => {
-        return left in context
-            ? (0, check_1.CyclicCheck)([left], context, context[left])
-                ? [...result, left]
-                : result
-            : (0, index_1.Unreachable)();
-    }, []);
-}
-/** Returns keys for context types that need to be transformed to TCyclic. */
-function CyclicCandidates(context) {
-    const keys = (0, properties_1.PropertyKeys)(context);
-    const result = ResolveCandidateKeys(context, keys);
-    return result;
-}

package/build/cjs/type/engine/cyclic/check.d.ts

@@ -1,24 +0,0 @@
-import { type TSchema } from '../../types/schema';
-import { type TArray } from '../../types/array';
-import { type TAsyncIterator } from '../../types/async-iterator';
-import { type TConstructor } from '../../types/constructor';
-import { type TFunction } from '../../types/function';
-import { type TIntersect } from '../../types/intersect';
-import { type TIterator } from '../../types/iterator';
-import { type TObject } from '../../types/object';
-import { type TPromise } from '../../types/promise';
-import { type TProperties, type TPropertyValues } from '../../types/properties';
-import { type TRecord } from '../../types/record';
-import { type TTuple } from '../../types/tuple';
-import { type TUnion } from '../../types/union';
-import { type TRef } from '../../types/ref';
-import { type TInterfaceDeferred } from '../../action/interface';
-type TFromRef<Stack extends string[], Context extends TProperties, Ref extends string> = Ref extends Stack[number] ? true : TFromType<[...Stack, Ref], Context, Context[Ref]>;
-type TFromProperties<Stack extends string[], Context extends TProperties, Properties extends TProperties, Types extends TSchema[] = TPropertyValues<Properties>> = TFromTypes<Stack, Context, Types>;
-type TFromTypes<Stack extends string[], Context extends TProperties, Types extends TSchema[]> = Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TFromType<Stack, Context, Left> extends true ? true : TFromTypes<Stack, Context, Right> : false;
-type TFromType<Stack extends string[], Context extends TProperties, Type extends TSchema> = (Type extends TRef<infer Ref extends string> ? TFromRef<Stack, Context, Ref> : Type extends TArray<infer Type extends TSchema> ? TFromType<Stack, Context, Type> : Type extends TAsyncIterator<infer Type extends TSchema> ? TFromType<Stack, Context, Type> : Type extends TConstructor<infer Parameters extends TSchema[], infer InstanceType extends TSchema> ? TFromTypes<Stack, Context, [...Parameters, InstanceType]> : Type extends TFunction<infer Parameters extends TSchema[], infer ReturnType extends TSchema> ? TFromTypes<Stack, Context, [...Parameters, ReturnType]> : Type extends TInterfaceDeferred<TSchema[], infer Properties extends TProperties> ? TFromProperties<Stack, Context, Properties> : Type extends TIntersect<infer Types extends TSchema[]> ? TFromTypes<Stack, Context, Types> : Type extends TIterator<infer Type extends TSchema> ? TFromType<Stack, Context, Type> : Type extends TObject<infer Properties extends TProperties> ? TFromProperties<Stack, Context, Properties> : Type extends TPromise<infer Type extends TSchema> ? TFromType<Stack, Context, Type> : Type extends TUnion<infer Types extends TSchema[]> ? TFromTypes<Stack, Context, Types> : Type extends TTuple<infer Types extends TSchema[]> ? TFromTypes<Stack, Context, Types> : Type extends TRecord<string, infer Type extends TSchema> ? TFromType<Stack, Context, Type> : false);
-/** Performs a cyclic check on the given type. Initial key stack can be empty, but faster if specified */
-export type TCyclicCheck<Stack extends string[], Context extends TProperties, Type extends TSchema, Result extends boolean = TFromType<Stack, Context, Type>> = Result;
-/** Performs a cyclic check on the given type. Initial key stack can be empty, but faster if specified */
-export declare function CyclicCheck<Stack extends string[], Context extends TProperties, Type extends TSchema>(stack: [...Stack], context: Context, type: Type): TCyclicCheck<Stack, Context, Type>;
-export {};

package/build/cjs/type/engine/cyclic/check.js

@@ -1,57 +0,0 @@
-"use strict";
-// deno-fmt-ignore-file
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.CyclicCheck = CyclicCheck;
-const schema_1 = require("../../types/schema");
-const array_1 = require("../../types/array");
-const async_iterator_1 = require("../../types/async-iterator");
-const constructor_1 = require("../../types/constructor");
-const function_1 = require("../../types/function");
-const intersect_1 = require("../../types/intersect");
-const iterator_1 = require("../../types/iterator");
-const object_1 = require("../../types/object");
-const promise_1 = require("../../types/promise");
-const properties_1 = require("../../types/properties");
-const record_1 = require("../../types/record");
-const tuple_1 = require("../../types/tuple");
-const union_1 = require("../../types/union");
-const ref_1 = require("../../types/ref");
-const interface_1 = require("../../action/interface");
-function FromRef(stack, context, ref) {
-    return (stack.includes(ref)
-        ? true
-        : FromType([...stack, ref], context, context[ref]));
-}
-function FromProperties(stack, context, properties) {
-    const types = (0, properties_1.PropertyValues)(properties);
-    return FromTypes(stack, context, types);
-}
-function FromTypes(stack, context, types) {
-    const [left, ...right] = types;
-    return ((0, schema_1.IsSchema)(left)
-        ? FromType(stack, context, left)
-            ? true
-            : FromTypes(stack, context, right)
-        : false);
-}
-function FromType(stack, context, type) {
-    return ((0, ref_1.IsRef)(type) ? FromRef(stack, context, type.$ref) :
-        (0, array_1.IsArray)(type) ? FromType(stack, context, type.items) :
-            (0, async_iterator_1.IsAsyncIterator)(type) ? FromType(stack, context, type.iteratorItems) :
-                (0, constructor_1.IsConstructor)(type) ? FromTypes(stack, context, [...type.parameters, type.instanceType]) :
-                    (0, function_1.IsFunction)(type) ? FromTypes(stack, context, [...type.parameters, type.returnType]) :
-                        (0, interface_1.IsInterfaceDeferred)(type) ? FromProperties(stack, context, type.parameters[1]) :
-                            (0, intersect_1.IsIntersect)(type) ? FromTypes(stack, context, type.allOf) :
-                                (0, iterator_1.IsIterator)(type) ? FromType(stack, context, type.iteratorItems) :
-                                    (0, object_1.IsObject)(type) ? FromProperties(stack, context, type.properties) :
-                                        (0, promise_1.IsPromise)(type) ? FromType(stack, context, type.item) :
-                                            (0, union_1.IsUnion)(type) ? FromTypes(stack, context, type.anyOf) :
-                                                (0, tuple_1.IsTuple)(type) ? FromTypes(stack, context, type.items) :
-                                                    (0, record_1.IsRecord)(type) ? FromType(stack, context, (0, record_1.RecordValue)(type)) :
-                                                        false);
-}
-/** Performs a cyclic check on the given type. Initial key stack can be empty, but faster if specified */
-function CyclicCheck(stack, context, type) {
-    const result = FromType(stack, context, type);
-    return result;
-}

package/build/cjs/type/engine/cyclic/dependencies.d.ts

@@ -1,25 +0,0 @@
-import { type TUnreachable } from '../../../system/unreachable/index';
-import { type TSchema } from '../../types/schema';
-import { type TArray } from '../../types/array';
-import { type TAsyncIterator } from '../../types/async-iterator';
-import { type TConstructor } from '../../types/constructor';
-import { type TFunction } from '../../types/function';
-import { type TIntersect } from '../../types/intersect';
-import { type TIterator } from '../../types/iterator';
-import { type TObject } from '../../types/object';
-import { type TPromise } from '../../types/promise';
-import { type TProperties, type TPropertyValues } from '../../types/properties';
-import { type TRecord } from '../../types/record';
-import { type TTuple } from '../../types/tuple';
-import { type TUnion } from '../../types/union';
-import { type TRef } from '../../types/ref';
-import { type TInterfaceDeferred } from '../../action/interface';
-type TFromRef<Context extends TProperties, Ref extends string, Dependencies extends string[]> = Ref extends Dependencies[number] ? Dependencies : Ref extends keyof Context ? TFromType<Context, Context[Ref], [...Dependencies, Ref]> : TUnreachable;
-type TFromProperties<Context extends TProperties, Properties extends TProperties, Dependencies extends string[], Types extends TSchema[] = TPropertyValues<Properties>> = TFromTypes<Context, Types, Dependencies>;
-type TFromTypes<Context extends TProperties, Types extends TSchema[], Dependencies extends string[]> = Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TFromTypes<Context, Right, TFromType<Context, Left, Dependencies>> : Dependencies;
-type TFromType<Context extends TProperties, Type extends TSchema, Result extends string[]> = (Type extends TRef<infer Ref extends string> ? TFromRef<Context, Ref, Result> : Type extends TArray<infer Type extends TSchema> ? TFromType<Context, Type, Result> : Type extends TAsyncIterator<infer Type extends TSchema> ? TFromType<Context, Type, Result> : Type extends TConstructor<infer Parameters extends TSchema[], infer InstanceType extends TSchema> ? TFromTypes<Context, [...Parameters, InstanceType], Result> : Type extends TFunction<infer Parameters extends TSchema[], infer ReturnType extends TSchema> ? TFromTypes<Context, [...Parameters, ReturnType], Result> : Type extends TInterfaceDeferred<TSchema[], infer Properties extends TProperties> ? TFromProperties<Context, Properties, Result> : Type extends TIntersect<infer Types extends TSchema[]> ? TFromTypes<Context, Types, Result> : Type extends TIterator<infer Type extends TSchema> ? TFromType<Context, Type, Result> : Type extends TObject<infer Properties extends TProperties> ? TFromProperties<Context, Properties, Result> : Type extends TPromise<infer Type extends TSchema> ? TFromType<Context, Type, Result> : Type extends TUnion<infer Types extends TSchema[]> ? TFromTypes<Context, Types, Result> : Type extends TTuple<infer Types extends TSchema[]> ? TFromTypes<Context, Types, Result> : Type extends TRecord<string, infer Type extends TSchema> ? TFromType<Context, Type, Result> : Result);
-/** Returns dependent cyclic keys for the given type. This function is used to dead-type-eliminate (DTE) for initializing TCyclic types. */
-export type TCyclicDependencies<Context extends TProperties, Key extends string, Type extends TSchema, Result extends string[] = TFromType<Context, Type, [Key]>> = Result;
-/** Returns dependent cyclic keys for the given type. This function is used to dead-type-eliminate (DTE) for initializing TCyclic types. */
-export declare function CyclicDependencies<Context extends TProperties, Key extends string, Type extends TSchema>(context: Context, key: Key, type: Type): TCyclicDependencies<Context, Key, Type>;
-export {};

package/build/cjs/type/engine/cyclic/dependencies.js

@@ -1,56 +0,0 @@
-"use strict";
-// deno-fmt-ignore-file
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.CyclicDependencies = CyclicDependencies;
-const index_1 = require("../../../system/unreachable/index");
-const array_1 = require("../../types/array");
-const async_iterator_1 = require("../../types/async-iterator");
-const constructor_1 = require("../../types/constructor");
-const function_1 = require("../../types/function");
-const intersect_1 = require("../../types/intersect");
-const iterator_1 = require("../../types/iterator");
-const object_1 = require("../../types/object");
-const promise_1 = require("../../types/promise");
-const properties_1 = require("../../types/properties");
-const record_1 = require("../../types/record");
-const tuple_1 = require("../../types/tuple");
-const union_1 = require("../../types/union");
-const ref_1 = require("../../types/ref");
-const interface_1 = require("../../action/interface");
-function FromRef(context, ref, result) {
-    return (result.includes(ref)
-        ? result
-        : ref in context
-            ? FromType(context, context[ref], [...result, ref])
-            : (0, index_1.Unreachable)());
-}
-function FromProperties(context, properties, result) {
-    const types = (0, properties_1.PropertyValues)(properties);
-    return FromTypes(context, types, result);
-}
-function FromTypes(context, types, result) {
-    return types.reduce((result, left) => {
-        return FromType(context, left, result);
-    }, result);
-}
-function FromType(context, type, result) {
-    return ((0, ref_1.IsRef)(type) ? FromRef(context, type.$ref, result) :
-        (0, array_1.IsArray)(type) ? FromType(context, type.items, result) :
-            (0, async_iterator_1.IsAsyncIterator)(type) ? FromType(context, type.iteratorItems, result) :
-                (0, constructor_1.IsConstructor)(type) ? FromTypes(context, [...type.parameters, type.instanceType], result) :
-                    (0, function_1.IsFunction)(type) ? FromTypes(context, [...type.parameters, type.returnType], result) :
-                        (0, interface_1.IsInterfaceDeferred)(type) ? FromProperties(context, type.parameters[1], result) :
-                            (0, intersect_1.IsIntersect)(type) ? FromTypes(context, type.allOf, result) :
-                                (0, iterator_1.IsIterator)(type) ? FromType(context, type.iteratorItems, result) :
-                                    (0, object_1.IsObject)(type) ? FromProperties(context, type.properties, result) :
-                                        (0, promise_1.IsPromise)(type) ? FromType(context, type.item, result) :
-                                            (0, union_1.IsUnion)(type) ? FromTypes(context, type.anyOf, result) :
-                                                (0, tuple_1.IsTuple)(type) ? FromTypes(context, type.items, result) :
-                                                    (0, record_1.IsRecord)(type) ? FromType(context, (0, record_1.RecordValue)(type), result) :
-                                                        result);
-}
-/** Returns dependent cyclic keys for the given type. This function is used to dead-type-eliminate (DTE) for initializing TCyclic types. */
-function CyclicDependencies(context, key, type) {
-    const result = FromType(context, type, [key]);
-    return result;
-}

package/build/cjs/type/engine/cyclic/extends.d.ts

@@ -1,31 +0,0 @@
-import { type TSchema } from '../../types/schema';
-import { type TAny } from '../../types/any';
-import { type TArray } from '../../types/array';
-import { type TAsyncIterator } from '../../types/async-iterator';
-import { type TConstructor } from '../../types/constructor';
-import { type TCyclic } from '../../types/cyclic';
-import { type TFunction } from '../../types/function';
-import { type TIntersect } from '../../types/intersect';
-import { type TIterator } from '../../types/iterator';
-import { type TObject } from '../../types/object';
-import { type TPromise } from '../../types/promise';
-import { type TProperties } from '../../types/properties';
-import { type TRecord } from '../../types/record';
-import { type TRef } from '../../types/ref';
-import { type TTuple } from '../../types/tuple';
-import { type TUnion } from '../../types/union';
-import { type TUnknown } from '../../types/unknown';
-type TFromRef<_Ref extends string> = (TAny);
-type TFromProperties<Properties extends TProperties, Result extends TProperties = {
-    [Key in keyof Properties]: TFromType<Properties[Key]>;
-}> = {
-    [Key in keyof Result]: Result[Key];
-};
-type TFromTypes<Types extends TSchema[], Result extends TSchema[] = []> = Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TFromTypes<Right, [...Result, TFromType<Left>]> : Result;
-type TFromType<Type extends TSchema> = (Type extends TRef<infer Ref extends string> ? TFromRef<Ref> : Type extends TArray<infer Type extends TSchema> ? TArray<TFromType<Type>> : Type extends TAsyncIterator<infer Type extends TSchema> ? TAsyncIterator<TFromType<Type>> : Type extends TConstructor<infer Parameters extends TSchema[], infer InstanceType extends TSchema> ? TFunction<TFromTypes<Parameters>, TFromType<InstanceType>> : Type extends TFunction<infer Parameters extends TSchema[], infer ReturnType extends TSchema> ? TFunction<TFromTypes<Parameters>, TFromType<ReturnType>> : Type extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromTypes<Types>> : Type extends TIterator<infer Type extends TSchema> ? TIterator<TFromType<Type>> : Type extends TObject<infer Properties extends TProperties> ? TObject<TFromProperties<Properties>> : Type extends TPromise<infer Type extends TSchema> ? TPromise<TFromType<Type>> : Type extends TRecord<infer Pattern extends string, infer Value extends TSchema> ? TRecord<Pattern, TFromType<Value>> : Type extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromTypes<Types>> : Type extends TTuple<infer Types extends TSchema[]> ? TTuple<TFromTypes<Types>> : Type);
-type TCyclicAnyFromParameters<Defs extends TProperties, Ref extends string> = (Ref extends keyof Defs ? TFromType<Defs[Ref]> : TUnknown);
-/** Transforms TCyclic TRef's into TAny's. This function is used prior to TExtends checks to enable cyclics to be structurally checked and terminated (with TAny) at first point of recursion, what would otherwise be a recursive TRef.*/
-export type TCyclicExtends<Type extends TCyclic, Result extends TSchema = TCyclicAnyFromParameters<Type['$defs'], Type['$ref']>> = Result;
-/** Transforms TCyclic TRef's into TAny's. This function is used prior to TExtends checks to enable cyclics to be structurally checked and terminated (with TAny) at first point of recursion, what would otherwise be a recursive TRef.*/
-export declare function CyclicExtends<Type extends TCyclic>(type: Type): TCyclicExtends<Type>;
-export {};

package/build/cjs/type/engine/cyclic/extends.js

@@ -1,56 +0,0 @@
-"use strict";
-// deno-fmt-ignore-file
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.CyclicExtends = CyclicExtends;
-const index_1 = require("../../../guard/index");
-const any_1 = require("../../types/any");
-const array_1 = require("../../types/array");
-const async_iterator_1 = require("../../types/async-iterator");
-const constructor_1 = require("../../types/constructor");
-const function_1 = require("../../types/function");
-const intersect_1 = require("../../types/intersect");
-const iterator_1 = require("../../types/iterator");
-const object_1 = require("../../types/object");
-const promise_1 = require("../../types/promise");
-const record_1 = require("../../types/record");
-const ref_1 = require("../../types/ref");
-const tuple_1 = require("../../types/tuple");
-const union_1 = require("../../types/union");
-const unknown_1 = require("../../types/unknown");
-function FromRef(_ref) {
-    return (0, any_1.Any)();
-}
-function FromProperties(properties) {
-    return index_1.Guard.Keys(properties).reduce((result, key) => {
-        return { ...result, [key]: FromType(properties[key]) };
-    }, {});
-}
-function FromTypes(types) {
-    return types.reduce((result, left) => {
-        return [...result, FromType(left)];
-    }, []);
-}
-function FromType(type) {
-    return ((0, ref_1.IsRef)(type) ? FromRef(type.$ref) :
-        (0, array_1.IsArray)(type) ? (0, array_1.Array)(FromType(type.items), (0, array_1.ArrayOptions)(type)) :
-            (0, async_iterator_1.IsAsyncIterator)(type) ? (0, async_iterator_1.AsyncIterator)(FromType(type.iteratorItems)) :
-                (0, constructor_1.IsConstructor)(type) ? (0, constructor_1.Constructor)(FromTypes(type.parameters), FromType(type.instanceType)) :
-                    (0, function_1.IsFunction)(type) ? (0, function_1.Function)(FromTypes(type.parameters), FromType(type.returnType)) :
-                        (0, intersect_1.IsIntersect)(type) ? (0, intersect_1.Intersect)(FromTypes(type.allOf)) :
-                            (0, iterator_1.IsIterator)(type) ? (0, iterator_1.Iterator)(FromType(type.iteratorItems)) :
-                                (0, object_1.IsObject)(type) ? (0, object_1.Object)(FromProperties(type.properties)) :
-                                    (0, promise_1.IsPromise)(type) ? (0, promise_1.Promise)(FromType(type.item)) :
-                                        (0, record_1.IsRecord)(type) ? (0, record_1.Record)((0, record_1.RecordKey)(type), FromType((0, record_1.RecordValue)(type))) :
-                                            (0, union_1.IsUnion)(type) ? (0, union_1.Union)(FromTypes(type.anyOf)) :
-                                                (0, tuple_1.IsTuple)(type) ? (0, tuple_1.Tuple)(FromTypes(type.items)) :
-                                                    type);
-}
-function CyclicAnyFromParameters(defs, ref) {
-    return (ref in defs
-        ? FromType(defs[ref])
-        : (0, unknown_1.Unknown)());
-}
-/** Transforms TCyclic TRef's into TAny's. This function is used prior to TExtends checks to enable cyclics to be structurally checked and terminated (with TAny) at first point of recursion, what would otherwise be a recursive TRef.*/
-function CyclicExtends(type) {
-    return CyclicAnyFromParameters(type.$defs, type.$ref);
-}

package/build/cjs/type/engine/cyclic/index.d.ts

@@ -1,6 +0,0 @@
-export * from './candidates';
-export * from './check';
-export * from './dependencies';
-export * from './extends';
-export * from './instantiate';
-export * from './target';

package/build/cjs/type/engine/cyclic/index.js

@@ -1,22 +0,0 @@
-"use strict";
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    var desc = Object.getOwnPropertyDescriptor(m, k);
-    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
-      desc = { enumerable: true, get: function() { return m[k]; } };
-    }
-    Object.defineProperty(o, k2, desc);
-}) : (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    o[k2] = m[k];
-}));
-var __exportStar = (this && this.__exportStar) || function(m, exports) {
-    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-__exportStar(require("./candidates"), exports);
-__exportStar(require("./check"), exports);
-__exportStar(require("./dependencies"), exports);
-__exportStar(require("./extends"), exports);
-__exportStar(require("./instantiate"), exports);
-__exportStar(require("./target"), exports);

package/build/cjs/type/engine/cyclic/instantiate.d.ts

@@ -1,20 +0,0 @@
-import { type TSchema } from '../../types/schema';
-import { type TProperties } from '../../types/properties';
-import { type TCyclic } from '../../types/cyclic';
-import { type TObject } from '../../types/object';
-import { type TCyclicDependencies } from '../cyclic/dependencies';
-import { type TInterfaceDeferred } from '../../action/index';
-import { type TInstantiateProperties } from '../instantiate';
-import { type TInstantiateTypes } from '../instantiate';
-import { type TEvaluateIntersect } from '../evaluate/evaluate';
-type TCyclicInterface<Context extends TProperties, Heritage extends TSchema[], Properties extends TProperties, InstantiatedHeritage extends TSchema[] = TInstantiateTypes<Context, {
-    callstack: [];
-}, Heritage>, instantiatedProperties extends TProperties = TInstantiateProperties<{}, {
-    callstack: [];
-}, Properties>, EvaluatedInterface extends TSchema = TEvaluateIntersect<[...InstantiatedHeritage, TObject<instantiatedProperties>]>> = EvaluatedInterface;
-type TCyclicDefinitions<Context extends TProperties, Dependencies extends string[], Result extends TProperties = {
-    [Key in Extract<keyof Context, Dependencies[number]>]: Context[Key] extends TInterfaceDeferred<infer Heritage extends TSchema[], infer Properties extends TProperties> ? TCyclicInterface<Context, Heritage, Properties> : Context[Key];
-}> = Result;
-export type TInstantiateCyclic<Context extends TProperties, Ref extends string, Type extends TSchema, Dependencies extends string[] = TCyclicDependencies<Context, Ref, Type>, Definitions extends TProperties = TCyclicDefinitions<Context, Dependencies>, Result extends TSchema = TCyclic<Definitions, Ref>> = Result;
-export declare function InstantiateCyclic<Context extends TProperties, Ref extends string, Type extends TSchema>(context: Context, ref: Ref, type: Type): TInstantiateCyclic<Context, Ref, Type>;
-export {};

package/build/cjs/type/engine/cyclic/instantiate.js

@@ -1,32 +0,0 @@
-"use strict";
-// deno-fmt-ignore-file
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.InstantiateCyclic = InstantiateCyclic;
-const index_1 = require("../../../guard/index");
-const cyclic_1 = require("../../types/cyclic");
-const object_1 = require("../../types/object");
-const dependencies_1 = require("../cyclic/dependencies");
-const index_2 = require("../../action/index");
-const instantiate_1 = require("../instantiate");
-const instantiate_2 = require("../instantiate");
-const evaluate_1 = require("../evaluate/evaluate");
-function CyclicInterface(context, heritage, properties) {
-    const instantiatedHeritage = (0, instantiate_2.InstantiateTypes)(context, { callstack: [] }, heritage);
-    const instantiatedProperties = (0, instantiate_1.InstantiateProperties)({}, { callstack: [] }, properties);
-    const evaluatedInterface = (0, evaluate_1.EvaluateIntersect)([...instantiatedHeritage, (0, object_1.Object)(instantiatedProperties)]);
-    return evaluatedInterface;
-}
-function CyclicDefinitions(context, dependencies) {
-    const keys = index_1.Guard.Keys(context).filter(key => dependencies.includes(key));
-    return keys.reduce((result, key) => {
-        const type = context[key];
-        const instantiatedType = (0, index_2.IsInterfaceDeferred)(type) ? CyclicInterface(context, type.parameters[0], type.parameters[1]) : type;
-        return { ...result, [key]: instantiatedType };
-    }, {});
-}
-function InstantiateCyclic(context, ref, type) {
-    const dependencies = (0, dependencies_1.CyclicDependencies)(context, ref, type);
-    const definitions = CyclicDefinitions(context, dependencies);
-    const result = (0, cyclic_1.Cyclic)(definitions, ref);
-    return result;
-}

package/build/cjs/type/engine/cyclic/target.d.ts

@@ -1,10 +0,0 @@
-import { type TSchema } from '../../types/schema';
-import { type TProperties } from '../../types/properties';
-import { type TNever } from '../../types/never';
-import { type TRef } from '../../types/ref';
-type TResolve<Defs extends TProperties, Ref extends string> = (Ref extends keyof Defs ? Defs[Ref] extends TRef<infer Ref extends string> ? TResolve<Defs, Ref> : Defs[Ref] : TNever);
-/** Returns the target Type from the Defs or Never if target is non-resolvable */
-export type TCyclicTarget<Defs extends TProperties, Ref extends string, Result extends TSchema = TResolve<Defs, Ref>> = Result;
-/** Returns the target Type from the Defs or Never if target is non-resolvable */
-export declare function CyclicTarget<Defs extends TProperties, Ref extends string>(defs: Defs, ref: Ref): TCyclicTarget<Defs, Ref>;
-export {};

package/build/cjs/type/engine/cyclic/target.js

@@ -1,19 +0,0 @@
-"use strict";
-// deno-fmt-ignore-file
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.CyclicTarget = CyclicTarget;
-const never_1 = require("../../types/never");
-const ref_1 = require("../../types/ref");
-function Resolve(defs, ref) {
-    return (ref in defs
-        ? (0, ref_1.IsRef)(defs[ref])
-            // @ts-ignore 5.0.4 - does not see $ref
-            ? Resolve(defs, defs[ref].$ref)
-            : defs[ref]
-        : (0, never_1.Never)());
-}
-/** Returns the target Type from the Defs or Never if target is non-resolvable */
-function CyclicTarget(defs, ref) {
-    const result = Resolve(defs, ref);
-    return result;
-}

package/build/cjs/type/engine/enum/enum-to-union.d.ts

@@ -1,14 +0,0 @@
-import { type TSchema } from '../../types/schema';
-import { type TEnum, type TEnumValue } from '../../types/enum';
-import { type TUnion } from '../../types/union';
-import { type TLiteral } from '../../types/literal';
-import { type TNull } from '../../types/null';
-import { type TNever } from '../../types/never';
-type TFromEnumValue<Value extends TEnumValue, Result extends TSchema = Value extends string | number ? TLiteral<Value> : Value extends null ? TNull : TNever> = Result;
-export type TEnumValuesToVariants<Values extends TEnumValue[], Result extends TSchema[] = []> = (Values extends [infer Left extends TEnumValue, ...infer Right extends TEnumValue[]] ? TEnumValuesToVariants<Right, [...Result, TFromEnumValue<Left>]> : Result);
-export declare function EnumValuesToVariants<Values extends TEnumValue[]>(values: [...Values]): TEnumValuesToVariants<Values>;
-export type TEnumValuesToUnion<Values extends TEnumValue[], Variants extends TSchema[] = TEnumValuesToVariants<Values>, Results extends TSchema = TUnion<Variants>> = Results;
-export declare function EnumValuesToUnion<Values extends TEnumValue[]>(values: [...Values]): TEnumValuesToUnion<Values>;
-export type TEnumToUnion<Type extends TEnum, Result extends TSchema = TEnumValuesToUnion<Type['enum']>> = Result;
-export declare function EnumToUnion<Type extends TEnum>(type: Type): TEnumToUnion<Type>;
-export {};

package/build/cjs/type/engine/enum/enum-to-union.js

@@ -1,29 +0,0 @@
-"use strict";
-// deno-fmt-ignore-file
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.EnumValuesToVariants = EnumValuesToVariants;
-exports.EnumValuesToUnion = EnumValuesToUnion;
-exports.EnumToUnion = EnumToUnion;
-const index_1 = require("../../../guard/index");
-const union_1 = require("../../types/union");
-const literal_1 = require("../../types/literal");
-const null_1 = require("../../types/null");
-const never_1 = require("../../types/never");
-function FromEnumValue(value) {
-    return (index_1.Guard.IsString(value) || index_1.Guard.IsNumber(value) ? (0, literal_1.Literal)(value) :
-        index_1.Guard.IsNull(value) ? (0, null_1.Null)() :
-            (0, never_1.Never)());
-}
-function EnumValuesToVariants(values) {
-    const result = values.map(value => FromEnumValue(value));
-    return result;
-}
-function EnumValuesToUnion(values) {
-    const variants = EnumValuesToVariants(values);
-    const result = (0, union_1.Union)(variants);
-    return result;
-}
-function EnumToUnion(type) {
-    const result = EnumValuesToUnion(type.enum);
-    return result;
-}