From 52b7b071f49d09a102809b38c489cb6c6b33bed6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Julien=20Valverd=C3=A9?= <julien.valverde@mailo.com>
Date: Wed, 15 Jan 2025 00:37:00 +0100
Subject: [PATCH] Tests

---
 packages/reffuse/src/ReffuseContext.tsx | 19 +++++++++++++++++--
 1 file changed, 17 insertions(+), 2 deletions(-)

diff --git a/packages/reffuse/src/ReffuseContext.tsx b/packages/reffuse/src/ReffuseContext.tsx
index fbc4b46..ad281ac 100644
--- a/packages/reffuse/src/ReffuseContext.tsx
+++ b/packages/reffuse/src/ReffuseContext.tsx
@@ -1,4 +1,4 @@
-import { Context, Layer } from "effect"
+import { Context, Effect, Layer } from "effect"
 import React from "react"
 
 
@@ -8,7 +8,7 @@ export interface ReffuseContext<R> {
 }
 
 export type ReffuseContextReactProvider<R> = React.FC<{
-    readonly layer: Layer.Layer<R, unknown>
+    readonly layer: Layer.Layer<R, unknown, never>
     readonly children?: React.ReactNode
 }>
 
@@ -30,3 +30,18 @@ export function make<R>(): ReffuseContext<R> {
         },
     }
 }
+
+
+declare const MyService1: ReturnType<typeof Context.GenericTag<"MyService1", { readonly myService1: true }>>
+declare const MyService2: ReturnType<typeof Context.GenericTag<"MyService2", { readonly myService2: true }>>
+
+declare const Context1: Context.Context<typeof MyService1>
+declare const Context2: Context.Context<typeof MyService2>
+
+declare const MyService3: ReturnType<typeof Context.GenericTag<"MyService3", { readonly myService3: true }>>
+declare const MyService3Live: Layer.Layer<typeof MyService3, never, typeof MyService1>
+
+
+const res = MyService3Live.pipe(
+    Layer.provide(Layer.effectContext(Effect.succeed(Context1)))
+)