pi-proactive 0.2.0-beta.5 → 0.2.0-beta.6

package/node_modules/typebox/build/type/engine/template_literal/is_finite.mjs

@@ -1,26 +0,0 @@
-// deno-fmt-ignore-file
-import { Guard } from '../../../guard/index.mjs';
-import { IsLiteral } from '../../types/literal.mjs';
-import { IsUnion } from '../../types/union.mjs';
-function FromLiteral(_value) {
-    return true;
-}
-function FromTypesReduce(types) {
-    return Guard.ShiftLeft(types, (left, right) => FromType(left)
-        ? FromTypesReduce(right)
-        : false, () => true);
-}
-function FromTypes(types) {
-    const result = Guard.IsEqual(types.length, 0) ? false : FromTypesReduce(types);
-    return result;
-}
-function FromType(type) {
-    return (IsUnion(type) ? FromTypes(type.anyOf) :
-        IsLiteral(type) ? FromLiteral(type.const) :
-            false);
-}
-/** Returns true if the given TemplateLiteral types yields a finite variant set */
-export function IsTemplateLiteralFinite(types) {
-    const result = FromTypes(types);
-    return result;
-}

package/node_modules/typebox/build/type/engine/template_literal/is_pattern.d.mts

@@ -1,6 +0,0 @@
-import { type TSchema } from '../../types/schema.mjs';
-import { type TParsePatternIntoTypes } from '../patterns/pattern.mjs';
-/** Returns true if this pattern is a valid Template Literal regular expression */
-export type TIsTemplateLiteralPattern<Pattern extends string, Types extends TSchema[] = TParsePatternIntoTypes<Pattern>, Result extends boolean = Types extends [] ? false : true> = Result;
-/** Returns true if this pattern is a valid Template Literal regular expression */
-export declare function IsTemplateLiteralPattern<Pattern extends string>(pattern: Pattern): TIsTemplateLiteralPattern<Pattern>;

package/node_modules/typebox/build/type/engine/template_literal/is_pattern.mjs

@@ -1,10 +0,0 @@
-// deno-fmt-ignore-file
-import { Guard } from '../../../guard/index.mjs';
-import { ParsePatternIntoTypes } from '../patterns/pattern.mjs';
-/** Returns true if this pattern is a valid Template Literal regular expression */
-export function IsTemplateLiteralPattern(pattern) {
-    const types = ParsePatternIntoTypes(pattern);
-    const result = Guard.IsEqual(types.length, 0) ? false : true;
-    return result;
-}
-// deno-coverage-ignore-stop

package/node_modules/typebox/build/type/engine/template_literal/static.d.mts

@@ -1,18 +0,0 @@
-import { type TSchema } from '../../types/schema.mjs';
-import { type TUnion } from '../../types/union.mjs';
-import { type TBigInt } from '../../types/bigint.mjs';
-import { type TString } from '../../types/string.mjs';
-import { type TNumber } from '../../types/number.mjs';
-import { type TInteger } from '../../types/integer.mjs';
-import { type TLiteral, type TLiteralValue } from '../../types/literal.mjs';
-import { type TParsePatternIntoTypes } from '../patterns/pattern.mjs';
-type TFromLiteral<Template extends string, Value extends TLiteralValue> = `${Template}${Value}`;
-type TFromBigInt<Template extends string> = `${Template}${bigint}`;
-type TFromString<Template extends string> = `${Template}${string}`;
-type TFromNumber<Template extends string> = `${Template}${number}`;
-type TFromInteger<Template extends string> = `${Template}${number}`;
-type TFromUnion<Template extends string, Types extends TSchema[], Result extends string = never> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TFromUnion<Template, Right, Result | TFromType<'', Left>> : `${Template}${Result}`);
-type TFromType<Template extends string, Type extends TSchema, Result extends string = (Type extends TUnion<infer Types extends TSchema[]> ? TFromUnion<Template, Types> : Type extends TLiteral<infer Value extends TLiteralValue> ? TFromLiteral<Template, Value> : Type extends TBigInt ? TFromBigInt<Template> : Type extends TString ? TFromString<Template> : Type extends TNumber ? TFromNumber<Template> : Type extends TInteger ? TFromInteger<Template> : never)> = Result;
-type TFromSpan<Template extends string, Types extends TSchema[]> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TFromSpan<TFromType<Template, Left>, Right> : Template);
-export type TTemplateLiteralStatic<Pattern extends string, Types extends TSchema[] = TParsePatternIntoTypes<Pattern>> = TFromSpan<'', Types>;
-export {};

package/node_modules/typebox/build/type/engine/template_literal/static.mjs

@@ -1,2 +0,0 @@
-// deno-fmt-ignore-file
-export {};

package/node_modules/typebox/build/type/engine/this/expand_this.d.mts

@@ -1,16 +0,0 @@
-import { type TArray } from '../../types/array.mjs';
-import { type TConstructor } from '../../types/constructor.mjs';
-import { type TFunction } from '../../types/function.mjs';
-import { type TIntersect } from '../../types/intersect.mjs';
-import { type TObject } from '../../types/object.mjs';
-import { type TProperties } from '../../types/properties.mjs';
-import { type TSchema } from '../../types/schema.mjs';
-import { type TTuple } from '../../types/tuple.mjs';
-import { type TThis } from '../../types/this.mjs';
-import { type TUnion } from '../../types/union.mjs';
-type TFromTypes<Properties extends TProperties, Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TFromTypes<Properties, Right, [...Result, TFromType<Properties, Left>]> : Result);
-export type TFromType<Properties extends TProperties, Type extends TSchema> = (Type extends TArray<infer Type extends TSchema> ? TArray<TFromType<Properties, Type>> : Type extends TConstructor<infer Parameters extends TSchema[], infer InstanceType extends TSchema> ? TConstructor<TFromTypes<Properties, Parameters>, TFromType<Properties, InstanceType>> : Type extends TFunction<infer Parameters extends TSchema[], infer ReturnType extends TSchema> ? TFunction<TFromTypes<Properties, Parameters>, TFromType<Properties, ReturnType>> : Type extends TTuple<infer Types extends TSchema[]> ? TTuple<TFromTypes<Properties, Types>> : Type extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromTypes<Properties, Types>> : Type extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromTypes<Properties, Types>> : Type extends TThis ? TObject<Properties> : Type);
-export declare function FromType<Properties extends TProperties, Type extends TSchema>(properties: Properties, type: Type): TFromType<Properties, Type>;
-export type TExpandThis<Properties extends TProperties, Type extends TSchema, Result extends TSchema = TFromType<Properties, Type>> = Result;
-export declare function ExpandThis<Properties extends TProperties, Type extends TSchema>(properties: TProperties, type: Type): TExpandThis<Properties, Type>;
-export {};

package/node_modules/typebox/build/type/engine/this/expand_this.mjs

@@ -1,26 +0,0 @@
-// deno-fmt-ignore-file
-import { IsArray, _Array_ } from '../../types/array.mjs';
-import { IsConstructor, Constructor } from '../../types/constructor.mjs';
-import { IsFunction, _Function_ } from '../../types/function.mjs';
-import { IsIntersect, Intersect } from '../../types/intersect.mjs';
-import { _Object_ } from '../../types/object.mjs';
-import { IsTuple, Tuple } from '../../types/tuple.mjs';
-import { IsThis } from '../../types/this.mjs';
-import { IsUnion, Union } from '../../types/union.mjs';
-function FromTypes(properties, types) {
-    return types.map(type => FromType(properties, type));
-}
-export function FromType(properties, type) {
-    return (IsArray(type) ? _Array_(FromType(properties, type.items)) :
-        IsConstructor(type) ? Constructor(FromTypes(properties, type.parameters), FromType(properties, type.instanceType)) :
-            IsFunction(type) ? _Function_(FromTypes(properties, type.parameters), FromType(properties, type.returnType)) :
-                IsTuple(type) ? Tuple(FromTypes(properties, type.items)) :
-                    IsUnion(type) ? Union(FromTypes(properties, type.anyOf)) :
-                        IsIntersect(type) ? Intersect(FromTypes(properties, type.allOf)) :
-                            IsThis(type) ? _Object_(properties) :
-                                type);
-}
-export function ExpandThis(properties, type) {
-    const result = FromType(properties, type);
-    return result;
-}

package/node_modules/typebox/build/type/engine/tuple/to_object.d.mts

@@ -1,12 +0,0 @@
-import { type TSchema } from '../../types/schema.mjs';
-import { type TObject } from '../../types/object.mjs';
-import { type TProperties } from '../../types/properties.mjs';
-import { type TTuple } from '../../types/tuple.mjs';
-export type TTupleElementsToProperties<Types extends TSchema[], Result extends TProperties = {}> = (Types extends [...infer Left extends TSchema[], infer Right extends TSchema] ? TTupleElementsToProperties<Left, {
-    [_ in Left['length']]: Right;
-} & Result> : {
-    [Key in keyof Result]: Result[Key];
-});
-export declare function TupleElementsToProperties<Types extends TSchema[]>(types: [...Types]): TTupleElementsToProperties<Types>;
-export type TTupleToObject<Type extends TTuple, Properties extends TProperties = TTupleElementsToProperties<Type['items']>, Result extends TSchema = TObject<Properties>> = Result;
-export declare function TupleToObject<Type extends TTuple>(type: Type): TTupleToObject<Type>;

package/node_modules/typebox/build/type/engine/tuple/to_object.mjs

@@ -1,14 +0,0 @@
-// deno-lint-ignore-file ban-types
-// deno-fmt-ignore-file
-import { Object } from '../../types/object.mjs';
-export function TupleElementsToProperties(types) {
-    const result = types.reduceRight((result, right, index) => {
-        return { [index]: right, ...result };
-    }, {});
-    return result;
-}
-export function TupleToObject(type) {
-    const properties = TupleElementsToProperties(type.items);
-    const result = Object(properties);
-    return result;
-}

package/node_modules/typebox/build/type/engine/with/index.d.mts

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

package/node_modules/typebox/build/type/engine/with/index.mjs

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

package/node_modules/typebox/build/type/engine/with/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, type TCanInstantiate } from '../instantiate.mjs';
-import { type TWithDeferred, type TWith } from '../../action/with.mjs';
-export type TWithAction<Type extends TSchema, Options extends TSchema, Result extends TSchema = TCanInstantiate<[Type]> extends true ? TWith<Type, Options> : TWithDeferred<Type, Options>> = Result;
-export declare function WithAction<Type extends TSchema, Options extends TSchema>(type: Type, options: Options): TWithAction<Type, Options>;
-export type TWithInstantiate<Context extends TProperties, State extends TState, Type extends TSchema, Options extends TSchema, InstantiatedType extends TSchema = TInstantiateType<Context, State, Type>> = TWithAction<InstantiatedType, Options>;
-export declare function WithInstantiate<Context extends TProperties, State extends TState, Type extends TSchema, Options extends TSchema>(context: Context, state: State, type: Type, options: Options): TWithInstantiate<Context, State, Type, Options>;

package/node_modules/typebox/build/type/engine/with/instantiate.mjs

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

package/node_modules/typebox/build/type/extends/any.d.mts

@@ -1,9 +0,0 @@
-import { type TSchema } from '../types/schema.mjs';
-import { type TProperties } from '../types/properties.mjs';
-import { type TInfer } from '../types/infer.mjs';
-import { type TAny } from '../types/any.mjs';
-import { type TUnknown } from '../types/unknown.mjs';
-import { type TExtendsRight } from './extends_right.mjs';
-import * as Result from './result.mjs';
-export type TExtendsAny<Inferred extends TProperties, Left extends TAny, Right extends TSchema> = (Right extends TInfer ? TExtendsRight<Inferred, Left, Right> : Right extends TAny ? Result.TExtendsTrue<Inferred> : Right extends TUnknown ? Result.TExtendsTrue<Inferred> : Result.TExtendsUnion<Inferred>);
-export declare function ExtendsAny<Inferred extends TProperties, Left extends TAny, Right extends TSchema>(inferred: Inferred, left: Left, right: Right): TExtendsAny<Inferred, Left, Right>;

package/node_modules/typebox/build/type/extends/any.mjs

@@ -1,12 +0,0 @@
-// deno-fmt-ignore-file
-import { IsInfer } from '../types/infer.mjs';
-import { IsAny } from '../types/any.mjs';
-import { IsUnknown } from '../types/unknown.mjs';
-import { ExtendsRight } from './extends_right.mjs';
-import * as Result from './result.mjs';
-export function ExtendsAny(inferred, left, right) {
-    return (IsInfer(right) ? ExtendsRight(inferred, left, right) :
-        IsAny(right) ? Result.ExtendsTrue(inferred) :
-            IsUnknown(right) ? Result.ExtendsTrue(inferred) :
-                Result.ExtendsUnion(inferred));
-}

package/node_modules/typebox/build/type/extends/array.d.mts

@@ -1,20 +0,0 @@
-import { type TSchema } from '../types/schema.mjs';
-import { type TProperties } from '../types/properties.mjs';
-import { type TArray } from '../types/array.mjs';
-import { type TImmutable } from '../types/_immutable.mjs';
-import { type TExtendsRight } from './extends_right.mjs';
-import { type TExtendsLeft } from './extends_left.mjs';
-import * as Result from './result.mjs';
-type TExtendsImmutable<Left extends TSchema, Right extends TSchema, IsImmutableLeft extends boolean = Left extends TImmutable ? true : false, IsImmutableRight extends boolean = Right extends TImmutable ? true : false, Result extends boolean = [
-    IsImmutableLeft,
-    IsImmutableRight
-] extends [true, true] ? true : [
-    IsImmutableLeft,
-    IsImmutableRight
-] extends [false, true] ? true : [
-    IsImmutableLeft,
-    IsImmutableRight
-] extends [true, false] ? false : true> = Result;
-export type TExtendsArray<Inferred extends TProperties, ArrayLeft extends TSchema, Left extends TSchema, Right extends TSchema> = (Right extends TArray<infer Type extends TSchema> ? TExtendsImmutable<ArrayLeft, Right> extends true ? TExtendsLeft<Inferred, Left, Type> : Result.TExtendsFalse : TExtendsRight<Inferred, ArrayLeft, Right>);
-export declare function ExtendsArray<Inferred extends TProperties, ArrayLeft extends TSchema, Left extends TSchema, Right extends TSchema>(inferred: Inferred, arrayLeft: ArrayLeft, left: Left, right: Right): TExtendsArray<Inferred, ArrayLeft, Left, Right>;
-export {};

package/node_modules/typebox/build/type/extends/array.mjs

@@ -1,21 +0,0 @@
-// deno-fmt-ignore-file
-import { IsArray } from '../types/array.mjs';
-import { IsImmutable } from '../types/_immutable.mjs';
-import { ExtendsRight } from './extends_right.mjs';
-import { ExtendsLeft } from './extends_left.mjs';
-import * as Result from './result.mjs';
-function ExtendsImmutable(left, right) {
-    const isImmutableLeft = IsImmutable(left);
-    const isImmutableRight = IsImmutable(right);
-    return (isImmutableLeft && isImmutableRight ? true :
-        !isImmutableLeft && isImmutableRight ? true :
-            isImmutableLeft && !isImmutableRight ? false :
-                true);
-}
-export function ExtendsArray(inferred, arrayLeft, left, right) {
-    return (IsArray(right)
-        ? ExtendsImmutable(arrayLeft, right)
-            ? ExtendsLeft(inferred, left, right.items)
-            : Result.ExtendsFalse()
-        : ExtendsRight(inferred, arrayLeft, right));
-}

package/node_modules/typebox/build/type/extends/bigint.d.mts

@@ -1,7 +0,0 @@
-import { type TSchema } from '../types/schema.mjs';
-import { type TProperties } from '../types/properties.mjs';
-import { type TBigInt } from '../types/bigint.mjs';
-import { type TExtendsRight } from './extends_right.mjs';
-import * as Result from './result.mjs';
-export type TExtendsBigInt<Inferred extends TProperties, Left extends TBigInt, Right extends TSchema> = (Right extends TBigInt ? Result.TExtendsTrue<Inferred> : TExtendsRight<Inferred, Left, Right>);
-export declare function ExtendsBigInt<Inferred extends TProperties, Left extends TBigInt, Right extends TSchema>(inferred: Inferred, left: Left, right: Right): TExtendsBigInt<Inferred, Left, Right>;

package/node_modules/typebox/build/type/extends/bigint.mjs

@@ -1,9 +0,0 @@
-// deno-fmt-ignore-file
-import { IsBigInt } from '../types/bigint.mjs';
-import { ExtendsRight } from './extends_right.mjs';
-import * as Result from './result.mjs';
-export function ExtendsBigInt(inferred, left, right) {
-    return (IsBigInt(right)
-        ? Result.ExtendsTrue(inferred)
-        : ExtendsRight(inferred, left, right));
-}

package/node_modules/typebox/build/type/extends/boolean.d.mts

@@ -1,7 +0,0 @@
-import { type TSchema } from '../types/schema.mjs';
-import { type TProperties } from '../types/properties.mjs';
-import { type TBoolean } from '../types/boolean.mjs';
-import { type TExtendsRight } from './extends_right.mjs';
-import * as Result from './result.mjs';
-export type TExtendsBoolean<Inferred extends TProperties, Left extends TBoolean, Right extends TSchema> = (Right extends TBoolean ? Result.TExtendsTrue<Inferred> : TExtendsRight<Inferred, Left, Right>);
-export declare function ExtendsBoolean<Inferred extends TProperties, Left extends TBoolean, Right extends TSchema>(inferred: Inferred, left: Left, right: Right): TExtendsBoolean<Inferred, Left, Right>;

package/node_modules/typebox/build/type/extends/boolean.mjs

@@ -1,9 +0,0 @@
-// deno-fmt-ignore-file
-import { IsBoolean } from '../types/boolean.mjs';
-import { ExtendsRight } from './extends_right.mjs';
-import * as Result from './result.mjs';
-export function ExtendsBoolean(inferred, left, right) {
-    return (IsBoolean(right)
-        ? Result.ExtendsTrue(inferred)
-        : ExtendsRight(inferred, left, right));
-}

package/node_modules/typebox/build/type/extends/constructor.d.mts

@@ -1,10 +0,0 @@
-import { type TSchema } from '../types/schema.mjs';
-import { type TProperties } from '../types/properties.mjs';
-import { type TAny } from '../types/any.mjs';
-import { type TConstructor } from '../types/constructor.mjs';
-import { type TUnknown } from '../types/unknown.mjs';
-import * as Result from './result.mjs';
-import { type TExtendsParameters } from './parameters.mjs';
-import { type TExtendsReturnType } from './return_type.mjs';
-export type TExtendsConstructor<Inferred extends TProperties, Parameters extends TSchema[], InstanceType extends TSchema, Right extends TSchema> = (Right extends TAny ? Result.TExtendsTrue<Inferred> : Right extends TUnknown ? Result.TExtendsTrue<Inferred> : Right extends TConstructor ? TExtendsParameters<Inferred, Parameters, Right['parameters']> extends Result.TExtendsTrueLike<infer Inferred extends TProperties> ? TExtendsReturnType<Inferred, InstanceType, Right['instanceType']> : Result.TExtendsFalse : Result.TExtendsFalse);
-export declare function ExtendsConstructor<Inferred extends TProperties, Parameters extends TSchema[], InstanceType extends TSchema, Right extends TSchema>(inferred: Inferred, parameters: [...Parameters], returnType: InstanceType, right: Right): TExtendsConstructor<Inferred, Parameters, InstanceType, Right>;

package/node_modules/typebox/build/type/extends/constructor.mjs

@@ -1,17 +0,0 @@
-// deno-fmt-ignore-file
-import { IsAny } from '../types/any.mjs';
-import { IsConstructor } from '../types/constructor.mjs';
-import { IsUnknown } from '../types/unknown.mjs';
-import * as Result from './result.mjs';
-// ------------------------------------------------------------------
-// Parameters | ReturnType
-// ------------------------------------------------------------------ 
-import { ExtendsParameters } from './parameters.mjs';
-import { ExtendsReturnType } from './return_type.mjs';
-export function ExtendsConstructor(inferred, parameters, returnType, right) {
-    return (IsAny(right) ? Result.ExtendsTrue(inferred) :
-        IsUnknown(right) ? Result.ExtendsTrue(inferred) :
-            IsConstructor(right) ? Result.Match(ExtendsParameters(inferred, parameters, right['parameters']), inferred => ExtendsReturnType(inferred, returnType, right['instanceType']), () => Result.ExtendsFalse()) // 'not-a-parameter-match'
-                : Result.ExtendsFalse() // 'not-a-constructor'
-    );
-}

package/node_modules/typebox/build/type/extends/dependent.d.mts

@@ -1,6 +0,0 @@
-import { type TProperties } from '../types/properties.mjs';
-import { type TSchema } from '../types/schema.mjs';
-import { type TExtendsLeft } from './extends_left.mjs';
-import * as Result from './result.mjs';
-export type TExtendsDependent<Inferred extends TProperties, If extends TSchema, Then extends TSchema, Else extends TSchema, Right extends TSchema> = (TExtendsLeft<Inferred, If, Right> extends Result.TExtendsTrueLike<infer Inferred extends TProperties> ? TExtendsLeft<Inferred, Then, Right> : TExtendsLeft<Inferred, Else, Right>);
-export declare function ExtendsDependent<Inferred extends TProperties, If extends TSchema, Then extends TSchema, Else extends TSchema, Right extends TSchema>(inferred: Inferred, if_: If, then_: Then, else_: Else, right: Right): TExtendsDependent<Inferred, If, Then, Else, Right>;

package/node_modules/typebox/build/type/extends/dependent.mjs

@@ -1,6 +0,0 @@
-// deno-fmt-ignore-file
-import { ExtendsLeft } from './extends_left.mjs';
-import * as Result from './result.mjs';
-export function ExtendsDependent(inferred, if_, then_, else_, right) {
-    return Result.Match(ExtendsLeft(inferred, if_, right), () => ExtendsLeft(inferred, then_, right), () => ExtendsLeft(inferred, else_, right));
-}

package/node_modules/typebox/build/type/extends/enum.d.mts

@@ -1,7 +0,0 @@
-import { type TSchema } from '../types/schema.mjs';
-import { type TProperties } from '../types/properties.mjs';
-import { type TEnumValue } from '../types/enum.mjs';
-import { type TExtendsLeft } from './extends_left.mjs';
-import { type TEvaluateEnum } from '../engine/evaluate/evaluate.mjs';
-export type TExtendsEnum<Inferred extends TProperties, Left extends TEnumValue[], Right extends TSchema, Evaluated extends TSchema = TEvaluateEnum<Left>> = TExtendsLeft<Inferred, Evaluated, Right>;
-export declare function ExtendsEnum<Inferred extends TProperties, Left extends TEnumValue[], Right extends TSchema>(inferred: Inferred, left: Left, right: Right): TExtendsEnum<Inferred, Left, Right>;

package/node_modules/typebox/build/type/extends/enum.mjs

@@ -1,7 +0,0 @@
-// deno-fmt-ignore-file
-import { ExtendsLeft } from './extends_left.mjs';
-import { EvaluateEnum } from '../engine/evaluate/evaluate.mjs';
-export function ExtendsEnum(inferred, left, right) {
-    const evaluated = EvaluateEnum(left);
-    return ExtendsLeft(inferred, evaluated, right);
-}

package/node_modules/typebox/build/type/extends/extends.d.mts

@@ -1,13 +0,0 @@
-import { type TSchema } from '../types/schema.mjs';
-import { type TProperties } from '../types/properties.mjs';
-import { type TCyclic } from '../types/cyclic.mjs';
-import { type TUnknown } from '../types/unknown.mjs';
-import { type TUnsafe } from '../types/unsafe.mjs';
-import { type TExtendsLeft } from './extends_left.mjs';
-import { type TCyclicExtends } from '../engine/cyclic/index.mjs';
-type TCanonical<Type extends TSchema> = (Type extends TCyclic ? TCyclicExtends<Type> : Type extends TUnsafe ? TUnknown : Type);
-/** Performs a structural extends check on left and right types and yields inferred types on right if specified. */
-export type TExtends<Inferred extends TProperties, Left extends TSchema, Right extends TSchema, CanonicalLeft extends TSchema = TCanonical<Left>, CanonicalRight extends TSchema = TCanonical<Right>> = TExtendsLeft<Inferred, CanonicalLeft, CanonicalRight>;
-/** Performs a structural extends check on left and right types and yields inferred types on right if specified. */
-export declare function Extends<Inferred extends TProperties, Left extends TSchema, Right extends TSchema>(inferred: Inferred, left: Left, right: Right): TExtends<Inferred, Left, Right>;
-export {};

package/node_modules/typebox/build/type/extends/extends.mjs

@@ -1,17 +0,0 @@
-// deno-fmt-ignore-file
-import { IsCyclic } from '../types/cyclic.mjs';
-import { Unknown } from '../types/unknown.mjs';
-import { IsUnsafe } from '../types/unsafe.mjs';
-import { ExtendsLeft } from './extends_left.mjs';
-import { CyclicExtends } from '../engine/cyclic/index.mjs';
-function Canonical(type) {
-    return (IsCyclic(type) ? CyclicExtends(type) :
-        IsUnsafe(type) ? Unknown() :
-            type);
-}
-/** Performs a structural extends check on left and right types and yields inferred types on right if specified. */
-export function Extends(inferred, left, right) {
-    const canonicalLeft = Canonical(left);
-    const canonicalRight = Canonical(right);
-    return ExtendsLeft(inferred, canonicalLeft, canonicalRight);
-}

package/node_modules/typebox/build/type/extends/extends_left.d.mts

@@ -1,53 +0,0 @@
-import { type TExtendsAny } from './any.mjs';
-import { type TExtendsArray } from './array.mjs';
-import { type TExtendsBigInt } from './bigint.mjs';
-import { type TExtendsBoolean } from './boolean.mjs';
-import { type TExtendsConstructor } from './constructor.mjs';
-import { type TExtendsDependent } from './dependent.mjs';
-import { type TExtendsEnum } from './enum.mjs';
-import { type TExtendsFunction } from './function.mjs';
-import { type TExtendsInteger } from './integer.mjs';
-import { type TExtendsIntersect } from './intersect.mjs';
-import { type TExtendsLiteral } from './literal.mjs';
-import { type TExtendsNever } from './never.mjs';
-import { type TExtendsNull } from './null.mjs';
-import { type TExtendsNumber } from './number.mjs';
-import { type TExtendsObject } from './object.mjs';
-import { type TExtendsRecord } from './record.mjs';
-import { type TExtendsString } from './string.mjs';
-import { type TExtendsSymbol } from './symbol.mjs';
-import { type TExtendsTemplateLiteral } from './template_literal.mjs';
-import { type TExtendsTuple } from './tuple.mjs';
-import { type TExtendsUndefined } from './undefined.mjs';
-import { type TExtendsUnion } from './union.mjs';
-import { type TExtendsUnknown } from './unknown.mjs';
-import { type TExtendsVoid } from './void.mjs';
-import { type TAny } from '../types/any.mjs';
-import { type TArray } from '../types/array.mjs';
-import { type TBigInt } from '../types/bigint.mjs';
-import { type TBoolean } from '../types/boolean.mjs';
-import { type TConstructor } from '../types/constructor.mjs';
-import { type TDependent } from '../types/dependent.mjs';
-import { type TEnum, type TEnumValue } from '../types/enum.mjs';
-import { type TFunction } from '../types/function.mjs';
-import { type TInteger } from '../types/integer.mjs';
-import { type TIntersect } from '../types/intersect.mjs';
-import { type TLiteral } from '../types/literal.mjs';
-import { type TNever } from '../types/never.mjs';
-import { type TNull } from '../types/null.mjs';
-import { type TNumber } from '../types/number.mjs';
-import { type TObject } from '../types/object.mjs';
-import { type TRecord } from '../types/record.mjs';
-import { type TSchema } from '../types/schema.mjs';
-import { type TString } from '../types/string.mjs';
-import { type TSymbol } from '../types/symbol.mjs';
-import { type TTemplateLiteral } from '../types/template_literal.mjs';
-import { type TTuple } from '../types/tuple.mjs';
-import { type TUndefined } from '../types/undefined.mjs';
-import { type TUnknown } from '../types/unknown.mjs';
-import { type TProperties } from '../types/properties.mjs';
-import { type TUnion } from '../types/union.mjs';
-import { type TVoid } from '../types/void.mjs';
-import * as Result from './result.mjs';
-export type TExtendsLeft<Inferred extends TProperties, Left extends TSchema, Right extends TSchema> = (Left extends TAny ? TExtendsAny<Inferred, Left, Right> : Left extends TArray<infer Items extends TSchema> ? TExtendsArray<Inferred, Left, Items, Right> : Left extends TBigInt ? TExtendsBigInt<Inferred, Left, Right> : Left extends TBoolean ? TExtendsBoolean<Inferred, Left, Right> : Left extends TConstructor<infer Parameters extends TSchema[], infer InstanceType extends TSchema> ? TExtendsConstructor<Inferred, Parameters, InstanceType, Right> : Left extends TDependent<infer If extends TSchema, infer Then extends TSchema, infer Else extends TSchema> ? TExtendsDependent<Inferred, If, Then, Else, Right> : Left extends TEnum<infer Values extends TEnumValue[]> ? TExtendsEnum<Inferred, Values, Right> : Left extends TFunction<infer Parameters extends TSchema[], infer ReturnType extends TSchema> ? TExtendsFunction<Inferred, Parameters, ReturnType, Right> : Left extends TInteger ? TExtendsInteger<Inferred, Left, Right> : Left extends TIntersect<infer Types extends TSchema[]> ? TExtendsIntersect<Inferred, Types, Right> : Left extends TLiteral ? TExtendsLiteral<Inferred, Left, Right> : Left extends TNever ? TExtendsNever<Inferred, Left, Right> : Left extends TNull ? TExtendsNull<Inferred, Left, Right> : Left extends TNumber ? TExtendsNumber<Inferred, Left, Right> : Left extends TObject<infer Properties extends TProperties> ? TExtendsObject<Inferred, Properties, Right> : Left extends TRecord<infer Pattern extends string, infer Value extends TSchema> ? TExtendsRecord<Inferred, Pattern, Value, Right> : Left extends TString ? TExtendsString<Inferred, Left, Right> : Left extends TSymbol ? TExtendsSymbol<Inferred, Left, Right> : Left extends TTemplateLiteral<infer Pattern extends string> ? TExtendsTemplateLiteral<Inferred, Pattern, Right> : Left extends TTuple<infer Types extends TSchema[]> ? TExtendsTuple<Inferred, Types, Right> : Left extends TUndefined ? TExtendsUndefined<Inferred, Left, Right> : Left extends TUnion<infer Types extends TSchema[]> ? TExtendsUnion<Inferred, Types, Right> : Left extends TUnknown ? TExtendsUnknown<Inferred, Left, Right> : Left extends TVoid ? TExtendsVoid<Inferred, Left, Right> : Result.TExtendsFalse);
-export declare function ExtendsLeft<Inferred extends TProperties, Left extends TSchema, Right extends TSchema>(inferred: Inferred, left: Left, right: Right): TExtendsLeft<Inferred, Left, Right>;

package/node_modules/typebox/build/type/extends/extends_left.mjs

@@ -1,80 +0,0 @@
-// deno-fmt-ignore-file
-import { ExtendsAny } from './any.mjs';
-import { ExtendsArray } from './array.mjs';
-import { ExtendsBigInt } from './bigint.mjs';
-import { ExtendsBoolean } from './boolean.mjs';
-import { ExtendsConstructor } from './constructor.mjs';
-import { ExtendsDependent } from './dependent.mjs';
-import { ExtendsEnum } from './enum.mjs';
-import { ExtendsFunction } from './function.mjs';
-import { ExtendsInteger } from './integer.mjs';
-import { ExtendsIntersect } from './intersect.mjs';
-import { ExtendsLiteral } from './literal.mjs';
-import { ExtendsNever } from './never.mjs';
-import { ExtendsNull } from './null.mjs';
-import { ExtendsNumber } from './number.mjs';
-import { ExtendsObject } from './object.mjs';
-import { ExtendsRecord } from './record.mjs';
-import { ExtendsString } from './string.mjs';
-import { ExtendsSymbol } from './symbol.mjs';
-import { ExtendsTemplateLiteral } from './template_literal.mjs';
-import { ExtendsTuple } from './tuple.mjs';
-import { ExtendsUndefined } from './undefined.mjs';
-import { ExtendsUnion } from './union.mjs';
-import { ExtendsUnknown } from './unknown.mjs';
-import { ExtendsVoid } from './void.mjs';
-// ----------------------------------------------------------------------------
-// Types
-// ----------------------------------------------------------------------------
-import { IsAny } from '../types/any.mjs';
-import { IsArray } from '../types/array.mjs';
-import { IsBigInt } from '../types/bigint.mjs';
-import { IsBoolean } from '../types/boolean.mjs';
-import { IsConstructor } from '../types/constructor.mjs';
-import { IsDependent } from '../types/dependent.mjs';
-import { IsEnum } from '../types/enum.mjs';
-import { IsFunction } from '../types/function.mjs';
-import { IsInteger } from '../types/integer.mjs';
-import { IsIntersect } from '../types/intersect.mjs';
-import { IsLiteral } from '../types/literal.mjs';
-import { IsNever } from '../types/never.mjs';
-import { IsNull } from '../types/null.mjs';
-import { IsNumber } from '../types/number.mjs';
-import { IsObject } from '../types/object.mjs';
-import { IsRecord, RecordPattern, RecordValue } from '../types/record.mjs';
-import { IsString } from '../types/string.mjs';
-import { IsSymbol } from '../types/symbol.mjs';
-import { IsTemplateLiteral } from '../types/template_literal.mjs';
-import { IsTuple } from '../types/tuple.mjs';
-import { IsUndefined } from '../types/undefined.mjs';
-import { IsUnknown } from '../types/unknown.mjs';
-import { IsUnion } from '../types/union.mjs';
-import { IsVoid } from '../types/void.mjs';
-import * as Result from './result.mjs';
-export function ExtendsLeft(inferred, left, right) {
-    return (IsAny(left) ? ExtendsAny(inferred, left, right) :
-        IsArray(left) ? ExtendsArray(inferred, left, left.items, right) :
-            IsBigInt(left) ? ExtendsBigInt(inferred, left, right) :
-                IsBoolean(left) ? ExtendsBoolean(inferred, left, right) :
-                    IsConstructor(left) ? ExtendsConstructor(inferred, left.parameters, left.instanceType, right) :
-                        IsDependent(left) ? ExtendsDependent(inferred, left.if, left.then, left.else, right) :
-                            IsEnum(left) ? ExtendsEnum(inferred, left.enum, right) :
-                                IsFunction(left) ? ExtendsFunction(inferred, left.parameters, left.returnType, right) :
-                                    IsInteger(left) ? ExtendsInteger(inferred, left, right) :
-                                        IsIntersect(left) ? ExtendsIntersect(inferred, left.allOf, right) :
-                                            IsLiteral(left) ? ExtendsLiteral(inferred, left, right) :
-                                                IsNever(left) ? ExtendsNever(inferred, left, right) :
-                                                    IsNull(left) ? ExtendsNull(inferred, left, right) :
-                                                        IsNumber(left) ? ExtendsNumber(inferred, left, right) :
-                                                            IsObject(left) ? ExtendsObject(inferred, left.properties, right) :
-                                                                IsRecord(left) ? ExtendsRecord(inferred, RecordPattern(left), RecordValue(left), right) :
-                                                                    IsString(left) ? ExtendsString(inferred, left, right) :
-                                                                        IsSymbol(left) ? ExtendsSymbol(inferred, left, right) :
-                                                                            IsTemplateLiteral(left) ? ExtendsTemplateLiteral(inferred, left.pattern, right) :
-                                                                                IsTuple(left) ? ExtendsTuple(inferred, left.items, right) :
-                                                                                    IsUndefined(left) ? ExtendsUndefined(inferred, left, right) :
-                                                                                        IsUnion(left) ? ExtendsUnion(inferred, left.anyOf, right) :
-                                                                                            IsUnknown(left) ? ExtendsUnknown(inferred, left, right) :
-                                                                                                IsVoid(left) ? ExtendsVoid(inferred, left, right) :
-                                                                                                    Result.ExtendsFalse());
-}

package/node_modules/typebox/build/type/extends/extends_right.d.mts

@@ -1,27 +0,0 @@
-import { Memory } from '../../system/memory/index.mjs';
-import { type TSchema } from '../types/schema.mjs';
-import { type TProperties } from '../types/properties.mjs';
-import { type TAny } from '../types/any.mjs';
-import { type TDependent } from '../types/dependent.mjs';
-import { type TEnum, type TEnumValue } from '../types/enum.mjs';
-import { type TInfer } from '../types/infer.mjs';
-import { type TIntersect } from '../types/intersect.mjs';
-import { type TTemplateLiteral } from '../types/template_literal.mjs';
-import { type TUnion } from '../types/union.mjs';
-import { type TUnknown } from '../types/unknown.mjs';
-import { type TExtendsLeft } from './extends_left.mjs';
-import * as Result from './result.mjs';
-import { type TEvaluateEnum } from '../engine/evaluate/evaluate.mjs';
-import { type TEvaluateTemplateLiteral } from '../engine/evaluate/evaluate.mjs';
-type TExtendsRightInfer<Inferred extends TProperties, Name extends string, Left extends TSchema, Right extends TSchema, Result extends Result.TResult = (TExtendsLeft<Inferred, Left, Right> extends Result.TExtendsTrueLike<infer CheckInferred extends TProperties> ? Result.TExtendsTrue<Memory.TAssign<Memory.TAssign<Inferred, CheckInferred>, {
-    [_ in Name]: Left;
-}>> : Result.TExtendsFalse)> = Result;
-type TExtendsRightAny<Inferred extends TProperties, _Left extends TSchema, Result extends Result.TResult = Result.TExtendsTrue<Inferred>> = Result;
-type TExtendsRightDependent<Inferred extends TProperties, Left extends TSchema, If extends TSchema, Then extends TSchema, Else extends TSchema, Result extends Result.TResult = TExtendsLeft<Inferred, Left, If> extends Result.TExtendsTrueLike<infer Inferred extends TProperties> ? (TExtendsLeft<Inferred, Left, Then> extends Result.TExtendsTrueLike<infer Inferred extends TProperties> ? Result.TExtendsTrue<Inferred> : Result.TExtendsFalse) : (TExtendsLeft<Inferred, Left, Else> extends Result.TExtendsTrueLike<infer Inferred extends TProperties> ? Result.TExtendsTrue<Inferred> : Result.TExtendsFalse)> = Result;
-type TExtendsRightEnum<Inferred extends TProperties, Left extends TSchema, Right extends TEnumValue[], Evaluated extends TSchema = TEvaluateEnum<Right>> = TExtendsLeft<Inferred, Left, Evaluated>;
-type TExtendsRightIntersect<Inferred extends TProperties, Left extends TSchema, Right extends TSchema[]> = (Right extends [infer Head extends TSchema, ...infer Tail extends TSchema[]] ? TExtendsLeft<Inferred, Left, Head> extends Result.TExtendsTrueLike<infer Inferred extends TProperties> ? TExtendsRightIntersect<Inferred, Left, Tail> : Result.TExtendsFalse : Result.TExtendsTrue<Inferred>);
-type TExtendsRightTemplateLiteral<Inferred extends TProperties, Left extends TSchema, Right extends string, Evaluated extends TSchema = TEvaluateTemplateLiteral<Right>> = TExtendsLeft<Inferred, Left, Evaluated>;
-type TExtendsRightUnion<Inferred extends TProperties, Left extends TSchema, Right extends TSchema[]> = (Right extends [infer Head extends TSchema, ...infer Tail extends TSchema[]] ? TExtendsLeft<Inferred, Left, Head> extends Result.TExtendsTrueLike<infer Inferred extends TProperties> ? Result.TExtendsTrue<Inferred> : TExtendsRightUnion<Inferred, Left, Tail> : Result.TExtendsFalse);
-export type TExtendsRight<Inferred extends TProperties, Left extends TSchema, Right extends TSchema> = (Right extends TAny ? TExtendsRightAny<Inferred, Left> : Right extends TDependent<infer If extends TSchema, infer Then extends TSchema, infer Else extends TSchema> ? TExtendsRightDependent<Inferred, Left, If, Then, Else> : Right extends TEnum<infer Values extends TEnumValue[]> ? TExtendsRightEnum<Inferred, Left, Values> : Right extends TInfer<infer Name extends string, infer Type extends TSchema> ? TExtendsRightInfer<Inferred, Name, Left, Type> : Right extends TTemplateLiteral<infer Pattern extends string> ? TExtendsRightTemplateLiteral<Inferred, Left, Pattern> : Right extends TIntersect<infer Types extends TSchema[]> ? TExtendsRightIntersect<Inferred, Left, Types> : Right extends TUnion<infer Types extends TSchema[]> ? TExtendsRightUnion<Inferred, Left, Types> : Right extends TUnknown ? Result.TExtendsTrue<Inferred> : Result.TExtendsFalse);
-export declare function ExtendsRight<Inferred extends TProperties, Left extends TSchema, Right extends TSchema>(inferred: Inferred, left: Left, right: Right): TExtendsRight<Inferred, Left, Right>;
-export {};