moonbit-refactoring

To refactor MoonBit code with pattern matching, this Skill transforms simple functions into expressive pattern matching constructs using view types. It guides adoption of idiomatic views while ensuring behavioral preservation throughout the refactoring process.

API minimization in MoonBit shrinks public APIs to essential exports, significantly improving modularity. This Skill automates the refactoring of MoonBit packages to expose only necessary functions, reducing technical debt and enhancing maintainability.

Converting free functions to methods in MoonBit involves transforming standalone functions like `reader_next` into methods on their corresponding types. This Skill performs code transformation to enable fluent chaining and ensure idiomatic code structure.

Yes, you can refactor large MoonBit modules into smaller, focused packages using this Skill. It targets scenarios involving updates to MoonBit packages and modules, ensuring behavioral preservation while making the codebase easier to understand and manage.

Refactoring MoonBit APIs with this Skill ensures behavioral preservation while enhancing code quality. It targets updates to MoonBit modules, APIs, and tests, applying idiomatic practices like loop invariant addition without altering functional outcomes.

You should add loop invariants to MoonBit code when adopting idiomatic constructs for enhanced code quality. This Skill guides the explicit qualification and addition of loop invariants during refactoring to improve maintainability and reduce technical debt.