m05-type-driven
actionbook3k installs
Keep invalid states out of your Rust code.
What it does
Guides type design so the compiler can prevent invalid states and enforce invariants.
When to use it
Use for type-driven design involving type states, newtypes, marker traits, builders, or compile-time validation.
How to use it
It changes how the agent designs project types by considering encoded constraints and construction-time validation before runtime checks.
What you provide
- An existing project
Latest review
What you need · 0
No setup requirements listed.
Access · 0
No additional actions listed.