effect 4.0.0-beta.66 → 4.0.0-beta.67

package/src/unstable/http/HttpRouter.ts

@@ -1,4 +1,21 @@
 /**
+ * Layer-based server-side HTTP routing for Effect applications.
+ *
+ * This module provides the `HttpRouter` service and helpers for registering
+ * method/path handlers, grouping routes under prefixes, decoding request
+ * schemas from route and search parameters, and turning an application layer
+ * into an `HttpServer` or Fetch-compatible handler. It is intended for HTTP
+ * APIs, webhooks, and other server endpoints that want request-scoped services
+ * and typed middleware to be composed through `Layer`.
+ *
+ * Route paths must be absolute paths beginning with `/`, or the wildcard `*`.
+ * Prefixed routes remove the matched prefix from the request URL seen by the
+ * handler, `HEAD` requests fall back to matching `GET` routes, and wildcard
+ * paths ending in `/*` also match the prefix path itself. Use router middleware
+ * when you need to provide request dependencies, handle configured route errors,
+ * or modify route responses; server middleware wraps the wider server chain and
+ * is not the right hook for changing the final response body or headers.
+ *
  * @since 4.0.0
  */
 import * as Arr from "../../Array.ts"
@@ -25,8 +42,14 @@ import * as HttpServerResponse from "./HttpServerResponse.ts"
 const TypeId = "~effect/http/HttpRouter"
 
 /**
- * @since 4.0.0
+ * Service interface for registering HTTP routes and middleware.
+ *
+ * An `HttpRouter` can add routes, apply path prefixes, install global middleware,
+ * and expose the registered routes as an Effect that handles the current server
+ * request.
+ *
  * @category HttpRouter
+ * @since 4.0.0
  */
 export interface HttpRouter {
   readonly [TypeId]: typeof TypeId
@@ -77,16 +100,26 @@ export interface HttpRouter {
 }
 
 /**
- * @since 4.0.0
+ * Service tag for the HTTP router used while constructing an HTTP application.
+ *
+ * Route and middleware layers require this service to register themselves with
+ * the router.
+ *
  * @category HttpRouter
+ * @since 4.0.0
  */
 export const HttpRouter: Context.Service<HttpRouter, HttpRouter> = Context.Service<HttpRouter>(
   "effect/http/HttpRouter"
 )
 
 /**
- * @since 4.0.0
+ * Constructs an empty `HttpRouter` service.
+ *
+ * The returned router accepts route and middleware registrations and later routes
+ * the current `HttpServerRequest` to the matching `HttpServerResponse`.
+ *
  * @category HttpRouter
+ * @since 4.0.0
  */
 export const make = Effect.gen(function*() {
   const router = FindMyWay.make<Route<any, never>>(yield* RouterConfig)
@@ -215,8 +248,13 @@ function sliceRequestUrl(request: HttpServerRequest.HttpServerRequest, prefix: s
 }
 
 /**
- * @since 4.0.0
+ * Context reference for low-level router configuration.
+ *
+ * The value is passed to the route matcher when an `HttpRouter` is created and
+ * defaults to an empty configuration.
+ *
  * @category Configuration
+ * @since 4.0.0
  */
 export const RouterConfig = Context.Reference<Partial<FindMyWay.RouterConfig>>(
   "effect/http/HttpRouter/RouterConfig",
@@ -224,8 +262,13 @@ export const RouterConfig = Context.Reference<Partial<FindMyWay.RouterConfig>>(
 )
 
 /**
- * @since 4.0.0
+ * Request-scoped service containing information about the matched route.
+ *
+ * It provides the route definition and the path parameters captured by the route
+ * matcher.
+ *
  * @category RouteContext
+ * @since 4.0.0
  */
 export class RouteContext extends Context.Service<RouteContext, {
   readonly params: Readonly<Record<string, string | undefined>>
@@ -233,8 +276,10 @@ export class RouteContext extends Context.Service<RouteContext, {
 }>()("effect/http/HttpRouter/RouteContext") {}
 
 /**
- * @since 4.0.0
+ * Effect that returns the path parameters captured for the current matched route.
+ *
  * @category RouteContext
+ * @since 4.0.0
  */
 export const params: Effect.Effect<
   ReadonlyRecord<string, string | undefined>,
@@ -243,8 +288,14 @@ export const params: Effect.Effect<
 > = Effect.map(RouteContext, (_) => _.params)
 
 /**
- * @since 4.0.0
+ * Decodes a schema from the current request and its JSON body.
+ *
+ * The input passed to the schema includes the request method, URL, headers,
+ * cookies, path parameters, search parameters, and parsed JSON body. The effect
+ * fails if the body cannot be parsed or the schema decode fails.
+ *
  * @category Schema
+ * @since 4.0.0
  */
 export const schemaJson = <
   A,
@@ -292,8 +343,13 @@ export const schemaJson = <
 }
 
 /**
- * @since 4.0.0
+ * Decodes a schema from the current request without reading the request body.
+ *
+ * The input passed to the schema includes the request method, URL, headers,
+ * cookies, path parameters, and search parameters.
+ *
  * @category Schema
+ * @since 4.0.0
  */
 export const schemaNoBody = <
   A,
@@ -338,8 +394,12 @@ export const schemaNoBody = <
 }
 
 /**
- * @since 4.0.0
+ * Decodes a schema from the current route path parameters and search parameters.
+ *
+ * When the same key appears in both sources, the path parameter value is used.
+ *
  * @category Schema
+ * @since 4.0.0
  */
 export const schemaParams = <A, I extends Readonly<Record<string, string | ReadonlyArray<string> | undefined>>, RD, RE>(
   schema: Schema.Codec<A, I, RD, RE>,
@@ -354,8 +414,11 @@ export const schemaParams = <A, I extends Readonly<Record<string, string | Reado
 }
 
 /**
- * @since 4.0.0
+ * Decodes a schema from the path parameters captured for the current matched
+ * route.
+ *
  * @category Schema
+ * @since 4.0.0
  */
 export const schemaPathParams = <A, I extends Readonly<Record<string, string | undefined>>, RD, RE>(
   schema: Schema.Codec<A, I, RD, RE>,
@@ -366,7 +429,11 @@ export const schemaPathParams = <A, I extends Readonly<Record<string, string | u
 }
 
 /**
- * A helper function that is the equivalent of:
+ * Creates a layer that accesses the current `HttpRouter` service and runs the
+ * supplied effect.
+ *
+ * Use it to register routes or middleware with the router during layer
+ * construction.
  *
  * ```ts
  * import { Effect } from "effect"
@@ -380,8 +447,8 @@ export const schemaPathParams = <A, I extends Readonly<Record<string, string | u
  * }))
  * ```
  *
- * @since 4.0.0
  * @category HttpRouter
+ * @since 4.0.0
  */
 export const use = <A, E, R>(
   f: (router: HttpRouter) => Effect.Effect<A, E, R>
@@ -402,8 +469,8 @@ export const use = <A, E, R>(
  * )
  * ```
  *
- * @since 4.0.0
  * @category HttpRouter
+ * @since 4.0.0
  */
 export const add = <E = never, R = never>(
   method: "*" | "GET" | "POST" | "PUT" | "PATCH" | "DELETE" | "OPTIONS",
@@ -435,8 +502,8 @@ export const add = <E = never, R = never>(
  * ])
  * ```
  *
- * @since 4.0.0
  * @category HttpRouter
+ * @since 4.0.0
  */
 export const addAll = <Routes extends ReadonlyArray<Route<any, any>>, EX = never, RX = never>(
   routes: Routes | Effect.Effect<Routes, EX, RX>,
@@ -461,14 +528,23 @@ export const addAll = <Routes extends ReadonlyArray<Route<any, any>>, EX = never
   }))
 
 /**
- * @since 4.0.0
+ * Layer that provides a newly constructed `HttpRouter`.
+ *
  * @category HttpRouter
+ * @since 4.0.0
  */
 export const layer: Layer.Layer<HttpRouter> = Layer.effect(HttpRouter)(make)
 
 /**
- * @since 4.0.0
+ * Builds an application layer with a router and returns the router as an HTTP
+ * handler effect.
+ *
+ * The returned effect handles the current `HttpServerRequest` in the current
+ * `Scope`; route request markers are converted into the ordinary requirements of
+ * the returned handler.
+ *
  * @category HttpRouter
+ * @since 4.0.0
  */
 export const toHttpEffect = <A, E, R>(
   appLayer: Layer.Layer<A, E, R>
@@ -491,8 +567,13 @@ export const toHttpEffect = <A, E, R>(
 const RouteTypeId = "~effect/http/HttpRouter/Route"
 
 /**
- * @since 4.0.0
+ * Description of a registered HTTP route.
+ *
+ * A route pairs an HTTP method and path pattern with a response handler, plus
+ * metadata used for prefix handling and interruptibility.
+ *
  * @category Route
+ * @since 4.0.0
  */
 export interface Route<E = never, R = never> {
   readonly [RouteTypeId]: typeof RouteTypeId
@@ -504,19 +585,26 @@ export interface Route<E = never, R = never> {
 }
 
 /**
- * @since 4.0.0
+ * Helper types for extracting the error and context types carried by `Route`
+ * values.
+ *
  * @category Route
+ * @since 4.0.0
  */
 export declare namespace Route {
   /**
-   * @since 4.0.0
+   * Extracts the error type produced by a `Route` handler.
+   *
    * @category Route
+   * @since 4.0.0
    */
   export type Error<R extends Route<any, any>> = R extends Route<infer E, infer _R> ? E : never
 
   /**
-   * @since 4.0.0
+   * Extracts the context requirements of a `Route` handler.
+   *
    * @category Route
+   * @since 4.0.0
    */
   export type Context<T extends Route<any, any>> = T extends Route<infer _E, infer R> ? R : never
 }
@@ -527,17 +615,22 @@ const makeRoute = <E, R>(options: {
   readonly handler: Effect.Effect<HttpServerResponse.HttpServerResponse, E, R>
   readonly uninterruptible?: boolean | undefined
   readonly prefix?: Option.Option<string> | string | undefined
-}): Route<E, Exclude<R, Provided>> =>
-  (({
-    ...options,
-    uninterruptible: options.uninterruptible ?? false,
-    prefix: typeof options.prefix === "string" ? Option.some(options.prefix) : options.prefix ?? Option.none(),
-    [RouteTypeId]: RouteTypeId
-  }) as Route<E, Exclude<R, Provided>>)
+}): Route<E, Exclude<R, Provided>> => (({
+  ...options,
+  uninterruptible: options.uninterruptible ?? false,
+  prefix: typeof options.prefix === "string" ? Option.some(options.prefix) : options.prefix ?? Option.none(),
+  [RouteTypeId]: RouteTypeId
+}) as Route<E, Exclude<R, Provided>>)
 
 /**
- * @since 4.0.0
+ * Constructs a `Route` from an HTTP method, path, and handler.
+ *
+ * The handler may be a static response, an effect that produces a response, or a
+ * function from the current request to a response effect. Set `uninterruptible` to
+ * prevent the route handler from being made interruptible while it runs.
+ *
  * @category Route
+ * @since 4.0.0
  */
 export const route = <E = never, R = never>(
   method: "*" | HttpMethod.HttpMethod,
@@ -563,8 +656,12 @@ export const route = <E = never, R = never>(
   })
 
 /**
- * @since 4.0.0
+ * Path pattern accepted by the router.
+ *
+ * Routes must use an absolute path beginning with `/` or the wildcard `*`.
+ *
  * @category PathInput
+ * @since 4.0.0
  */
 export type PathInput = `/${string}` | "*"
 
@@ -573,18 +670,33 @@ const removeTrailingSlash = (
 ): PathInput => (path.endsWith("/") ? path.slice(0, -1) : path) as any
 
 /**
- * @since 4.0.0
+ * Adds a path prefix to a route path.
+ *
+ * Trailing slashes are removed from the prefix; `/` becomes the prefix itself and
+ * `*` becomes a wildcard route under the prefix.
+ *
  * @category PathInput
+ * @since 4.0.0
  */
 export const prefixPath: {
   /**
-   * @since 4.0.0
+   * Adds a path prefix to a route path.
+   *
+   * Trailing slashes are removed from the prefix; `/` becomes the prefix itself and
+   * `*` becomes a wildcard route under the prefix.
+   *
    * @category PathInput
+   * @since 4.0.0
    */
   (prefix: string): (self: string) => string
   /**
-   * @since 4.0.0
+   * Adds a path prefix to a route path.
+   *
+   * Trailing slashes are removed from the prefix; `/` becomes the prefix itself and
+   * `*` becomes a wildcard route under the prefix.
+   *
    * @category PathInput
+   * @since 4.0.0
    */
   (self: string, prefix: string): string
 } = dual(2, (self: string, prefix: string) => {
@@ -595,18 +707,36 @@ export const prefixPath: {
 })
 
 /**
- * @since 4.0.0
+ * Returns a copy of a route with its path prefixed.
+ *
+ * The prefix is also tracked on the route so that, when the route handles a
+ * request, the matched prefix can be removed from the request URL seen by the
+ * handler.
+ *
  * @category Route
+ * @since 4.0.0
  */
 export const prefixRoute: {
   /**
-   * @since 4.0.0
+   * Returns a copy of a route with its path prefixed.
+   *
+   * The prefix is also tracked on the route so that, when the route handles a
+   * request, the matched prefix can be removed from the request URL seen by the
+   * handler.
+   *
    * @category Route
+   * @since 4.0.0
    */
   (prefix: string): <E, R>(self: Route<E, R>) => Route<E, R>
   /**
-   * @since 4.0.0
+   * Returns a copy of a route with its path prefixed.
+   *
+   * The prefix is also tracked on the route so that, when the route handles a
+   * request, the matched prefix can be removed from the request URL seen by the
+   * handler.
+   *
    * @category Route
+   * @since 4.0.0
    */
   <E, R>(self: Route<E, R>, prefix: string): Route<E, R>
 } = dual(2, <E, R>(self: Route<E, R>, prefix: string): Route<E, R> =>
@@ -623,8 +753,8 @@ export const prefixRoute: {
  * Represents a request-level dependency, that needs to be provided by
  * middleware.
  *
- * @since 4.0.0
  * @category Request types
+ * @since 4.0.0
  */
 export interface Request<Kind extends string, T> {
   readonly _: unique symbol
@@ -633,25 +763,36 @@ export interface Request<Kind extends string, T> {
 }
 
 /**
- * @since 4.0.0
+ * Helper types for request-level dependency markers used by router layers and
+ * middleware.
+ *
  * @category Request types
+ * @since 4.0.0
  */
 export declare namespace Request {
   /**
-   * @since 4.0.0
+   * Wraps a type in a request-level marker of the supplied kind.
+   *
    * @category Request types
+   * @since 4.0.0
    */
   export type From<Kind extends string, R> = R extends infer T ? Request<Kind, T> : never
 
   /**
-   * @since 4.0.0
+   * Extracts the payload types from request-level markers that have the supplied
+   * kind.
+   *
    * @category Request types
+   * @since 4.0.0
    */
   export type Only<Kind extends string, A> = A extends Request<Kind, infer T> ? T : never
 
   /**
-   * @since 4.0.0
+   * Removes request-level markers from a union, leaving only ordinary requirement
+   * or error types.
+   *
    * @category Request types
+   * @since 4.0.0
    */
   export type Without<A> = A extends Request<infer _Kind, infer _> ? never : A
 }
@@ -660,8 +801,8 @@ export declare namespace Request {
  * Services provided by the HTTP router, which are available in the
  * request context.
  *
- * @since 4.0.0
  * @category Request types
+ * @since 4.0.0
  */
 export type Provided =
   | HttpServerRequest.HttpServerRequest
@@ -672,8 +813,8 @@ export type Provided =
 /**
  * Services provided to global middleware.
  *
- * @since 4.0.0
  * @category Request types
+ * @since 4.0.0
  */
 export type GlobalProvided =
   | HttpServerRequest.HttpServerRequest
@@ -682,8 +823,14 @@ export type GlobalProvided =
 const MiddlewareTypeId = "~effect/http/HttpRouter/Middleware"
 
 /**
- * @since 4.0.0
+ * Composable descriptor for route-scoped HTTP router middleware.
+ *
+ * Its `layer` can be provided to route layers, and `combine` composes middleware
+ * while tracking provided services, handled errors, and remaining requirements at
+ * the type level.
+ *
  * @category Middleware
+ * @since 4.0.0
  */
 export interface Middleware<
   Config extends {
@@ -783,8 +930,8 @@ export interface Middleware<
  * )
  * ```
  *
- * @since 4.0.0
  * @category Middleware
+ * @since 4.0.0
  */
 export const middleware:
   & middleware.Make<never, never>
@@ -907,13 +1054,21 @@ const getMiddleware = (context: Context.Context<never>): Array<middleware.Fn> =>
 }
 
 /**
- * @since 4.0.0
+ * Types used by the `middleware` constructor.
+ *
  * @category Middleware
+ * @since 4.0.0
  */
 export declare namespace middleware {
   /**
-   * @since 4.0.0
+   * Overloaded constructor type for router middleware.
+   *
+   * It builds either a route-scoped `Middleware` or, when `global` is `true`, a
+   * layer that installs middleware for all routes. The type tracks provided
+   * services, handled errors, middleware failures, and remaining requirements.
+   *
    * @category Middleware
+   * @since 4.0.0
    */
   export type Make<Provides = never, Handles = never> = {
     <E, R, EX, RX, const Global extends boolean = false>(
@@ -994,8 +1149,11 @@ export declare namespace middleware {
   }
 
   /**
-   * @since 4.0.0
+   * Function that transforms an HTTP response effect into another HTTP response
+   * effect.
+   *
    * @category Middleware
+   * @since 4.0.0
    */
   export type Fn = (
     effect: Effect.Effect<HttpServerResponse.HttpServerResponse>
@@ -1005,8 +1163,8 @@ export declare namespace middleware {
 /**
  * A middleware that applies CORS headers to the HTTP response.
  *
- * @since 4.0.0
  * @category Middleware
+ * @since 4.0.0
  */
 export const cors = (
   options?: {
@@ -1038,16 +1196,16 @@ export const cors = (
  * )
  * ```
  *
- * @since 4.0.0
  * @category Middleware
+ * @since 4.0.0
  */
 export const disableLogger: Layer.Layer<never> = middleware(HttpMiddleware.withLoggerDisabled).layer
 
 /**
  * Provides request-level dependencies to some routes.
  *
- * @since 4.0.0
  * @category Middleware
+ * @since 4.0.0
  */
 export const provideRequest =
   <A2, E2, R2>(layer: Layer.Layer<A2, E2, R2>) =>
@@ -1071,8 +1229,8 @@ export const provideRequest =
 /**
  * Serves the provided application layer as an HTTP server.
  *
- * @since 4.0.0
  * @category Server
+ * @since 4.0.0
  */
 export const serve = <A, E, R, HE, HR = Request.Only<"Requires", R> | Request.Only<"GlobalRequires", R>>(
   appLayer: Layer.Layer<A, E, R>,
@@ -1127,8 +1285,15 @@ export const serve = <A, E, R, HE, HR = Request.Only<"Requires", R> | Request.On
 }
 
 /**
- * @since 4.0.0
+ * Builds a Fetch-compatible request handler from an HTTP router application
+ * layer.
+ *
+ * The result contains a `handler` function that converts Web `Request` values to
+ * Web `Response` values and a `dispose` function for releasing the layer
+ * resources.
+ *
  * @category Server
+ * @since 4.0.0
  */
 export const toWebHandler = <
   A,