@sinclair/typebox 0.23.5 → 0.24.2

package/typebox.d.ts

@@ -1,351 +1,363 @@
-export declare const ReadonlyOptionalModifier: unique symbol;
-export declare const OptionalModifier: unique symbol;
-export declare const ReadonlyModifier: unique symbol;
+export declare const Kind: unique symbol;
+export declare const Modifier: unique symbol;
 export declare type TModifier = TReadonlyOptional<TSchema> | TOptional<TSchema> | TReadonly<TSchema>;
-export declare type TReadonlyOptional<T extends TSchema> = T & {
-    modifier: typeof ReadonlyOptionalModifier;
+export declare type TReadonly<T extends TSchema> = T & {
+    [Modifier]: 'Readonly';
 };
 export declare type TOptional<T extends TSchema> = T & {
-    modifier: typeof OptionalModifier;
+    [Modifier]: 'Optional';
 };
-export declare type TReadonly<T extends TSchema> = T & {
-    modifier: typeof ReadonlyModifier;
+export declare type TReadonlyOptional<T extends TSchema> = T & {
+    [Modifier]: 'ReadonlyOptional';
 };
-export declare const NamespaceKind: unique symbol;
-export declare const KeyOfKind: unique symbol;
-export declare const IntersectKind: unique symbol;
-export declare const UnionKind: unique symbol;
-export declare const TupleKind: unique symbol;
-export declare const ObjectKind: unique symbol;
-export declare const RecordKind: unique symbol;
-export declare const ArrayKind: unique symbol;
-export declare const EnumKind: unique symbol;
-export declare const LiteralKind: unique symbol;
-export declare const StringKind: unique symbol;
-export declare const NumberKind: unique symbol;
-export declare const IntegerKind: unique symbol;
-export declare const BooleanKind: unique symbol;
-export declare const NullKind: unique symbol;
-export declare const UnknownKind: unique symbol;
-export declare const AnyKind: unique symbol;
-export declare const RefKind: unique symbol;
-export interface CustomOptions {
+export interface DesignType {
+    type: string;
+    [props: string]: any;
+}
+export interface SchemaOptions {
+    $schema?: string;
+    /** Id for this schema */
     $id?: string;
+    /** Title of this schema */
     title?: string;
+    /** Description of this schema */
     description?: string;
+    /** Default value hint for this schema */
     default?: any;
+    /** Example values matching this schema. */
     examples?: any;
+    /** Design metadata for this schema */
+    design?: DesignType;
     [prop: string]: any;
 }
-export declare 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';
-export declare type StringOptions<TFormat extends string> = {
-    minLength?: number;
-    maxLength?: number;
-    pattern?: string;
-    format?: TFormat;
-    contentEncoding?: '7bit' | '8bit' | 'binary' | 'quoted-printable' | 'base64';
-    contentMediaType?: string;
-} & CustomOptions;
-export declare type ArrayOptions = {
-    uniqueItems?: boolean;
-    minItems?: number;
-    maxItems?: number;
-} & CustomOptions;
-export declare type NumberOptions = {
+export interface TSchema extends SchemaOptions {
+    [Kind]: string;
+    [Modifier]?: string;
+    params: unknown[];
+    static: unknown;
+}
+export declare type TAnySchema = TSchema | TAny | TArray | TBoolean | TConstructor | TEnum | TFunction | TInteger | TLiteral | TNull | TNumber | TObject | TPromise | TRecord | TSelf | TRef | TString | TTuple | TUndefined | TUnion | TUint8Array | TUnknown | TVoid;
+export interface NumericOptions extends SchemaOptions {
     exclusiveMaximum?: number;
     exclusiveMinimum?: number;
     maximum?: number;
     minimum?: number;
     multipleOf?: number;
-} & CustomOptions;
-export declare type IntersectOptions = {
-    unevaluatedProperties?: boolean;
-} & CustomOptions;
-export declare type ObjectOptions = {
-    additionalProperties?: boolean;
-    minProperties?: number;
-    maxProperties?: number;
-} & CustomOptions;
-export declare type TDefinitions = {
-    [key: string]: TSchema;
-};
-export declare type TNamespace<T extends TDefinitions> = {
-    kind: typeof NamespaceKind;
-    $defs: T;
-} & CustomOptions;
-export interface TSchema {
-    $static: unknown;
-}
-export declare type TEnumType = Record<string, string | number>;
-export declare type TKey = string | number | symbol;
-export declare type TValue = string | number | boolean;
-export declare type TRecordKey = TString | TNumber | TKeyOf<any> | TUnion<any>;
-export declare type TEnumKey<T = TKey> = {
+}
+export declare type TNumeric = TInteger | TNumber;
+export interface TAny extends TSchema {
+    [Kind]: 'Any';
+    static: any;
+}
+export interface ArrayOptions extends SchemaOptions {
+    uniqueItems?: boolean;
+    minItems?: number;
+    maxItems?: number;
+}
+export interface TArray<T extends TSchema = TSchema> extends TSchema, ArrayOptions {
+    [Kind]: 'Array';
+    static: Array<Static<T, this['params']>>;
+    type: 'array';
+    items: T;
+}
+export interface TBoolean extends TSchema {
+    [Kind]: 'Boolean';
+    static: boolean;
+    type: 'boolean';
+}
+export declare type TContructorParameters<T extends readonly TSchema[], P extends unknown[]> = [...{
+    [K in keyof T]: T[K] extends TSchema ? Static<T[K], P> : never;
+}];
+export interface TConstructor<T extends TSchema[] = TSchema[], U extends TSchema = TSchema> extends TSchema {
+    [Kind]: 'Constructor';
+    static: new (...param: TContructorParameters<T, this['params']>) => Static<U, this['params']>;
+    type: 'constructor';
+    parameters: T;
+    returns: U;
+}
+export interface TEnumOption<T> {
     type: 'number' | 'string';
     const: T;
+}
+export interface TEnum<T extends Record<string, string | number> = Record<string, string | number>> extends TSchema {
+    [Kind]: 'Union';
+    static: T[keyof T];
+    anyOf: TLiteral<string | number>[];
+}
+export declare type TFunctionParameters<T extends readonly TSchema[], P extends unknown[]> = [...{
+    [K in keyof T]: T[K] extends TSchema ? Static<T[K], P> : never;
+}];
+export interface TFunction<T extends readonly TSchema[] = TSchema[], U extends TSchema = TSchema> extends TSchema {
+    [Kind]: 'Function';
+    static: (...param: TFunctionParameters<T, this['params']>) => Static<U, this['params']>;
+    type: 'function';
+    parameters: T;
+    returns: U;
+}
+export interface TInteger extends TSchema, NumericOptions {
+    [Kind]: 'Integer';
+    static: number;
+    type: 'integer';
+}
+export declare type IntersectEvaluate<T extends readonly TSchema[], P extends unknown[]> = {
+    [K in keyof T]: T[K] extends TSchema ? Static<T[K], P> : never;
 };
+export declare type IntersectReduce<I extends unknown, T extends readonly any[]> = T extends [infer A, ...infer B] ? IntersectReduce<I & A, B> : I extends object ? I : {};
+export interface TIntersect<T extends TObject[] = TObject[]> extends TObject {
+    static: IntersectReduce<unknown, IntersectEvaluate<T, this['params']>>;
+    properties: Record<keyof IntersectReduce<unknown, IntersectEvaluate<T, this['params']>>, TSchema>;
+}
+declare type UnionToIntersect<U> = (U extends unknown ? (arg: U) => 0 : never) extends (arg: infer I) => 0 ? I : never;
+declare type UnionLast<U> = UnionToIntersect<U extends unknown ? (x: U) => 0 : never> extends (x: infer L) => 0 ? L : never;
+declare type UnionToTuple<U, L = UnionLast<U>> = [U] extends [never] ? [] : [...UnionToTuple<Exclude<U, L>>, L];
+export declare type TKeyOf<T extends TObject> = {
+    [K in ObjectPropertyKeys<T>]: TLiteral<K>;
+} extends infer R ? UnionToTuple<R[keyof R]> : never;
+export declare type TLiteralValue = string | number | boolean;
+export interface TLiteral<T extends TLiteralValue = TLiteralValue> extends TSchema {
+    [Kind]: 'Literal';
+    static: T;
+    const: T;
+}
+export interface TNull extends TSchema {
+    [Kind]: 'Null';
+    static: null;
+    type: 'null';
+}
+export interface TNumber extends TSchema, NumericOptions {
+    [Kind]: 'Number';
+    static: number;
+    type: 'number';
+}
+export declare type ReadonlyOptionalPropertyKeys<T extends TProperties> = {
+    [K in keyof T]: T[K] extends TReadonlyOptional<TSchema> ? K : never;
+}[keyof T];
+export declare type ReadonlyPropertyKeys<T extends TProperties> = {
+    [K in keyof T]: T[K] extends TReadonly<TSchema> ? K : never;
+}[keyof T];
+export declare type OptionalPropertyKeys<T extends TProperties> = {
+    [K in keyof T]: T[K] extends TOptional<TSchema> ? K : never;
+}[keyof T];
+export declare type RequiredPropertyKeys<T extends TProperties> = keyof Omit<T, ReadonlyOptionalPropertyKeys<T> | ReadonlyPropertyKeys<T> | OptionalPropertyKeys<T>>;
+export declare type PropertiesReduce<T extends TProperties, P extends unknown[]> = {
+    readonly [K in ReadonlyOptionalPropertyKeys<T>]?: Static<T[K], P>;
+} & {
+    readonly [K in ReadonlyPropertyKeys<T>]: Static<T[K], P>;
+} & {
+    [K in OptionalPropertyKeys<T>]?: Static<T[K], P>;
+} & {
+    [K in RequiredPropertyKeys<T>]: Static<T[K], P>;
+} extends infer R ? {
+    [K in keyof R]: R[K];
+} : never;
+export declare type TRecordProperties<K extends TUnion<TLiteral[]>, T extends TSchema> = Static<K> extends string ? {
+    [X in Static<K>]: T;
+} : never;
 export interface TProperties {
     [key: string]: TSchema;
 }
-export interface TRecord<K extends TRecordKey, T extends TSchema> extends TSchema, ObjectOptions {
-    $static: StaticRecord<K, T>;
-    kind: typeof RecordKind;
-    type: 'object';
-    patternProperties: {
-        [pattern: string]: T;
-    };
-}
-export interface TTuple<T extends TSchema[]> extends TSchema, CustomOptions {
-    $static: StaticTuple<T>;
-    kind: typeof TupleKind;
-    type: 'array';
-    items?: T;
-    additionalItems?: false;
-    minItems: number;
-    maxItems: number;
+export declare type ObjectProperties<T> = T extends TObject<infer U> ? U : never;
+export declare type ObjectPropertyKeys<T> = T extends TObject<infer U> ? keyof U : never;
+export interface ObjectOptions extends SchemaOptions {
+    additionalProperties?: boolean;
+    minProperties?: number;
+    maxProperties?: number;
 }
-export interface TObject<T extends TProperties> extends TSchema, ObjectOptions {
-    $static: StaticObject<T>;
-    kind: typeof ObjectKind;
+export interface TObject<T extends TProperties = TProperties> extends TSchema, ObjectOptions {
+    [Kind]: 'Object';
+    static: PropertiesReduce<T, this['params']>;
     type: 'object';
     properties: T;
     required?: string[];
 }
-export interface TUnion<T extends TSchema[]> extends TSchema, CustomOptions {
-    $static: StaticUnion<T>;
-    kind: typeof UnionKind;
-    anyOf: T;
+export interface TOmit<T extends TObject, Properties extends ObjectPropertyKeys<T>[]> extends TObject, ObjectOptions {
+    static: Omit<Static<T, this['params']>, Properties[number]>;
+    properties: T extends TObject ? Omit<T['properties'], Properties[number]> : never;
 }
-export interface TIntersect<T extends TSchema[]> extends TSchema, IntersectOptions {
-    $static: StaticIntersect<T>;
-    kind: typeof IntersectKind;
-    type: 'object';
-    allOf: T;
+export interface TPartial<T extends TObject> extends TObject {
+    static: Partial<Static<T, this['params']>>;
 }
-export interface TKeyOf<T extends TKey[]> extends TSchema, CustomOptions {
-    $static: StaticKeyOf<T>;
-    kind: typeof KeyOfKind;
-    type: 'string';
-    enum: T;
+export interface TPick<T extends TObject, Properties extends ObjectPropertyKeys<T>[]> extends TObject, ObjectOptions {
+    static: Pick<Static<T, this['params']>, Properties[number]>;
+    properties: ObjectProperties<T>;
 }
-export interface TArray<T extends TSchema> extends TSchema, ArrayOptions {
-    $static: StaticArray<T>;
-    kind: typeof ArrayKind;
-    type: 'array';
-    items: T;
+export interface TPromise<T extends TSchema = TSchema> extends TSchema {
+    [Kind]: 'Promise';
+    static: Promise<Static<T, this['params']>>;
+    type: 'promise';
+    item: TSchema;
 }
-export interface TLiteral<T extends TValue> extends TSchema, CustomOptions {
-    $static: StaticLiteral<T>;
-    kind: typeof LiteralKind;
-    const: T;
+export declare type TRecordKey = TString | TNumber | TUnion<TLiteral<any>[]>;
+export interface TRecord<K extends TRecordKey = TRecordKey, T extends TSchema = TSchema> extends TSchema {
+    [Kind]: 'Record';
+    static: Record<Static<K>, Static<T, this['params']>>;
+    type: 'object';
+    patternProperties: {
+        [pattern: string]: T;
+    };
+    additionalProperties: false;
 }
-export interface TEnum<T extends TEnumKey[]> extends TSchema, CustomOptions {
-    $static: StaticEnum<T>;
-    kind: typeof EnumKind;
-    anyOf: T;
+export interface TSelf extends TSchema {
+    [Kind]: 'Self';
+    static: this['params'][0];
+    $ref: string;
+}
+export declare type TRecursiveReduce<T extends TSchema> = Static<T, [TRecursiveReduce<T>]>;
+export interface TRecursive<T extends TSchema> extends TSchema {
+    static: TRecursiveReduce<T>;
 }
-export interface TRef<T extends TSchema> extends TSchema, CustomOptions {
-    $static: Static<T>;
-    kind: typeof RefKind;
+export interface TRef<T extends TSchema = TSchema> extends TSchema {
+    [Kind]: 'Ref';
+    static: Static<T, this['params']>;
     $ref: string;
 }
+export interface TRequired<T extends TObject | TRef<TObject>> extends TObject {
+    static: Required<Static<T, this['params']>>;
+}
+export declare 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';
+export interface StringOptions<TFormat extends string> extends SchemaOptions {
+    minLength?: number;
+    maxLength?: number;
+    pattern?: string;
+    format?: TFormat;
+    contentEncoding?: '7bit' | '8bit' | 'binary' | 'quoted-printable' | 'base64';
+    contentMediaType?: string;
+}
 export interface TString extends TSchema, StringOptions<string> {
-    $static: string;
-    kind: typeof StringKind;
+    [Kind]: 'String';
+    static: string;
     type: 'string';
 }
-export interface TNumber extends TSchema, NumberOptions {
-    $static: number;
-    kind: typeof NumberKind;
-    type: 'number';
+export interface TTuple<T extends TSchema[] = TSchema[]> extends TSchema {
+    [Kind]: 'Tuple';
+    static: {
+        [K in keyof T]: T[K] extends TSchema ? Static<T[K], this['params']> : T[K];
+    };
+    type: 'array';
+    items?: T;
+    additionalItems?: false;
+    minItems: number;
+    maxItems: number;
 }
-export interface TInteger extends TSchema, NumberOptions {
-    $static: number;
-    kind: typeof IntegerKind;
-    type: 'integer';
+export interface TUndefined extends TSchema {
+    [Kind]: 'Undefined';
+    specialized: 'Undefined';
+    static: undefined;
+    type: 'object';
 }
-export interface TBoolean extends TSchema, CustomOptions {
-    $static: boolean;
-    kind: typeof BooleanKind;
-    type: 'boolean';
+export interface TUnion<T extends TSchema[] = TSchema[]> extends TSchema {
+    [Kind]: 'Union';
+    static: {
+        [K in keyof T]: T[K] extends TSchema ? Static<T[K], this['params']> : never;
+    }[number];
+    anyOf: T;
 }
-export interface TNull extends TSchema, CustomOptions {
-    $static: null;
-    kind: typeof NullKind;
-    type: 'null';
+export interface Uint8ArrayOptions extends SchemaOptions {
+    maxByteLength?: number;
+    minByteLength?: number;
 }
-export interface TUnknown extends TSchema, CustomOptions {
-    $static: unknown;
-    kind: typeof UnknownKind;
-}
-export interface TAny extends TSchema, CustomOptions {
-    $static: any;
-    kind: typeof AnyKind;
-}
-export declare const ConstructorKind: unique symbol;
-export declare const FunctionKind: unique symbol;
-export declare const PromiseKind: unique symbol;
-export declare const UndefinedKind: unique symbol;
-export declare const VoidKind: unique symbol;
-export interface TConstructor<T extends TSchema[], U extends TSchema> extends TSchema, CustomOptions {
-    $static: StaticConstructor<T, U>;
-    kind: typeof ConstructorKind;
-    type: 'constructor';
-    arguments: TSchema[];
-    returns: TSchema;
+export interface TUint8Array extends TSchema, Uint8ArrayOptions {
+    [Kind]: 'Uint8Array';
+    static: Uint8Array;
+    specialized: 'Uint8Array';
+    type: 'object';
 }
-export interface TFunction<T extends TSchema[], U extends TSchema> extends TSchema, CustomOptions {
-    $static: StaticFunction<T, U>;
-    kind: typeof FunctionKind;
-    type: 'function';
-    arguments: TSchema[];
-    returns: TSchema;
+export interface TUnknown extends TSchema {
+    [Kind]: 'Unknown';
+    static: unknown;
 }
-export interface TPromise<T extends TSchema> extends TSchema, CustomOptions {
-    $static: StaticPromise<T>;
-    kind: typeof PromiseKind;
-    type: 'promise';
-    item: TSchema;
+export interface UnsafeOptions extends SchemaOptions {
+    [Kind]?: string;
 }
-export interface TUndefined extends TSchema, CustomOptions {
-    $static: undefined;
-    kind: typeof UndefinedKind;
-    type: 'undefined';
-}
-export interface TVoid extends TSchema, CustomOptions {
-    $static: void;
-    kind: typeof VoidKind;
-    type: 'void';
-}
-export declare type Selectable = TObject<TProperties> | TRef<TObject<TProperties>>;
-export declare type SelectablePropertyKeys<T extends Selectable> = T extends TObject<infer U> ? keyof U : T extends TRef<TObject<infer U>> ? keyof U : never;
-export declare type SelectableProperties<T extends Selectable> = T extends TObject<infer U> ? U : T extends TRef<TObject<infer U>> ? U : never;
-export declare type UnionToIntersect<U> = (U extends any ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never;
-export declare type StaticReadonlyOptionalPropertyKeys<T extends TProperties> = {
-    [K in keyof T]: T[K] extends TReadonlyOptional<TSchema> ? K : never;
-}[keyof T];
-export declare type StaticReadonlyPropertyKeys<T extends TProperties> = {
-    [K in keyof T]: T[K] extends TReadonly<TSchema> ? K : never;
-}[keyof T];
-export declare type StaticOptionalPropertyKeys<T extends TProperties> = {
-    [K in keyof T]: T[K] extends TOptional<TSchema> ? K : never;
-}[keyof T];
-export declare type StaticRequiredPropertyKeys<T extends TProperties> = keyof Omit<T, StaticReadonlyOptionalPropertyKeys<T> | StaticReadonlyPropertyKeys<T> | StaticOptionalPropertyKeys<T>>;
-export declare type StaticIntersectEvaluate<T extends readonly TSchema[]> = {
-    [K in keyof T]: T[K] extends TSchema ? Static<T[K]> : never;
-};
-export declare type StaticIntersectReduce<I extends unknown, T extends readonly any[]> = T extends [infer A, ...infer B] ? StaticIntersectReduce<I & A, B> : I;
-export declare type StaticRequired<T extends TProperties> = {
-    [K in keyof T]: T[K] extends TReadonlyOptional<infer U> ? TReadonly<U> : T[K] extends TReadonly<infer U> ? TReadonly<U> : T[K] extends TOptional<infer U> ? U : T[K];
-};
-export declare type StaticPartial<T extends TProperties> = {
-    [K in keyof T]: T[K] extends TReadonlyOptional<infer U> ? TReadonlyOptional<U> : T[K] extends TReadonly<infer U> ? TReadonlyOptional<U> : T[K] extends TOptional<infer U> ? TOptional<U> : TOptional<T[K]>;
-};
-export declare type StaticProperties<T extends TProperties> = {
-    readonly [K in StaticReadonlyOptionalPropertyKeys<T>]?: Static<T[K]>;
-} & {
-    readonly [K in StaticReadonlyPropertyKeys<T>]: Static<T[K]>;
-} & {
-    [K in StaticOptionalPropertyKeys<T>]?: Static<T[K]>;
-} & {
-    [K in StaticRequiredPropertyKeys<T>]: Static<T[K]>;
-};
-export declare type StaticRecord<K extends TRecordKey, T extends TSchema> = K extends TString ? Record<string, Static<T>> : K extends TNumber ? Record<number, Static<T>> : K extends TKeyOf<TKey[]> ? Record<K['$static'], Static<T>> : K extends TUnion<TSchema[]> ? Record<K['$static'], Static<T>> : never;
-export declare type StaticEnum<T> = T extends TEnumKey<infer U>[] ? U : never;
-export declare type StaticKeyOf<T extends TKey[]> = T extends Array<infer K> ? K : never;
-export declare type StaticIntersect<T extends readonly TSchema[]> = StaticIntersectReduce<unknown, StaticIntersectEvaluate<T>>;
-export declare type StaticUnion<T extends readonly TSchema[]> = {
-    [K in keyof T]: T[K] extends TSchema ? Static<T[K]> : never;
-}[number];
-export declare type StaticTuple<T extends readonly TSchema[]> = {
-    [K in keyof T]: T[K] extends TSchema ? Static<T[K]> : never;
-};
-export declare type StaticObject<T extends TProperties> = StaticProperties<T> extends infer I ? {
-    [K in keyof I]: I[K];
-} : never;
-export declare type StaticArray<T extends TSchema> = Array<Static<T>>;
-export declare type StaticLiteral<T extends TValue> = T;
-export declare type StaticParameters<T extends readonly TSchema[]> = {
-    [K in keyof T]: T[K] extends TSchema ? Static<T[K]> : never;
-};
-export declare type StaticConstructor<T extends readonly TSchema[], U extends TSchema> = new (...args: [...StaticParameters<T>]) => Static<U>;
-export declare type StaticFunction<T extends readonly TSchema[], U extends TSchema> = (...args: [...StaticParameters<T>]) => Static<U>;
-export declare type StaticPromise<T extends TSchema> = Promise<Static<T>>;
-export declare type Static<T extends TSchema> = T['$static'];
+export interface TUnsafe<T> extends TSchema {
+    [Kind]: string;
+    static: T;
+}
+export interface TVoid extends TSchema {
+    [Kind]: 'Void';
+    static: void;
+    type: 'null';
+}
+/** Creates a static type from a TypeBox type */
+export declare type Static<T extends TSchema, P extends unknown[] = []> = (T & {
+    params: P;
+})['static'];
 export declare class TypeBuilder {
-    protected readonly schemas: Map<string, TSchema>;
-    constructor();
-    /** `Standard` Modifies an object property to be both readonly and optional */
+    /** Creates a readonly optional property */
     ReadonlyOptional<T extends TSchema>(item: T): TReadonlyOptional<T>;
-    /** `Standard` Modifies an object property to be readonly */
+    /** Creates a readonly property */
     Readonly<T extends TSchema>(item: T): TReadonly<T>;
-    /** `Standard` Modifies an object property to be optional */
+    /** Creates a optional property */
     Optional<T extends TSchema>(item: T): TOptional<T>;
-    /** `Standard` Creates a type type */
-    Tuple<T extends TSchema[]>(items: [...T], options?: CustomOptions): TTuple<T>;
-    /** `Standard` Creates an object type with the given properties */
-    Object<T extends TProperties>(properties: T, options?: ObjectOptions): TObject<T>;
-    /** `Standard` Creates an intersect type. */
-    Intersect<T extends TSchema[]>(items: [...T], options?: IntersectOptions): TIntersect<T>;
-    /** `Standard` Creates a union type */
-    Union<T extends TSchema[]>(items: [...T], options?: CustomOptions): TUnion<T>;
-    /** `Standard` Creates an array type */
+    /** Creates a any type */
+    Any(options?: SchemaOptions): TAny;
+    /** Creates a array type */
     Array<T extends TSchema>(items: T, options?: ArrayOptions): TArray<T>;
-    /** `Standard` Creates an enum type from a TypeScript enum */
-    Enum<T extends TEnumType>(item: T, options?: CustomOptions): TEnum<TEnumKey<T[keyof T]>[]>;
-    /** `Standard` Creates a literal type. Supports string, number and boolean values only */
-    Literal<T extends TValue>(value: T, options?: CustomOptions): TLiteral<T>;
-    /** `Standard` Creates a string type */
+    /** Creates a boolean type */
+    Boolean(options?: SchemaOptions): TBoolean;
+    /** Creates a constructor type */
+    Constructor<T extends TSchema[], U extends TSchema>(parameters: [...T], returns: U, options?: SchemaOptions): TConstructor<T, U>;
+    /** Creates a enum type */
+    Enum<T extends Record<string, string | number>>(item: T, options?: SchemaOptions): TEnum<T>;
+    /** Creates a function type */
+    Function<T extends readonly TSchema[], U extends TSchema>(parameters: [...T], returns: U, options?: SchemaOptions): TFunction<T, U>;
+    /** Creates a integer type */
+    Integer(options?: NumericOptions): TInteger;
+    /** Creates a intersect type. */
+    Intersect<T extends TObject[]>(objects: [...T], options?: ObjectOptions): TIntersect<T>;
+    /** Creates a keyof type */
+    KeyOf<T extends TObject>(object: T, options?: SchemaOptions): TUnion<TKeyOf<T>>;
+    /** Creates a literal type. */
+    Literal<T extends TLiteralValue>(value: T, options?: SchemaOptions): TLiteral<T>;
+    /** Creates a null type */
+    Null(options?: SchemaOptions): TNull;
+    /** Creates a number type */
+    Number(options?: NumericOptions): TNumber;
+    /** Creates an object type with the given properties */
+    Object<T extends TProperties>(properties: T, options?: ObjectOptions): TObject<T>;
+    /** Creates a new object whose properties are omitted from the given object */
+    Omit<T extends TObject, Properties extends Array<ObjectPropertyKeys<T>>>(schema: T, keys: [...Properties], options?: ObjectOptions): TOmit<T, Properties>;
+    /** Creates an object type whose properties are all optional */
+    Partial<T extends TObject>(schema: T, options?: ObjectOptions): TPartial<T>;
+    /** Creates a new object whose properties are picked from the given object */
+    Pick<T extends TObject, Properties extends Array<ObjectPropertyKeys<T>>>(schema: T, keys: [...Properties], options?: ObjectOptions): TPick<T, Properties>;
+    /** Creates a promise type. This type cannot be represented in schema. */
+    Promise<T extends TSchema>(item: T, options?: SchemaOptions): TPromise<T>;
+    /** Creates an object whose properties are derived from the given string literal union. */
+    Record<K extends TUnion<TLiteral[]>, T extends TSchema>(key: K, schema: T, options?: ObjectOptions): TObject<TRecordProperties<K, T>>;
+    /** Creates a record type */
+    Record<K extends TString | TNumber, T extends TSchema>(key: K, schema: T, options?: ObjectOptions): TRecord<K, T>;
+    /** Creates a recursive object type */
+    Recursive<T extends TSchema>(callback: (self: TSelf) => T, options?: SchemaOptions): TRecursive<T>;
+    /** Creates a reference schema */
+    Ref<T extends TSchema>(schema: T, options?: SchemaOptions): TRef<T>;
+    /** Creates a string type from a regular expression */
+    RegEx(regex: RegExp, options?: SchemaOptions): TString;
+    /** Creates an object type whose properties are all required */
+    Required<T extends TObject>(schema: T, options?: SchemaOptions): TRequired<T>;
+    /** Removes Kind and Modifier symbol property keys from this schema */
+    Strict<T extends TSchema>(schema: T): T;
+    /** Creates a string type */
     String<TCustomFormatOption extends string>(options?: StringOptions<StringFormatOption | TCustomFormatOption>): TString;
-    /** `Standard` Creates a string type from a regular expression */
-    RegEx(regex: RegExp, options?: CustomOptions): TString;
-    /** `Standard` Creates a number type */
-    Number(options?: NumberOptions): TNumber;
-    /** `Standard` Creates an integer type */
-    Integer(options?: NumberOptions): TInteger;
-    /** `Standard` Creates a boolean type */
-    Boolean(options?: CustomOptions): TBoolean;
-    /** `Standard` Creates a null type */
-    Null(options?: CustomOptions): TNull;
-    /** `Standard` Creates an unknown type */
-    Unknown(options?: CustomOptions): TUnknown;
-    /** `Standard` Creates an any type */
-    Any(options?: CustomOptions): TAny;
-    /** `Standard` Creates a record type */
-    Record<K extends TRecordKey, T extends TSchema>(key: K, value: T, options?: ObjectOptions): TRecord<K, T>;
-    /** `Standard` Creates a keyof type from the given object */
-    KeyOf<T extends TObject<TProperties> | TRef<TObject<TProperties>>>(object: T, options?: CustomOptions): TKeyOf<SelectablePropertyKeys<T>[]>;
-    /** `Standard` Makes all properties in the given object type required */
-    Required<T extends TObject<TProperties> | TRef<TObject<TProperties>>>(object: T, options?: ObjectOptions): TObject<StaticRequired<T['properties']>>;
-    /** `Standard` Makes all properties in the given object type optional */
-    Partial<T extends TObject<TProperties> | TRef<TObject<TProperties>>>(object: T, options?: ObjectOptions): TObject<StaticPartial<T['properties']>>;
-    /** `Standard` Picks property keys from the given object type */
-    Pick<T extends TObject<TProperties> | TRef<TObject<TProperties>>, K extends SelectablePropertyKeys<T>[]>(object: T, keys: [...K], options?: ObjectOptions): TObject<Pick<SelectableProperties<T>, K[number]>>;
-    /** `Standard` Omits property keys from the given object type */
-    Omit<T extends TObject<TProperties> | TRef<TObject<TProperties>>, K extends SelectablePropertyKeys<T>[]>(object: T, keys: [...K], options?: ObjectOptions): TObject<Omit<SelectableProperties<T>, K[number]>>;
-    /** `Standard` Omits the `kind` and `modifier` properties from the underlying schema */
-    Strict<T extends TSchema>(schema: T, options?: CustomOptions): T;
-    /** `Extended` Creates a constructor type */
-    Constructor<T extends TSchema[], U extends TSchema>(args: [...T], returns: U, options?: CustomOptions): TConstructor<T, U>;
-    /** `Extended` Creates a function type */
-    Function<T extends TSchema[], U extends TSchema>(args: [...T], returns: U, options?: CustomOptions): TFunction<T, U>;
-    /** `Extended` Creates a promise type */
-    Promise<T extends TSchema>(item: T, options?: CustomOptions): TPromise<T>;
-    /** `Extended` Creates a undefined type */
-    Undefined(options?: CustomOptions): TUndefined;
-    /** `Extended` Creates a void type */
-    Void(options?: CustomOptions): TVoid;
-    /** `Standard` Creates a namespace for a set of related types */
-    Namespace<T extends TDefinitions>($defs: T, options?: CustomOptions): TNamespace<T>;
-    /** `Standard` References a type within a namespace. The referenced namespace must specify an `$id` */
-    Ref<T extends TNamespace<TDefinitions>, K extends keyof T['$defs']>(namespace: T, key: K): TRef<T['$defs'][K]>;
-    /** `Standard` References type. The referenced type must specify an `$id` */
-    Ref<T extends TSchema>(schema: T): TRef<T>;
-    /** `Experimental` Creates a recursive type */
-    Rec<T extends TSchema>(callback: (self: TAny) => T, options?: CustomOptions): T;
-    /** Conditionally stores and schema if it contains an $id and returns  */
-    protected Store<T extends TSchema | TNamespace<TDefinitions>, S = Omit<T, '$static'>>(schema: S): T;
-    /** Conditionally dereferences a schema if RefKind. Otherwise return argument */
-    protected Deref<T extends TSchema>(schema: T): any;
+    /** Creates a tuple type */
+    Tuple<T extends TSchema[]>(items: [...T], options?: SchemaOptions): TTuple<T>;
+    /** Creates a undefined type */
+    Undefined(options?: SchemaOptions): TUndefined;
+    /** Creates a union type */
+    Union<T extends TSchema[]>(items: [...T], options?: SchemaOptions): TUnion<T>;
+    /** Creates a Uint8Array type */
+    Uint8Array(options?: Uint8ArrayOptions): TUint8Array;
+    /** Creates an unknown type */
+    Unknown(options?: SchemaOptions): TUnknown;
+    /** Creates a user defined schema that infers as type T  */
+    Unsafe<T>(options?: UnsafeOptions): TUnsafe<T>;
+    /** Creates a void type */
+    Void(options?: SchemaOptions): TVoid;
+    /** Use this function to return TSchema with static and params omitted */
+    protected Create<T>(schema: Omit<T, 'static' | 'params'>): T;
+    /** Clones the given value */
+    protected Clone(value: any): any;
 }
+/** JSON Schema Type Builder with Static Type Resolution for TypeScript */
 export declare const Type: TypeBuilder;
+export {};