@sinclair/typebox 0.32.0-dev-5 → 0.32.0-dev-7

package/build/import/type/omit/omit.d.mts

@@ -0,0 +1,19 @@
+import type { TSchema, SchemaOptions } from '../schema/index.mjs';
+import type { TupleToUnion, Evaluate } from '../helpers/index.mjs';
+import { type TRecursive } from '../recursive/index.mjs';
+import { type TIntersect } from '../intersect/index.mjs';
+import { type TUnion } from '../union/index.mjs';
+import { type TObject, type TProperties } from '../object/index.mjs';
+import { IndexedKeyResolve } from '../indexed/index.mjs';
+type FromIntersect<T extends TSchema[], K extends PropertyKey[]> = T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? [OmitResolve<L, K>, ...FromIntersect<R, K>] : [];
+declare function FromIntersect<T extends TSchema[], K extends PropertyKey[]>(T: T, K: K): FromIntersect<T, K>;
+type FromUnion<T extends TSchema[], K extends PropertyKey[]> = T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? [OmitResolve<L, K>, ...FromUnion<R, K>] : [];
+declare function FromUnion<T extends TSchema[], K extends PropertyKey[]>(T: T, K: K): FromUnion<T, K>;
+type FromProperties<T extends TProperties, K extends PropertyKey[], I extends PropertyKey = TupleToUnion<K>> = Evaluate<Omit<T, I>>;
+declare function FromProperties<T extends TProperties, K extends PropertyKey[]>(T: T, K: K): TProperties;
+export type OmitResolve<T extends TProperties, K extends PropertyKey[]> = T extends TRecursive<infer S> ? TRecursive<OmitResolve<S, K>> : T extends TIntersect<infer S> ? TIntersect<FromIntersect<S, K>> : T extends TUnion<infer S> ? TUnion<FromUnion<S, K>> : T extends TObject<infer S> ? TObject<FromProperties<S, K>> : TObject<{}>;
+export declare function OmitResolve<T extends TSchema, K extends PropertyKey[]>(T: T, K: [...K]): OmitResolve<T, K>;
+export type TOmit<T extends TSchema, K extends PropertyKey[]> = OmitResolve<T, K>;
+export declare function Omit<T extends TSchema, K extends TSchema, I extends PropertyKey[] = IndexedKeyResolve<K>>(T: T, K: K, options?: SchemaOptions): TOmit<T, I>;
+export declare function Omit<T extends TSchema, K extends PropertyKey[]>(T: T, K: readonly [...K], options?: SchemaOptions): TOmit<T, K>;
+export {};

package/build/import/type/operators/index.d.mts

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

package/build/import/type/optional/index.d.mts

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

package/build/import/type/optional/optional.d.mts

@@ -0,0 +1,6 @@
+import type { TSchema } from '../schema/index.mjs';
+import { OptionalKind } from '../symbols/index.mjs';
+export type TOptional<T extends TSchema> = T & {
+    [OptionalKind]: 'Optional';
+};
+export declare function Optional<T extends TSchema>(schema: T): TOptional<T>;

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

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

package/build/import/type/parameters/parameters.d.mts

@@ -0,0 +1,6 @@
+import type { TSchema, SchemaOptions } from '../schema/index.mjs';
+import type { TFunction } from '../function/index.mjs';
+import type { Ensure } from '../helpers/index.mjs';
+import { type TTuple } from '../tuple/index.mjs';
+export type TParameters<T extends TFunction> = Ensure<TTuple<T['parameters']>>;
+export declare function Parameters<T extends TFunction<TSchema[], TSchema>>(schema: T, options?: SchemaOptions): TParameters<T>;

package/build/import/type/partial/index.d.mts

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

package/build/import/type/partial/partial.d.mts

@@ -0,0 +1,22 @@
+import type { TSchema, SchemaOptions } from '../schema/index.mjs';
+import type { Evaluate } from '../helpers/index.mjs';
+import { type TReadonlyOptional } from '../readonly-optional/index.mjs';
+import { type TOptional } from '../optional/index.mjs';
+import { type TReadonly } from '../readonly/index.mjs';
+import { type TRecursive } from '../recursive/index.mjs';
+import { type TObject, type TProperties } from '../object/index.mjs';
+import { type TIntersect } from '../intersect/index.mjs';
+import { type TUnion } from '../union/index.mjs';
+type FromIntersect<T extends TSchema[]> = (T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? [PartialResolve<L>, ...FromIntersect<R>] : []);
+declare function FromIntersect<T extends TSchema[]>(T: [...T]): FromIntersect<T>;
+type FromUnion<T extends TSchema[]> = (T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? [PartialResolve<L>, ...FromUnion<R>] : []);
+declare function FromUnion<T extends TSchema[]>(T: [...T]): FromUnion<T>;
+type FromProperties<T extends TProperties> = Evaluate<{
+    [K in keyof T]: T[K] extends (TReadonlyOptional<infer S>) ? TReadonlyOptional<S> : T[K] extends (TReadonly<infer S>) ? TReadonlyOptional<S> : T[K] extends (TOptional<infer S>) ? TOptional<S> : TOptional<T[K]>;
+}>;
+declare function FromProperties<T extends TProperties>(T: T): TProperties;
+export type PartialResolve<T extends TSchema> = (T extends TRecursive<infer S> ? TRecursive<PartialResolve<S>> : T extends TIntersect<infer S> ? TIntersect<FromIntersect<S>> : T extends TUnion<infer S> ? TUnion<FromUnion<S>> : T extends TObject<infer S> ? TObject<FromProperties<S>> : TObject<{}>);
+export declare function PartialResolve<T extends TSchema>(T: T): PartialResolve<T>;
+export type TPartial<T extends TSchema> = PartialResolve<T>;
+export declare function Partial<T extends TSchema>(T: T, options?: SchemaOptions): TPartial<T>;
+export {};

package/build/import/type/patterns/index.d.mts

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

package/build/import/type/pick/index.d.mts

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

package/build/import/type/pick/pick.d.mts

@@ -0,0 +1,19 @@
+import type { TSchema, SchemaOptions } from '../schema/index.mjs';
+import type { TupleToUnion, Evaluate } from '../helpers/index.mjs';
+import { type TRecursive } from '../recursive/index.mjs';
+import { type TIntersect } from '../intersect/index.mjs';
+import { type TUnion } from '../union/index.mjs';
+import { type TObject, type TProperties } from '../object/index.mjs';
+import { IndexedKeyResolve } from '../indexed/index.mjs';
+type FromIntersect<T extends TSchema[], K extends PropertyKey[]> = T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? [PickResolve<L, K>, ...FromIntersect<R, K>] : [];
+declare function FromIntersect<T extends TSchema[], K extends PropertyKey[]>(T: T, K: K): FromIntersect<T, K>;
+type FromUnion<T extends TSchema[], K extends PropertyKey[]> = T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? [PickResolve<L, K>, ...FromUnion<R, K>] : [];
+declare function FromUnion<T extends TSchema[], K extends PropertyKey[]>(T: T, K: K): FromUnion<T, K>;
+type FromProperties<T extends TProperties, K extends PropertyKey[], I extends PropertyKey = TupleToUnion<K>> = Evaluate<Pick<T, I & keyof T>>;
+declare function FromProperties<T extends TProperties, K extends PropertyKey[]>(T: T, K: K): {};
+export type PickResolve<T extends TProperties, K extends PropertyKey[]> = T extends TRecursive<infer S> ? TRecursive<PickResolve<S, K>> : T extends TIntersect<infer S> ? TIntersect<FromIntersect<S, K>> : T extends TUnion<infer S> ? TUnion<FromUnion<S, K>> : T extends TObject<infer S> ? TObject<FromProperties<S, K>> : TObject<{}>;
+export declare function PickResolve<T extends TSchema, K extends PropertyKey[]>(T: T, K: [...K]): PickResolve<T, K>;
+export type TPick<T extends TSchema, K extends PropertyKey[]> = PickResolve<T, K>;
+export declare function Pick<T extends TSchema, K extends TSchema, I extends PropertyKey[] = IndexedKeyResolve<K>>(T: T, K: K, options?: SchemaOptions): TPick<T, I>;
+export declare function Pick<T extends TSchema, K extends PropertyKey[]>(T: T, K: readonly [...K], options?: SchemaOptions): TPick<T, K>;
+export {};

package/build/import/type/promise/index.d.mts

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

package/build/import/type/promise/promise.d.mts

@@ -0,0 +1,10 @@
+import type { TSchema, SchemaOptions } from '../schema/index.mjs';
+import type { Static } from '../static/index.mjs';
+import { Kind } from '../symbols/index.mjs';
+export interface TPromise<T extends TSchema = TSchema> extends TSchema {
+    [Kind]: 'Promise';
+    static: Promise<Static<T, this['params']>>;
+    type: 'Promise';
+    item: TSchema;
+}
+export declare function Promise<T extends TSchema>(item: T, options?: SchemaOptions): TPromise<T>;

package/build/import/type/readonly/index.d.mts

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

package/build/import/type/readonly/readonly.d.mts

@@ -0,0 +1,6 @@
+import type { TSchema } from '../schema/index.mjs';
+import { ReadonlyKind } from '../symbols/index.mjs';
+export type TReadonly<T extends TSchema> = T & {
+    [ReadonlyKind]: 'Readonly';
+};
+export declare function Readonly<T extends TSchema>(schema: T): TReadonly<T>;

package/build/import/type/readonly-optional/index.d.mts

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

package/build/import/type/readonly-optional/readonly-optional.d.mts

@@ -0,0 +1,5 @@
+import type { TSchema } from '../schema/index.mjs';
+import { type TReadonly } from '../readonly/index.mjs';
+import { type TOptional } from '../optional/index.mjs';
+export type TReadonlyOptional<T extends TSchema> = TOptional<T> & TReadonly<T>;
+export declare function ReadonlyOptional<T extends TSchema>(schema: T): TReadonly<TOptional<T>>;

package/build/import/type/record/index.d.mts

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

package/build/import/type/record/record.d.mts

@@ -0,0 +1,54 @@
+import type { TSchema } from '../schema/index.mjs';
+import type { Static } from '../static/index.mjs';
+import type { Evaluate, Ensure, Assert } from '../helpers/index.mjs';
+import { type TObject, type TProperties, type TAdditionalProperties, type ObjectOptions } from '../object/index.mjs';
+import { type TLiteral, TLiteralValue } from '../literal/index.mjs';
+import { type TNever } from '../never/index.mjs';
+import { type TUnion } from '../union/index.mjs';
+import { type TString } from '../string/index.mjs';
+import { type TInteger } from '../integer/index.mjs';
+import { type TNumber } from '../number/index.mjs';
+import { type TEnum } from '../enum/index.mjs';
+import { TTemplateLiteral, IsTemplateLiteralFinite } from '../template-literal/index.mjs';
+import { Kind } from '../symbols/index.mjs';
+type FromTemplateLiteralKeyInfinite<K extends TTemplateLiteral, T extends TSchema> = Ensure<TRecord<K, T>>;
+type FromTemplateLiteralKeyFinite<K extends TTemplateLiteral, T extends TSchema, I extends string = Static<K>> = (Ensure<TObject<Evaluate<{
+    [_ in I]: T;
+}>>>);
+type FromTemplateLiteralKey<K extends TTemplateLiteral, T extends TSchema> = IsTemplateLiteralFinite<K> extends false ? FromTemplateLiteralKeyInfinite<K, T> : FromTemplateLiteralKeyFinite<K, T>;
+declare function FromTemplateLiteralKey<K extends TTemplateLiteral, T extends TSchema>(K: K, T: T): FromTemplateLiteralKey<K, T>;
+type FromEnumKey<K extends Record<string, string | number>, T extends TSchema> = Ensure<TObject<{
+    [_ in K[keyof K]]: T;
+}>>;
+type FromUnionKeyLiteralString<K extends TLiteral<string>, T extends TSchema> = {
+    [_ in K['const']]: T;
+};
+type FromUnionKeyLiteralNumber<K extends TLiteral<number>, T extends TSchema> = {
+    [_ in K['const']]: T;
+};
+type FromUnionKeyRest<K extends TSchema[], T extends TSchema> = K extends [infer L extends TSchema, ...infer R extends TSchema[]] ? (L extends TUnion<infer S> ? FromUnionKeyRest<S, T> & FromUnionKeyRest<R, T> : L extends TLiteral<string> ? FromUnionKeyLiteralString<L, T> & FromUnionKeyRest<R, T> : L extends TLiteral<number> ? FromUnionKeyLiteralNumber<L, T> & FromUnionKeyRest<R, T> : {}) : {};
+type FromUnionKey<K extends TSchema[], T extends TSchema, P extends TProperties = FromUnionKeyRest<K, T>> = (Ensure<TObject<P>>);
+declare function FromUnionKey<K extends TSchema[], T extends TSchema>(K: K, T: T): FromUnionKey<K, T>;
+type FromLiteralKey<K extends TLiteralValue, T extends TSchema> = (Ensure<TObject<{
+    [_ in Assert<K, PropertyKey>]: T;
+}>>);
+declare function FromLiteralKey<K extends TLiteralValue, T extends TSchema>(K: K, T: T): FromLiteralKey<K, T>;
+type FromStringKey<_ extends TString, T extends TSchema> = (Ensure<TRecord<TString, T>>);
+declare function FromStringKey<K extends TString, T extends TSchema>(K: K, T: T): FromStringKey<K, T>;
+type FromIntegerKey<_ extends TSchema, T extends TSchema> = (Ensure<TRecord<TNumber, T>>);
+declare function FromIntegerKey<K extends TInteger, T extends TSchema>(_: K, T: T): FromIntegerKey<K, T>;
+type FromNumberKey<_ extends TSchema, T extends TSchema> = (Ensure<TRecord<TNumber, T>>);
+declare function FromNumberKey<K extends TNumber, T extends TSchema>(_: K, T: T): FromIntegerKey<K, T>;
+export type RecordResolve<K extends TSchema, T extends TSchema> = K extends TEnum<infer S> ? FromEnumKey<S, T> : K extends TUnion<infer S> ? FromUnionKey<S, T> : K extends TTemplateLiteral ? FromTemplateLiteralKey<K, T> : K extends TLiteral<infer S> ? FromLiteralKey<S, T> : K extends TInteger ? FromIntegerKey<K, T> : K extends TNumber ? FromNumberKey<K, T> : K extends TString ? FromStringKey<K, T> : TNever;
+export declare function RecordResolve<K extends TSchema, T extends TSchema>(K: K, T: T): RecordResolve<K, T>;
+export interface TRecord<K extends TSchema = TSchema, T extends TSchema = TSchema> extends TSchema {
+    [Kind]: 'Record';
+    static: Record<Assert<Static<K>, string | number>, Static<T, this['params']>>;
+    type: 'object';
+    patternProperties: {
+        [pattern: string]: T;
+    };
+    additionalProperties: TAdditionalProperties;
+}
+export declare function Record<K extends TSchema, T extends TSchema>(K: K, T: T, options?: ObjectOptions): RecordResolve<K, T>;
+export {};

package/build/import/type/recursive/index.d.mts

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

package/build/import/type/recursive/recursive.d.mts

@@ -0,0 +1,14 @@
+import type { TSchema, SchemaOptions } from '../schema/index.mjs';
+import { Kind, Hint } from '../symbols/index.mjs';
+import { Static } from '../static/index.mjs';
+export interface TThis extends TSchema {
+    [Kind]: 'This';
+    static: this['params'][0];
+    $ref: string;
+}
+export type RecursiveResolve<T extends TSchema> = Static<T, [RecursiveResolve<T>]>;
+export interface TRecursive<T extends TSchema> extends TSchema {
+    [Hint]: 'Recursive';
+    static: RecursiveResolve<T>;
+}
+export declare function Recursive<T extends TSchema>(callback: (thisType: TThis) => T, options?: SchemaOptions): TRecursive<T>;

package/build/import/type/ref/index.d.mts

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

package/build/import/type/ref/ref.d.mts

@@ -0,0 +1,10 @@
+import type { TSchema, SchemaOptions } from '../schema/index.mjs';
+import type { Static } from '../static/index.mjs';
+import { Kind } from '../symbols/index.mjs';
+export interface TRef<T extends TSchema = TSchema> extends TSchema {
+    [Kind]: 'Ref';
+    static: Static<T, this['params']>;
+    $ref: string;
+}
+export declare function Ref<T extends TSchema>(schema: T, options?: SchemaOptions): TRef<T>;
+export declare function Ref<T extends TSchema>($ref: string, options?: SchemaOptions): TRef<T>;

package/build/import/type/regexp/index.d.mts

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

package/build/import/type/regexp/regexp.d.mts

@@ -0,0 +1,5 @@
+import type { SchemaOptions } from '../schema/index.mjs';
+import type { TString } from '../string/index.mjs';
+export type TRegExp = TString;
+export declare function RegExp(pattern: string, options?: SchemaOptions): TRegExp;
+export declare function RegExp(regex: RegExp, options?: SchemaOptions): TRegExp;

package/build/import/type/registry/index.d.mts

@@ -0,0 +1,2 @@
+export * as FormatRegistry from './format.mjs';
+export * as TypeRegistry from './type.mjs';

package/build/import/type/required/index.d.mts

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

package/build/import/type/required/required.d.mts

@@ -0,0 +1,22 @@
+import type { TSchema, SchemaOptions } from '../schema/index.mjs';
+import type { Evaluate } from '../helpers/index.mjs';
+import { type TReadonlyOptional } from '../readonly-optional/index.mjs';
+import { type TOptional } from '../optional/index.mjs';
+import { type TReadonly } from '../readonly/index.mjs';
+import { type TRecursive } from '../recursive/index.mjs';
+import { type TIntersect } from '../intersect/index.mjs';
+import { type TUnion } from '../union/index.mjs';
+import { type TObject, type TProperties } from '../object/index.mjs';
+type FromIntersect<T extends TSchema[]> = (T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? [RequiredResolve<L>, ...FromIntersect<R>] : []);
+declare function FromIntersect<T extends TSchema[]>(T: [...T]): FromIntersect<T>;
+type FromUnion<T extends TSchema[]> = (T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? [RequiredResolve<L>, ...FromUnion<R>] : []);
+declare function FromUnion<T extends TSchema[]>(T: [...T]): FromUnion<T>;
+type FromProperties<T extends TProperties> = Evaluate<{
+    [K in keyof T]: T[K] extends (TReadonlyOptional<infer S>) ? TReadonly<S> : T[K] extends (TReadonly<infer S>) ? TReadonly<S> : T[K] extends (TOptional<infer S>) ? S : T[K];
+}>;
+declare function FromProperties<T extends TProperties>(T: T): TProperties;
+export type RequiredResolve<T extends TSchema> = (T extends TRecursive<infer S> ? TRecursive<RequiredResolve<S>> : T extends TIntersect<infer S> ? TIntersect<FromIntersect<S>> : T extends TUnion<infer S> ? TUnion<FromUnion<S>> : T extends TObject<infer S> ? TObject<FromProperties<S>> : TObject<{}>);
+export declare function RequiredResolve<T extends TSchema>(T: T): RequiredResolve<T>;
+export type TRequired<T extends TSchema> = RequiredResolve<T>;
+export declare function Required<T extends TSchema>(T: T, options?: SchemaOptions): TRequired<T>;
+export {};

package/build/import/type/rest/index.d.mts

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

package/build/import/type/rest/rest.d.mts

@@ -0,0 +1,9 @@
+import type { TSchema } from '../schema/index.mjs';
+import type { TIntersect } from '../intersect/index.mjs';
+import type { TUnion } from '../union/index.mjs';
+import type { TTuple } from '../tuple/index.mjs';
+export type RestResolve<T extends TSchema> = T extends TIntersect<infer S> ? [...S] : T extends TUnion<infer S> ? [...S] : T extends TTuple<infer S> ? [...S] : [
+];
+export declare function RestResolve<T extends TSchema>(T: T): RestResolve<T>;
+export type TRest<T extends TSchema> = RestResolve<T>;
+export declare function Rest<T extends TSchema>(T: T): TRest<T>;

package/build/import/type/return-type/index.d.mts

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

package/build/import/type/return-type/return-type.d.mts

@@ -0,0 +1,4 @@
+import type { SchemaOptions } from '../schema/index.mjs';
+import type { TFunction } from '../function/index.mjs';
+export type TReturnType<T extends TFunction> = T['returns'];
+export declare function ReturnType<T extends TFunction<any[], any>>(schema: T, options?: SchemaOptions): TReturnType<T>;

package/build/import/type/schema/anyschema.d.mts

@@ -0,0 +1,32 @@
+import type { TAny } from '../any/index.mjs';
+import type { TArray } from '../array/index.mjs';
+import type { TAsyncIterator } from '../async-iterator/index.mjs';
+import type { TBigInt } from '../bigint/index.mjs';
+import type { TBoolean } from '../boolean/index.mjs';
+import type { TConstructor } from '../constructor/index.mjs';
+import type { TDate } from '../date/index.mjs';
+import type { TEnum } from '../enum/index.mjs';
+import type { TFunction } from '../function/index.mjs';
+import type { TInteger } from '../integer/index.mjs';
+import type { TIntersect } from '../intersect/index.mjs';
+import type { TIterator } from '../iterator/index.mjs';
+import type { TLiteral } from '../literal/index.mjs';
+import type { TNot } from '../not/index.mjs';
+import type { TNull } from '../null/index.mjs';
+import type { TNumber } from '../number/index.mjs';
+import type { TObject } from '../object/index.mjs';
+import type { TPromise } from '../promise/index.mjs';
+import type { TRecord } from '../record/index.mjs';
+import type { TThis } from '../recursive/index.mjs';
+import type { TRef } from '../ref/index.mjs';
+import type { TString } from '../string/index.mjs';
+import type { TSymbol } from '../symbol/index.mjs';
+import type { TTemplateLiteral } from '../template-literal/index.mjs';
+import type { TTuple } from '../tuple/index.mjs';
+import type { TUint8Array } from '../uint8array/index.mjs';
+import type { TUndefined } from '../undefined/index.mjs';
+import type { TUnion } from '../union/index.mjs';
+import type { TUnknown } from '../unknown/index.mjs';
+import type { TVoid } from '../void/index.mjs';
+import type { TSchema } from './schema.mjs';
+export type TAnySchema = TSchema | TAny | TArray | TAsyncIterator | TBigInt | TBoolean | TConstructor | TDate | TEnum | TFunction | TInteger | TIntersect | TIterator | TLiteral | TNot | TNull | TNumber | TObject | TPromise | TRecord | TRef | TString | TSymbol | TTemplateLiteral | TThis | TTuple | TUndefined | TUnion | TUint8Array | TUnknown | TVoid;

package/build/import/type/schema/index.d.mts

@@ -0,0 +1,2 @@
+export * from './anyschema.mjs';
+export * from './schema.mjs';

package/build/import/type/schema/schema.d.mts

@@ -0,0 +1,22 @@
+import { Kind, Hint, ReadonlyKind, OptionalKind } from '../symbols/index.mjs';
+export interface SchemaOptions {
+    $schema?: string;
+    $id?: string;
+    title?: string;
+    description?: string;
+    default?: any;
+    examples?: any;
+    readOnly?: boolean;
+    writeOnly?: boolean;
+    [prop: string]: any;
+}
+export interface TKind {
+    [Kind]: string;
+}
+export interface TSchema extends SchemaOptions, TKind {
+    [ReadonlyKind]?: string;
+    [OptionalKind]?: string;
+    [Hint]?: string;
+    params: unknown[];
+    static: unknown;
+}

package/build/import/type/static/index.d.mts

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

package/build/import/type/static/static.d.mts

@@ -0,0 +1,31 @@
+import type { Evaluate } from '../helpers/index.mjs';
+import type { TOptional } from '../optional/index.mjs';
+import type { TReadonly } from '../readonly/index.mjs';
+import type { TArray } from '../array/index.mjs';
+import type { TAsyncIterator } from '../async-iterator/index.mjs';
+import type { TConstructor } from '../constructor/index.mjs';
+import type { TEnum } from '../enum/index.mjs';
+import type { TFunction } from '../function/index.mjs';
+import type { TIntersect } from '../intersect/index.mjs';
+import type { TIterator } from '../iterator/index.mjs';
+import type { TNot } from '../not/index.mjs';
+import type { TObject, TProperties } from '../object/index.mjs';
+import type { TPromise } from '../promise/index.mjs';
+import type { TRecursive } from '../recursive/index.mjs';
+import type { TRecord } from '../record/index.mjs';
+import type { TRef } from '../ref/index.mjs';
+import type { TTuple } from '../tuple/index.mjs';
+import type { TUnion } from '../union/index.mjs';
+import type { TUnsafe } from '../unsafe/index.mjs';
+import type { TSchema } from '../schema/index.mjs';
+import type { TTransform } from '../transform/index.mjs';
+export type DecodeProperties<T extends TProperties> = {
+    [K in keyof T]: DecodeType<T[K]>;
+};
+export type DecodeRest<T extends TSchema[]> = T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? [DecodeType<L>, ...DecodeRest<R>] : [];
+export type DecodeType<T extends TSchema> = (T extends TOptional<infer S extends TSchema> ? TOptional<DecodeType<S>> : T extends TReadonly<infer S extends TSchema> ? TReadonly<DecodeType<S>> : T extends TTransform<infer _, infer R> ? TUnsafe<R> : T extends TArray<infer S extends TSchema> ? TArray<DecodeType<S>> : T extends TAsyncIterator<infer S extends TSchema> ? TAsyncIterator<DecodeType<S>> : T extends TConstructor<infer P extends TSchema[], infer R extends TSchema> ? TConstructor<DecodeRest<P>, DecodeType<R>> : T extends TEnum<infer S> ? TEnum<S> : T extends TFunction<infer P extends TSchema[], infer R extends TSchema> ? TFunction<DecodeRest<P>, DecodeType<R>> : T extends TIntersect<infer S extends TSchema[]> ? TIntersect<DecodeRest<S>> : T extends TIterator<infer S extends TSchema> ? TIterator<DecodeType<S>> : T extends TNot<infer S extends TSchema> ? TNot<DecodeType<S>> : T extends TObject<infer S> ? TObject<Evaluate<DecodeProperties<S>>> : T extends TPromise<infer S extends TSchema> ? TPromise<DecodeType<S>> : T extends TRecord<infer K, infer S> ? TRecord<K, DecodeType<S>> : T extends TRecursive<infer S extends TSchema> ? TRecursive<DecodeType<S>> : T extends TRef<infer S extends TSchema> ? TRef<DecodeType<S>> : T extends TTuple<infer S extends TSchema[]> ? TTuple<DecodeRest<S>> : T extends TUnion<infer S extends TSchema[]> ? TUnion<DecodeRest<S>> : T);
+export type StaticDecode<T extends TSchema, P extends unknown[] = []> = Static<DecodeType<T>, P>;
+export type StaticEncode<T extends TSchema, P extends unknown[] = []> = Static<T, P>;
+export type Static<T extends TSchema, P extends unknown[] = []> = (T & {
+    params: P;
+})['static'];

package/build/import/type/strict/index.d.mts

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

package/build/import/type/strict/strict.d.mts

@@ -0,0 +1,2 @@
+import type { TSchema } from '../schema/index.mjs';
+export declare function Strict<T extends TSchema>(schema: T): T;

package/build/import/type/string/index.d.mts

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

package/build/import/type/string/string.d.mts

@@ -0,0 +1,18 @@
+import { TSchema, SchemaOptions } from '../schema/index.mjs';
+import { Kind } from '../symbols/index.mjs';
+export type StringFormatOption = 'date-time' | 'time' | 'date' | 'email' | 'idn-email' | 'hostname' | 'idn-hostname' | 'ipv4' | 'ipv6' | 'uri' | 'uri-reference' | 'iri' | 'uuid' | 'iri-reference' | 'uri-template' | 'json-pointer' | 'relative-json-pointer' | 'regex' | ({} & string);
+export type StringContentEncodingOption = '7bit' | '8bit' | 'binary' | 'quoted-printable' | 'base64' | ({} & string);
+export interface StringOptions extends SchemaOptions {
+    maxLength?: number;
+    minLength?: number;
+    pattern?: string;
+    format?: StringFormatOption;
+    contentEncoding?: StringContentEncodingOption;
+    contentMediaType?: string;
+}
+export interface TString extends TSchema, StringOptions {
+    [Kind]: 'String';
+    static: string;
+    type: 'string';
+}
+export declare function String(options?: StringOptions): TString;

package/build/import/type/symbol/index.d.mts

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

package/build/import/type/symbol/symbol.d.mts

@@ -0,0 +1,9 @@
+import { TSchema, SchemaOptions } from '../schema/index.mjs';
+import { Kind } from '../symbols/index.mjs';
+export type SymbolValue = string | number | undefined;
+export interface TSymbol extends TSchema, SchemaOptions {
+    [Kind]: 'Symbol';
+    static: symbol;
+    type: 'symbol';
+}
+export declare function Symbol(options?: SchemaOptions): TSymbol;

package/build/import/type/symbols/index.d.mts

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

package/build/import/type/template-literal/finite.d.mts

@@ -0,0 +1,16 @@
+import type { TTemplateLiteral, TTemplateLiteralKind } from './index.mjs';
+import type { TUnion } from '../union/index.mjs';
+import type { TString } from '../string/index.mjs';
+import type { TBoolean } from '../boolean/index.mjs';
+import type { TNumber } from '../number/index.mjs';
+import type { TInteger } from '../integer/index.mjs';
+import type { TBigInt } from '../bigint/index.mjs';
+import type { TLiteral } from '../literal/index.mjs';
+import type { Expression } from './parser.mjs';
+export declare class TemplateLiteralFiniteError extends Error {
+}
+type IsTemplateLiteralFiniteCheck<T> = T extends TTemplateLiteral<infer U extends TTemplateLiteralKind[]> ? IsTemplateLiteralFiniteArray<U> : T extends TUnion<infer U extends TTemplateLiteralKind[]> ? IsTemplateLiteralFiniteArray<U> : T extends TString ? false : T extends TBoolean ? false : T extends TNumber ? false : T extends TInteger ? false : T extends TBigInt ? false : T extends TLiteral ? true : false;
+type IsTemplateLiteralFiniteArray<T extends TTemplateLiteralKind[]> = T extends [infer L extends TTemplateLiteralKind, ...infer R extends TTemplateLiteralKind[]] ? IsTemplateLiteralFiniteCheck<L> extends false ? false : IsTemplateLiteralFiniteArray<R> : true;
+export type IsTemplateLiteralFinite<T> = T extends TTemplateLiteral<infer U> ? IsTemplateLiteralFiniteArray<U> : false;
+export declare function IsTemplateLiteralFinite(expression: Expression): boolean;
+export {};

package/build/import/type/template-literal/generate.d.mts

@@ -0,0 +1,15 @@
+import type { TTemplateLiteral, TTemplateLiteralKind } from './index.mjs';
+import type { TLiteral, TLiteralValue } from '../literal/index.mjs';
+import type { Expression } from './parser.mjs';
+import type { TUnion } from '../union/index.mjs';
+type StringReduceUnary<L extends string, R extends string[]> = R extends [infer A extends string, ...infer B extends string[]] ? [`${L}${A}`, ...StringReduceUnary<L, B>] : [];
+type StringReduceBinary<L extends string[], R extends string[]> = L extends [infer A extends string, ...infer B extends string[]] ? [...StringReduceUnary<A, R>, ...StringReduceBinary<B, R>] : [];
+type StringReduceMany<T extends string[][]> = T extends [infer L extends string[], infer R extends string[], ...infer Rest extends string[][]] ? StringReduceMany<[StringReduceBinary<L, R>, ...Rest]> : T;
+type StringReduce<T extends string[][], O = StringReduceMany<T>> = 0 extends keyof O ? O[0] : [];
+type TemplateLiteralReduceUnion<T extends TTemplateLiteralKind[]> = T extends [infer L extends TLiteral, ...infer R extends TLiteral[]] ? [L['const'], ...TemplateLiteralReduceUnion<R>] : [];
+type TemplateLiteralReduce<T extends TTemplateLiteralKind[]> = T extends [infer L extends TTemplateLiteralKind, ...infer R extends TTemplateLiteralKind[]] ? L extends TLiteral<infer S extends TLiteralValue> ? [[S], ...TemplateLiteralReduce<R>] : L extends TUnion<infer S extends TTemplateLiteralKind[]> ? [TemplateLiteralReduceUnion<S>, ...TemplateLiteralReduce<R>] : [] : [];
+export declare class TemplateLiteralGenerateError extends Error {
+}
+export type TemplateLiteralGenerate<T> = T extends TTemplateLiteral<infer S extends TTemplateLiteralKind[]> ? TemplateLiteralReduce<S> extends infer R extends string[][] ? StringReduce<R> : [] : [];
+export declare function TemplateLiteralGenerate(expression: Expression): IterableIterator<string>;
+export {};

package/build/import/type/template-literal/index.d.mts

@@ -0,0 +1,7 @@
+export * from './finite.mjs';
+export * from './generate.mjs';
+export * from './syntax.mjs';
+export * from './parser.mjs';
+export * from './pattern.mjs';
+export * from './union.mjs';
+export * from './template-literal.mjs';

package/build/import/type/template-literal/pattern.d.mts

@@ -0,0 +1,4 @@
+import type { TTemplateLiteralKind } from './index.mjs';
+export declare class TemplateLiteralPatternError extends Error {
+}
+export declare function TemplateLiteralPattern(kinds: TTemplateLiteralKind[]): string;

package/build/import/type/template-literal/syntax.d.mts

@@ -0,0 +1,19 @@
+import type { Ensure, Assert, Trim } from '../helpers/index.mjs';
+import type { TTemplateLiteralKind, TTemplateLiteral } from './index.mjs';
+import { type TLiteral } from '../literal/index.mjs';
+import { type TBoolean } from '../boolean/index.mjs';
+import { type TBigInt } from '../bigint/index.mjs';
+import { type TNumber } from '../number/index.mjs';
+import { type TString } from '../string/index.mjs';
+import { UnionResolve } from '../union/index.mjs';
+declare function FromUnion(syntax: string): IterableIterator<TTemplateLiteralKind>;
+declare function FromTerminal(syntax: string): IterableIterator<TTemplateLiteralKind>;
+type FromUnionLiteral<T extends string> = T extends `${infer L}|${infer R}` ? [TLiteral<Trim<L>>, ...FromUnionLiteral<R>] : T extends `${infer L}` ? [TLiteral<Trim<L>>] : [
+];
+type FromUnion<T extends string> = UnionResolve<FromUnionLiteral<T>>;
+type FromTerminal<T extends string> = T extends 'boolean' ? TBoolean : T extends 'bigint' ? TBigInt : T extends 'number' ? TNumber : T extends 'string' ? TString : FromUnion<T>;
+type FromString<T extends string> = T extends `{${infer L}}${infer R}` ? [FromTerminal<L>, ...FromString<R>] : T extends `${infer L}$${infer R}` ? [TLiteral<L>, ...FromString<R>] : T extends `${infer L}` ? [TLiteral<L>] : [
+];
+export type TemplateLiteralSyntax<T extends string> = Ensure<TTemplateLiteral<Assert<FromString<T>, TTemplateLiteralKind[]>>>;
+export declare function TemplateLiteralSyntax(syntax: string): TTemplateLiteralKind[];
+export {};

package/build/import/type/template-literal/template-literal.d.mts

@@ -0,0 +1,28 @@
+import type { TSchema, SchemaOptions } from '../schema/index.mjs';
+import type { Assert } from '../helpers/index.mjs';
+import type { TUnion } from '../union/index.mjs';
+import type { TLiteral } from '../literal/index.mjs';
+import type { TInteger } from '../integer/index.mjs';
+import type { TNumber } from '../number/index.mjs';
+import type { TBigInt } from '../bigint/index.mjs';
+import type { TString } from '../string/index.mjs';
+import type { TBoolean } from '../boolean/index.mjs';
+import type { TNever } from '../never/index.mjs';
+import type { Static } from '../static/index.mjs';
+import { TemplateLiteralSyntax } from './syntax.mjs';
+import { EmptyString } from '../helpers/index.mjs';
+import { Kind } from '../symbols/index.mjs';
+type TemplateLiteralResolveConst<T, Acc extends string> = T extends TUnion<infer U> ? {
+    [K in keyof U]: TemplateLiteralResolve<Assert<[U[K]], TTemplateLiteralKind[]>, Acc>;
+}[number] : T extends TTemplateLiteral ? `${Static<T>}` : T extends TLiteral<infer U> ? `${U}` : T extends TString ? `${string}` : T extends TNumber ? `${number}` : T extends TBigInt ? `${bigint}` : T extends TBoolean ? `${boolean}` : never;
+export type TemplateLiteralResolve<T extends TTemplateLiteralKind[], Acc extends string> = T extends [infer L, ...infer R] ? `${TemplateLiteralResolveConst<L, Acc>}${TemplateLiteralResolve<Assert<R, TTemplateLiteralKind[]>, Acc>}` : Acc;
+export type TTemplateLiteralKind = TTemplateLiteral | TUnion | TLiteral | TInteger | TNumber | TBigInt | TString | TBoolean | TNever;
+export interface TTemplateLiteral<T extends TTemplateLiteralKind[] = TTemplateLiteralKind[]> extends TSchema {
+    [Kind]: 'TemplateLiteral';
+    static: TemplateLiteralResolve<T, EmptyString>;
+    type: 'string';
+    pattern: string;
+}
+export declare function TemplateLiteral<T extends string>(syntax: T, options?: SchemaOptions): TemplateLiteralSyntax<T>;
+export declare function TemplateLiteral<T extends TTemplateLiteralKind[]>(kinds: [...T], options?: SchemaOptions): TTemplateLiteral<T>;
+export {};

package/build/import/type/template-literal/union.d.mts

@@ -0,0 +1,6 @@
+import type { TTemplateLiteral } from './template-literal.mjs';
+import { type TUnion } from '../union/index.mjs';
+import { type TLiteral } from '../literal/index.mjs';
+import { type TString } from '../string/index.mjs';
+import { type TNever } from '../never/index.mjs';
+export declare function TemplateLiteralToUnion(template: TTemplateLiteral): TNever | TString | TUnion<TLiteral[]>;

package/build/import/type/transform/index.d.mts

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

package/build/import/type/transform/transform.d.mts

@@ -0,0 +1,28 @@
+import type { TSchema } from '../schema/index.mjs';
+import type { Static, StaticDecode } from '../static/index.mjs';
+import { TransformKind } from '../symbols/index.mjs';
+export declare class TransformDecodeBuilder<T extends TSchema> {
+    private readonly schema;
+    constructor(schema: T);
+    Decode<U extends unknown, D extends TransformFunction<StaticDecode<T>, U>>(decode: D): TransformEncodeBuilder<T, D>;
+}
+export declare class TransformEncodeBuilder<T extends TSchema, D extends TransformFunction> {
+    private readonly schema;
+    private readonly decode;
+    constructor(schema: T, decode: D);
+    private EncodeTransform;
+    private EncodeSchema;
+    Encode<E extends TransformFunction<ReturnType<D>, StaticDecode<T>>>(encode: E): TTransform<T, ReturnType<D>>;
+}
+export type TransformFunction<T = any, U = any> = (value: T) => U;
+export interface TransformOptions<I extends TSchema = TSchema, O extends unknown = unknown> {
+    Decode: TransformFunction<StaticDecode<I>, O>;
+    Encode: TransformFunction<O, StaticDecode<I>>;
+}
+export type TTransformResolve<T extends TSchema, P extends unknown[] = []> = T extends TTransform<infer _, infer S> ? S : Static<T, P>;
+export interface TTransform<I extends TSchema = TSchema, O extends unknown = unknown> extends TSchema {
+    static: TTransformResolve<I, this['params']>;
+    [TransformKind]: TransformOptions<I, O>;
+    [key: string]: any;
+}
+export declare function Transform<I extends TSchema>(schema: I): TransformDecodeBuilder<I>;

package/build/import/type/tuple/index.d.mts

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