effect-pattern-matching

What problem does it solve? Manual _tag checks and if/else chains on discriminated unions in Effect TypeScript code are verbose, non-exhaustive, and error-prone, letting missing cases slip past the compiler. ## Core Features & Use Cases - ADT Construction with Data.TaggedEnum: Generates constructors, $match, and $is type guards automatically for tagged unions such as state machines, domain events, and result types. - Exhaustive Matching: Uses TaggedEnum.$match, Effect.match, Option.match, and Match.typeTags so the compiler enforces that every variant is handled. - Testable Matching: Replaces Date.now() and Math.random() inside match handlers with Clock and Random services for deterministic tests. - Use Case: When modeling a wallet connection state machine with Disconnected, Connecting, Connected, and Error states, define it with Data.taggedEnum and render UI text via $match so adding a new state produces compile errors at every incomplete match site. ## Quick Start Ask the AI to refactor a manually tagged union in your Effect TypeScript code into a Data.TaggedEnum with exhaustive $match handlers.