@sinclair/typebox 0.31.27 → 0.32.0-dev-1

package/type/tuple/index.js

@@ -0,0 +1,44 @@
+"use strict";
+/*--------------------------------------------------------------------------
+
+@sinclair/typebox/type
+
+The MIT License (MIT)
+
+Copyright (c) 2017-2023 Haydn Paterson (sinclair) <haydn.developer@gmail.com>
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.
+
+---------------------------------------------------------------------------*/
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./tuple"), exports);

package/type/tuple/tuple.d.ts

@@ -0,0 +1,15 @@
+import type { TSchema, SchemaOptions } from '../schema/index';
+import type { Static } from '../static/index';
+import { Kind } from '../symbols/index';
+export type TupleResolve<T extends TSchema[], P extends unknown[]> = T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? [Static<L, P>, ...TupleResolve<R, P>] : [];
+export interface TTuple<T extends TSchema[] = TSchema[]> extends TSchema {
+    [Kind]: 'Tuple';
+    static: TupleResolve<T, this['params']>;
+    type: 'array';
+    items?: T;
+    additionalItems?: false;
+    minItems: number;
+    maxItems: number;
+}
+/** `[Json]` Creates a Tuple type */
+export declare function Tuple<T extends TSchema[]>(items: [...T], options?: SchemaOptions): TTuple<T>;

package/type/tuple/tuple.js

@@ -0,0 +1,42 @@
+"use strict";
+/*--------------------------------------------------------------------------
+
+@sinclair/typebox/type
+
+The MIT License (MIT)
+
+Copyright (c) 2017-2023 Haydn Paterson (sinclair) <haydn.developer@gmail.com>
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.
+
+---------------------------------------------------------------------------*/
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Tuple = void 0;
+const type_1 = require("../clone/type");
+const index_1 = require("../symbols/index");
+/** `[Json]` Creates a Tuple type */
+function Tuple(items, options = {}) {
+    // return TupleResolver.Resolve(T)
+    const [additionalItems, minItems, maxItems] = [false, items.length, items.length];
+    // prettier-ignore
+    return (items.length > 0 ?
+        { ...options, [index_1.Kind]: 'Tuple', type: 'array', items: (0, type_1.CloneRest)(items), additionalItems, minItems, maxItems } :
+        { ...options, [index_1.Kind]: 'Tuple', type: 'array', minItems, maxItems });
+}
+exports.Tuple = Tuple;

package/type/type/index.d.ts

@@ -0,0 +1,6 @@
+export { JsonTypeBuilder } from './json';
+import { JavaScriptTypeBuilder } from './javascript';
+/** JavaScript Type Builder with Static Resolution for TypeScript */
+declare const Type: JavaScriptTypeBuilder;
+export { JavaScriptTypeBuilder };
+export { Type };

package/type/type/index.js

@@ -0,0 +1,44 @@
+"use strict";
+/*--------------------------------------------------------------------------
+
+@sinclair/typebox/type
+
+The MIT License (MIT)
+
+Copyright (c) 2017-2023 Haydn Paterson (sinclair) <haydn.developer@gmail.com>
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.
+
+---------------------------------------------------------------------------*/
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Type = exports.JavaScriptTypeBuilder = exports.JsonTypeBuilder = void 0;
+// ------------------------------------------------------------------
+// JsonTypeBuilder
+// ------------------------------------------------------------------
+var json_1 = require("./json");
+Object.defineProperty(exports, "JsonTypeBuilder", { enumerable: true, get: function () { return json_1.JsonTypeBuilder; } });
+// ------------------------------------------------------------------
+// JavaScriptTypeBuilder
+// ------------------------------------------------------------------
+const TypeBuilder = require("./type");
+const javascript_1 = require("./javascript");
+Object.defineProperty(exports, "JavaScriptTypeBuilder", { enumerable: true, get: function () { return javascript_1.JavaScriptTypeBuilder; } });
+/** JavaScript Type Builder with Static Resolution for TypeScript */
+const Type = TypeBuilder;
+exports.Type = Type;

package/type/type/javascript.d.ts

@@ -0,0 +1,58 @@
+import { JsonTypeBuilder } from './json';
+import { type TAsyncIterator } from '../async-iterator/index';
+import { type TAwaited } from '../awaited/index';
+import { type TBigInt, type BigIntOptions } from '../bigint/index';
+import { type TConstructor } from '../constructor/index';
+import { type TConstructorParameters } from '../constructor-parameters/index';
+import { type TDate, type DateOptions } from '../date/index';
+import { type TFunction } from '../function/index';
+import { type TInstanceType } from '../instance-type/index';
+import { type TIterator } from '../iterator/index';
+import { type TParameters } from '../parameters/index';
+import { type TPromise } from '../promise/index';
+import { type TRegExp } from '../regexp/index';
+import { type TReturnType } from '../return-type/index';
+import { type TSchema, type SchemaOptions } from '../schema/index';
+import { type TSymbol } from '../symbol/index';
+import { type TUint8Array, type Uint8ArrayOptions } from '../uint8array/index';
+import { type TUndefined } from '../undefined/index';
+import { type TVoid } from '../void/index';
+/** JavaScript Type Builder with Static Resolution for TypeScript */
+export declare class JavaScriptTypeBuilder extends JsonTypeBuilder {
+    /** `[JavaScript]` Creates a AsyncIterator type */
+    AsyncIterator<T extends TSchema>(items: T, options?: SchemaOptions): TAsyncIterator<T>;
+    /** `[JavaScript]` Constructs a type by recursively unwrapping Promise types */
+    Awaited<T extends TSchema>(schema: T, options?: SchemaOptions): TAwaited<T>;
+    /** `[JavaScript]` Creates a BigInt type */
+    BigInt(options?: BigIntOptions): TBigInt;
+    /** `[JavaScript]` Extracts the ConstructorParameters from the given Constructor type */
+    ConstructorParameters<T extends TConstructor<TSchema[], TSchema>>(schema: T, options?: SchemaOptions): TConstructorParameters<T>;
+    /** `[JavaScript]` Creates a Constructor type */
+    Constructor<T extends TSchema[], U extends TSchema>(parameters: [...T], returns: U, options?: SchemaOptions): TConstructor<T, U>;
+    /** `[JavaScript]` Creates a Date type */
+    Date(options?: DateOptions): TDate;
+    /** `[JavaScript]` Creates a Function type */
+    Function<T extends TSchema[], U extends TSchema>(parameters: [...T], returns: U, options?: SchemaOptions): TFunction<T, U>;
+    /** `[JavaScript]` Extracts the InstanceType from the given Constructor type */
+    InstanceType<T extends TConstructor<any[], any>>(schema: T, options?: SchemaOptions): TInstanceType<T>;
+    /** `[JavaScript]` Creates an Iterator type */
+    Iterator<T extends TSchema>(items: T, options?: SchemaOptions): TIterator<T>;
+    /** `[JavaScript]` Extracts the Parameters from the given Function type */
+    Parameters<T extends TFunction<TSchema[], TSchema>>(schema: T, options?: SchemaOptions): TParameters<T>;
+    /** `[JavaScript]` Creates a Promise type */
+    Promise<T extends TSchema>(item: T, options?: SchemaOptions): TPromise<T>;
+    /** `[JavaScript]` Creates a String type from a Regular Expression pattern */
+    RegExp(pattern: string, options?: SchemaOptions): TRegExp;
+    /** `[JavaScript]` Creates a String type from a Regular Expression */
+    RegExp(regex: RegExp, options?: SchemaOptions): TRegExp;
+    /** `[JavaScript]` Extracts the ReturnType from the given Function type */
+    ReturnType<T extends TFunction<any[], any>>(schema: T, options?: SchemaOptions): TReturnType<T>;
+    /** `[JavaScript]` Creates a Symbol type */
+    Symbol(options?: SchemaOptions): TSymbol;
+    /** `[JavaScript]` Creates a Undefined type */
+    Undefined(options?: SchemaOptions): TUndefined;
+    /** `[JavaScript]` Creates a Uint8Array type */
+    Uint8Array(options?: Uint8ArrayOptions): TUint8Array;
+    /** `[JavaScript]` Creates a Void type */
+    Void(options?: SchemaOptions): TVoid;
+}

package/type/type/javascript.js

@@ -0,0 +1,120 @@
+"use strict";
+/*--------------------------------------------------------------------------
+
+@sinclair/typebox/type
+
+The MIT License (MIT)
+
+Copyright (c) 2017-2023 Haydn Paterson (sinclair) <haydn.developer@gmail.com>
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.
+
+---------------------------------------------------------------------------*/
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.JavaScriptTypeBuilder = void 0;
+const json_1 = require("./json");
+const index_1 = require("../async-iterator/index");
+const index_2 = require("../awaited/index");
+const index_3 = require("../bigint/index");
+const index_4 = require("../constructor/index");
+const index_5 = require("../constructor-parameters/index");
+const index_6 = require("../date/index");
+const index_7 = require("../function/index");
+const index_8 = require("../instance-type/index");
+const index_9 = require("../iterator/index");
+const index_10 = require("../parameters/index");
+const index_11 = require("../promise/index");
+const index_12 = require("../regexp/index");
+const index_13 = require("../return-type/index");
+const index_14 = require("../symbol/index");
+const index_15 = require("../uint8array/index");
+const index_16 = require("../undefined/index");
+const index_17 = require("../void/index");
+/** JavaScript Type Builder with Static Resolution for TypeScript */
+class JavaScriptTypeBuilder extends json_1.JsonTypeBuilder {
+    /** `[JavaScript]` Creates a AsyncIterator type */
+    AsyncIterator(items, options = {}) {
+        return (0, index_1.AsyncIterator)(items, options);
+    }
+    /** `[JavaScript]` Constructs a type by recursively unwrapping Promise types */
+    Awaited(schema, options = {}) {
+        return (0, index_2.Awaited)(schema, options);
+    }
+    /** `[JavaScript]` Creates a BigInt type */
+    BigInt(options = {}) {
+        return (0, index_3.BigInt)(options);
+    }
+    /** `[JavaScript]` Extracts the ConstructorParameters from the given Constructor type */
+    ConstructorParameters(schema, options = {}) {
+        return (0, index_5.ConstructorParameters)(schema, options);
+    }
+    /** `[JavaScript]` Creates a Constructor type */
+    Constructor(parameters, returns, options) {
+        return (0, index_4.Constructor)(parameters, returns, options);
+    }
+    /** `[JavaScript]` Creates a Date type */
+    Date(options = {}) {
+        return (0, index_6.Date)(options);
+    }
+    /** `[JavaScript]` Creates a Function type */
+    Function(parameters, returns, options) {
+        return (0, index_7.Function)(parameters, returns, options);
+    }
+    /** `[JavaScript]` Extracts the InstanceType from the given Constructor type */
+    InstanceType(schema, options = {}) {
+        return (0, index_8.InstanceType)(schema, options);
+    }
+    /** `[JavaScript]` Creates an Iterator type */
+    Iterator(items, options = {}) {
+        return (0, index_9.Iterator)(items, options);
+    }
+    /** `[JavaScript]` Extracts the Parameters from the given Function type */
+    Parameters(schema, options = {}) {
+        return (0, index_10.Parameters)(schema, options);
+    }
+    /** `[JavaScript]` Creates a Promise type */
+    Promise(item, options = {}) {
+        return (0, index_11.Promise)(item, options);
+    }
+    /** `[JavaScript]` Creates a String type */
+    RegExp(unresolved, options = {}) {
+        return (0, index_12.RegExp)(unresolved, options);
+    }
+    /** `[JavaScript]` Extracts the ReturnType from the given Function type */
+    ReturnType(schema, options = {}) {
+        return (0, index_13.ReturnType)(schema, options);
+    }
+    /** `[JavaScript]` Creates a Symbol type */
+    Symbol(options) {
+        return (0, index_14.Symbol)(options);
+    }
+    /** `[JavaScript]` Creates a Undefined type */
+    Undefined(options = {}) {
+        return (0, index_16.Undefined)(options);
+    }
+    /** `[JavaScript]` Creates a Uint8Array type */
+    Uint8Array(options = {}) {
+        return (0, index_15.Uint8Array)(options);
+    }
+    /** `[JavaScript]` Creates a Void type */
+    Void(options = {}) {
+        return (0, index_17.Void)(options);
+    }
+}
+exports.JavaScriptTypeBuilder = JavaScriptTypeBuilder;

package/type/type/json.d.ts

@@ -0,0 +1,139 @@
+import { type TAny } from '../any/index';
+import { type TArray, type ArrayOptions } from '../array/index';
+import { type TBoolean } from '../boolean/index';
+import { type TComposite } from '../composite/index';
+import { type TConst } from '../const/index';
+import { type TDeref } from '../deref/index';
+import { type TEnum, type TEnumKey, type TEnumValue } from '../enum/index';
+import { type TExclude } from '../exclude/index';
+import { type TExtends } from '../extends/index';
+import { type TExtract } from '../extract/index';
+import { TIndex, type IndexedKeyResolve } from '../indexed/index';
+import { type IntegerOptions, type TInteger } from '../integer/index';
+import { type IntersectOptions, type IntersectResolve } from '../intersect/index';
+import { type TCapitalize, type TUncapitalize, type TLowercase, type TUppercase } from '../intrinsic/index';
+import { type TKeyOf } from '../keyof/index';
+import { type TLiteral, type TLiteralValue } from '../literal/index';
+import { type TNever } from '../never/index';
+import { type TNot } from '../not/index';
+import { type TNull } from '../null/index';
+import { type TNumber, type NumberOptions } from '../number/index';
+import { type TObject, type TProperties, type ObjectOptions } from '../object/index';
+import { type TOmit } from '../omit/index';
+import { type TOptional } from '../optional/index';
+import { type TPartial } from '../partial/index';
+import { type TPick } from '../pick/index';
+import { type TReadonly } from '../readonly/index';
+import { type TReadonlyOptional } from '../readonly-optional/index';
+import { type RecordResolve } from '../record/index';
+import { type TRecursive, type TThis } from '../recursive/index';
+import { type TRef } from '../ref/index';
+import { type TRequired } from '../required/index';
+import { type TRest } from '../rest/index';
+import { type TSchema, type SchemaOptions } from '../schema/index';
+import { type TString, type StringOptions } from '../string/index';
+import { type TTemplateLiteral, type TTemplateLiteralKind, type TemplateLiteralSyntax } from '../template-literal/index';
+import { TransformDecodeBuilder } from '../transform/index';
+import { type TTuple } from '../tuple/index';
+import { type UnionResolve } from '../union/index';
+import { type TUnknown } from '../unknown/index';
+import { type TUnsafe, type UnsafeOptions } from '../unsafe/index';
+/** Json Type Builder with Static Resolution for TypeScript */
+export declare class JsonTypeBuilder {
+    /** `[Json]` Omits compositing symbols from this schema */
+    Strict<T extends TSchema>(schema: T): T;
+    /** `[Json]` Creates a Readonly and Optional property */
+    ReadonlyOptional<T extends TSchema>(schema: T): TReadonlyOptional<T>;
+    /** `[Json]` Creates a Readonly property */
+    Readonly<T extends TSchema>(schema: T): TReadonly<T>;
+    /** `[Json]` Creates an Optional property */
+    Optional<T extends TSchema>(schema: T): TOptional<T>;
+    /** `[Json]` Creates an Any type */
+    Any(options?: SchemaOptions): TAny;
+    /** `[Json]` Creates an Array type */
+    Array<T extends TSchema>(schema: T, options?: ArrayOptions): TArray<T>;
+    /** `[Json]` Creates a Boolean type */
+    Boolean(options?: SchemaOptions): TBoolean;
+    /** `[Json]` Intrinsic function to Capitalize LiteralString types */
+    Capitalize<T extends TSchema>(schema: T, options?: SchemaOptions): TCapitalize<T>;
+    /** `[Json]` Creates a Composite object type */
+    Composite<T extends TObject[]>(objects: [...T], options?: ObjectOptions): TComposite<T>;
+    /** `[JavaScript]` Creates a readonly const type from the given value. */
+    Const</* const (not supported in 4.0) */ T>(value: T, options?: SchemaOptions): TConst<T>;
+    /** `[Json]` Creates a dereferenced type */
+    Deref<T extends TSchema>(schema: T, references: TSchema[]): TDeref<T>;
+    /** `[Json]` Creates a Enum type */
+    Enum<V extends TEnumValue, T extends Record<TEnumKey, V>>(item: T, options?: SchemaOptions): TEnum<T>;
+    /** `[Json]` Creates a Conditional type */
+    Extends<L extends TSchema, R extends TSchema, T extends TSchema, U extends TSchema>(left: L, right: R, trueType: T, falseType: U, options?: SchemaOptions): TExtends<L, R, T, U>;
+    /** `[Json]` Constructs a type by excluding from unionType all union members that are assignable to excludedMembers */
+    Exclude<L extends TSchema, R extends TSchema>(unionType: L, excludedMembers: R, options?: SchemaOptions): TExclude<L, R>;
+    /** `[Json]` Constructs a type by extracting from type all union members that are assignable to union */
+    Extract<L extends TSchema, R extends TSchema>(type: L, union: R, options?: SchemaOptions): TExtract<L, R>;
+    /** `[Json]` Returns an Indexed property type for the given keys */
+    Index<T extends TSchema, K extends TSchema, I extends PropertyKey[] = IndexedKeyResolve<K>>(T: T, K: K, options?: SchemaOptions): TIndex<T, I>;
+    /** `[Json]` Returns an Indexed property type for the given keys */
+    Index<T extends TSchema, K extends PropertyKey[]>(T: T, K: readonly [...K], options?: SchemaOptions): TIndex<T, K>;
+    /** `[Json]` Creates an Integer type */
+    Integer(options?: IntegerOptions): TInteger;
+    /** `[Json]` Creates an Intersect type */
+    Intersect<T extends TSchema[]>(T: [...T], options?: IntersectOptions): IntersectResolve<T>;
+    /** `[Json]` Creates a KeyOf type */
+    KeyOf<T extends TSchema>(schema: T, options?: SchemaOptions): TKeyOf<T>;
+    /** `[Json]` Creates a Literal type */
+    Literal<T extends TLiteralValue>(value: T, options?: SchemaOptions): TLiteral<T>;
+    /** `[Json]` Intrinsic function to Lowercase LiteralString types */
+    Lowercase<T extends TSchema>(schema: T, options?: SchemaOptions): TLowercase<T>;
+    /** `[Json]` Creates a Never type */
+    Never(options?: SchemaOptions): TNever;
+    /** `[Json]` Creates a Not type */
+    Not<T extends TSchema>(schema: T, options?: SchemaOptions): TNot<T>;
+    /** `[Json]` Creates a Null type */
+    Null(options?: SchemaOptions): TNull;
+    /** `[Json]` Creates a Number type */
+    Number(options?: NumberOptions): TNumber;
+    /** `[Json]` Creates an Object type */
+    Object<T extends TProperties>(properties: T, options?: ObjectOptions): TObject<T>;
+    /** `[Json]` Constructs a type whose keys are omitted from the given type */
+    Omit<T extends TSchema, K extends TSchema, I extends PropertyKey[] = IndexedKeyResolve<K>>(T: T, K: K, options?: SchemaOptions): TOmit<T, I>;
+    /** `[Json]` Constructs a type whose keys are omitted from the given type */
+    Omit<T extends TSchema, K extends PropertyKey[]>(T: T, K: readonly [...K], options?: SchemaOptions): TOmit<T, K>;
+    /** `[Json]` Constructs a type where all properties are optional */
+    Partial<T extends TSchema>(schema: T, options?: ObjectOptions): TPartial<T>;
+    /** `[Json]` Constructs a type whose keys are picked from the given type */
+    Pick<T extends TSchema, K extends TSchema, I extends PropertyKey[] = IndexedKeyResolve<K>>(T: T, K: K, options?: SchemaOptions): TPick<T, I>;
+    /** `[Json]` Constructs a type whose keys are picked from the given type */
+    Pick<T extends TSchema, K extends PropertyKey[]>(T: T, K: readonly [...K], options?: SchemaOptions): TPick<T, K>;
+    /** `[Json]` Creates a Record type */
+    Record<K extends TSchema, T extends TSchema>(key: K, schema: T, options?: ObjectOptions): RecordResolve<K, T>;
+    /** `[Json]` Creates a Recursive type */
+    Recursive<T extends TSchema>(callback: (thisType: TThis) => T, options?: SchemaOptions): TRecursive<T>;
+    /** `[Json]` Creates a Ref type. The referenced type must contain a $id */
+    Ref<T extends TSchema>(schema: T, options?: SchemaOptions): TRef<T>;
+    /** `[Json]` Creates a Ref type. */
+    Ref<T extends TSchema>($ref: string, options?: SchemaOptions): TRef<T>;
+    /** `[Json]` Constructs a type where all properties are required */
+    Required<T extends TSchema>(schema: T, options?: SchemaOptions): TRequired<T>;
+    /** `[Json]` Extracts interior Rest elements from Tuple, Intersect and Union types */
+    Rest<T extends TSchema>(schema: T): TRest<T>;
+    /** `[Json]` Creates a String type */
+    String(options?: StringOptions): TString;
+    /** `[Json]` Creates a TemplateLiteral type from template dsl string */
+    TemplateLiteral<T extends string>(syntax: T, options?: SchemaOptions): TemplateLiteralSyntax<T>;
+    /** `[Json]` Creates a TemplateLiteral type */
+    TemplateLiteral<T extends TTemplateLiteralKind[]>(kinds: [...T], options?: SchemaOptions): TTemplateLiteral<T>;
+    /** `[Json]` Creates a Transform type */
+    Transform<I extends TSchema>(schema: I): TransformDecodeBuilder<I>;
+    /** `[Json]` Creates a Tuple type */
+    Tuple<T extends TSchema[]>(items: [...T], options?: SchemaOptions): TTuple<T>;
+    /** `[Json]` Intrinsic function to Uncapitalize LiteralString types */
+    Uncapitalize<T extends TSchema>(schema: T, options?: SchemaOptions): TUncapitalize<T>;
+    /** `[Json]` Creates a Union type */
+    Union<T extends TSchema[]>(schemas: [...T], options?: SchemaOptions): UnionResolve<T>;
+    /** `[Json]` Creates an Unknown type */
+    Unknown(options?: SchemaOptions): TUnknown;
+    /** `[Json]` Creates a Unsafe type that will infers as the generic argument T */
+    Unsafe<T>(options?: UnsafeOptions): TUnsafe<T>;
+    /** `[Json]` Intrinsic function to Uppercase LiteralString types */
+    Uppercase<T extends TSchema>(schema: T, options?: SchemaOptions): TUppercase<T>;
+}