A simple and efficient quickcheck inspired library to generate random data mainly oriented towards generative/property/exploratory testing. One would use this library to prove that certain properties hold for their programs for a tentatively representative sample of the input space.
Generate trait that is implemented for many of rust's standard types allows the generation of any random composite data through combinator (such as tuples, Any, Map, Flatten and more).Prove trait is meant to represent a desirable property of a program. It is implemented for a couple of standard types such as bool and Result.Shrink trait tries to iteratively 'reduce' it to a more minimal form.