@depup/typebox 1.1.23-depup.0 → 1.3.9-depup.0

package/build/type/action/options.d.mts

@@ -1,12 +0,0 @@
-import { type TSchema } from '../types/schema.mjs';
-import { type TDeferred } from '../types/deferred.mjs';
-import { type TInstantiate } from '../engine/instantiate.mjs';
-/** Creates a deferred Options action. */
-export type TOptionsDeferred<Type extends TSchema, Options extends TSchema> = (TDeferred<'Options', [Type, Options]>);
-/** Creates a deferred Options action. */
-export declare function OptionsDeferred<Type extends TSchema, Options extends TSchema>(type: Type, options: Options): TOptionsDeferred<Type, Options>;
-export type TOptionsConstruct<Type extends TSchema, Options extends TSchema> = (TInstantiate<{}, TOptionsDeferred<Type, Options>>);
-/** Applies an Options action to the given type. */
-export type TOptions<Type extends TSchema, Options extends TSchema> = (Type & Options);
-/** Applies an Options action to the given type. */
-export declare function Options<Type extends TSchema, Options extends TSchema>(type: Type, options: Options): TOptionsConstruct<Type, Options>;

package/build/type/action/options.mjs

@@ -1,12 +0,0 @@
-// deno-lint-ignore-file ban-types
-// deno-fmt-ignore-file
-import { Deferred } from '../types/deferred.mjs';
-import { Instantiate } from '../engine/instantiate.mjs';
-/** Creates a deferred Options action. */
-export function OptionsDeferred(type, options) {
-    return Deferred('Options', [type, options], {});
-}
-/** Applies an Options action to the given type. */
-export function Options(type, options) {
-    return Instantiate({}, OptionsDeferred(type, options));
-}

package/build/type/action/readonly-type.d.mts

@@ -1,11 +0,0 @@
-import { type TSchema, type TSchemaOptions } from '../types/schema.mjs';
-import { type TDeferred } from '../types/deferred.mjs';
-import { type TInstantiate } from '../engine/instantiate.mjs';
-/** Creates a deferred ReadonlyType action. */
-export type TReadonlyTypeDeferred<Type extends TSchema> = (TDeferred<'ReadonlyType', [Type]>);
-/** Creates a deferred ReadonlyType action. */
-export declare function ReadonlyTypeDeferred<Type extends TSchema>(type: Type, options?: TSchemaOptions): TDeferred<"ReadonlyType", [Type]>;
-/** This type is an alias for the TypeScript `Readonly<T>` utility type. */
-export type TReadonlyType<Type extends TSchema> = (TInstantiate<{}, TReadonlyTypeDeferred<Type>>);
-/** This type is an alias for the TypeScript `Readonly<T>` utility type. */
-export declare function ReadonlyType<Type extends TSchema>(type: Type, options?: TSchemaOptions): TReadonlyType<Type>;

package/build/type/action/readonly-type.mjs

@@ -1,12 +0,0 @@
-// deno-lint-ignore-file ban-types
-// deno-fmt-ignore-file
-import { Deferred } from '../types/deferred.mjs';
-import { Instantiate } from '../engine/instantiate.mjs';
-/** Creates a deferred ReadonlyType action. */
-export function ReadonlyTypeDeferred(type, options = {}) {
-    return Deferred('ReadonlyType', [type], options);
-}
-/** This type is an alias for the TypeScript `Readonly<T>` utility type. */
-export function ReadonlyType(type, options = {}) {
-    return Instantiate({}, ReadonlyTypeDeferred(type, options));
-}

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

@@ -1,10 +0,0 @@
-import { type TSchema, type TSchemaOptions } from '../../types/schema.mjs';
-import { type TProperties } from '../../types/properties.mjs';
-import { type TPromise } from '../../types/promise.mjs';
-import { type TAwaitedDeferred } from '../../action/awaited.mjs';
-import { type TState, type TInstantiateType, type TCanInstantiate } from '../instantiate.mjs';
-type TAwaitedAction<Type extends TSchema> = (Type extends TPromise<infer Type extends TSchema> ? TAwaitedAction<Type> : Type);
-type TAwaitedImmediate<Context extends TProperties, State extends TState, Type extends TSchema, InstantiateType extends TSchema = TInstantiateType<Context, State, Type>> = TAwaitedAction<InstantiateType>;
-export type TAwaitedInstantiate<Context extends TProperties, State extends TState, Type extends TSchema> = TCanInstantiate<Context, [Type]> extends true ? TAwaitedImmediate<Context, State, Type> : TAwaitedDeferred<Type>;
-export declare function AwaitedInstantiate<Context extends TProperties, State extends TState, Type extends TSchema>(context: Context, state: State, type: Type, options: TSchemaOptions): TAwaitedInstantiate<Context, State, Type>;
-export {};

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

@@ -1,19 +0,0 @@
-// deno-fmt-ignore-file
-import { Memory } from '../../../system/memory/index.mjs';
-import { IsPromise } from '../../types/promise.mjs';
-import { AwaitedDeferred } from '../../action/awaited.mjs';
-import { InstantiateType, CanInstantiate } from '../instantiate.mjs';
-function AwaitedAction(type) {
-    return (IsPromise(type)
-        ? AwaitedAction(type.item)
-        : type);
-}
-function AwaitedImmediate(context, state, type, options) {
-    const instantiatedType = InstantiateType(context, state, type);
-    return Memory.Update(AwaitedAction(instantiatedType), {}, options);
-}
-export function AwaitedInstantiate(context, state, type, options) {
-    return (CanInstantiate(context, [type])
-        ? AwaitedImmediate(context, state, type, options)
-        : AwaitedDeferred(type, options));
-}

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

@@ -1,14 +0,0 @@
-import { type TSchema, type TSchemaOptions } from '../../types/schema.mjs';
-import { type TProperties } from '../../types/properties.mjs';
-import { type TConstructor } from '../../types/constructor.mjs';
-import { type TNever } from '../../types/never.mjs';
-import { type TTuple } from '../../types/tuple.mjs';
-import { type TConstructorParametersDeferred } from '../../action/constructor-parameters.mjs';
-import { type TState, type TInstantiateType, type TCanInstantiate } from '../instantiate.mjs';
-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/type/engine/constructor-parameters/instantiate.mjs

@@ -1,22 +0,0 @@
-// deno-lint-ignore-file ban-types
-// deno-fmt-ignore-file
-import { Memory } from '../../../system/memory/index.mjs';
-import { IsConstructor } from '../../types/constructor.mjs';
-import { Never } from '../../types/never.mjs';
-import { Tuple } from '../../types/tuple.mjs';
-import { ConstructorParametersDeferred } from '../../action/constructor-parameters.mjs';
-import { InstantiateType, CanInstantiate } from '../instantiate.mjs';
-function ConstructorParametersAction(type) {
-    return (IsConstructor(type)
-        ? InstantiateType({}, { callstack: [] }, Tuple(type.parameters))
-        : Never());
-}
-function ConstructorParametersImmediate(context, state, type, options) {
-    const instantiatedType = InstantiateType(context, state, type);
-    return Memory.Update(ConstructorParametersAction(instantiatedType), {}, options);
-}
-export function ConstructorParametersInstantiate(context, state, type, options) {
-    return (CanInstantiate(context, [type])
-        ? ConstructorParametersImmediate(context, state, type, options)
-        : ConstructorParametersDeferred(type, options));
-}

package/build/type/engine/enum/enum-to-union.d.mts

@@ -1,14 +0,0 @@
-import { type TSchema } from '../../types/schema.mjs';
-import { type TEnum, type TEnumValue } from '../../types/enum.mjs';
-import { type TUnion } from '../../types/union.mjs';
-import { type TLiteral } from '../../types/literal.mjs';
-import { type TNull } from '../../types/null.mjs';
-import { type TNever } from '../../types/never.mjs';
-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/type/engine/enum/enum-to-union.mjs

@@ -1,24 +0,0 @@
-// deno-fmt-ignore-file
-import { Guard } from '../../../guard/index.mjs';
-import { Union } from '../../types/union.mjs';
-import { Literal } from '../../types/literal.mjs';
-import { Null } from '../../types/null.mjs';
-import { Never } from '../../types/never.mjs';
-function FromEnumValue(value) {
-    return (Guard.IsString(value) || Guard.IsNumber(value) ? Literal(value) :
-        Guard.IsNull(value) ? Null() :
-            Never());
-}
-export function EnumValuesToVariants(values) {
-    const result = values.map(value => FromEnumValue(value));
-    return result;
-}
-export function EnumValuesToUnion(values) {
-    const variants = EnumValuesToVariants(values);
-    const result = Union(variants);
-    return result;
-}
-export function EnumToUnion(type) {
-    const result = EnumValuesToUnion(type.enum);
-    return result;
-}

package/build/type/engine/indexable/from-enum.d.mts

@@ -1,6 +0,0 @@
-import { type TSchema } from '../../types/schema.mjs';
-import { type TEnumValue } from '../../types/enum.mjs';
-import { type TEnumValuesToVariants } from '../enum/enum-to-union.mjs';
-import { type TFromUnion } from './from-union.mjs';
-export type TFromEnum<Values extends TEnumValue[], Variants extends TSchema[] = TEnumValuesToVariants<Values>, Result extends string[] = TFromUnion<Variants>> = Result;
-export declare function FromEnum<Values extends TEnumValue[]>(values: [...Values]): TFromEnum<Values>;

package/build/type/engine/indexable/from-enum.mjs

@@ -1,8 +0,0 @@
-// deno-fmt-ignore-file
-import { EnumValuesToVariants } from '../enum/enum-to-union.mjs';
-import { FromUnion } from './from-union.mjs';
-export function FromEnum(values) {
-    const variants = EnumValuesToVariants(values);
-    const result = FromUnion(variants);
-    return result;
-}

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

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

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

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

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

@@ -1,17 +0,0 @@
-import { type TSchema } from '../../types/schema.mjs';
-import { type TCyclic } from '../../types/cyclic.mjs';
-import { type TEnum, type TEnumValue } from '../../types/enum.mjs';
-import { type TIntersect } from '../../types/intersect.mjs';
-import { type TLiteral, type TLiteralValue } from '../../types/literal.mjs';
-import { type TProperties } from '../../types/properties.mjs';
-import { type TTemplateLiteral } from '../../types/template-literal.mjs';
-import { type TUnion } from '../../types/union.mjs';
-import { TFromCyclic } from './from-cyclic.mjs';
-import { TFromEnum } from './from-enum.mjs';
-import { TFromIntersect } from './from-intersect.mjs';
-import { TFromLiteral } from './from-literal.mjs';
-import { TFromTemplateLiteral } from './from-template-literal.mjs';
-import { TFromUnion } from './from-union.mjs';
-export type TFromType<Indexer extends TSchema, Result extends string[] = (Indexer extends TCyclic<infer Defs extends TProperties, infer Ref extends string> ? TFromCyclic<Defs, Ref> : Indexer extends TEnum<infer Values extends TEnumValue[]> ? TFromEnum<Values> : Indexer extends TIntersect<infer Types extends TSchema[]> ? TFromIntersect<Types> : Indexer extends TLiteral<infer Value extends TLiteralValue> ? TFromLiteral<Value> : Indexer extends TTemplateLiteral<infer Pattern extends string> ? TFromTemplateLiteral<Pattern> : Indexer extends TUnion<infer Types extends TSchema[]> ? TFromUnion<Types> : [
-])> = Result;
-export declare function FromType<Indexer extends TSchema>(type: Indexer): TFromType<Indexer>;

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

@@ -1,22 +0,0 @@
-// deno-fmt-ignore-file
-import { IsCyclic } from '../../types/cyclic.mjs';
-import { IsEnum } from '../../types/enum.mjs';
-import { IsIntersect } from '../../types/intersect.mjs';
-import { IsLiteral } from '../../types/literal.mjs';
-import { IsTemplateLiteral } from '../../types/template-literal.mjs';
-import { IsUnion } from '../../types/union.mjs';
-import { FromCyclic } from './from-cyclic.mjs';
-import { FromEnum } from './from-enum.mjs';
-import { FromIntersect } from './from-intersect.mjs';
-import { FromLiteral } from './from-literal.mjs';
-import { FromTemplateLiteral } from './from-template-literal.mjs';
-import { FromUnion } from './from-union.mjs';
-export function FromType(type) {
-    return (IsCyclic(type) ? FromCyclic(type.$defs, type.$ref) :
-        IsEnum(type) ? FromEnum(type.enum) :
-            IsIntersect(type) ? FromIntersect(type.allOf) :
-                IsLiteral(type) ? FromLiteral(type.const) :
-                    IsTemplateLiteral(type) ? FromTemplateLiteral(type.pattern) :
-                        IsUnion(type) ? FromUnion(type.anyOf) :
-                            []);
-}

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

@@ -1,9 +0,0 @@
-import { type TProperties } from '../../types/properties.mjs';
-import { type TSchema } from '../../types/schema.mjs';
-import { type TEvaluateUnion } from '../evaluate/evaluate.mjs';
-import { type TToIndexableKeys } from '../indexable/to-indexable-keys.mjs';
-type TSelectProperty<Properties extends TProperties, Key extends string, PropertyKey extends string = keyof Properties extends string | number ? `${keyof Properties}` : never, Result extends TSchema[] = Key extends PropertyKey ? [Properties[Key]] : []> = Result;
-type TSelectProperties<Properties extends TProperties, Keys extends string[], Result extends TSchema[] = []> = (Keys extends [infer Left extends string, ...infer Right extends string[]] ? TSelectProperties<Properties, Right, [...Result, ...TSelectProperty<Properties, Left>]> : Result);
-export type TFromObject<Properties extends TProperties, Indexer extends TSchema, Keys extends string[] = TToIndexableKeys<Indexer>, Variants extends TSchema[] = TSelectProperties<Properties, Keys>, Result extends TSchema = TEvaluateUnion<Variants>> = Result;
-export declare function FromObject<Properties extends TProperties, Indexer extends TSchema>(properties: Properties, indexer: Indexer): TFromObject<Properties, Indexer>;
-export {};

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

@@ -1,18 +0,0 @@
-// deno-fmt-ignore-file
-import { EvaluateUnion } from '../evaluate/evaluate.mjs';
-import { ToIndexableKeys } from '../indexable/to-indexable-keys.mjs';
-function SelectProperty(properties, indexer) {
-    const result = indexer in properties ? [properties[indexer]] : [];
-    return result;
-}
-function SelectProperties(properties, indexer) {
-    return indexer.reduce((result, left) => {
-        return [...result, ...SelectProperty(properties, left)];
-    }, []);
-}
-export function FromObject(properties, indexer) {
-    const keys = ToIndexableKeys(indexer);
-    const variants = SelectProperties(properties, keys);
-    const result = EvaluateUnion(variants);
-    return result;
-}

package/build/type/engine/instance-type/instantiate.d.mts

@@ -1,12 +0,0 @@
-import { type TSchema, type TSchemaOptions } from '../../types/schema.mjs';
-import { type TProperties } from '../../types/properties.mjs';
-import { type TConstructor } from '../../types/constructor.mjs';
-import { type TNever } from '../../types/never.mjs';
-import { type TInstanceTypeDeferred } from '../../action/instance-type.mjs';
-import { type TState, type TInstantiateType, type TCanInstantiate } from '../instantiate.mjs';
-type TInstanceTypeAction<Type extends TSchema> = (Type extends TConstructor<infer _Parameters extends TSchema[], infer InstanceType extends TSchema> ? InstanceType : TNever);
-export type TInstanceTypeImmediate<Context extends TProperties, State extends TState, Type extends TSchema, InstantiatedType extends TSchema = TInstantiateType<Context, State, Type>> = TInstanceTypeAction<InstantiatedType>;
-export declare function InstanceTypeImmediate<Context extends TProperties, State extends TState, Type extends TSchema>(context: Context, state: State, type: Type, options: TSchemaOptions): TInstanceTypeImmediate<Context, State, Type>;
-export type TInstanceTypeInstantiate<Context extends TProperties, State extends TState, Type extends TSchema> = TCanInstantiate<Context, [Type]> extends true ? TInstanceTypeImmediate<Context, State, Type> : TInstanceTypeDeferred<Type>;
-export declare function InstanceTypeInstantiate<Context extends TProperties, State extends TState, Type extends TSchema>(context: Context, state: State, type: Type, options?: TSchemaOptions): TInstanceTypeInstantiate<Context, State, Type>;
-export {};

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

@@ -1,8 +0,0 @@
-// 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/mapped/mapped-variants.d.mts

@@ -1,15 +0,0 @@
-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> : [
-    Type
-])> = Result;
-export type TMappedVariants<Type extends TSchema, Result extends TSchema[] = TFromType<Type>> = Result;
-export declare function MappedVariants<Type extends TSchema>(type: Type): TMappedVariants<Type>;
-export {};

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

@@ -1,29 +0,0 @@
-// 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) :
-                    [type]);
-    return result;
-}
-export function MappedVariants(type) {
-    const result = FromType(type);
-    return result;
-}

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

@@ -1,15 +0,0 @@
-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

@@ -1,22 +0,0 @@
-// deno-lint-ignore-file ban-types
-// 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/from-type.d.mts

@@ -1,14 +0,0 @@
-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

@@ -1,20 +0,0 @@
-// deno-lint-ignore-file ban-types
-// 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/options/instantiate.d.mts

@@ -1,8 +0,0 @@
-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

@@ -1,13 +0,0 @@
-// 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/partial/from-intersect.d.mts

@@ -1,5 +0,0 @@
-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>;

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

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

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

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

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

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

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

@@ -1,5 +0,0 @@
-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>;

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

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

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

@@ -1,16 +0,0 @@
-import { type TSchema } from '../../types/schema.mjs';
-import { type TArray } from '../../types/array.mjs';
-import { type TCyclic } from '../../types/cyclic.mjs';
-import { type TIntersect } from '../../types/intersect.mjs';
-import { type TObject } from '../../types/object.mjs';
-import { type TProperties } from '../../types/properties.mjs';
-import { type TTuple } from '../../types/tuple.mjs';
-import { type TUnion } from '../../types/union.mjs';
-import { type TFromArray } from './from-array.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> = (Type extends TArray<infer Type extends TSchema> ? TFromArray<Type> : 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 TObject<infer Properties extends TProperties> ? TFromObject<Properties> : Type extends TTuple<infer Types extends TSchema[]> ? TFromTuple<Types> : Type extends TUnion<infer Types extends TSchema[]> ? TFromUnion<Types> : Type);
-export declare function FromType<Type extends TSchema>(type: Type): TFromType<Type>;

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

@@ -1,22 +0,0 @@
-// deno-fmt-ignore-file
-import { IsArray } from '../../types/array.mjs';
-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 { FromArray } from './from-array.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 (IsArray(type) ? FromArray(type.items) :
-        IsCyclic(type) ? FromCyclic(type.$defs, type.$ref) :
-            IsIntersect(type) ? FromIntersect(type.allOf) :
-                IsObject(type) ? FromObject(type.properties) :
-                    IsTuple(type) ? FromTuple(type.items) :
-                        IsUnion(type) ? FromUnion(type.anyOf) :
-                            type);
-}

package/build/type/engine/readonly-type/instantiate.d.mts

@@ -1,9 +0,0 @@
-import { type TSchema, type TSchemaOptions } from '../../types/schema.mjs';
-import { type TProperties } from '../../types/properties.mjs';
-import { type TReadonlyTypeDeferred } from '../../action/readonly-type.mjs';
-import { type TFromType } from './from-type.mjs';
-import { type TState, type TInstantiateType, type TCanInstantiate } from '../instantiate.mjs';
-type TReadonlyTypeImmediate<Context extends TProperties, State extends TState, Type extends TSchema, InstantiatedType extends TSchema = TInstantiateType<Context, State, Type>> = TFromType<InstantiatedType>;
-export type TReadonlyTypeInstantiate<Context extends TProperties, State extends TState, Type extends TSchema> = TCanInstantiate<Context, [Type]> extends true ? TReadonlyTypeImmediate<Context, State, Type> : TReadonlyTypeDeferred<Type>;
-export declare function ReadonlyTypeInstantiate<Context extends TProperties, State extends TState, Type extends TSchema>(context: Context, state: State, type: Type, options: TSchemaOptions): TReadonlyTypeInstantiate<Context, State, Type>;
-export {};

package/build/type/engine/readonly-type/instantiate.mjs

@@ -1,14 +0,0 @@
-// deno-fmt-ignore-file
-import { Memory } from '../../../system/memory/index.mjs';
-import { ReadonlyTypeDeferred } from '../../action/readonly-type.mjs';
-import { FromType } from './from-type.mjs';
-import { InstantiateType, CanInstantiate } from '../instantiate.mjs';
-function ReadonlyTypeImmediate(context, state, type, options) {
-    const instantiatedType = InstantiateType(context, state, type);
-    return Memory.Update(FromType(instantiatedType), {}, options);
-}
-export function ReadonlyTypeInstantiate(context, state, type, options) {
-    return (CanInstantiate(context, [type])
-        ? ReadonlyTypeImmediate(context, state, type, options)
-        : ReadonlyTypeDeferred(type, options));
-}

package/build/type/engine/record/from-key-enum.mjs

@@ -1,8 +0,0 @@
-// deno-fmt-ignore-file
-import { EnumValuesToUnion } from '../enum/enum-to-union.mjs';
-import { FromKey } from './from-key.mjs';
-export function FromEnumKey(values, value) {
-    const unionKey = EnumValuesToUnion(values);
-    const result = FromKey(unionKey, value);
-    return result;
-}

package/build/type/engine/record/from-key-template-literal.mjs

@@ -1,12 +0,0 @@
-// deno-fmt-ignore-file
-import { FromKey } from './from-key.mjs';
-import { ParsePatternIntoTypes } from '../patterns/pattern.mjs';
-import { IsTemplateLiteralFinite } from '../template-literal/is-finite.mjs';
-import { TemplateLiteralDecode } from '../template-literal/decode.mjs';
-import { CreateRecord } from './record-create.mjs';
-export function FromTemplateKey(pattern, value) {
-    const types = ParsePatternIntoTypes(pattern);
-    const finite = IsTemplateLiteralFinite(types);
-    const result = finite ? FromKey(TemplateLiteralDecode(pattern), value) : CreateRecord(pattern, value);
-    return result;
-}