@effect/platform 0.37.7 → 0.38.0

package/src/Http/Router.ts

@@ -8,6 +8,7 @@ import type * as Chunk from "effect/Chunk"
 import type * as Context from "effect/Context"
 import type * as Effect from "effect/Effect"
 import type * as Option from "effect/Option"
+import type * as Scope from "effect/Scope"
 import * as internal from "../internal/http/router.js"
 import type * as App from "./App.js"
 import type * as Method from "./Method.js"
@@ -44,7 +45,7 @@ export declare namespace Router {
   /**
    * @since 1.0.0
    */
-  export type ExcludeProvided<A> = Exclude<A, RouteContext | ServerRequest.ServerRequest>
+  export type ExcludeProvided<A> = Exclude<A, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
 }
 
 /**
@@ -186,7 +187,7 @@ export const makeRoute: <R, E>(
   path: PathInput,
   handler: Route.Handler<R, E>,
   prefix?: Option.Option<string>
-) => Route<R, E> = internal.makeRoute
+) => Route<Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>, E> = internal.makeRoute
 
 /**
  * @since 1.0.0
@@ -231,7 +232,8 @@ export const mountApp: {
   ): <R, E>(
     self: Router<R, E>
   ) => Router<
-    Exclude<R1, RouteContext | ServerRequest.ServerRequest> | Exclude<R, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R1, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E1 | E
   >
   <R, E, R1, E1>(
@@ -239,7 +241,8 @@ export const mountApp: {
     path: `/${string}`,
     that: App.Default<R1, E1>
   ): Router<
-    Exclude<R, RouteContext | ServerRequest.ServerRequest> | Exclude<R1, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<R1, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E | E1
   >
 } = internal.mountApp
@@ -257,7 +260,8 @@ export const route: (
   ): <R, E>(
     self: Router<R, E>
   ) => Router<
-    Exclude<R1, RouteContext | ServerRequest.ServerRequest> | Exclude<R, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R1, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E1 | E
   >
   <R, E, R1, E1>(
@@ -265,7 +269,8 @@ export const route: (
     path: PathInput,
     handler: Route.Handler<R1, E1>
   ): Router<
-    Exclude<R, RouteContext | ServerRequest.ServerRequest> | Exclude<R1, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<R1, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E | E1
   >
 } = internal.route
@@ -281,7 +286,8 @@ export const all: {
   ): <R, E>(
     self: Router<R, E>
   ) => Router<
-    Exclude<R1, RouteContext | ServerRequest.ServerRequest> | Exclude<R, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R1, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E1 | E
   >
   <R, E, R1, E1>(
@@ -289,7 +295,8 @@ export const all: {
     path: PathInput,
     handler: Route.Handler<R1, E1>
   ): Router<
-    Exclude<R, RouteContext | ServerRequest.ServerRequest> | Exclude<R1, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<R1, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E | E1
   >
 } = internal.all
@@ -305,7 +312,8 @@ export const get: {
   ): <R, E>(
     self: Router<R, E>
   ) => Router<
-    Exclude<R1, RouteContext | ServerRequest.ServerRequest> | Exclude<R, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R1, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E1 | E
   >
   <R, E, R1, E1>(
@@ -313,7 +321,8 @@ export const get: {
     path: PathInput,
     handler: Route.Handler<R1, E1>
   ): Router<
-    Exclude<R, RouteContext | ServerRequest.ServerRequest> | Exclude<R1, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<R1, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E | E1
   >
 } = internal.get
@@ -329,7 +338,8 @@ export const post: {
   ): <R, E>(
     self: Router<R, E>
   ) => Router<
-    Exclude<R1, RouteContext | ServerRequest.ServerRequest> | Exclude<R, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R1, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E1 | E
   >
   <R, E, R1, E1>(
@@ -337,7 +347,8 @@ export const post: {
     path: PathInput,
     handler: Route.Handler<R1, E1>
   ): Router<
-    Exclude<R, RouteContext | ServerRequest.ServerRequest> | Exclude<R1, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<R1, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E | E1
   >
 } = internal.post
@@ -353,7 +364,8 @@ export const patch: {
   ): <R, E>(
     self: Router<R, E>
   ) => Router<
-    Exclude<R1, RouteContext | ServerRequest.ServerRequest> | Exclude<R, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R1, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E1 | E
   >
   <R, E, R1, E1>(
@@ -361,7 +373,8 @@ export const patch: {
     path: PathInput,
     handler: Route.Handler<R1, E1>
   ): Router<
-    Exclude<R, RouteContext | ServerRequest.ServerRequest> | Exclude<R1, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<R1, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E | E1
   >
 } = internal.patch
@@ -377,7 +390,8 @@ export const put: {
   ): <R, E>(
     self: Router<R, E>
   ) => Router<
-    Exclude<R1, RouteContext | ServerRequest.ServerRequest> | Exclude<R, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R1, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E1 | E
   >
   <R, E, R1, E1>(
@@ -385,7 +399,8 @@ export const put: {
     path: PathInput,
     handler: Route.Handler<R1, E1>
   ): Router<
-    Exclude<R, RouteContext | ServerRequest.ServerRequest> | Exclude<R1, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<R1, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E | E1
   >
 } = internal.put
@@ -401,7 +416,8 @@ export const del: {
   ): <R, E>(
     self: Router<R, E>
   ) => Router<
-    Exclude<R1, RouteContext | ServerRequest.ServerRequest> | Exclude<R, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R1, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E1 | E
   >
   <R, E, R1, E1>(
@@ -409,7 +425,8 @@ export const del: {
     path: PathInput,
     handler: Route.Handler<R1, E1>
   ): Router<
-    Exclude<R, RouteContext | ServerRequest.ServerRequest> | Exclude<R1, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<R1, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E | E1
   >
 } = internal.del
@@ -425,7 +442,8 @@ export const head: {
   ): <R, E>(
     self: Router<R, E>
   ) => Router<
-    Exclude<R1, RouteContext | ServerRequest.ServerRequest> | Exclude<R, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R1, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E1 | E
   >
   <R, E, R1, E1>(
@@ -433,7 +451,8 @@ export const head: {
     path: PathInput,
     handler: Route.Handler<R1, E1>
   ): Router<
-    Exclude<R, RouteContext | ServerRequest.ServerRequest> | Exclude<R1, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<R1, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E | E1
   >
 } = internal.head
@@ -449,7 +468,8 @@ export const options: {
   ): <R, E>(
     self: Router<R, E>
   ) => Router<
-    Exclude<R1, RouteContext | ServerRequest.ServerRequest> | Exclude<R, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R1, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E1 | E
   >
   <R, E, R1, E1>(
@@ -457,7 +477,8 @@ export const options: {
     path: PathInput,
     handler: Route.Handler<R1, E1>
   ): Router<
-    Exclude<R, RouteContext | ServerRequest.ServerRequest> | Exclude<R1, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<R1, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E | E1
   >
 } = internal.options
@@ -469,11 +490,11 @@ export const options: {
 export const use: {
   <R, E, R1, E1>(
     f: (self: Route.Handler<R, E>) => App.Default<R1, E1>
-  ): (self: Router<R, E>) => Router<Exclude<R1, RouteContext | ServerRequest.ServerRequest>, E1>
+  ): (self: Router<R, E>) => Router<Exclude<R1, RouteContext | ServerRequest.ServerRequest | Scope.Scope>, E1>
   <R, E, R1, E1>(
     self: Router<R, E>,
     f: (self: Route.Handler<R, E>) => App.Default<R1, E1>
-  ): Router<Exclude<R1, RouteContext | ServerRequest.ServerRequest>, E1>
+  ): Router<Exclude<R1, RouteContext | ServerRequest.ServerRequest | Scope.Scope>, E1>
 } = internal.use
 
 /**
@@ -486,14 +507,16 @@ export const catchAll: {
   ): <R>(
     self: Router<R, E>
   ) => Router<
-    Exclude<R2, RouteContext | ServerRequest.ServerRequest> | Exclude<R, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R2, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E2
   >
   <R, E, R2, E2>(
     self: Router<R, E>,
     f: (e: E) => Route.Handler<R2, E2>
   ): Router<
-    Exclude<R, RouteContext | ServerRequest.ServerRequest> | Exclude<R2, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<R2, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E2
   >
 } = internal.catchAll
@@ -508,14 +531,16 @@ export const catchAllCause: {
   ): <R>(
     self: Router<R, E>
   ) => Router<
-    Exclude<R2, RouteContext | ServerRequest.ServerRequest> | Exclude<R, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R2, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E2
   >
   <R, E, R2, E2>(
     self: Router<R, E>,
     f: (e: Cause.Cause<E>) => Route.Handler<R2, E2>
   ): Router<
-    Exclude<R, RouteContext | ServerRequest.ServerRequest> | Exclude<R2, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<R2, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E2
   >
 } = internal.catchAllCause
@@ -531,7 +556,8 @@ export const catchTag: {
   ): <R>(
     self: Router<R, E>
   ) => Router<
-    Exclude<R1, RouteContext | ServerRequest.ServerRequest> | Exclude<R, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R1, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E1 | Exclude<E, { _tag: K }>
   >
   <R, E, K extends E extends { _tag: string } ? E["_tag"] : never, R1, E1>(
@@ -539,7 +565,8 @@ export const catchTag: {
     k: K,
     f: (e: Extract<E, { _tag: K }>) => Route.Handler<R1, E1>
   ): Router<
-    Exclude<R, RouteContext | ServerRequest.ServerRequest> | Exclude<R1, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<R1, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E1 | Exclude<E, { _tag: K }>
   >
 } = internal.catchTag
@@ -552,21 +579,27 @@ export const catchTags: {
   <
     E,
     Cases extends E extends { _tag: string }
-      ? { [K in E["_tag"]]+?: ((error: Extract<E, { _tag: K }>) => Route.Handler<any, any>) }
+      ? { [K in E["_tag"]]+?: ((error: Extract<E, { _tag: K }>) => Route.Handler<any, any>) | undefined }
       : {}
   >(
     cases: Cases
   ): <R>(
     self: Router<R, E>
   ) => Router<
-    | Exclude<R, RouteContext | ServerRequest.ServerRequest>
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
     | Exclude<
       {
         [K in keyof Cases]: Cases[K] extends (...args: Array<any>) => Effect.Effect<infer R, any, any> ? R : never
       }[keyof Cases],
-      RouteContext | ServerRequest.ServerRequest
+      RouteContext | ServerRequest.ServerRequest | Scope.Scope
     >,
-    | Exclude<E, { _tag: keyof Cases }>
+    | Exclude<E, {
+      /**
+       * @since 1.0.0
+       * @category combinators
+       */
+      _tag: keyof Cases
+    }>
     | {
       [K in keyof Cases]: Cases[K] extends (...args: Array<any>) => Effect.Effect<any, infer E, any> ? E : never
     }[keyof Cases]
@@ -575,18 +608,18 @@ export const catchTags: {
     R,
     E,
     Cases extends E extends { _tag: string }
-      ? { [K in E["_tag"]]+?: ((error: Extract<E, { _tag: K }>) => Route.Handler<any, any>) } :
+      ? { [K in E["_tag"]]+?: ((error: Extract<E, { _tag: K }>) => Route.Handler<any, any>) | undefined } :
       {}
   >(
     self: Router<R, E>,
     cases: Cases
   ): Router<
-    | Exclude<R, RouteContext | ServerRequest.ServerRequest>
+    | Exclude<R, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
     | Exclude<
       {
         [K in keyof Cases]: Cases[K] extends (...args: Array<any>) => Effect.Effect<infer R, any, any> ? R : never
       }[keyof Cases],
-      RouteContext | ServerRequest.ServerRequest
+      RouteContext | ServerRequest.ServerRequest | Scope.Scope
     >,
     | Exclude<E, { _tag: keyof Cases }>
     | {
@@ -605,12 +638,15 @@ export const provideService: {
     service: Context.Tag.Service<T>
   ): <R, E>(
     self: Router<R, E>
-  ) => Router<Exclude<Exclude<R, Context.Tag.Identifier<T>>, RouteContext | ServerRequest.ServerRequest>, E>
+  ) => Router<
+    Exclude<Exclude<R, Context.Tag.Identifier<T>>, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
+    E
+  >
   <R, E, T extends Context.Tag<any, any>>(
     self: Router<R, E>,
     tag: T,
     service: Context.Tag.Service<T>
-  ): Router<Exclude<Exclude<R, Context.Tag.Identifier<T>>, RouteContext | ServerRequest.ServerRequest>, E>
+  ): Router<Exclude<Exclude<R, Context.Tag.Identifier<T>>, RouteContext | ServerRequest.ServerRequest | Scope.Scope>, E>
 } = internal.provideService
 
 /**
@@ -624,8 +660,8 @@ export const provideServiceEffect: {
   ): <R, E>(
     self: Router<R, E>
   ) => Router<
-    | Exclude<R1, RouteContext | ServerRequest.ServerRequest>
-    | Exclude<Exclude<R, Context.Tag.Identifier<T>>, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R1, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<Exclude<R, Context.Tag.Identifier<T>>, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E1 | E
   >
   <R, E, T extends Context.Tag<any, any>, R1, E1>(
@@ -633,8 +669,8 @@ export const provideServiceEffect: {
     tag: T,
     effect: Effect.Effect<R1, E1, Context.Tag.Service<T>>
   ): Router<
-    | Exclude<R1, RouteContext | ServerRequest.ServerRequest>
-    | Exclude<Exclude<R, Context.Tag.Identifier<T>>, RouteContext | ServerRequest.ServerRequest>,
+    | Exclude<R1, RouteContext | ServerRequest.ServerRequest | Scope.Scope>
+    | Exclude<Exclude<R, Context.Tag.Identifier<T>>, RouteContext | ServerRequest.ServerRequest | Scope.Scope>,
     E | E1
   >
 } = internal.provideServiceEffect

package/src/Http/Server.ts

@@ -104,17 +104,25 @@ export const make: (
  * @category accessors
  */
 export const serve: {
-  (): <R, E>(httpApp: App.Default<R, E>) => Layer.Layer<Server | Exclude<R, ServerRequest.ServerRequest>, never, never>
+  (): <R, E>(
+    httpApp: App.Default<R, E>
+  ) => Layer.Layer<Server | Exclude<R, ServerRequest.ServerRequest | Scope.Scope>, never, never>
   <R, E, App extends App.Default<any, any>>(
     middleware: Middleware.Middleware.Applied<R, E, App>
   ): (
     httpApp: App.Default<R, E>
-  ) => Layer.Layer<Server | Exclude<Effect.Effect.Context<App>, ServerRequest.ServerRequest>, never, never>
-  <R, E>(httpApp: App.Default<R, E>): Layer.Layer<Server | Exclude<R, ServerRequest.ServerRequest>, never, never>
+  ) => Layer.Layer<
+    Server | Exclude<Effect.Effect.Context<App>, ServerRequest.ServerRequest | Scope.Scope>,
+    never,
+    never
+  >
+  <R, E>(
+    httpApp: App.Default<R, E>
+  ): Layer.Layer<Server | Exclude<R, ServerRequest.ServerRequest | Scope.Scope>, never, never>
   <R, E, App extends App.Default<any, any>>(
     httpApp: App.Default<R, E>,
     middleware: Middleware.Middleware.Applied<R, E, App>
-  ): Layer.Layer<Server | Exclude<Effect.Effect.Context<App>, ServerRequest.ServerRequest>, never, never>
+  ): Layer.Layer<Server | Exclude<Effect.Effect.Context<App>, ServerRequest.ServerRequest | Scope.Scope>, never, never>
 } = internal.serve
 
 /**

package/src/Http/ServerError.ts

@@ -1,7 +1,9 @@
 /**
  * @since 1.0.0
  */
+import type * as Cause from "effect/Cause"
 import type * as Data from "effect/Data"
+import type * as FiberId from "effect/FiberId"
 import * as internal from "../internal/http/serverError.js"
 import type * as ServerRequest from "./ServerRequest.js"
 import type * as ServerResponse from "./ServerResponse.js"
@@ -54,6 +56,12 @@ export interface RequestError extends HttpError.Proto {
   readonly error: unknown
 }
 
+/**
+ * @since 1.0.0
+ * @category predicates
+ */
+export const isServerError: (u: unknown) => u is HttpServerError = internal.isServerError
+
 /**
  * @since 1.0.0
  * @category error
@@ -109,3 +117,13 @@ export interface ServeError extends HttpError.Proto {
  * @category error
  */
 export const ServeError: (props: Omit<ServeError, HttpError.ProvidedFields>) => ServeError = internal.serveError
+
+/**
+ * @since 1.0.0
+ */
+export const clientAbortFiberId: FiberId.FiberId = internal.clientAbortFiberId
+
+/**
+ * @since 1.0.0
+ */
+export const isClientAbortCause: <E>(cause: Cause.Cause<E>) => boolean = internal.isClientAbortCause

package/src/Http/ServerRequest.ts

@@ -42,6 +42,7 @@ export type TypeId = typeof TypeId
  */
 export interface ServerRequest extends IncomingMessage.IncomingMessage<Error.RequestError> {
   readonly [TypeId]: TypeId
+  readonly source: unknown
   readonly url: string
   readonly originalUrl: string
   readonly method: Method

package/src/internal/http/middleware.ts

@@ -1,12 +1,13 @@
 import * as Cause from "effect/Cause"
 import * as Effect from "effect/Effect"
 import * as FiberRef from "effect/FiberRef"
-import * as Function from "effect/Function"
+import { constFalse, dual } from "effect/Function"
 import { globalValue } from "effect/GlobalValue"
 import type * as Predicate from "effect/Predicate"
 import * as Headers from "../../Http/Headers.js"
 import * as IncomingMessage from "../../Http/IncomingMessage.js"
 import type * as Middleware from "../../Http/Middleware.js"
+import * as ServerError from "../../Http/ServerError.js"
 import * as ServerRequest from "../../Http/ServerRequest.js"
 
 /** @internal */
@@ -28,11 +29,11 @@ export const withLoggerDisabled = <R, E, A>(self: Effect.Effect<R, E, A>): Effec
 /** @internal */
 export const currentTracerDisabledWhen = globalValue(
   Symbol.for("@effect/platform/Http/Middleware/tracerDisabledWhen"),
-  () => FiberRef.unsafeMake<Predicate.Predicate<ServerRequest.ServerRequest>>(Function.constFalse)
+  () => FiberRef.unsafeMake<Predicate.Predicate<ServerRequest.ServerRequest>>(constFalse)
 )
 
 /** @internal */
-export const withTracerDisabledWhen = Function.dual<
+export const withTracerDisabledWhen = dual<
   (
     predicate: Predicate.Predicate<ServerRequest.ServerRequest>
   ) => <R, E, A>(effect: Effect.Effect<R, E, A>) => Effect.Effect<R, E, A>,
@@ -60,7 +61,11 @@ export const logger = make((httpApp) => {
                 Effect.annotateLogs(Effect.log(exit.cause), {
                   "http.method": request.method,
                   "http.url": request.url,
-                  "http.status": Cause.isInterruptedOnly(exit.cause) ? 499 : 500
+                  "http.status": Cause.isInterruptedOnly(exit.cause)
+                    ? ServerError.isClientAbortCause(exit.cause)
+                      ? 499
+                      : 503
+                    : 500
                 }) :
                 Effect.annotateLogs(Effect.log(""), {
                   "http.method": request.method,

package/src/internal/http/router.ts

@@ -185,7 +185,7 @@ export const makeRoute = <R, E>(
   path: Router.PathInput,
   handler: Router.Route.Handler<R, E>,
   prefix: Option.Option<string> = Option.none()
-): Router.Route<R, E> => new RouteImpl(method, path, handler, prefix)
+): Router.Route<Router.Router.ExcludeProvided<R>, E> => new RouteImpl(method, path, handler, prefix) as any
 
 /** @internal */
 export const concat = dual<

package/src/internal/http/server.ts

@@ -38,14 +38,14 @@ export const serve = dual<
     (): <R, E>(
       httpApp: App.Default<R, E>
     ) => Layer.Layer<
-      Server.Server | Exclude<R, ServerRequest.ServerRequest>,
+      Server.Server | Exclude<R, ServerRequest.ServerRequest | Scope.Scope>,
       never,
       never
     >
     <R, E, App extends App.Default<any, any>>(middleware: Middleware.Middleware.Applied<R, E, App>): (
       httpApp: App.Default<R, E>
     ) => Layer.Layer<
-      Server.Server | Exclude<Effect.Effect.Context<App>, ServerRequest.ServerRequest>,
+      Server.Server | Exclude<Effect.Effect.Context<App>, ServerRequest.ServerRequest | Scope.Scope>,
       never,
       never
     >
@@ -53,12 +53,12 @@ export const serve = dual<
   {
     <R, E>(
       httpApp: App.Default<R, E>
-    ): Layer.Layer<Server.Server | Exclude<R, ServerRequest.ServerRequest>, never, never>
+    ): Layer.Layer<Server.Server | Exclude<R, ServerRequest.ServerRequest | Scope.Scope>, never, never>
     <R, E, App extends App.Default<any, any>>(
       httpApp: App.Default<R, E>,
       middleware: Middleware.Middleware.Applied<R, E, App>
     ): Layer.Layer<
-      Server.Server | Exclude<Effect.Effect.Context<App>, ServerRequest.ServerRequest>,
+      Server.Server | Exclude<Effect.Effect.Context<App>, ServerRequest.ServerRequest | Scope.Scope>,
       never,
       never
     >
@@ -69,7 +69,7 @@ export const serve = dual<
     httpApp: App.Default<R, E>,
     middleware?: Middleware.Middleware.Applied<R, E, App>
   ): Layer.Layer<
-    Server.Server | Exclude<Effect.Effect.Context<App>, ServerRequest.ServerRequest>,
+    Server.Server | Exclude<Effect.Effect.Context<App>, ServerRequest.ServerRequest | Scope.Scope>,
     never,
     never
   > =>

package/src/internal/http/serverError.ts

@@ -1,4 +1,9 @@
+import * as Cause from "effect/Cause"
 import * as Data from "effect/Data"
+import * as FiberId from "effect/FiberId"
+import { globalValue } from "effect/GlobalValue"
+import * as Option from "effect/Option"
+import * as Predicate from "effect/Predicate"
 import type * as Error from "../../Http/ServerError.js"
 
 /** @internal */
@@ -13,6 +18,9 @@ const make = <A extends Error.HttpServerError>(tag: A["_tag"]) => (props: Omit<A
     ...props
   } as A)
 
+/** @internal */
+export const isServerError = (u: unknown): u is Error.HttpServerError => Predicate.hasProperty(u, TypeId)
+
 /** @internal */
 export const requestError = make<Error.RequestError>("RequestError")
 
@@ -24,3 +32,17 @@ export const routeNotFound = make<Error.RouteNotFound>("RouteNotFound")
 
 /** @internal */
 export const serveError = make<Error.ServeError>("ServeError")
+
+/** @internal */
+export const clientAbortFiberId = globalValue(
+  "@effect/platform/Http/ServerError/clientAbortFiberId",
+  () => FiberId.runtime(-499, 0)
+)
+
+/** @internal */
+export const isClientAbortCause = <E>(cause: Cause.Cause<E>): boolean =>
+  Cause.reduce(
+    cause,
+    false,
+    (_, cause) => cause._tag === "Interrupt" && cause.fiberId === clientAbortFiberId ? Option.some(true) : Option.none()
+  )