Module zebra_test::prelude::prop::arbitrary::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

• ArbitraryF1
  ArbitraryF1 lets you lift a Strategy to unary type constructors such as Box, Vec, and Option.
• ArbitraryF2
  ArbitraryF2 lets you lift Strategy to binary type constructors such as Result, HashMap.