add Match.withReturnType api (#2568)

Effect-TS · Apr 18, 2024 · a7b4b84 · a7b4b84
1 parent 6f38dff
commit a7b4b84
Show file tree

Hide file tree

Showing 4 changed files with 254 additions and 177 deletions.
diff --git a/.changeset/hungry-bottles-design.md b/.changeset/hungry-bottles-design.md
@@ -0,0 +1,18 @@
+---
+"effect": patch
+---
+
+add Match.withReturnType api
+
+Which can be used to constrain the return type of a match expression.
+
+```ts
+import { Match } from "effect"
+
+Match.type<string>().pipe(
+  Match.withReturnType<string>(),
+  Match.when("foo", () => "foo"), // valid
+  Match.when("bar", () => 123), // type error
+  Match.else(() => "baz")
+)
+```