pattern-matching

What problem does it solve?

Developers struggle with writing exhaustive, type-safe pattern matching for discriminated unions in TypeScript. This Skill provides guidance and patterns to use Data.TaggedEnum, $match, and related helpers to write declarative, compiler-checked branches across all variants.

Core Features & Use Cases

• Exhaustive, type-safe pattern matching across ADTs with Data.TaggedEnum
• Nested matches and multi-variant refinement using $match and $is
• Real-world scenarios: state machines, domain events, and result types

Quick Start

Define a TaggedEnum-based union, then apply WalletState.$match(state, { ... }) to handle every variant.

• User instruction: Show how to pattern match a WalletState with variants Disconnected, Connecting, Connected, and Error using the $match helper.