From b6ce3f9c027723388b891bef4af994a8a14174db Mon Sep 17 00:00:00 2001
From: Dmitry <dilame@users.noreply.github.com>
Date: Mon, 10 Jun 2024 18:52:58 +0300
Subject: [PATCH] feat(Stream): implement Success, Error, Context type
 accessors (#2959)

---
 .changeset/strong-pumpkins-rescue.md |  5 +++++
 packages/effect/src/Stream.ts        | 18 ++++++++++++++++++
 2 files changed, 23 insertions(+)
 create mode 100644 .changeset/strong-pumpkins-rescue.md

diff --git a/.changeset/strong-pumpkins-rescue.md b/.changeset/strong-pumpkins-rescue.md
new file mode 100644
index 0000000000..f25077463e
--- /dev/null
+++ b/.changeset/strong-pumpkins-rescue.md
@@ -0,0 +1,5 @@
+---
+"effect": minor
+---
+
+feat(Stream): implement Success, Error, Context type accessors
diff --git a/packages/effect/src/Stream.ts b/packages/effect/src/Stream.ts
index 9f2b2adf77..d6b954b2ec 100644
--- a/packages/effect/src/Stream.ts
+++ b/packages/effect/src/Stream.ts
@@ -119,6 +119,24 @@ export declare namespace Stream {
     }
   }
 
+  /**
+   * @since 3.4.0
+   * @category type-level
+   */
+  export type Success<T extends Stream<any, any, any>> = [T] extends [Stream<infer _A, infer _E, infer _R>] ? _A : never
+
+  /**
+   * @since 3.4.0
+   * @category type-level
+   */
+  export type Error<T extends Stream<any, any, any>> = [T] extends [Stream<infer _A, infer _E, infer _R>] ? _E : never
+
+  /**
+   * @since 3.4.0
+   * @category type-level
+   */
+  export type Context<T extends Stream<any, any, any>> = [T] extends [Stream<infer _A, infer _E, infer _R>] ? _R : never
+
   /**
    * @since 2.0.0
    * @category models