@taserjs/router 0.0.1 → 0.0.3

package/src/types/returns.ts

@@ -1,89 +1,86 @@
-import type { ReplyOf } from '@taserjs/router-utils'
+import type { ReplyOf } from "@taserjs/router-utils";
 
-import type { Simplify } from './type-utils.js'
-import type { Schema } from './schema.js'
-import type { InferOutput } from './schema.js'
+import type { Simplify } from "./type-utils.js";
+import type { Schema } from "./schema.js";
+import type { InferOutput } from "./schema.js";
 
 /**
  * Known HTTP status codes. `number & {}` allows custom codes while keeping
  * literal autocomplete / inference for well-known values.
  */
-export type StatusCode
-  = | 100
-    | 101
-    | 102
-    | 103
-    | 200
-    | 201
-    | 202
-    | 203
-    | 204
-    | 205
-    | 206
-    | 207
-    | 208
-    | 226
-    | 300
-    | 301
-    | 302
-    | 303
-    | 304
-    | 305
-    | 306
-    | 307
-    | 308
-    | 400
-    | 401
-    | 402
-    | 403
-    | 404
-    | 405
-    | 406
-    | 407
-    | 408
-    | 409
-    | 410
-    | 411
-    | 412
-    | 413
-    | 414
-    | 415
-    | 416
-    | 417
-    | 418
-    | 421
-    | 422
-    | 423
-    | 424
-    | 425
-    | 426
-    | 428
-    | 429
-    | 431
-    | 451
-    | 500
-    | 501
-    | 502
-    | 503
-    | 504
-    | 505
-    | 506
-    | 507
-    | 508
-    | 510
-    | 511
-    | (number & {})
+export type StatusCode =
+  | 100
+  | 101
+  | 102
+  | 103
+  | 200
+  | 201
+  | 202
+  | 203
+  | 204
+  | 205
+  | 206
+  | 207
+  | 208
+  | 226
+  | 300
+  | 301
+  | 302
+  | 303
+  | 304
+  | 305
+  | 306
+  | 307
+  | 308
+  | 400
+  | 401
+  | 402
+  | 403
+  | 404
+  | 405
+  | 406
+  | 407
+  | 408
+  | 409
+  | 410
+  | 411
+  | 412
+  | 413
+  | 414
+  | 415
+  | 416
+  | 417
+  | 418
+  | 421
+  | 422
+  | 423
+  | 424
+  | 425
+  | 426
+  | 428
+  | 429
+  | 431
+  | 451
+  | 500
+  | 501
+  | 502
+  | 503
+  | 504
+  | 505
+  | 506
+  | 507
+  | 508
+  | 510
+  | 511
+  | (number & {});
 
 /** Status-code → Standard Schema map for route/middleware/handler outputs. */
 export type ReturnsMap = {
-  readonly [K in StatusCode]?: Schema<unknown>
-}
+  readonly [K in StatusCode]?: Schema<unknown>;
+};
 
 /** Later map wins on overlapping status keys. */
-export type MergeReturns<
-  A extends ReturnsMap,
-  B extends ReturnsMap,
-> = Omit<A, keyof B> & B
+export type MergeReturns<A extends ReturnsMap, B extends ReturnsMap> = Omit<A, keyof B> & B;
 
 /** Typed reply union for statuses declared in a returns map. */
 export type ReplyResultFor<M extends ReturnsMap> = {
@@ -91,45 +88,43 @@ export type ReplyResultFor<M extends ReturnsMap> = {
     ? M[S] extends Schema<unknown>
       ? ReplyOf<S, Simplify<InferOutput<M[S]>>>
       : never
-    : never
-}[keyof M]
+    : never;
+}[keyof M];
 
-export type EmptyReturns = {}
+export type EmptyReturns = {};
 
 /** True when no status schemas have been declared yet. */
-export type HasReturns<M extends ReturnsMap> = [keyof M] extends [never] ? false : true
+export type HasReturns<M extends ReturnsMap> = [keyof M] extends [never] ? false : true;
 
 /**
  * Validate a concrete reply `R` against returns map `M`.
  * Declared statuses must match schema output; undeclared statuses stay open
  * (same rule as runtime `validateReply`).
  */
-export type ValidHandlerReply<R, M extends ReturnsMap> = R extends ReplyOf<infer S, infer B>
-  ? S extends keyof M
-    ? M[S] extends Schema<unknown>
-      ? B extends Simplify<InferOutput<M[S]>>
-        ? R
-        : never
+export type ValidHandlerReply<R, M extends ReturnsMap> =
+  R extends ReplyOf<infer S, infer B>
+    ? S extends keyof M
+      ? M[S] extends Schema<unknown>
+        ? B extends Simplify<InferOutput<M[S]>>
+          ? R
+          : never
+        : R
       : R
-    : R
-  : R extends Response
-    ? R
-    : never
+    : R extends Response
+      ? R
+      : never;
 
 /**
  * Narrow a handler return so declared statuses are schema-checked without
  * breaking multi-status unions (avoids circular `R extends …<R>` constraints).
  */
-export type EnforceHandlerReply<R, M extends ReturnsMap>
-  = [R] extends [ValidHandlerReply<R, M>]
-    ? R
-    : ValidHandlerReply<R, M>
+export type EnforceHandlerReply<R, M extends ReturnsMap> = [R] extends [ValidHandlerReply<R, M>]
+  ? R
+  : ValidHandlerReply<R, M>;
 
 /**
  * Expected `.handler` return type for a returns map.
  * Prefer constraining handler generics with {@link EnforceHandlerReply}.
  */
-export type HandlerReply<M extends ReturnsMap>
-  = HasReturns<M> extends true
-    ? ReplyResultFor<M> | Response
-    : Response
+export type HandlerReply<M extends ReturnsMap> =
+  HasReturns<M> extends true ? ReplyResultFor<M> | Response : Response;

package/src/types/schema.ts

@@ -1,22 +1,21 @@
-import type { StandardSchemaV1 } from '@standard-schema/spec'
+import type { StandardSchemaV1 } from "@standard-schema/spec";
 
-import type { RequestShape } from './type-utils.js'
+import type { RequestShape } from "./type-utils.js";
 
-export type { StandardSchemaV1 } from '@standard-schema/spec'
+export type { StandardSchemaV1 } from "@standard-schema/spec";
 
 /**
  * A Standard Schema validator.
  * `TOutput` is the validated/output type; `TInput` is the pre-parse input (request shape).
  */
-export type Schema<TOutput = unknown, TInput = unknown> = StandardSchemaV1<TInput, TOutput>
+export type Schema<TOutput = unknown, TInput = unknown> = StandardSchemaV1<TInput, TOutput>;
 
 /** Infers the output type from a Standard Schema. */
-export type InferOutput<S> = S extends StandardSchemaV1<unknown, infer O> ? O : never
+export type InferOutput<S> = S extends StandardSchemaV1<unknown, infer O> ? O : never;
 
 /** Infers the input type from a Standard Schema. */
-export type InferInput<S> = S extends StandardSchemaV1<infer I, unknown> ? I : never
+export type InferInput<S> = S extends StandardSchemaV1<infer I, unknown> ? I : never;
 
 /** Pre-parse request shape from a Standard Schema. */
-export type SchemaRequestShape<S> = S extends StandardSchemaV1<infer I, infer O>
-  ? RequestShape<I, O>
-  : S
+export type SchemaRequestShape<S> =
+  S extends StandardSchemaV1<infer I, infer O> ? RequestShape<I, O> : S;

package/src/types/type-utils.ts

@@ -1,29 +1,22 @@
-export type Method = 'GET' | 'POST' | 'PUT' | 'DELETE' | 'PATCH' | 'OPTIONS' | 'HEAD'
-export type HttpMethod = Method
+export type Method = "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS" | "HEAD";
+export type HttpMethod = Method;
 
-export type MiddlewareFieldName
-  = | 'query'
-    | 'params'
-    | 'body'
-    | 'state'
-    | 'ctx'
+export type MiddlewareFieldName = "query" | "params" | "body" | "state";
 
-export type MiddlewareInputFieldName = 'query' | 'params' | 'body'
+export type MiddlewareInputFieldName = "query" | "params" | "body";
 
-export type UnwrapPart<T> = unknown extends T ? {} : T
+export type UnwrapPart<T> = unknown extends T ? {} : T;
 
-export type MergePart<T, Base> = unknown extends T ? Base : Base & T
+export type MergePart<T, Base> = unknown extends T ? Base : Base & T;
 
 /** Collapse intersections so `Omit`/`keyof` treat the result as one object type. */
-export type Simplify<T> = { [K in keyof T]: T[K] } & {}
+export type Simplify<T> = { [K in keyof T]: T[K] } & {};
 
 /**
  * Request prop: when schema input is `unknown` (e.g. zod coerce),
  * fall back to the validated output type.
  */
-type RequestPropType<TIn, TOut> = [unknown] extends [Exclude<TIn, undefined>]
-  ? TOut
-  : TIn
+type RequestPropType<TIn, TOut> = [unknown] extends [Exclude<TIn, undefined>] ? TOut : TIn;
 
 /**
  * Pre-parse request shape. Prefer input types (defaults → optional),
@@ -32,55 +25,58 @@ type RequestPropType<TIn, TOut> = [unknown] extends [Exclude<TIn, undefined>]
 export type RequestShape<TIn, TOut> = unknown extends TIn
   ? UnwrapPart<TOut>
   : Simplify<{
-    [K in keyof TIn]: K extends keyof TOut
-      ? RequestPropType<TIn[K], TOut[K]>
-      : TIn[K]
-  }>
+      [K in keyof TIn]: K extends keyof TOut ? RequestPropType<TIn[K], TOut[K]> : TIn[K];
+    }>;
 
-export type UnionToIntersection<U>
-  = (U extends unknown ? (value: U) => void : never) extends (value: infer Value) => void ? Value : never
+export type UnionToIntersection<U> = (U extends unknown ? (value: U) => void : never) extends (
+  value: infer Value,
+) => void
+  ? Value
+  : never;
 
-export type MiddlewareField<
-  Middleware,
-  Field extends MiddlewareFieldName,
-> = Field extends 'query'
-  ? Middleware extends { query: infer Query } ? Query : {}
-  : Field extends 'params'
-    ? Middleware extends { params: infer Params } ? Params : {}
-    : Field extends 'body'
-      ? Middleware extends { body: infer Body } ? Body : {}
-      : Field extends 'state'
-        ? Middleware extends { state: infer State } ? State : {}
-        : Field extends 'ctx'
-          ? Middleware extends { ctx: infer Ctx } ? Ctx : {}
+export type MiddlewareField<Middleware, Field extends MiddlewareFieldName> = Field extends "query"
+  ? Middleware extends { query: infer Query }
+    ? Query
+    : {}
+  : Field extends "params"
+    ? Middleware extends { params: infer Params }
+      ? Params
+      : {}
+    : Field extends "body"
+      ? Middleware extends { body: infer Body }
+        ? Body
+        : {}
+      : Field extends "state"
+        ? Middleware extends { state: infer State }
+          ? State
           : {}
+        : {};
 
 export type MiddlewareInputField<
   Middleware,
   Field extends MiddlewareInputFieldName,
-> = Middleware extends { input: { [K in Field]: infer V } } ? V : {}
+> = Middleware extends { input: { [K in Field]: infer V } } ? V : {};
 
 export type MergeMiddlewareField<
   Middlewares extends readonly unknown[],
   Field extends MiddlewareFieldName,
 > = [Middlewares] extends [readonly []]
   ? {}
-  : UnionToIntersection<MiddlewareField<Middlewares[number], Field>>
+  : UnionToIntersection<MiddlewareField<Middlewares[number], Field>>;
 
 export type MergeMiddlewareInputField<
   Middlewares extends readonly unknown[],
   Field extends MiddlewareInputFieldName,
 > = [Middlewares] extends [readonly []]
   ? {}
-  : UnionToIntersection<MiddlewareInputField<Middlewares[number], Field>>
+  : UnionToIntersection<MiddlewareInputField<Middlewares[number], Field>>;
 
 export type RuntimeContextFields<TNative = unknown> = {
-  request: Request
-  method: Method
-  url: URL
-  headers: import('@taserjs/router-core').TaserHeaders
-  cookies: import('@taserjs/router-core').TaserCookieJar
-  reply: typeof import('@taserjs/router-utils').reply
-  var: Record<string, unknown>
-  native?: TNative
-}
+  request: Request;
+  method: Method;
+  url: URL;
+  headers: import("@taserjs/router-core").TaserHeaders;
+  cookies: import("@taserjs/router-core").TaserCookieJar;
+  var: Record<string, unknown>;
+  native?: TNative;
+};