elysia 2.0.0-beta.11 → 2.0.0-beta.13

package/dist/types.d.ts

@@ -4,12 +4,12 @@ import { ElysiaFile } from "./universal/file.js";
 import { StatusMap, StatusMapBack } from "./constants.js";
 import { Serve } from "./universal/server.js";
 import { ChainNode } from "./utils.js";
-import { ElysiaError, ElysiaStatus, ProblemResponseBody } from "./error.js";
+import { ElysiaError, ElysiaStatus, ProblemResponseBody, ValidationErrorResponse } from "./error.js";
 import { Context, ErrorContext, LifecycleContext, PreContext } from "./context.js";
 import { AnySchema, StandardSchemaV1Like, TypeBoxSchema } from "./type/types.js";
 import { AnyElysia, Elysia } from "./base.js";
 import { ElysiaAdapter } from "./adapter/index.js";
-import { Static, StaticDecode, StaticEncode, TIntersect, TObject, TSchema } from "typebox";
+import { Static, StaticDecode, StaticEncode, TIntersect, TObject, TRef, TSchema } from "typebox";
 import { OpenAPIV3 } from "openapi-types";
 
 //#region src/types.d.ts
@@ -70,7 +70,8 @@ interface ElysiaConfig<in out Prefix extends string | undefined, in out Scope ex
    *
    * Only required for root instance (instance which use listen) to effect
    *
-   * ! If performing a benchmark, it's recommended to set this to `true`
+   * TypeBox loads during build when needed, regardless of this setting.
+   * Enable this only to compile route handlers and validators before listen().
    *
    * @default false
    */
@@ -634,11 +635,12 @@ type ContextAppendType = 'append' | 'override';
 type OptionalField = {
   '~optional': true;
 };
+type IsOptionalRoot<Schema, Definitions, Seen extends string = never> = Schema extends OptionalField ? true : Schema extends TRef<infer Ref> ? Ref extends Seen ? false : Ref extends keyof Definitions ? IsOptionalRoot<Definitions[Ref], Definitions, Seen | Ref> : false : false;
 type StaticCyclic<T extends TypeBoxSchema, Definitions extends Record<string, AnySchema>> = {} extends Definitions ? StaticDecode<T> : StaticDecode<T, Definitions>;
-type UnwrapSchema<Schema extends AnySchema | string | undefined, Definitions extends DefinitionBase['typebox'] = {}> = Schema extends undefined ? unknown : Schema extends TypeBoxSchema ? Schema extends OptionalField ? Partial<StaticCyclic<Schema, Definitions>> : StaticCyclic<Schema, Definitions> : Schema extends StandardSchemaV1Like ? NonNullable<Schema['~standard']['types']>['output'] : Schema extends string ? Schema extends keyof Definitions ? Definitions[Schema] extends TypeBoxSchema ? StaticCyclic<Definitions[Schema], Definitions> : Definitions[Schema] extends StandardSchemaV1Like ? NonNullable<Definitions[Schema]['~standard']['types']>['output'] : unknown : unknown : unknown;
-type UnwrapBodySchema<Schema extends AnySchema | string | undefined, Definitions extends DefinitionBase['typebox'] = {}> = undefined extends Schema ? unknown : Schema extends TypeBoxSchema ? Schema extends OptionalField ? Partial<StaticCyclic<Schema, Definitions>> | null : StaticCyclic<Schema, Definitions> : Schema extends StandardSchemaV1Like ? NonNullable<Schema['~standard']['types']>['output'] : Schema extends string ? Schema extends keyof Definitions ? Definitions[Schema] extends TypeBoxSchema ? StaticCyclic<Definitions[Schema], Definitions> : Definitions[Schema] extends StandardSchemaV1Like ? NonNullable<Definitions[Schema]['~standard']['types']>['output'] : unknown : unknown : unknown;
+type UnwrapSchema<Schema extends AnySchema | string | undefined, Definitions extends DefinitionBase['typebox'] = {}> = Schema extends undefined ? unknown : Schema extends TypeBoxSchema ? true extends IsOptionalRoot<Schema, Definitions> ? Partial<StaticCyclic<Schema, Definitions>> : StaticCyclic<Schema, Definitions> : Schema extends StandardSchemaV1Like ? NonNullable<Schema['~standard']['types']>['output'] : Schema extends string ? Schema extends keyof Definitions ? Definitions[Schema] extends TypeBoxSchema ? true extends IsOptionalRoot<Definitions[Schema], Definitions> ? Partial<StaticCyclic<Definitions[Schema], Definitions>> : StaticCyclic<Definitions[Schema], Definitions> : Definitions[Schema] extends StandardSchemaV1Like ? NonNullable<Definitions[Schema]['~standard']['types']>['output'] : unknown : unknown : unknown;
+type UnwrapBodySchema<Schema extends AnySchema | string | undefined, Definitions extends DefinitionBase['typebox'] = {}> = undefined extends Schema ? unknown : Schema extends TypeBoxSchema ? true extends IsOptionalRoot<Schema, Definitions> ? Partial<StaticCyclic<Schema, Definitions>> | null | undefined : StaticCyclic<Schema, Definitions> : Schema extends StandardSchemaV1Like ? NonNullable<Schema['~standard']['types']>['output'] : Schema extends string ? Schema extends keyof Definitions ? Definitions[Schema] extends TypeBoxSchema ? true extends IsOptionalRoot<Definitions[Schema], Definitions> ? Partial<StaticCyclic<Definitions[Schema], Definitions>> | null | undefined : StaticCyclic<Definitions[Schema], Definitions> : Definitions[Schema] extends StandardSchemaV1Like ? NonNullable<Definitions[Schema]['~standard']['types']>['output'] : unknown : unknown : unknown;
 type FormInnerProperties<Schema> = Extract<Schema extends TIntersect<infer Members> ? Members[number] : never, TObject>['properties'];
-type UnwrapResponseSchema<Schema extends AnySchema | string | undefined, Definitions extends DefinitionBase['typebox'] = {}> = Schema extends TypeBoxSchema ? StaticEncode<Schema> extends ElysiaFormData<any> ? ElysiaFormData<{ [K in keyof FormInnerProperties<Schema>]: Static<FormInnerProperties<Schema>[K] & TSchema> }> : UnwrapSchema<Schema, Definitions> : Schema extends StandardSchemaV1Like ? NonNullable<Schema['~standard']['types']>['input'] : Schema extends string ? Schema extends keyof Definitions ? Definitions[Schema] extends TypeBoxSchema ? StaticCyclic<Definitions[Schema], Definitions> : Definitions[Schema] extends StandardSchemaV1Like ? NonNullable<Definitions[Schema]['~standard']['types']>['input'] : unknown : unknown : unknown;
+type UnwrapResponseSchema<Schema extends AnySchema | string | undefined, Definitions extends DefinitionBase['typebox'] = {}> = Schema extends TypeBoxSchema ? StaticEncode<Schema> extends ElysiaFormData<any> ? ElysiaFormData<{ [K in keyof FormInnerProperties<Schema>]: Static<FormInnerProperties<Schema>[K] & TSchema> }> : Schema extends OptionalField ? Partial<StaticCyclic<Schema, Definitions>> : StaticCyclic<Schema, Definitions> : Schema extends StandardSchemaV1Like ? NonNullable<Schema['~standard']['types']>['input'] : Schema extends string ? Schema extends keyof Definitions ? Definitions[Schema] extends TypeBoxSchema ? StaticCyclic<Definitions[Schema], Definitions> : Definitions[Schema] extends StandardSchemaV1Like ? NonNullable<Definitions[Schema]['~standard']['types']>['input'] : unknown : unknown : unknown;
 interface UnwrapRoute<in out Schema extends InputSchema<any>, in out Definitions extends DefinitionBase['typebox'] = {}, in out Path extends string = ''> {
   body: UnwrapBodySchema<Schema['body'], Definitions>;
   headers: UnwrapSchema<Schema['headers'], Definitions>;
@@ -773,7 +775,7 @@ type MacroRefResolve<MacroFn, SelectedMacro, Definitions> = MacroToContext<Macro
  */
 type ObjectMacroDefs<Body, Headers, Query, Params, Cookie, N, AmbientSchema extends RouteSchema, ScopedSchemas extends RouteSchema, Singleton extends SingletonBase, Definitions extends DefinitionBase, MacroNames extends BaseMacro, MacroFn = {}, Refs = {}> = MacroChannel<Body, 'body', Definitions> & MacroChannel<Headers, 'headers', Definitions> & MacroChannel<Query, 'query', Definitions> & MacroChannel<Params, 'params', Definitions> & MacroChannel<Cookie, 'cookie', Definitions> & MacroRefChannel<Refs> & { [K in keyof N]: MaybeValueOrVoidFunction<MacroProperty<MacroNames & InputSchema<keyof Definitions['typebox'] & string>, IntersectIfObjectSchema<MergeSchema<UnwrapMacroSchema<MacroDefSchema<K, Body, Headers, Query, Params, Cookie>, Definitions['typebox']>, AmbientSchema>, ScopedSchemas>, Singleton & {
   derive: Singleton['derive'] & MacroRefResolve<MacroFn, K extends keyof Refs ? Refs[K] : {}, Definitions['typebox']>;
-}, Definitions['error']>> } & { [K in keyof N]: N[K] extends ((...a: any[]) => any) ? unknown : string extends keyof N[K] ? unknown : { [P in Exclude<keyof N[K], MacroPropertyKey | InputSchemaKey | keyof MacroNames | keyof N>]: `Unknown macro property '${P & string}'` } } & N;
+}, Definitions['error']>> } & { [K in keyof N]: N[K] extends ((...a: any[]) => any) ? unknown : string extends keyof N[K] ? unknown : { [P in Exclude<keyof N[K], MacroPropertyKey | InputSchemaKey | keyof MacroFn | keyof N>]: `Unknown macro property '${P & string}'` } } & N;
 type CreateEden<Path extends string, Property extends Record<string, unknown> = {}> = Path extends `/${infer Rest}` ? _CreateEden<Rest, Property> : Path extends '' | '/' ? Property : _CreateEden<Path, Property>;
 type _CreateEden<Path extends string, Property extends Record<string, unknown> = {}> = Path extends `${infer Start}/${infer Rest}` ? { [x in Start]: _CreateEden<Rest, Property> } : Path extends '' ? Property : { [x in Path]: Property };
 /**
@@ -901,16 +903,7 @@ type ReconcileStatus<in out A extends Record<number, unknown>, in out B extends
 type UnionResponseStatus<A, B> = {} extends A ? B : {} extends B ? A : { [key in keyof A | keyof B]: key extends keyof A ? key extends keyof B ? A[key] | B[key] : A[key] : key extends keyof B ? B[key] : never };
 type HasInputValidator<Schema extends RouteSchema, Path extends string> = EmptyInputSchema extends Pick<Schema, Exclude<InputSchemaKey, 'params' | 'response'>> ? undefined extends Schema['params'] ? false : Schema['params'] extends ResolvePath<Path> ? ResolvePath<Path> extends Schema['params'] ? false : true : true : true;
 type ComposeElysiaResponse<Schema extends RouteSchema, Handle, Possibility extends PossibleResponse, Errors extends ErrorDefinition[] = [], Path extends string = string> = ReconcileStatus<Schema['response'], UnionResponseStatus<ValueOrFunctionToResponseSchema<Handle, Errors>, Possibility & (HasInputValidator<Schema, Path> extends false ? {} : {
-  422: {
-    type: 'validation';
-    title: 'Validation Error';
-    status: 422;
-    detail?: string;
-    on: string;
-    found?: unknown;
-    property?: string;
-    expected?: string;
-  };
+  422: ValidationErrorResponse;
 })>>;
 type ExtractErrorFromHandle<in out Handle> = { [ErrorResponse in Extract<Handle, AnyElysiaStatus> as ErrorResponse extends AnyElysiaStatus ? ErrorResponse['status'] : never]: Prettify<ErrorResponse['response']> };
 /**

package/dist/universal/file.d.ts

@@ -37,8 +37,6 @@ declare const mime: {
   readonly ppt: "application/vnd.ms-powerpoint";
   readonly pptx: "application/vnd.openxmlformats-officedocument.presentationml.presentation";
 };
-/** @internal exported for test/universal/file-extension.test.ts */
-declare function getFileExtension(path: string): string;
 /**
  * Serve a file from a path as the response.
  */
@@ -54,4 +52,4 @@ declare class ElysiaFile {
   get length(): number | Promise<number>;
 }
 //#endregion
-export { ElysiaFile, file, getFileExtension, mime };
+export { ElysiaFile, file, mime };

package/dist/universal/file.js

@@ -41,7 +41,6 @@ const mime = {
 	ppt: `${application}vnd.ms-powerpoint`,
 	pptx: `${msft365}presentationml.presentation`
 };
-/** @internal exported for test/universal/file-extension.test.ts */
 function getFileExtension(path) {
 	const index = path.lastIndexOf(".");
 	if (index === -1) return "";
@@ -115,5 +114,4 @@ Object.defineProperty(ElysiaFile, "name", { value: "ElysiaFile" });
 //#endregion
 exports.ElysiaFile = ElysiaFile;
 exports.file = file;
-exports.getFileExtension = getFileExtension;
 exports.mime = mime;

package/dist/universal/file.mjs

@@ -40,7 +40,6 @@ const mime = {
 	ppt: `${application}vnd.ms-powerpoint`,
 	pptx: `${msft365}presentationml.presentation`
 };
-/** @internal exported for test/universal/file-extension.test.ts */
 function getFileExtension(path) {
 	const index = path.lastIndexOf(".");
 	if (index === -1) return "";
@@ -112,4 +111,4 @@ var ElysiaFile = class {
 Object.defineProperty(ElysiaFile, "name", { value: "ElysiaFile" });
 
 //#endregion
-export { ElysiaFile, file, getFileExtension, mime };
+export { ElysiaFile, file, mime };

package/dist/universal/is-production.d.ts

@@ -1,5 +1,4 @@
 //#region src/universal/is-production.d.ts
-declare const computeIsProduction: (readable: boolean, nodeEnv?: string, elysiaEnv?: string) => boolean;
 declare const isProduction: () => boolean;
 //#endregion
-export { computeIsProduction, isProduction };
+export { isProduction };

package/dist/universal/is-production.js

@@ -2,9 +2,7 @@ Object.defineProperty(exports, Symbol.toStringTag, { value: 'Module' });
 const require_universal_env = require('./env.js');
 
 //#region src/universal/is-production.ts
-const computeIsProduction = (readable, nodeEnv, elysiaEnv) => !readable || (nodeEnv ?? elysiaEnv) === "production";
-const isProduction = () => computeIsProduction(require_universal_env.hasReadableEnv, require_universal_env.env.NODE_ENV, require_universal_env.env.ENV);
+const isProduction = () => !require_universal_env.hasReadableEnv || (require_universal_env.env.NODE_ENV ?? require_universal_env.env.ENV) === "production";
 
 //#endregion
-exports.computeIsProduction = computeIsProduction;
 exports.isProduction = isProduction;

package/dist/universal/is-production.mjs

@@ -1,8 +1,7 @@
 import { env, hasReadableEnv } from "./env.mjs";
 
 //#region src/universal/is-production.ts
-const computeIsProduction = (readable, nodeEnv, elysiaEnv) => !readable || (nodeEnv ?? elysiaEnv) === "production";
-const isProduction = () => computeIsProduction(hasReadableEnv, env.NODE_ENV, env.ENV);
+const isProduction = () => !hasReadableEnv || (env.NODE_ENV ?? env.ENV) === "production";
 
 //#endregion
-export { computeIsProduction, isProduction };
+export { isProduction };

package/dist/utils.d.ts

@@ -1,7 +1,6 @@
 import { AnyLocalHook, AppHook, ElysiaFormData, EventFn, EventScope, GuardSchemaType, InputSchema, Macro, MaybeArray, Prettify, SSEPayload } from "./types.js";
 import { Context } from "./context.js";
 import { AnySchema, StandardSchemaV1Like } from "./type/types.js";
-
 //#region src/utils.d.ts
 type DeriveEntry = Function | readonly [Function, 'mapDerive'];
 declare const nullObject: () => any;

package/package.json

@@ -1,7 +1,7 @@
 {
 	"name": "elysia",
 	"description": "Ergonomic Framework for Human",
-	"version": "2.0.0-beta.11",
+	"version": "2.0.0-beta.13",
 	"author": {
 		"name": "saltyAom",
 		"url": "https://github.com/SaltyAom",
@@ -10,6 +10,9 @@
 	"main": "./dist/index.js",
 	"module": "./dist/index.mjs",
 	"types": "./dist/index.d.ts",
+	"engines": {
+		"node": ">=20.19 <21 || >=22.12"
+	},
 	"files": [
 		"dist"
 	],
@@ -220,12 +223,14 @@
 	],
 	"license": "MIT",
 	"scripts": {
-		"test": "bun run test:functionality && bun run test:types && bun run test:node && bun run test:bundle",
-		"test:functionality": "bun run build && bun test test && bun run test:imports",
+		"test": "bun run test:functionality && bun run test:types && bun run test:node && bun run test:bundle && bun run test:type-perf",
+		"test:functionality": "bun run build && bun test ./test && bun run test:imports",
 		"test:imports": "bun run test/type-system/import.ts",
 		"test:types": "tsc --project tsconfig.test.json",
 		"test:node": "bun run build && npm install --prefix test/node/cjs && npm install --prefix test/node/esm/ && node test/node/cjs/index.js && node test/node/esm/index.js",
 		"test:bundle": "bun run test/bundle-size.ts",
+		"test:type-perf": "bun run test/type-perf.ts",
+		"lint": "eslint src",
 		"test:cf": "bun run build && npm install --prefix test/cloudflare && cd test/cloudflare && bun run cf-typegen && bun run test",
 		"bench": "bun run example/stress/run.ts",
 		"bench:quick": "bun run example/stress/run.ts --quick",
@@ -245,7 +250,9 @@
 		"./dist/type/bridge-live.mjs",
 		"./dist/type/bridge-live.js",
 		"./dist/type/typebox-value-live.mjs",
-		"./dist/type/typebox-value-live.js"
+		"./dist/type/typebox-value-live.js",
+		"./dist/type/typebox-type-live.mjs",
+		"./dist/type/typebox-type-live.js"
 	],
 	"dependencies": {
 		"deuri": "^3.0.0",
@@ -262,7 +269,7 @@
 		"esbuild": "0.25.4",
 		"eslint": "^9.24.0",
 		"eslint-plugin-sonarjs": "^4.0.2",
-		"exact-mirror": "^1.2.4",
+		"exact-mirror": "^1.2.6",
 		"expect-type": "^1.2.1",
 		"file-type": "^22.0.0",
 		"globals": "^17.4.0",
@@ -278,7 +285,7 @@
 	},
 	"peerDependencies": {
 		"@types/bun": ">= 1.3.0",
-		"exact-mirror": ">= 1.2.2",
+		"exact-mirror": ">= 1.2.6",
 		"openapi-types": ">= 12.0.0",
 		"typebox": ">= 1.3.0",
 		"typescript": ">= 5.7.0"