From 2362779b0006f071b851f0f8c39780b1cf7b5316 Mon Sep 17 00:00:00 2001
From: Tim <hello@timsmart.co>
Date: Fri, 25 Oct 2024 17:15:23 +1300
Subject: [PATCH] eliminate HttpApiEndpoint context in .handle

---
 .changeset/lemon-fishes-think.md        |  5 +++++
 packages/platform/src/HttpApiBuilder.ts | 20 ++++++++++++++++++--
 packages/platform/src/HttpApiGroup.ts   |  8 ++------
 3 files changed, 25 insertions(+), 8 deletions(-)
 create mode 100644 .changeset/lemon-fishes-think.md

diff --git a/.changeset/lemon-fishes-think.md b/.changeset/lemon-fishes-think.md
new file mode 100644
index 0000000000..bee8c35655
--- /dev/null
+++ b/.changeset/lemon-fishes-think.md
@@ -0,0 +1,5 @@
+---
+"@effect/platform": patch
+---
+
+eliminate HttpApiEndpoint context in .handle
diff --git a/packages/platform/src/HttpApiBuilder.ts b/packages/platform/src/HttpApiBuilder.ts
index 78f5264cc4..ceec368403 100644
--- a/packages/platform/src/HttpApiBuilder.ts
+++ b/packages/platform/src/HttpApiBuilder.ts
@@ -222,7 +222,15 @@ export interface Handlers<
   ): Handlers<
     E,
     Provides,
-    R | Exclude<HttpApiEndpoint.HttpApiEndpoint.ExcludeProvided<Endpoints, Name, R1>, Provides>,
+    | R
+    | Exclude<
+      HttpApiEndpoint.HttpApiEndpoint.ExcludeProvided<
+        Endpoints,
+        Name,
+        R1 | HttpApiEndpoint.HttpApiEndpoint.ContextWithName<Endpoints, Name>
+      >,
+      Provides
+    >,
     HttpApiEndpoint.HttpApiEndpoint.ExcludeName<Endpoints, Name>
   >
 
@@ -236,7 +244,15 @@ export interface Handlers<
   ): Handlers<
     E,
     Provides,
-    R | Exclude<HttpApiEndpoint.HttpApiEndpoint.ExcludeProvided<Endpoints, Name, R1>, Provides>,
+    | R
+    | Exclude<
+      HttpApiEndpoint.HttpApiEndpoint.ExcludeProvided<
+        Endpoints,
+        Name,
+        R1 | HttpApiEndpoint.HttpApiEndpoint.ContextWithName<Endpoints, Name>
+      >,
+      Provides
+    >,
     HttpApiEndpoint.HttpApiEndpoint.ExcludeName<Endpoints, Name>
   >
 }
diff --git a/packages/platform/src/HttpApiGroup.ts b/packages/platform/src/HttpApiGroup.ts
index b43238a900..f0f1eab04a 100644
--- a/packages/platform/src/HttpApiGroup.ts
+++ b/packages/platform/src/HttpApiGroup.ts
@@ -227,12 +227,8 @@ export declare namespace HttpApiGroup {
    */
   export type Context<Group> = Group extends
     HttpApiGroup<infer _Name, infer _Endpoints, infer _Error, infer _R, infer _TopLevel> ?
-      | HttpApiMiddleware.HttpApiMiddleware.Only<_R>
-      | Exclude<
-        HttpApiEndpoint.HttpApiEndpoint.Context<_Endpoints>,
-        HttpApiMiddleware.HttpApiMiddleware.ExtractProvides<HttpApiEndpoint.HttpApiEndpoint.Context<_Endpoints> | _R>
-      >
-    : never
+    HttpApiMiddleware.HttpApiMiddleware.Only<_R> :
+    never
 
   /**
    * @since 1.0.0