feat(Stream): implement Success, Error, Context type accessors (#2959)

Effect-TS · Jun 14, 2024 · 1f17378 · 1f17378
1 parent 46225a6
commit 1f17378
Show file tree

Hide file tree

Showing 2 changed files with 23 additions and 0 deletions.
diff --git a/.changeset/strong-pumpkins-rescue.md 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
@@ -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