add ManagedRuntime type utils (Context and Error) (#3005)

Co-authored-by: Tim <[email protected]>

.changeset/thirty-parrots-reply.md

@@ -0,0 +1,5 @@
+---
+"effect": minor
+---
+
+add `ManagedRuntime` type utils (`Context`, and `Error`)

packages/effect/dtslint/ManagedRuntime.ts

@@ -0,0 +1,20 @@
+import { hole } from "effect/Function"
+import type * as Layer from "effect/Layer"
+import * as ManagedRuntime from "effect/ManagedRuntime"
+
+declare const layer: Layer.Layer<"context", "error">
+const runtime = ManagedRuntime.make(layer)
+
+// -------------------------------------------------------------------------------------
+// Context
+// -------------------------------------------------------------------------------------
+
+// $ExpectType "context"
+hole<ManagedRuntime.ManagedRuntime.Context<typeof runtime>>()
+
+// -------------------------------------------------------------------------------------
+// Error
+// -------------------------------------------------------------------------------------
+
+// $ExpectType "error"
+hole<ManagedRuntime.ManagedRuntime.Error<typeof runtime>>()

packages/effect/src/ManagedRuntime.ts

@@ -9,6 +9,22 @@ import type * as Layer from "./Layer.js"
 import type { Pipeable } from "./Pipeable.js"
 import type * as Runtime from "./Runtime.js"
 
+/**
+ * @since 3.4.0
+ */
+export declare namespace ManagedRuntime {
+ /**
+ * @category type-level
+ * @since 3.4.0
+ */
+ export type Context<T extends ManagedRuntime<any, any>> = [T] extends [ManagedRuntime<infer R, infer _E>] ? R : never
+ /**
+ * @category type-level
+ * @since 3.4.0
+ */
+ export type Error<T extends ManagedRuntime<any, any>> = [T] extends [ManagedRuntime<infer _R, infer E>] ? E : never
+}
+
 /**
  * @since 2.0.0
  * @category models