zebra_test::prelude::prop::arbitrary

Module functor

Expand description

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 lets you lift a Strategy to unary type constructors such as Box, Vec, and Option.
  • ArbitraryF2 lets you lift Strategy to binary type constructors such as Result, HashMap.