Replaces imperative control flow with type-safe, exhaustive pattern matching using the Effect Match module.
This skill enables Claude to implement and refactor code using Effect's powerful pattern-matching capabilities, effectively eliminating the need for imperative if/else, switch, and ternary operators. It provides deep domain knowledge on exhaustive matching, type narrowing, and the use of predicates to ensure all code paths are handled at compile-time. By leveraging the Match module and Schema integration, this skill ensures that your Effect applications remain idiomatic, readable, and mathematically sound.
Key Features
01Compile-time exhaustiveness checking for discriminated unions
02Support for reusable matchers and state machine implementations
03Automatic refactoring of imperative control flow into functional patterns
043 GitHub stars
05Seamless integration with Effect Schema for runtime type guards
06Advanced predicate matching including negation and complex object shapes
Use Cases
01Refactoring legacy switch/case blocks into type-safe Match structures
02Implementing robust state machines using TaggedClass and Match.tag
03Handling complex domain errors and API response variants
