@yaag/cli 0.1.0

package/assets/types/typebox/build/type/types/properties.d.mts

@@ -0,0 +1,43 @@
+import { type StaticType, type StaticDirection, type StaticEvaluate } from './static.mjs';
+import { type TSchema } from './schema.mjs';
+import { type TOptional } from './_optional.mjs';
+import { type TReadonly } from './_readonly.mjs';
+import { type TUnionToTuple } from '../engine/helpers/union.mjs';
+type ReadonlyOptionalKeys<Properties extends TProperties, Result extends PropertyKey = {
+    [Key in keyof Properties]: Properties[Key] extends TReadonly<TSchema> ? (Properties[Key] extends TOptional<Properties[Key]> ? Key : never) : never;
+}[keyof Properties]> = Result;
+type ReadonlyKeys<Properties extends TProperties, Result extends PropertyKey = {
+    [Key in keyof Properties]: Properties[Key] extends TReadonly<TSchema> ? (Properties[Key] extends TOptional<Properties[Key]> ? never : Key) : never;
+}[keyof Properties]> = Result;
+type OptionalKeys<Properties extends TProperties, Result extends PropertyKey = {
+    [Key in keyof Properties]: Properties[Key] extends TOptional<TSchema> ? (Properties[Key] extends TReadonly<Properties[Key]> ? never : Key) : never;
+}[keyof Properties]> = Result;
+type RequiredKeys<Properties extends TProperties, Result extends PropertyKey = keyof Omit<Properties, ReadonlyOptionalKeys<Properties> | ReadonlyKeys<Properties> | OptionalKeys<Properties>>> = Result;
+type StaticPropertiesWithModifiers<Properties extends TProperties, PropertiesWithoutModifiers extends Record<PropertyKey, unknown>> = StaticEvaluate<Readonly<Partial<Pick<PropertiesWithoutModifiers, ReadonlyOptionalKeys<Properties>>>> & Readonly<Pick<PropertiesWithoutModifiers, ReadonlyKeys<Properties>>> & Partial<Pick<PropertiesWithoutModifiers, OptionalKeys<Properties>>> & Required<Pick<PropertiesWithoutModifiers, RequiredKeys<Properties>>>>;
+type StaticPropertiesWithoutModifiers<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Properties extends TProperties, Result extends Record<PropertyKey, unknown> = {
+    [Key in keyof Properties]: StaticType<Stack, Direction, Context, This, Properties[Key]>;
+}> = Result;
+export type StaticProperties<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Properties extends TProperties, PropertiesWithoutModifiers extends Record<PropertyKey, unknown> = StaticPropertiesWithoutModifiers<Stack, Direction, Context, This, Properties>, PropertiesWithModifiers extends Record<PropertyKey, unknown> = StaticPropertiesWithModifiers<Properties, PropertiesWithoutModifiers>, Result extends Record<PropertyKey, unknown> = {
+    [Key in keyof PropertiesWithModifiers]: PropertiesWithModifiers[Key];
+}> = Result;
+/** Represents a Record<PropertyKey, TSchema> structure. */
+export interface TProperties extends TSchema {
+    [key: PropertyKey]: TSchema;
+}
+/** Creates a RequiredArray derived from the given TProperties value. */
+export type TRequiredArray<Properties extends TProperties, RequiredProperties extends TProperties = {
+    [Key in keyof Properties as Properties[Key] extends TOptional<Properties[Key]> ? never : Key]: Properties[Key];
+}, RequiredKeys extends string[] = TUnionToTuple<Extract<keyof RequiredProperties, string>>, Result extends string[] | undefined = RequiredKeys extends [] ? undefined : RequiredKeys> = Result;
+/** Creates a RequiredArray derived from the given TProperties value. */
+export declare function RequiredArray<Properties extends TProperties>(properties: Properties): TRequiredArray<Properties>;
+type TKeyToString<Key extends number | string> = `${Key}`;
+/** Extracts a tuple of keys from a TProperties value. */
+export type TPropertyKeys<Properties extends TProperties, ExtractKey extends number | string = Extract<keyof Properties, number | string>, StringKey extends string = TKeyToString<ExtractKey>, Result extends string[] = TUnionToTuple<StringKey>> = Result;
+/** Extracts a tuple of keys from a TProperties value. */
+export declare function PropertyKeys<Properties extends TProperties>(properties: Properties): TPropertyKeys<Properties>;
+type TPropertyValuesReduce<Properties extends TProperties, Keys extends string[], Result extends TSchema[] = []> = Keys extends [infer Left extends string, ...infer Right extends string[]] ? Left extends keyof Properties ? TPropertyValuesReduce<Properties, Right, [...Result, Properties[Left]]> : TPropertyValuesReduce<Properties, Right, Result> : Result;
+/** Extracts a tuple of property values from a TProperties value. */
+export type TPropertyValues<Properties extends TProperties, Keys extends string[] = TPropertyKeys<Properties>, Result extends TSchema[] = TPropertyValuesReduce<Properties, Keys>> = Result;
+/** Extracts a tuple of property values from a TProperties value. */
+export declare function PropertyValues<Properties extends TProperties>(properties: Properties): TPropertyValues<Properties>;
+export {};

package/assets/types/typebox/build/type/types/record.d.mts

@@ -0,0 +1,52 @@
+import { type TSchema, type TObjectOptions } from './schema.mjs';
+import { type StaticType, type StaticDirection } from './static.mjs';
+import { type TProperties } from './properties.mjs';
+import { type TInteger } from './integer.mjs';
+import { type TNumber } from './number.mjs';
+import { type TString } from './string.mjs';
+import { type TDeferred } from './deferred.mjs';
+import { type TTemplateLiteralStatic } from '../engine/template_literal/index.mjs';
+import { type TTemplateLiteralDecodeUnsafe } from '../engine/template_literal/decode.mjs';
+import { type TRecordAction } from '../engine/record/instantiate.mjs';
+type StaticPropertyKey<Key extends string, Result extends PropertyKey = (Key extends TStringKey ? string : Key extends TIntegerKey ? number : Key extends TNumberKey ? number : Key extends `^${string}$` ? TTemplateLiteralStatic<Key> : string)> = Result;
+export type StaticRecord<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Key extends string, Value extends TSchema, StaticKey extends PropertyKey = StaticPropertyKey<Key>, StaticValue extends unknown = StaticType<Stack, Direction, Context, This, Value>, Result extends Record<PropertyKey, unknown> = Record<StaticKey, StaticValue>> = Result;
+export type TStringKey = typeof StringKey;
+export type TIntegerKey = typeof IntegerKey;
+export type TNumberKey = typeof NumberKey;
+export declare const IntegerKey = "^-?(?:0|[1-9][0-9]*)$";
+export declare const NumberKey = "^-?(?:0|[1-9][0-9]*)(?:\\.[0-9]+)?$";
+export declare const StringKey = "^.*$";
+export interface TRecord<Key extends string = string, Value extends TSchema = TSchema> extends TSchema {
+    '~kind': 'Record';
+    type: 'object';
+    patternProperties: {
+        [_ in Key]: Value;
+    };
+}
+/** Represents a deferred Record action. */
+export type TRecordDeferred<Key extends TSchema = TSchema, Value extends TSchema = TSchema> = (TDeferred<'Record', [Key, Value]>);
+/** Represents a deferred Record action. */
+export declare function RecordDeferred<Key extends TSchema, Value extends TSchema>(key: Key, value: Value, options?: TObjectOptions): TRecordDeferred<Key, Value>;
+/** Creates a Record type. */
+export declare function Record<Key extends TSchema, Value extends TSchema>(key: Key, value: Value, options?: TObjectOptions): TRecordAction<Key, Value>;
+/** Creates a Record type from regular expression pattern. */
+export declare function RecordFromPattern<Pattern extends string, Value extends TSchema>(pattern: Pattern, value: Value): TRecord<Pattern, Value>;
+/** Transforms a Record Pattern to a Type */
+export type TRecordPatternToType<Pattern extends string, Result extends TSchema = (Pattern extends typeof StringKey ? TString : Pattern extends typeof IntegerKey ? TInteger : Pattern extends typeof NumberKey ? TNumber : TTemplateLiteralDecodeUnsafe<Pattern>)> = Result;
+/** Transforms a Record Pattern to a Type */
+export declare function RecordPatternToType<Pattern extends string>(pattern: Pattern): TRecordPatternToType<Pattern>;
+/** Extracts the Pattern from a Record type */
+export type TRecordPattern<Type extends TRecord, Result extends string = Extract<keyof Type['patternProperties'], string>> = Result;
+/** Extracts the Pattern from a Record type */
+export declare function RecordPattern<Type extends TRecord>(type: Type): TRecordPattern<Type>;
+/** Extracts the Key from a Record type */
+export type TRecordKey<Type extends TRecord, Pattern extends string = TRecordPattern<Type>, Result extends TSchema = TRecordPatternToType<Pattern>> = Result;
+/** Extracts the Key from a Record type */
+export declare function RecordKey<Type extends TRecord>(type: Type): TRecordKey<Type>;
+/** Extracts the Value from a Record type */
+export type TRecordValue<Type extends TRecord, Result extends TSchema = Type['patternProperties'][TRecordPattern<Type>]> = Result;
+/** Extracts the Value from a Record type */
+export declare function RecordValue<Type extends TRecord>(type: Type): TRecordValue<Type>;
+export declare function IsRecord(value: unknown): value is TRecord;
+export declare function RecordOptions(type: TRecord): TObjectOptions;
+export {};

package/assets/types/typebox/build/type/types/ref.d.mts

@@ -0,0 +1,19 @@
+import { type StaticType, type StaticDirection } from './static.mjs';
+import { type TSchema, type TSchemaOptions } from './schema.mjs';
+import { type TProperties } from './properties.mjs';
+import { type TObject } from './object.mjs';
+import { type TUnknown } from './unknown.mjs';
+type CyclicStackLength<Stack extends unknown[], MaxLength extends number, Buffer extends unknown[] = []> = (Stack extends [infer Left, ...infer Right] ? Buffer['length'] extends MaxLength ? false : CyclicStackLength<Right, MaxLength, [...Buffer, Left]> : true);
+type CyclicGuard<Stack extends unknown[], Ref extends string> = (Ref extends Stack[number] ? CyclicStackLength<Stack, 2> : true);
+type StaticGuardedRef<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Ref extends string, Type extends TSchema> = (CyclicGuard<Stack, Ref> extends true ? StaticType<[...Stack, Ref], Direction, Context, This, Type> : any);
+export type StaticRef<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Ref extends string, Target extends TSchema = Ref extends keyof Context ? Context[Ref] : TUnknown, Result extends unknown = Target extends TObject ? StaticType<[], Direction, Context, This, Target> : StaticGuardedRef<Stack, Direction, Context, This, Ref, Target>> = Result;
+/** Represents a type reference. */
+export interface TRef<Ref extends string = string> extends TSchema {
+    '~kind': 'Ref';
+    $ref: Ref;
+}
+/** Creates a Ref type. */
+export declare function Ref<Ref extends string>(ref: Ref, options?: TSchemaOptions): TRef<Ref>;
+/** Returns true if the given value is TRef. */
+export declare function IsRef(value: unknown): value is TRef;
+export {};

package/assets/types/typebox/build/type/types/rest.d.mts

@@ -0,0 +1,11 @@
+import { type TSchema } from '../types/schema.mjs';
+/** Represents a Rest instruction. */
+export interface TRest<Type extends TSchema = TSchema> extends TSchema {
+    '~kind': 'Rest';
+    type: 'rest';
+    items: Type;
+}
+/** Creates a Rest instruction type. */
+export declare function Rest<Type extends TSchema>(type: Type): TRest<Type>;
+/** Returns true if the given value is TRest. */
+export declare function IsRest(value: unknown): value is TRest;

package/assets/types/typebox/build/type/types/schema.d.mts

@@ -0,0 +1,176 @@
+export interface TSchema {
+}
+export declare function IsKind<Kind extends string>(value: unknown, kind: Kind): value is {
+    ['~kind']: Kind;
+};
+export declare function IsSchema(value: unknown): value is TSchema;
+export interface TSchemaOptions {
+    /**
+     * Allows for additional, unlisted properties to be included, typically for extensibility.
+     */
+    [key: PropertyKey]: unknown;
+    /**
+     * Specifies the URI of a JSON Schema that the current schema adheres to.
+     */
+    $schema?: string;
+    /**
+     * A URI that serves as a unique identifier for the schema.
+     */
+    $id?: string;
+    /**
+     * A short explanation about the purpose of the data described by the schema.
+     */
+    title?: string;
+    /**
+     * A detailed explanation of the data described by the schema.
+     */
+    description?: string;
+    /**
+     * A default value for the data, used when no value is provided.
+     */
+    default?: unknown;
+    /**
+     * Provides one or more examples of valid data conforming to the schema.
+     */
+    examples?: unknown;
+    /**
+     * Indicates that the data should only be readable and not modified.
+     */
+    readOnly?: boolean;
+    /**
+     * Indicates that the data should only be writable and not read back.
+     */
+    writeOnly?: boolean;
+    /**
+     * A schema to apply conditionally: if the data validates against this schema, 'then' applies.
+     */
+    if?: TSchema;
+    /**
+     * A schema to apply if the data validates against the 'if' schema.
+     */
+    then?: TSchema;
+    /**
+     * A schema to apply if the data does not validate against the 'if' schema.
+     */
+    else?: TSchema;
+}
+export interface TObjectOptions extends TSchemaOptions {
+    /**
+     * Defines whether additional properties are allowed beyond those explicitly defined in `properties`.
+     */
+    additionalProperties?: TSchema | boolean;
+    /**
+     * The minimum number of properties required in the object.
+     */
+    minProperties?: number;
+    /**
+     * The maximum number of properties allowed in the object.
+     */
+    maxProperties?: number;
+    /**
+     * Defines conditional requirements for properties.
+     */
+    dependencies?: Record<string, boolean | TSchema | string[]>;
+    /**
+     * Specifies properties that *must* be present if a given property is present.
+     */
+    dependentRequired?: Record<string, string[]>;
+    /**
+     * Defines schemas that apply if a specific property is present.
+     */
+    dependentSchemas?: Record<string, TSchema>;
+    /**
+     * Maps regular expressions to schemas properties matching a pattern must validate against the schema.
+     */
+    patternProperties?: Record<string, TSchema>;
+    /**
+     * A schema that all property names within the object must validate against.
+     */
+    propertyNames?: TSchema;
+}
+export interface TArrayOptions extends TSchemaOptions {
+    /**
+     * The minimum number of items allowed in the array.
+     */
+    minItems?: number;
+    /**
+     * The maximum number of items allowed in the array.
+     */
+    maxItems?: number;
+    /**
+     * A schema that at least one item in the array must validate against.
+     */
+    contains?: TSchema;
+    /**
+     * The minimum number of array items that must validate against the `contains` schema.
+     */
+    minContains?: number;
+    /**
+     * The maximum number of array items that may validate against the `contains` schema.
+     */
+    maxContains?: number;
+    /**
+     * An array of schemas, where each schema in `prefixItems` validates against items at corresponding positions from the beginning of the array.
+     */
+    prefixItems?: TSchema[];
+    /**
+     * If `true`, all items in the array must be unique.
+     */
+    uniqueItems?: boolean;
+}
+export interface TTupleOptions extends TArrayOptions {
+    /**
+     * A schema to apply to any items in the array that were not validated by `prefixItems` or `items`. If `false`, no additional items are allowed.
+     */
+    unevaluatedItems?: TSchema | boolean;
+}
+export interface TIntersectOptions extends TSchemaOptions {
+    /**
+     * A schema to apply to any properties in the object that were not validated by other keywords like `properties`, `patternProperties`, or `additionalProperties`. If `false`, no additional properties are allowed.
+     */
+    unevaluatedProperties?: TSchema | boolean;
+}
+export interface TNumberOptions extends TSchemaOptions {
+    /**
+     * Specifies an exclusive upper limit for the number (number must be less than this value).
+     */
+    exclusiveMaximum?: number | bigint;
+    /**
+     * Specifies an exclusive lower limit for the number (number must be greater than this value).
+     */
+    exclusiveMinimum?: number | bigint;
+    /**
+     * Specifies an inclusive upper limit for the number (number must be less than or equal to this value).
+     */
+    maximum?: number | bigint;
+    /**
+     * Specifies an inclusive lower limit for the number (number must be greater than or equal to this value).
+     */
+    minimum?: number | bigint;
+    /**
+     * Specifies that the number must be a multiple of this value.
+     */
+    multipleOf?: number | bigint;
+}
+export type TFormat = 'date-time' | 'date' | 'duration' | 'email' | 'hostname' | 'idn-email' | 'idn-hostname' | 'ipv4' | 'ipv6' | 'iri-reference' | 'iri' | 'json-pointer-uri-fragment' | 'json-pointer' | 'json-string' | 'regex' | 'relative-json-pointer' | 'time' | 'uri-reference' | 'uri-template' | 'uri' | 'url' | 'uuid' | ({} & string);
+export interface TStringOptions extends TSchemaOptions {
+    /**
+     * Specifies the expected string format. May also be a custom format string.
+     */
+    format?: TFormat;
+    /**
+     * Specifies the minimum number of characters allowed in the string.
+     * Must be a non-negative integer.
+     */
+    minLength?: number;
+    /**
+     * Specifies the maximum number of characters allowed in the string.
+     * Must be a non-negative integer.
+     */
+    maxLength?: number;
+    /**
+     * Specifies a regular expression pattern that the string value must match.
+     * Can be provided as a string (ECMA-262 regex syntax) or a `RegExp` object.
+     */
+    pattern?: string | RegExp;
+}

package/assets/types/typebox/build/type/types/static.d.mts

@@ -0,0 +1,45 @@
+import type { StaticCodec, TCodec } from './_codec.mjs';
+import type { StaticAny, TAny } from './any.mjs';
+import type { StaticArray, TArray } from './array.mjs';
+import type { StaticBigInt, TBigInt } from './bigint.mjs';
+import type { StaticBoolean, TBoolean } from './boolean.mjs';
+import type { StaticConstructor, TConstructor } from './constructor.mjs';
+import type { StaticCyclic, TCyclic } from './cyclic.mjs';
+import type { StaticEnum, TEnum, TEnumValue } from './enum.mjs';
+import type { StaticFunction, TFunction } from './function.mjs';
+import type { StaticInteger, TInteger } from './integer.mjs';
+import type { StaticDependent, TDependent } from './dependent.mjs';
+import type { StaticIntersect, TIntersect } from './intersect.mjs';
+import type { StaticLiteral, TLiteral, TLiteralValue } from './literal.mjs';
+import type { StaticNever, TNever } from './never.mjs';
+import type { StaticNull, TNull } from './null.mjs';
+import type { StaticNumber, TNumber } from './number.mjs';
+import type { StaticObject, TObject } from './object.mjs';
+import type { TProperties } from './properties.mjs';
+import type { StaticRecord, TRecord } from './record.mjs';
+import type { StaticRef, TRef } from './ref.mjs';
+import type { TSchema } from './schema.mjs';
+import type { StaticString, TString } from './string.mjs';
+import type { StaticSymbol, TSymbol } from './symbol.mjs';
+import type { StaticTemplateLiteral, TTemplateLiteral } from './template_literal.mjs';
+import type { StaticThis, TThis } from './this.mjs';
+import type { StaticTuple, TTuple } from './tuple.mjs';
+import type { StaticUndefined, TUndefined } from './undefined.mjs';
+import type { StaticUnion, TUnion } from './union.mjs';
+import type { StaticUnknown, TUnknown } from './unknown.mjs';
+import type { StaticUnsafe, TUnsafe } from './unsafe.mjs';
+import type { StaticVoid, TVoid } from './void.mjs';
+import type { XStatic } from '../../schema/static/static.mjs';
+export type StaticEvaluate<T> = {
+    [K in keyof T]: T[K];
+} & {};
+export type StaticDirection = 'Encode' | 'Decode';
+export type StaticType<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema> = (Type extends TCodec<infer Type extends TSchema, infer Decoded extends unknown> ? StaticCodec<Stack, Direction, Context, This, Type, Decoded> : Type extends TAny ? StaticAny : Type extends TArray<infer Items extends TSchema> ? StaticArray<Stack, Direction, Context, This, Type, Items> : Type extends TBigInt ? StaticBigInt : Type extends TBoolean ? StaticBoolean : Type extends TConstructor<infer Parameters extends TSchema[], infer ReturnType extends TSchema> ? StaticConstructor<Stack, Direction, Context, This, Parameters, ReturnType> : Type extends TEnum<infer Values extends TEnumValue[]> ? StaticEnum<Values> : Type extends TFunction<infer Parameters extends TSchema[], infer ReturnType extends TSchema> ? StaticFunction<Stack, Direction, Context, This, Parameters, ReturnType> : Type extends TDependent<infer If extends TSchema, infer Then extends TSchema, infer Else extends TSchema> ? StaticDependent<Stack, Direction, Context, This, If, Then, Else> : Type extends TInteger ? StaticInteger : Type extends TIntersect<infer Types extends TSchema[]> ? StaticIntersect<Stack, Direction, Context, This, Types> : Type extends TLiteral<infer Value extends TLiteralValue> ? StaticLiteral<Value> : Type extends TNever ? StaticNever : Type extends TNull ? StaticNull : Type extends TNumber ? StaticNumber : Type extends TObject<infer Properties extends TProperties> ? StaticObject<Stack, Direction, Context, This, Properties> : Type extends TRecord<infer Key extends string, infer Value extends TSchema> ? StaticRecord<Stack, Direction, Context, This, Key, Value> : Type extends TCyclic<infer Defs extends TProperties, infer Ref extends string> ? StaticCyclic<Stack, Direction, Context, This, Defs, Ref> : Type extends TRef<infer Ref extends string> ? StaticRef<Stack, Direction, Context, This, Ref> : Type extends TString ? StaticString : Type extends TSymbol ? StaticSymbol : Type extends TTemplateLiteral<infer Pattern extends string> ? StaticTemplateLiteral<Pattern> : Type extends TThis ? StaticThis<Stack, Direction, Context, This> : Type extends TTuple<infer Items extends TSchema[]> ? StaticTuple<Stack, Direction, Context, This, Type, Items> : Type extends TUndefined ? StaticUndefined : Type extends TUnion<infer Types extends TSchema[]> ? StaticUnion<Stack, Direction, Context, This, Types> : Type extends TUnknown ? StaticUnknown : Type extends TUnsafe<infer Type extends unknown> ? StaticUnsafe<Type> : Type extends TVoid ? StaticVoid : XStatic<Type>);
+/** Infers a static type from a TypeBox type using Parse logic. */
+export type StaticParse<Type extends TSchema, Context extends TProperties = {}, Result extends unknown = StaticType<[], 'Encode', Context, {}, Type>> = Result;
+/** Infers a static type from a TypeBox type using Decode logic. */
+export type StaticDecode<Type extends TSchema, Context extends TProperties = {}, Result extends unknown = StaticType<[], 'Decode', Context, {}, Type>> = Result;
+/** Infers a static type from a TypeBox type using Encode logic. */
+export type StaticEncode<Type extends TSchema, Context extends TProperties = {}, Result extends unknown = StaticType<[], 'Encode', Context, {}, Type>> = Result;
+/** Infers a static type from a TypeBox type. */
+export type Static<Type extends TSchema, Context extends TProperties = {}, Result extends unknown = StaticType<[], 'Encode', Context, {}, Type>> = Result;

package/assets/types/typebox/build/type/types/string.d.mts

@@ -0,0 +1,12 @@
+import { type TSchema, type TStringOptions } from './schema.mjs';
+export declare const StringPattern = ".*";
+export type StaticString = string;
+/** Represents a String type. */
+export interface TString extends TSchema {
+    '~kind': 'String';
+    type: 'string';
+}
+/** Creates a String type. */
+export declare function String(options?: TStringOptions): TString;
+/** Returns true if the given value is TString. */
+export declare function IsString(value: unknown): value is TString;

package/assets/types/typebox/build/type/types/symbol.d.mts

@@ -0,0 +1,11 @@
+import { type TSchema, type TSchemaOptions } from './schema.mjs';
+export type StaticSymbol = symbol;
+/** Represents a Symbol type. */
+export interface TSymbol extends TSchema {
+    '~kind': 'Symbol';
+    type: 'symbol';
+}
+/** Creates a Symbol type. */
+export declare function Symbol(options?: TSchemaOptions): TSymbol;
+/** Returns true if the given value is TSymbol. */
+export declare function IsSymbol(value: unknown): value is TSymbol;

package/assets/types/typebox/build/type/types/template_literal.d.mts

@@ -0,0 +1,28 @@
+import { type TSchema, type TSchemaOptions } from './schema.mjs';
+import { type TDeferred } from './deferred.mjs';
+import { type TParseTemplateIntoTypes } from '../engine/patterns/template.mjs';
+import { type TTemplateLiteralStatic } from '../engine/template_literal/static.mjs';
+import { type TTemplateLiteralAction } from '../engine/template_literal/instantiate.mjs';
+export type StaticTemplateLiteral<Pattern extends string> = (TTemplateLiteralStatic<Pattern>);
+/** Represents a TemplateLiteral type. */
+export interface TTemplateLiteral<Pattern extends string = string> extends TSchema {
+    '~kind': 'TemplateLiteral';
+    type: 'string';
+    pattern: Pattern;
+}
+/** Creates a deferred TemplateLiteral action. */
+export type TTemplateLiteralDeferred<Types extends TSchema[] = TSchema[]> = (TDeferred<'TemplateLiteral', [Types]>);
+/** Creates a deferred TemplateLiteral action. */
+export declare function TemplateLiteralDeferred<Types extends TSchema[]>(types: [...Types], options?: TSchemaOptions): TTemplateLiteralDeferred<Types>;
+/** Returns true if this value is a deferred Interface action. */
+export declare function IsTemplateLiteralDeferred(value: unknown): value is TTemplateLiteralDeferred;
+export type TTemplateLiteralFromTypes<Types extends TSchema[], Result extends TSchema = TTemplateLiteralAction<Types>> = Result;
+export declare function TemplateLiteralFromTypes<Types extends TSchema[]>(types: [...Types]): TTemplateLiteralFromTypes<Types>;
+export type TTemplateLiteralFromString<Template extends string, Types extends TSchema[] = TParseTemplateIntoTypes<Template>, Result extends TSchema = TTemplateLiteralFromTypes<Types>> = Result;
+export declare function TemplateLiteralFromString<Template extends string>(template: Template): TTemplateLiteralFromString<Template>;
+/** Creates a TemplateLiteral type. */
+export declare function TemplateLiteral<Template extends string>(template: Template, options?: TSchemaOptions): TTemplateLiteralFromString<Template>;
+/** Creates a TemplateLiteral type. */
+export declare function TemplateLiteral<Types extends TSchema[]>(types: [...Types], options?: TSchemaOptions): TTemplateLiteralFromTypes<Types>;
+/** Returns true if the given value is TTemplateLiteral. */
+export declare function IsTemplateLiteral(value: unknown): value is TTemplateLiteral;

package/assets/types/typebox/build/type/types/this.d.mts

@@ -0,0 +1,14 @@
+import { type StaticType, type StaticDirection } from './static.mjs';
+import { type TSchema, type TSchemaOptions } from './schema.mjs';
+import { type TObject } from './object.mjs';
+import { type TProperties } from './properties.mjs';
+export type StaticThis<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties> = (StaticType<Stack, Direction, Context, This, TObject<This>>);
+/** Represents a This type. */
+export interface TThis extends TSchema {
+    '~kind': 'This';
+    $ref: '#';
+}
+/** Creates a This type. */
+export declare function This(options?: TSchemaOptions): TThis;
+/** Returns true if the given value is TThis. */
+export declare function IsThis(value: unknown): value is TThis;

package/assets/types/typebox/build/type/types/tuple.d.mts

@@ -0,0 +1,38 @@
+import { type StaticType, type StaticDirection } from './static.mjs';
+import { type TSchema, type TTupleOptions } from './schema.mjs';
+import { type TArray } from './array.mjs';
+import { type TOptional } from './_optional.mjs';
+import { type TProperties } from './properties.mjs';
+import { type TImmutable } from './_immutable.mjs';
+import { type TReadonly } from './_readonly.mjs';
+import { type TRest } from './rest.mjs';
+type StaticLast<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema, Result extends unknown[]> = (Type extends TRest<infer RestType extends TSchema> ? RestType extends TArray<infer ArrayType extends TSchema> ? [...Result, ...TStaticElement<Stack, Direction, Context, This, ArrayType>[0][]] : [...Result, never] : [...Result, ...TStaticElement<Stack, Direction, Context, This, Type>]);
+type TStaticElement<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema, IsReadonly extends boolean = Type extends TReadonly ? true : false, IsOptional extends boolean = Type extends TOptional ? true : false, Inferred extends unknown = StaticType<Stack, Direction, Context, This, Type>, Result extends [unknown?] = ([
+    IsReadonly,
+    IsOptional
+] extends [true, true] ? [Readonly<Inferred>?] : [
+    IsReadonly,
+    IsOptional
+] extends [false, true] ? [Inferred?] : [
+    IsReadonly,
+    IsOptional
+] extends [true, false] ? [Readonly<Inferred>] : [
+    Inferred
+])> = Result;
+export type TStaticElements<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Types extends TSchema[], Result extends unknown[] = []> = (Types extends [infer Last extends TSchema] ? StaticLast<Stack, Direction, Context, This, Last, Result> : Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TStaticElements<Stack, Direction, Context, This, Right, [...Result, ...TStaticElement<Stack, Direction, Context, This, Left>]> : Result);
+export type StaticTuple<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Tuple extends TSchema, Items extends TSchema[], Elements extends unknown[] = TStaticElements<Stack, Direction, Context, This, Items>, Result extends readonly unknown[] = (Tuple extends TImmutable ? readonly [...Elements] : Elements)> = Result;
+/** Represents a Tuple type. */
+export interface TTuple<Types extends TSchema[] = TSchema[]> extends TSchema {
+    '~kind': 'Tuple';
+    type: 'array';
+    additionalItems: false;
+    items: Types;
+    minItems: Types['length'];
+}
+/** Creates a Tuple type. */
+export declare function Tuple<Types extends TSchema[]>(types: [...Types], options?: TTupleOptions): TTuple<Types>;
+/** Returns true if the given value is TTuple. */
+export declare function IsTuple(value: unknown): value is TTuple;
+/** Extracts options from a TTuple. */
+export declare function TupleOptions(type: TTuple): TTupleOptions;
+export {};

package/assets/types/typebox/build/type/types/undefined.d.mts

@@ -0,0 +1,11 @@
+import { type TSchema, type TSchemaOptions } from './schema.mjs';
+export type StaticUndefined = undefined;
+/** Represents a Undefined type. */
+export interface TUndefined extends TSchema {
+    '~kind': 'Undefined';
+    type: 'undefined';
+}
+/** Creates a Undefined type. */
+export declare function Undefined(options?: TSchemaOptions): TUndefined;
+/** Returns true if the given value is TUndefined. */
+export declare function IsUndefined(value: unknown): value is TUndefined;

package/assets/types/typebox/build/type/types/union.d.mts

@@ -0,0 +1,15 @@
+import { type StaticType, type StaticDirection } from './static.mjs';
+import { type TSchema, type TSchemaOptions } from './schema.mjs';
+import { type TProperties } from './properties.mjs';
+export type StaticUnion<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Types extends TSchema[], Result extends unknown = never> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? StaticUnion<Stack, Direction, Context, This, Right, Result | StaticType<Stack, Direction, Context, This, Left>> : Result);
+/** Represents a logical Union type. */
+export interface TUnion<Types extends TSchema[] = TSchema[]> extends TSchema {
+    '~kind': 'Union';
+    anyOf: Types;
+}
+/** Creates a Union type. */
+export declare function Union<Types extends TSchema[]>(anyOf: [...Types], options?: TSchemaOptions): TUnion<Types>;
+/** Returns true if the given value is TUnion. */
+export declare function IsUnion(value: unknown): value is TUnion;
+/** Extracts options from a TUnion. */
+export declare function UnionOptions(type: TUnion): TSchemaOptions;

package/assets/types/typebox/build/type/types/unknown.d.mts

@@ -0,0 +1,10 @@
+import { type TSchema, type TSchemaOptions } from './schema.mjs';
+export type StaticUnknown = unknown;
+/** Represents an Unknown type. */
+export interface TUnknown extends TSchema {
+    '~kind': 'Unknown';
+}
+/** Creates an Unknown type. */
+export declare function Unknown(options?: TSchemaOptions): TUnknown;
+/** Returns true if the given value is TUnknown. */
+export declare function IsUnknown(value: unknown): value is TUnknown;

package/assets/types/typebox/build/type/types/unsafe.d.mts

@@ -0,0 +1,10 @@
+import { type TSchema } from './schema.mjs';
+export type StaticUnsafe<Type extends unknown> = Type;
+/** Represents an Unsafe type. */
+export interface TUnsafe<Type extends unknown = unknown> extends TSchema {
+    '~unsafe': Type;
+}
+/** Creates a Unsafe type. */
+export declare function Unsafe<Type extends unknown>(schema: TSchema): TUnsafe<Type>;
+/** Returns true if the given value is TUnsafe. */
+export declare function IsUnsafe(value: unknown): value is TUnsafe;

package/assets/types/typebox/build/type/types/void.d.mts

@@ -0,0 +1,11 @@
+import { type TSchema, type TSchemaOptions } from './schema.mjs';
+export type StaticVoid = void;
+/** Represents a Void type. */
+export interface TVoid extends TSchema {
+    '~kind': 'Void';
+    type: 'void';
+}
+/** Creates a Void type. */
+export declare function Void(options?: TSchemaOptions): TVoid;
+/** Returns true if the given value is TVoid. */
+export declare function IsVoid(value: unknown): value is TVoid;

package/assets/types/typebox/build/typebox.d.mts

@@ -0,0 +1,69 @@
+export { Instantiate, type TInstantiate } from './type/engine/instantiate.mjs';
+export { Extends, ExtendsResult, type TExtends } from './type/extends/index.mjs';
+export { Script, type TScript } from './type/script/index.mjs';
+export { Capitalize, type TCapitalize, type TCapitalizeDeferred } from './type/action/capitalize.mjs';
+export { Conditional, type TConditional, type TConditionalDeferred } from './type/action/conditional.mjs';
+export { ConstructorParameters, type TConstructorParameters, type TConstructorParametersDeferred } from './type/action/constructor_parameters.mjs';
+export { Evaluate, type TEvaluate, type TEvaluateDeferred } from './type/action/evaluate.mjs';
+export { Exclude, type TExclude, type TExcludeDeferred } from './type/action/exclude.mjs';
+export { Extract, type TExtract, type TExtractDeferred } from './type/action/extract.mjs';
+export { Index, type TIndex, type TIndexDeferred } from './type/action/index.mjs';
+export { InstanceType, type TInstanceType, type TInstanceTypeDeferred } from './type/action/instance_type.mjs';
+export { Interface, type TInterface, type TInterfaceDeferred } from './type/action/interface.mjs';
+export { KeyOf, type TKeyOf, type TKeyOfDeferred } from './type/action/keyof.mjs';
+export { Lowercase, type TLowercase, type TLowercaseDeferred } from './type/action/lowercase.mjs';
+export { Mapped, type TMapped, type TMappedDeferred } from './type/action/mapped.mjs';
+export { Module, type TModule, type TModuleDeferred } from './type/action/module.mjs';
+export { NonNullable, type TNonNullable, type TNonNullableDeferred } from './type/action/non_nullable.mjs';
+export { Omit, type TOmit, type TOmitDeferred } from './type/action/omit.mjs';
+export { Parameters, type TParameters, type TParametersDeferred } from './type/action/parameters.mjs';
+export { Partial, type TPartial, type TPartialDeferred } from './type/action/partial.mjs';
+export { Pick, type TPick, type TPickDeferred } from './type/action/pick.mjs';
+export { ReadonlyObject, ReadonlyType, type TReadonlyObject, type TReadonlyObjectDeferred } from './type/action/readonly_object.mjs';
+export { Required, type TRequired, type TRequiredDeferred } from './type/action/required.mjs';
+export { ReturnType, type TReturnType, type TReturnTypeDeferred } from './type/action/return_type.mjs';
+export { type TUncapitalize, type TUncapitalizeDeferred, Uncapitalize } from './type/action/uncapitalize.mjs';
+export { type TUppercase, type TUppercaseDeferred, Uppercase } from './type/action/uppercase.mjs';
+export { type TWith, With } from './type/action/with.mjs';
+export { Codec, Decode, DecodeBuilder, Encode, EncodeBuilder, IsCodec, type TCodec } from './type/types/_codec.mjs';
+export { Immutable, IsImmutable, type TImmutable } from './type/types/_immutable.mjs';
+export { IsOptional, Optional, type TOptional } from './type/types/_optional.mjs';
+export { IsReadonly, Readonly, type TReadonly } from './type/types/_readonly.mjs';
+export { IsRefine, Refine, type TRefine, type TRefineCheckCallback, type TRefineErrorCallback, type TRefinement } from './type/types/_refine.mjs';
+export { Any, IsAny, type TAny } from './type/types/any.mjs';
+export { Array, IsArray, type TArray } from './type/types/array.mjs';
+export { BigInt, IsBigInt, type TBigInt } from './type/types/bigint.mjs';
+export { Boolean, IsBoolean, type TBoolean } from './type/types/boolean.mjs';
+export { Call, IsCall, type TCall } from './type/types/call.mjs';
+export { Constructor, IsConstructor, type TConstructor } from './type/types/constructor.mjs';
+export { Cyclic, IsCyclic, type TCyclic } from './type/types/cyclic.mjs';
+export { Enum, IsEnum, IsEnumValue, type TEnum, type TEnumValue } from './type/types/enum.mjs';
+export { Function, IsFunction, type TFunction } from './type/types/function.mjs';
+export { Generic, IsGeneric, type TGeneric } from './type/types/generic.mjs';
+export { Identifier, IsIdentifier, type TIdentifier } from './type/types/identifier.mjs';
+export { Dependent, IsDependent, type TDependent } from './type/types/dependent.mjs';
+export { Infer, IsInfer, type TInfer } from './type/types/infer.mjs';
+export { Integer, IsInteger, type TInteger } from './type/types/integer.mjs';
+export { Intersect, IsIntersect, type TIntersect } from './type/types/intersect.mjs';
+export { IsLiteral, Literal, type TLiteral, type TLiteralValue } from './type/types/literal.mjs';
+export { IsNever, Never, type TNever } from './type/types/never.mjs';
+export { IsNull, Null, type TNull } from './type/types/null.mjs';
+export { IsNumber, Number, type TNumber } from './type/types/number.mjs';
+export { IsObject, Object, type TObject } from './type/types/object.mjs';
+export { IsParameter, Parameter, type TParameter } from './type/types/parameter.mjs';
+export { type TProperties, type TRequiredArray } from './type/types/properties.mjs';
+export { IsRecord, Record, RecordKey, RecordPattern, RecordValue, type TRecord, type TRecordKey, type TRecordPattern, type TRecordValue } from './type/types/record.mjs';
+export { IsRef, Ref, type TRef } from './type/types/ref.mjs';
+export { IsRest, Rest, type TRest } from './type/types/rest.mjs';
+export { IsKind, IsSchema, type TArrayOptions, type TFormat, type TIntersectOptions, type TNumberOptions, type TObjectOptions, type TSchema, type TSchemaOptions, type TStringOptions, type TTupleOptions } from './type/types/schema.mjs';
+export { type Static, type StaticDecode, type StaticEncode, type StaticParse } from './type/types/static.mjs';
+export { IsString, String, type TString } from './type/types/string.mjs';
+export { IsSymbol, Symbol, type TSymbol } from './type/types/symbol.mjs';
+export { IsTemplateLiteral, TemplateLiteral, type TTemplateLiteral } from './type/types/template_literal.mjs';
+export { IsThis, This, type TThis } from './type/types/this.mjs';
+export { IsTuple, type TTuple, Tuple } from './type/types/tuple.mjs';
+export { IsUndefined, type TUndefined, Undefined } from './type/types/undefined.mjs';
+export { IsUnion, type TUnion, Union } from './type/types/union.mjs';
+export { IsUnknown, type TUnknown, Unknown } from './type/types/unknown.mjs';
+export { IsUnsafe, type TUnsafe, Unsafe } from './type/types/unsafe.mjs';
+export { IsVoid, type TVoid, Void } from './type/types/void.mjs';

package/assets/types/typebox/build/value/assert/assert.d.mts

@@ -0,0 +1,14 @@
+import type { TLocalizedValidationError } from '../../error/index.mjs';
+import type { Static, TProperties, TSchema } from '../../type/index.mjs';
+export declare class AssertError extends Error {
+    readonly cause: {
+        source: string;
+        errors: TLocalizedValidationError[];
+        value: unknown;
+    };
+    constructor(source: string, value: unknown, errors: TLocalizedValidationError[]);
+}
+/** Asserts the a value matches the given type. This function returns a TypeScript type asserts predicate and will throw AssertError if value does not match. */
+export declare function Assert<const Type extends TSchema>(type: Type, value: unknown): asserts value is Static<Type>;
+/** Asserts the a value matches the given type. This function returns a TypeScript type asserts predicate and will throw AssertError if value does not match. */
+export declare function Assert<Context extends TProperties, const Type extends TSchema>(context: Context, type: Type, value: unknown): asserts value is Static<Type, Context>;

package/assets/types/typebox/build/value/assert/index.d.mts

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