exhaustive_macros 0.2.2

The trait for generating all values of a type, and a property-based test macro.
Documentation