feat: introduce BindingTag to map Binding -> BindingService

Author: sam-goodwin

@alchemy.run/effect/src/binding.ts

@@ -1,3 +1,4 @@
+import * as Context from "effect/Context";
 import type { Effect } from "effect/Effect";
 import type { Layer } from "effect/Layer";
 import type { Capability } from "./capability.ts";
@@ -13,20 +14,37 @@ export const isBinding = (b: any): b is Binding<any, any, any> =>
 
 export type AnyBinding<F extends Runtime = any> = Binding<F, any, any>;
 
-export interface Binding<
+export type Binding<
   Run extends Runtime,
   Cap extends Capability = Capability,
-  Tag = Cap["type"],
-> {
+  Tag extends string = Cap["type"],
+> = {
   runtime: Run;
   capability: Cap;
-  tag: Tag;
+  tag: BindingTag<Run, Cap, Tag>;
+};
+
+export interface BindingTag<
+  Run extends Runtime,
+  Cap extends Capability,
+  Tag extends string,
+> extends Context.Tag<
+    `${Run["type"]}(${Cap["type"]}, ${Tag})`,
+    BindingService<
+      Run,
+      Extract<Extract<Cap["resource"], Resource>["parent"], Resource>,
+      Run["props"]
+    >
+  > {
+  /** @internal phantom */
+  tagName: Tag;
 }
 
 export const Binding = <F extends (resource: any, props?: any) => AnyBinding>(
   runtime: ReturnType<F>["runtime"],
   resource: new () => ReturnType<F>["capability"]["resource"],
-  tag: ReturnType<F>["tag"],
+  tag: ReturnType<F>["tag"]["tagName"],
+  // _tag: ReturnType<F>,
 ): F & BindingDeclaration<ReturnType<F>["runtime"], F> => {
   type Runtime = ReturnType<F>["runtime"];
   type Tag = ReturnType<F>["tag"];
@@ -93,13 +111,13 @@ export type BindingService<
     },
     to: Props,
     target: Target,
-  ) => Effect.Effect<Partial<Props> | void, never, AttachReq>;
+  ) => Effect<Partial<Props> | void, never, AttachReq>;
   detach?: (
     resource: {
       id: string;
       attr: R["attr"];
       props: R["props"];
     },
     from: Props,
-  ) => Effect.Effect<void, never, DetachReq>;
+  ) => Effect<void, never, DetachReq>;
 };

@alchemy.run/effect/src/resource.ts

@@ -10,6 +10,7 @@ export interface Resource<
   Props = unknown,
   Attrs = unknown,
 > extends IResource<Type, ID, Props, Attrs> {
+  parent: unknown;
   // oxlint-disable-next-line no-misused-new
   new (): Resource<Type, ID, Props, Attrs>;
 }
@@ -34,5 +35,7 @@ export const Resource = <Ctor extends (id: string, props: any) => Resource>(
     }
   } as unknown as Ctor & {
     type: ReturnType<Ctor>["type"];
-    new (): ReturnType<Ctor>;
+    new (): ReturnType<Ctor> & {
+      parent: ReturnType<Ctor>;
+    };
   };