@sinclair/typebox 0.32.0-dev-16 → 0.32.0-dev-18

package/build/import/type/template-literal/parser.mjs

@@ -1,17 +1,25 @@
+// ------------------------------------------------------------------
+// TemplateLiteralParserError
+// ------------------------------------------------------------------
 export class TemplateLiteralParserError extends Error {
 }
+// prettier-ignore
 function IsNonEscaped(pattern, index, char) {
     return pattern[index] === char && pattern.charCodeAt(index - 1) !== 92;
 }
+// prettier-ignore
 function IsOpenParen(pattern, index) {
     return IsNonEscaped(pattern, index, '(');
 }
+// prettier-ignore
 function IsCloseParen(pattern, index) {
     return IsNonEscaped(pattern, index, ')');
 }
+// prettier-ignore
 function IsSeparator(pattern, index) {
     return IsNonEscaped(pattern, index, '|');
 }
+// prettier-ignore
 function IsGroup(pattern) {
     if (!(IsOpenParen(pattern, 0) && IsCloseParen(pattern, pattern.length - 1)))
         return false;
@@ -26,9 +34,11 @@ function IsGroup(pattern) {
     }
     return true;
 }
+// prettier-ignore
 function InGroup(pattern) {
     return pattern.slice(1, pattern.length - 1);
 }
+// prettier-ignore
 function IsPrecedenceOr(pattern) {
     let count = 0;
     for (let index = 0; index < pattern.length; index++) {
@@ -41,6 +51,7 @@ function IsPrecedenceOr(pattern) {
     }
     return false;
 }
+// prettier-ignore
 function IsPrecedenceAnd(pattern) {
     for (let index = 0; index < pattern.length; index++) {
         if (IsOpenParen(pattern, index))
@@ -48,6 +59,7 @@ function IsPrecedenceAnd(pattern) {
     }
     return false;
 }
+// prettier-ignore
 function Or(pattern) {
     let [count, start] = [0, 0];
     const expressions = [];
@@ -72,6 +84,7 @@ function Or(pattern) {
         return expressions[0];
     return { type: 'or', expr: expressions };
 }
+// prettier-ignore
 function And(pattern) {
     function Group(value, index) {
         if (!IsOpenParen(value, index))
@@ -114,12 +127,16 @@ function And(pattern) {
         (expressions.length === 1) ? expressions[0] :
             { type: 'and', expr: expressions });
 }
+/** Parses a pattern and returns an expression tree */
+// prettier-ignore
 export function TemplateLiteralParse(pattern) {
     return (IsGroup(pattern) ? TemplateLiteralParse(InGroup(pattern)) :
         IsPrecedenceOr(pattern) ? Or(pattern) :
             IsPrecedenceAnd(pattern) ? And(pattern) :
                 { type: 'const', const: pattern });
 }
+/** Parses a pattern and strips forward and trailing ^ and $ */
+// prettier-ignore
 export function TemplateLiteralParseExact(pattern) {
     return TemplateLiteralParse(pattern.slice(1, pattern.length - 1));
 }

package/build/import/type/template-literal/pattern.mjs

@@ -1,11 +1,22 @@
 import { PatternNumber, PatternString, PatternBoolean } from '../patterns/index.mjs';
 import { Kind } from '../symbols/index.mjs';
+// ------------------------------------------------------------------
+// TypeGuard
+// ------------------------------------------------------------------
+// prettier-ignore
 import { TTemplateLiteral as IsTemplateLiteralType, TUnion as IsUnionType, TNumber as IsNumberType, TInteger as IsIntegerType, TBigInt as IsBigIntType, TString as IsStringType, TLiteral as IsLiteralType, TBoolean as IsBooleanType, } from '../guard/type.mjs';
+// ------------------------------------------------------------------
+// TemplateLiteralPatternError
+// ------------------------------------------------------------------
 export class TemplateLiteralPatternError extends Error {
 }
+// ------------------------------------------------------------------
+// TemplateLiteralPattern
+// ------------------------------------------------------------------
 function Escape(value) {
     return value.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
 }
+// prettier-ignore
 function Visit(schema, acc) {
     return (IsTemplateLiteralType(schema) ? schema.pattern.slice(1, schema.pattern.length - 1) :
         IsUnionType(schema) ? `(${schema.anyOf.map((schema) => Visit(schema, acc)).join('|')})` :

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

@@ -15,5 +15,6 @@ type FromTerminal<T extends string> = T extends 'boolean' ? TBoolean : T extends
 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> = (TTemplateLiteral<Assert<FromString<T>, TTemplateLiteralKind[]>>);
+/** Parses TemplateLiteralSyntax and returns a tuple of TemplateLiteralKinds */
 export declare function TemplateLiteralSyntax(syntax: string): TTemplateLiteralKind[];
 export {};

package/build/import/type/template-literal/syntax.mjs

@@ -5,6 +5,10 @@ import { Number } from '../number/index.mjs';
 import { String } from '../string/index.mjs';
 import { Union } from '../union/index.mjs';
 import { Never } from '../never/index.mjs';
+// ------------------------------------------------------------------
+// SyntaxParsers
+// ------------------------------------------------------------------
+// prettier-ignore
 function* FromUnion(syntax) {
     const trim = syntax.trim().replace(/"|'/g, '');
     return (trim === 'boolean' ? yield Boolean() :
@@ -18,6 +22,7 @@ function* FromUnion(syntax) {
                                 Union(literals));
                     })());
 }
+// prettier-ignore
 function* FromTerminal(syntax) {
     if (syntax[1] !== '{') {
         const L = Literal('$');
@@ -33,6 +38,7 @@ function* FromTerminal(syntax) {
     }
     yield Literal(syntax);
 }
+// prettier-ignore
 function* FromSyntax(syntax) {
     for (let i = 0; i < syntax.length; i++) {
         if (syntax[i] === '$') {
@@ -43,6 +49,8 @@ function* FromSyntax(syntax) {
     }
     yield Literal(syntax);
 }
+// prettier-ignore
+/** Parses TemplateLiteralSyntax and returns a tuple of TemplateLiteralKinds */
 export function TemplateLiteralSyntax(syntax) {
     return [...FromSyntax(syntax)];
 }

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

@@ -23,6 +23,8 @@ export interface TTemplateLiteral<T extends TTemplateLiteralKind[] = TTemplateLi
     type: 'string';
     pattern: string;
 }
+/** `[Json]` Creates a TemplateLiteral type from template dsl string */
 export declare function TemplateLiteral<T extends string>(syntax: T, options?: SchemaOptions): TemplateLiteralSyntax<T>;
+/** `[Json]` Creates a TemplateLiteral type */
 export declare function TemplateLiteral<T extends TTemplateLiteralKind[]>(kinds: [...T], options?: SchemaOptions): TTemplateLiteral<T>;
 export {};

package/build/import/type/template-literal/template-literal.mjs

@@ -2,6 +2,8 @@ import { TemplateLiteralPattern } from './pattern.mjs';
 import { TemplateLiteralSyntax } from './syntax.mjs';
 import { IsString } from '../guard/value.mjs';
 import { Kind } from '../symbols/index.mjs';
+/** `[Json]` Creates a TemplateLiteral type */
+// prettier-ignore
 export function TemplateLiteral(unresolved, options = {}) {
     const pattern = IsString(unresolved)
         ? TemplateLiteralPattern(TemplateLiteralSyntax(unresolved))

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

@@ -3,4 +3,5 @@ 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';
+/** Resolves a template literal as a TUnion */
 export declare function TemplateLiteralToUnion(template: TTemplateLiteral): TNever | TString | TUnion<TLiteral[]>;

package/build/import/type/template-literal/union.mjs

@@ -4,6 +4,10 @@ import { String } from '../string/index.mjs';
 import { TemplateLiteralGenerate } from './generate.mjs';
 import { TemplateLiteralParseExact } from './parser.mjs';
 import { IsTemplateLiteralFinite } from './finite.mjs';
+// ------------------------------------------------------------------
+// TemplateLiteralToUnion
+// ------------------------------------------------------------------
+/** Resolves a template literal as a TUnion */
 export function TemplateLiteralToUnion(template) {
     const expression = TemplateLiteralParseExact(template.pattern);
     if (!IsTemplateLiteralFinite(expression))

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

@@ -25,5 +25,6 @@ export interface TTransform<I extends TSchema = TSchema, O extends unknown = unk
     [TransformKind]: TransformOptions<I, O>;
     [key: string]: any;
 }
+/** `[Json]` Creates a Transform type */
 export declare function Transform<I extends TSchema>(schema: I): TransformDecodeBuilder<I>;
 export {};

package/build/import/type/transform/transform.mjs

@@ -1,6 +1,13 @@
 import { CloneType } from '../clone/type.mjs';
 import { TransformKind } from '../symbols/index.mjs';
+// ------------------------------------------------------------------
+// TypeGuard
+// ------------------------------------------------------------------
+// prettier-ignore
 import { TTransform as IsTransform } from '../guard/type.mjs';
+// ------------------------------------------------------------------
+// TransformBuilders
+// ------------------------------------------------------------------
 export class TransformDecodeBuilder {
     schema;
     constructor(schema) {
@@ -10,6 +17,7 @@ export class TransformDecodeBuilder {
         return new TransformEncodeBuilder(this.schema, decode);
     }
 }
+// prettier-ignore
 export class TransformEncodeBuilder {
     schema;
     decode;
@@ -32,6 +40,7 @@ export class TransformEncodeBuilder {
         return (IsTransform(schema) ? this.EncodeTransform(encode, schema) : this.EncodeSchema(encode, schema));
     }
 }
+/** `[Json]` Creates a Transform type */
 export function Transform(schema) {
     return new TransformDecodeBuilder(schema);
 }

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

@@ -12,5 +12,6 @@ export interface TTuple<T extends TSchema[] = TSchema[]> extends TSchema {
     minItems: number;
     maxItems: number;
 }
+/** `[Json]` Creates a Tuple type */
 export declare function Tuple<T extends TSchema[]>(items: [...T], options?: SchemaOptions): TTuple<T>;
 export {};

package/build/import/type/tuple/tuple.mjs

@@ -1,7 +1,10 @@
 import { CloneRest } from '../clone/type.mjs';
 import { Kind } from '../symbols/index.mjs';
+/** `[Json]` Creates a Tuple type */
 export function Tuple(items, options = {}) {
+    // return TupleResolver.Resolve(T)
     const [additionalItems, minItems, maxItems] = [false, items.length, items.length];
+    // prettier-ignore
     return (items.length > 0 ?
         { ...options, [Kind]: 'Tuple', type: 'array', items: CloneRest(items), additionalItems, minItems, maxItems } :
         { ...options, [Kind]: 'Tuple', type: 'array', minItems, maxItems });

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

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

package/build/import/type/type/index.mjs

@@ -1,6 +1,13 @@
+// ------------------------------------------------------------------
+// JsonTypeBuilder
+// ------------------------------------------------------------------
 export { JsonTypeBuilder } from './json.mjs';
+// ------------------------------------------------------------------
+// JavaScriptTypeBuilder
+// ------------------------------------------------------------------
 import * as TypeBuilder from './type.mjs';
 import { JavaScriptTypeBuilder } from './javascript.mjs';
+/** JavaScript Type Builder with Static Resolution for TypeScript */
 const Type = TypeBuilder;
 export { JavaScriptTypeBuilder };
 export { Type };

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

@@ -17,23 +17,42 @@ import { type TSymbol } from '../symbol/index.mjs';
 import { type TUint8Array, type Uint8ArrayOptions } from '../uint8array/index.mjs';
 import { type TUndefined } from '../undefined/index.mjs';
 import { type TVoid } from '../void/index.mjs';
+/** 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/build/import/type/type/javascript.mjs

@@ -16,55 +16,73 @@ import { Symbol } from '../symbol/index.mjs';
 import { Uint8Array } from '../uint8array/index.mjs';
 import { Undefined } from '../undefined/index.mjs';
 import { Void } from '../void/index.mjs';
+/** JavaScript Type Builder with Static Resolution for TypeScript */
 export class JavaScriptTypeBuilder extends JsonTypeBuilder {
+    /** `[JavaScript]` Creates a AsyncIterator type */
     AsyncIterator(items, options = {}) {
         return AsyncIterator(items, options);
     }
+    /** `[JavaScript]` Constructs a type by recursively unwrapping Promise types */
     Awaited(schema, options = {}) {
         return Awaited(schema, options);
     }
+    /** `[JavaScript]` Creates a BigInt type */
     BigInt(options = {}) {
         return BigInt(options);
     }
+    /** `[JavaScript]` Extracts the ConstructorParameters from the given Constructor type */
     ConstructorParameters(schema, options = {}) {
         return ConstructorParameters(schema, options);
     }
+    /** `[JavaScript]` Creates a Constructor type */
     Constructor(parameters, returns, options) {
         return Constructor(parameters, returns, options);
     }
+    /** `[JavaScript]` Creates a Date type */
     Date(options = {}) {
         return Date(options);
     }
+    /** `[JavaScript]` Creates a Function type */
     Function(parameters, returns, options) {
         return FunctionType(parameters, returns, options);
     }
+    /** `[JavaScript]` Extracts the InstanceType from the given Constructor type */
     InstanceType(schema, options = {}) {
         return InstanceType(schema, options);
     }
+    /** `[JavaScript]` Creates an Iterator type */
     Iterator(items, options = {}) {
         return Iterator(items, options);
     }
+    /** `[JavaScript]` Extracts the Parameters from the given Function type */
     Parameters(schema, options = {}) {
         return Parameters(schema, options);
     }
+    /** `[JavaScript]` Creates a Promise type */
     Promise(item, options = {}) {
         return Promise(item, options);
     }
+    /** `[JavaScript]` Creates a String type */
     RegExp(unresolved, options = {}) {
         return RegExp(unresolved, options);
     }
+    /** `[JavaScript]` Extracts the ReturnType from the given Function type */
     ReturnType(schema, options = {}) {
         return ReturnType(schema, options);
     }
+    /** `[JavaScript]` Creates a Symbol type */
     Symbol(options) {
         return Symbol(options);
     }
+    /** `[JavaScript]` Creates a Undefined type */
     Undefined(options = {}) {
         return Undefined(options);
     }
+    /** `[JavaScript]` Creates a Uint8Array type */
     Uint8Array(options = {}) {
         return Uint8Array(options);
     }
+    /** `[JavaScript]` Creates a Void type */
     Void(options = {}) {
         return Void(options);
     }

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

@@ -27,7 +27,7 @@ import { type TPartial, type TPartialFromMappedResult } from '../partial/index.m
 import { type TPick, type TPickFromMappedKey } from '../pick/index.mjs';
 import { type TReadonly } from '../readonly/index.mjs';
 import { type TReadonlyOptional } from '../readonly-optional/index.mjs';
-import { type RecordResolve } from '../record/index.mjs';
+import { type TRecordOrObject } from '../record/index.mjs';
 import { type TRecursive, type TThis } from '../recursive/index.mjs';
 import { type TRef } from '../ref/index.mjs';
 import { type TRequired, type TRequiredFromMappedResult } from '../required/index.mjs';
@@ -40,65 +40,126 @@ import { type TTuple } from '../tuple/index.mjs';
 import { Union } from '../union/index.mjs';
 import { type TUnknown } from '../unknown/index.mjs';
 import { type TUnsafe, type UnsafeOptions } from '../unsafe/index.mjs';
+/** 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>;
-    Const<T>(value: T, options?: SchemaOptions): TConst<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]` Constructs a type by excluding from unionType all union members that are assignable to excludedMembers */
     Exclude<L extends TMappedResult, R extends TSchema>(unionType: L, excludedMembers: R, options?: SchemaOptions): TExcludeFromMappedResult<L, R>;
+    /** `[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]` Creates a Conditional type */
     Extends<L extends TMappedResult, R extends TSchema, T extends TSchema, F extends TSchema>(L: L, R: R, T: T, F: F, options?: SchemaOptions): TExtendsFromMappedResult<L, R, T, F>;
+    /** `[Json]` Creates a Conditional type */
     Extends<L extends TMappedKey, R extends TSchema, T extends TSchema, F extends TSchema>(L: L, R: R, T: T, F: F, options?: SchemaOptions): TExtendsFromMappedKey<L, R, T, F>;
+    /** `[Json]` Creates a Conditional type */
     Extends<L extends TSchema, R extends TSchema, T extends TSchema, F extends TSchema>(L: L, R: R, T: T, F: F, options?: SchemaOptions): TExtends<L, R, T, F>;
+    /** `[Json]` Constructs a type by extracting from type all union members that are assignable to union */
     Extract<L extends TMappedResult, R extends TSchema>(type: L, union: R, options?: SchemaOptions): TExtractFromMappedResult<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 TMappedKey>(T: T, K: K, options?: SchemaOptions): TIndexFromMappedKey<T, K>;
+    /** `[Json]` Returns an Indexed property type for the given keys */
     Index<T extends TSchema, K extends TSchema, I extends PropertyKey[] = TIndexPropertyKeys<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): Intersect<T>;
+    /** `[Json]` Creates a KeyOf type */
     KeyOf<T extends TMappedResult>(schema: T, options?: SchemaOptions): TKeyOfFromMappedResult<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 Mapped object type */
     Mapped<K extends TSchema, I extends PropertyKey[] = TIndexPropertyKeys<K>, F extends TMappedFunction<I> = TMappedFunction<I>, R extends TMapped<I, F> = TMapped<I, F>>(key: K, map: F, options?: ObjectOptions): R;
+    /** `[Json]` Creates a Mapped object type */
     Mapped<K extends PropertyKey[], F extends TMappedFunction<K> = TMappedFunction<K>, R extends TMapped<K, F> = TMapped<K, F>>(key: [...K], map: F, options?: ObjectOptions): R;
+    /** `[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 TMappedKey>(T: T, K: K): TOmitFromMappedKey<T, K>;
+    /** `[Json]` Constructs a type whose keys are omitted from the given type */
     Omit<T extends TSchema, K extends TSchema, I extends PropertyKey[] = TIndexPropertyKeys<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 TMappedResult>(T: T, options?: ObjectOptions): TPartialFromMappedResult<T>;
+    /** `[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 TMappedKey>(T: T, K: K): TPickFromMappedKey<T, K>;
+    /** `[Json]` Constructs a type whose keys are picked from the given type */
     Pick<T extends TSchema, K extends TSchema, I extends PropertyKey[] = TIndexPropertyKeys<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>;
-    Record<K extends TSchema, T extends TSchema>(key: K, schema: T, options?: ObjectOptions): RecordResolve<K, T>;
+    /** `[Json]` Creates a Record type */
+    Record<K extends TSchema, T extends TSchema>(key: K, schema: T, options?: ObjectOptions): TRecordOrObject<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 TMappedResult>(T: T, options?: ObjectOptions): TRequiredFromMappedResult<T>;
+    /** `[Json]` Constructs a type where all properties are required */
     Required<T extends TSchema>(schema: T, options?: ObjectOptions): 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): Union<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>;
 }