Results for “type-driven-design”

Detect primitive obsession and missing domain/brand types; check that state is modeled via discriminated unions.

The English summary is being prepared. Showing the original description.

Guides type-driven design in Rust. Use when encoding invariants in types, applying newtype pattern, implementing type state machines, using PhantomData, or making invalid states unrepresentable.

The English summary is being prepared. Showing the original description.