Add Chunk.getSomes

.changeset/afraid-phones-love.md

@@ -0,0 +1,5 @@
+---
+"@effect/workflow": patch
+---
+
+Add Workflow type utils

.changeset/gold-doors-wish.md

@@ -0,0 +1,5 @@
+---
+"effect": patch
+---
+
+Add `Chunk.getSomes`

packages/effect/src/Chunk.ts

@@ -1493,3 +1493,10 @@ export const difference: {
   2,
   <A>(self: Chunk<A>, that: Chunk<A>): Chunk<A> => unsafeFromArray(RA.difference(that, self))
 )
+
+/**
+ * @category filtering
+ * @since 3.19.0
+ */
+export const getSomes: <A>(self: Chunk<Option<A>>) => Chunk<A> = (self) =>
+  unsafeFromArray(RA.getSomes(toReadonlyArray(self)))

packages/effect/test/Chunk.test.ts

@@ -887,4 +887,9 @@ describe("Chunk", () => {
     assertEquals(Chunk.difference(curr, Chunk.empty()), Chunk.empty())
     assertEquals(Chunk.difference(curr, curr), Chunk.empty())
   })
+
+  it("getSomes", () => {
+    assertEquals(Chunk.getSomes(Chunk.empty()), Chunk.empty())
+    assertEquals(Chunk.getSomes(Chunk.make(Option.some(1), Option.none())), Chunk.of(1))
+  })
 })

packages/workflow/src/Workflow.ts

@@ -26,6 +26,41 @@ import type { WorkflowEngine, WorkflowInstance } from "./WorkflowEngine.js"
  */
 export const TypeId: unique symbol = Symbol.for("@effect/workflow/Workflow")
 
+/**
+ * @since 1.0.0
+ */
+export declare namespace Workflow {
+  /**
+   * Extracts the type of the Payload of a `Workflow`.
+   *
+   * @since 1.0.0
+   * @category Type-level Utils
+   */
+  export type Payload<W extends Workflow<any, any, any, any>> = W extends Workflow<any, infer Payload, any, any>
+    ? Payload["Type"]
+    : never
+
+  /**
+   * Extracts the type of the Success of a `Workflow`.
+   *
+   * @since 1.0.0
+   * @category Type-level Utils
+   */
+  export type Success<W extends Workflow<any, any, any, any>> = W extends Workflow<any, any, infer Success, any>
+    ? Success["Type"]
+    : never
+
+  /**
+   * Extracts the type of the Error of a `Workflow`.
+   *
+   * @since 1.0.0
+   * @category Type-level Utils
+   */
+  export type Error<W extends Workflow<any, any, any, any>> = W extends Workflow<any, any, any, infer Error>
+    ? Error["Type"]
+    : never
+}
+
 /**
  * @since 1.0.0
  * @category Symbols