@sinclair/typebox 0.34.15 → 0.34.16

package/build/cjs/type/return-type/return-type.d.ts

@@ -1,5 +1,6 @@
-import type { SchemaOptions } from '../schema/index';
-import type { TFunction } from '../function/index';
-export type TReturnType<T extends TFunction> = T['returns'];
+import { type TSchema, type SchemaOptions } from '../schema/index';
+import { type TFunction } from '../function/index';
+import { type TNever } from '../never/index';
+export type TReturnType<Type extends TSchema, Result extends TSchema = Type extends TFunction<infer _Parameters extends TSchema[], infer ReturnType extends TSchema> ? ReturnType : TNever> = Result;
 /** `[JavaScript]` Extracts the ReturnType from the given Function type */
-export declare function ReturnType<T extends TFunction<any[], any>>(schema: T, options?: SchemaOptions): TReturnType<T>;
+export declare function ReturnType<Type extends TSchema>(schema: Type, options?: SchemaOptions): TReturnType<Type>;

package/build/cjs/type/return-type/return-type.js

@@ -3,7 +3,9 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.ReturnType = ReturnType;
 const type_1 = require("../create/type");
+const index_1 = require("../never/index");
+const KindGuard = require("../guard/kind");
 /** `[JavaScript]` Extracts the ReturnType from the given Function type */
 function ReturnType(schema, options) {
-    return (0, type_1.CreateType)(schema.returns, options);
+    return (KindGuard.IsFunction(schema) ? (0, type_1.CreateType)(schema.returns, options) : (0, index_1.Never)(options));
 }

package/build/cjs/type/type/javascript.d.ts

@@ -26,7 +26,7 @@ export declare class JavaScriptTypeBuilder extends JsonTypeBuilder {
     /** `[JavaScript]` Creates a BigInt type */
     BigInt(options?: BigIntOptions): TBigInt;
     /** `[JavaScript]` Extracts the ConstructorParameters from the given Constructor type */
-    ConstructorParameters<Type extends TConstructor>(schema: Type, options?: SchemaOptions): TConstructorParameters<Type>;
+    ConstructorParameters<Type extends TSchema>(schema: Type, options?: SchemaOptions): TConstructorParameters<Type>;
     /** `[JavaScript]` Creates a Constructor type */
     Constructor<Parameters extends TSchema[], InstanceType extends TSchema>(parameters: [...Parameters], instanceType: InstanceType, options?: SchemaOptions): TConstructor<Parameters, InstanceType>;
     /** `[JavaScript]` Creates a Date type */
@@ -34,11 +34,11 @@ export declare class JavaScriptTypeBuilder extends JsonTypeBuilder {
     /** `[JavaScript]` Creates a Function type */
     Function<Parameters extends TSchema[], ReturnType extends TSchema>(parameters: [...Parameters], returnType: ReturnType, options?: SchemaOptions): TFunction<Parameters, ReturnType>;
     /** `[JavaScript]` Extracts the InstanceType from the given Constructor type */
-    InstanceType<Type extends TConstructor>(schema: Type, options?: SchemaOptions): TInstanceType<Type>;
+    InstanceType<Type extends TSchema>(schema: Type, options?: SchemaOptions): TInstanceType<Type>;
     /** `[JavaScript]` Creates an Iterator type */
     Iterator<Type extends TSchema>(items: Type, options?: SchemaOptions): TIterator<Type>;
     /** `[JavaScript]` Extracts the Parameters from the given Function type */
-    Parameters<Type extends TFunction>(schema: Type, options?: SchemaOptions): TParameters<Type>;
+    Parameters<Type extends TSchema>(schema: Type, options?: SchemaOptions): TParameters<Type>;
     /** `[JavaScript]` Creates a Promise type */
     Promise<Type extends TSchema>(item: Type, options?: SchemaOptions): TPromise<Type>;
     /** `[JavaScript]` Creates a RegExp type */
@@ -46,7 +46,7 @@ export declare class JavaScriptTypeBuilder extends JsonTypeBuilder {
     /** `[JavaScript]` Creates a RegExp type */
     RegExp(regex: RegExp, options?: RegExpOptions): TRegExp;
     /** `[JavaScript]` Extracts the ReturnType from the given Function type */
-    ReturnType<Type extends TFunction>(type: Type, options?: SchemaOptions): TReturnType<Type>;
+    ReturnType<Type extends TSchema>(type: Type, options?: SchemaOptions): TReturnType<Type>;
     /** `[JavaScript]` Creates a Symbol type */
     Symbol(options?: SchemaOptions): TSymbol;
     /** `[JavaScript]` Creates a Undefined type */

package/build/esm/syntax/index.d.mts

@@ -1 +1 @@
-export * from './parse.mjs';
+export * from './syntax.mjs';

package/build/esm/syntax/index.mjs

@@ -1 +1 @@
-export * from './parse.mjs';
+export * from './syntax.mjs';

package/build/esm/syntax/runtime.d.mts

@@ -1,71 +1,55 @@
-import { Runtime } from './parsebox/index.mjs';
-import * as Types from '../type/index.mjs';
+import { Runtime } from '../parser/index.mjs';
+import * as t from '../type/index.mjs';
 export declare const Module: Runtime.Module<{
-    ExportModifier: Runtime.IUnion<boolean>;
-    HeritageList: Runtime.IUnion<Types.TSchema[]>;
-    Heritage: Runtime.IUnion<unknown[]>;
-    InterfaceDeclaration: Runtime.ITuple<{
-        [x: string]: Types.TIntersect<[...Types.TRef<string>[], Types.TObject<Types.TProperties>]>;
-    }>;
-    TypeAliasDeclaration: Runtime.ITuple<{
-        [x: string]: Types.TSchema;
-    }>;
-    ModuleType: Runtime.IUnion<unknown>;
-    ModuleProperties: Runtime.IUnion<Types.TProperties>;
-    ModuleDeclaration: Runtime.ITuple<Types.TModule<Types.TProperties, {
-        [x: string]: Types.TSchema;
-        [x: number]: Types.TSchema;
-    }>>;
-    Literal: Runtime.IUnion<Types.TLiteral<string> | Types.TLiteral<number> | Types.TLiteral<boolean>>;
-    Keyword: Runtime.IUnion<Types.TAny | Types.TNever | Types.TString | Types.TBoolean | Types.TNumber | Types.TInteger | Types.TBigInt | Types.TNull | Types.TSymbol | Types.TUndefined | Types.TUnknown | Types.TVoid>;
+    Literal: Runtime.IUnion<t.TLiteral<string> | t.TLiteral<number> | t.TLiteral<boolean>>;
+    Keyword: Runtime.IUnion<t.TAny | t.TNever | t.TString | t.TBoolean | t.TNumber | t.TInteger | t.TBigInt | t.TNull | t.TSymbol | t.TUndefined | t.TUnknown | t.TVoid>;
     KeyOf: Runtime.IUnion<boolean>;
     IndexArray: Runtime.IUnion<unknown[]>;
     Extends: Runtime.IUnion<unknown[]>;
     Base: Runtime.IUnion<unknown>;
-    Factor: Runtime.ITuple<Types.TSchema>;
+    Factor: Runtime.ITuple<t.TSchema>;
     ExprTermTail: Runtime.IUnion<[] | ["&", unknown, unknown]>;
-    ExprTerm: Runtime.ITuple<Types.TSchema>;
+    ExprTerm: Runtime.ITuple<t.TSchema>;
     ExprTail: Runtime.IUnion<[] | ["|", unknown, unknown]>;
-    Expr: Runtime.ITuple<Types.TSchema>;
+    Expr: Runtime.ITuple<t.TSchema>;
     Type: Runtime.IRef<unknown>;
     PropertyKey: Runtime.IUnion<string>;
     Readonly: Runtime.IUnion<boolean>;
     Optional: Runtime.IUnion<boolean>;
     Property: Runtime.ITuple<{
-        [x: string]: Types.TSchema;
+        [x: string]: t.TSchema;
     }>;
     PropertyDelimiter: Runtime.IUnion<[","] | [",", "\n"] | [";"] | [";", "\n"] | ["\n"]>;
-    Properties: Runtime.IUnion<Types.TProperties>;
-    Object: Runtime.ITuple<Types.TObject<Types.TProperties>>;
+    Properties: Runtime.IUnion<t.TProperties>;
+    Object: Runtime.ITuple<t.TObject<t.TProperties>>;
     Elements: Runtime.IUnion<unknown[]>;
-    Tuple: Runtime.ITuple<Types.TTuple<Types.TSchema[]>>;
-    Parameter: Runtime.ITuple<Types.TSchema>;
-    Function: Runtime.ITuple<Types.TFunction<Types.TSchema[], Types.TSchema>>;
+    Tuple: Runtime.ITuple<t.TTuple<t.TSchema[]>>;
+    Parameter: Runtime.ITuple<t.TSchema>;
+    Function: Runtime.ITuple<t.TFunction<t.TSchema[], t.TSchema>>;
     Parameters: Runtime.IUnion<unknown[]>;
-    Constructor: Runtime.ITuple<Types.TConstructor<Types.TSchema[], Types.TSchema>>;
-    Mapped: Runtime.ITuple<Types.TLiteral<"Mapped types not supported">>;
-    AsyncIterator: Runtime.ITuple<Types.TAsyncIterator<Types.TSchema>>;
-    Iterator: Runtime.ITuple<Types.TIterator<Types.TSchema>>;
-    Awaited: Runtime.ITuple<Types.TSchema>;
-    Array: Runtime.ITuple<Types.TArray<Types.TSchema>>;
-    Record: Runtime.ITuple<Types.TNever>;
-    Promise: Runtime.ITuple<Types.TPromise<Types.TSchema>>;
-    ConstructorParameters: Runtime.ITuple<Types.TTuple<Types.TSchema[]>>;
-    FunctionParameters: Runtime.ITuple<Types.TTuple<Types.TSchema[]>>;
-    InstanceType: Runtime.ITuple<Types.TSchema>;
-    ReturnType: Runtime.ITuple<Types.TSchema>;
-    Partial: Runtime.ITuple<Types.TObject<{}>>;
-    Required: Runtime.ITuple<Types.TObject<{}>>;
-    Pick: Runtime.ITuple<Types.TObject<{}>>;
-    Omit: Runtime.ITuple<Types.TObject<{}>>;
-    Exclude: Runtime.ITuple<Types.TNever>;
-    Extract: Runtime.ITuple<Types.TSchema>;
-    Uppercase: Runtime.ITuple<Types.TSchema>;
-    Lowercase: Runtime.ITuple<Types.TSchema>;
-    Capitalize: Runtime.ITuple<Types.TSchema>;
-    Uncapitalize: Runtime.ITuple<Types.TSchema>;
-    Date: Runtime.IConst<Types.TDate>;
-    Uint8Array: Runtime.IConst<Types.TUint8Array>;
-    Reference: Runtime.IIdent<Types.TSchema>;
-    Main: Runtime.IUnion<unknown>;
+    Constructor: Runtime.ITuple<t.TConstructor<t.TSchema[], t.TSchema>>;
+    Mapped: Runtime.ITuple<t.TLiteral<"Mapped types not supported">>;
+    AsyncIterator: Runtime.ITuple<t.TAsyncIterator<t.TSchema>>;
+    Iterator: Runtime.ITuple<t.TIterator<t.TSchema>>;
+    Awaited: Runtime.ITuple<t.TSchema>;
+    Array: Runtime.ITuple<t.TArray<t.TSchema>>;
+    Record: Runtime.ITuple<t.TNever>;
+    Promise: Runtime.ITuple<t.TPromise<t.TSchema>>;
+    ConstructorParameters: Runtime.ITuple<t.TTuple<t.TSchema[]>>;
+    FunctionParameters: Runtime.ITuple<t.TTuple<t.TSchema[]>>;
+    InstanceType: Runtime.ITuple<t.TSchema>;
+    ReturnType: Runtime.ITuple<t.TSchema>;
+    Partial: Runtime.ITuple<t.TObject<{}>>;
+    Required: Runtime.ITuple<t.TObject<{}>>;
+    Pick: Runtime.ITuple<t.TObject<{}>>;
+    Omit: Runtime.ITuple<t.TObject<{}>>;
+    Exclude: Runtime.ITuple<t.TNever>;
+    Extract: Runtime.ITuple<t.TSchema>;
+    Uppercase: Runtime.ITuple<t.TSchema>;
+    Lowercase: Runtime.ITuple<t.TSchema>;
+    Capitalize: Runtime.ITuple<t.TSchema>;
+    Uncapitalize: Runtime.ITuple<t.TSchema>;
+    Date: Runtime.IConst<t.TDate>;
+    Uint8Array: Runtime.IConst<t.TUint8Array>;
+    Reference: Runtime.IIdent<t.TSchema>;
 }>;