contrafact-rs
A trait for highly composable constraints ("facts") which can be used both to verify data and to generate arbitrary data within those constraints
See the rust docs for more info
TODO:
- make Arbitrary a feature, generalize data generation
- add lens-rs support