Module functor

Provides higher order Arbitrary traits. This is mainly for use by proptest_derive.

Stability note

This trait is mainly defined for proptest_derive to simplify the mechanics of deriving recursive types. If you have custom containers and want to support recursive for those, it is a good idea to implement this trait.

There are clearer and terser ways that work better with inference such as using proptest::collection::vec(..) to achieve the same result.

For these reasons, the traits here are deliberately not exported in a convenient way.

Traits