It would be useful to implement proptest::arbitrary::Arbitrary for various types of this library.
Regular integers and their wrappers could easily be implemented via construction from arrays. But *MontyForm types should implement their own Strategy with a custom ValueTree so they don't always have to reduce after ValueTree::complicate().
This will allow dependents to simply use proptest-derive to add Arbitrary to their own types.
It would be useful to implement
proptest::arbitrary::Arbitraryfor various types of this library.Regular integers and their wrappers could easily be implemented via construction from arrays. But
*MontyFormtypes should implement their ownStrategywith a customValueTreeso they don't always have to reduce afterValueTree::complicate().This will allow dependents to simply use
proptest-deriveto addArbitraryto their own types.