Module proptest::arbitrary[−][src]

Defines the Arbitrary trait and related free functions and type aliases. See the trait for more information.

Modules

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

Arbitrary determines a canonical Strategy for the implementing type.

any	Generates a `Strategy` producing `Arbitrary` values of `A`. Unlike `arbitrary`, it should be used for being explicit on what `A` is. For clarity, this may be a good idea.
any_with	Generates a `Strategy` producing `Arbitrary` values of `A` with the given configuration arguments passed in `args`. Unlike `arbitrary_with`, it should be used for being explicit on what `A` is. For clarity, this may be a good idea.
arbitrary	Generates a `Strategy` producing `Arbitrary` values of `A`. Works better with type inference than `any::<A>()`.
arbitrary_with	Generates a `Strategy` producing `Arbitrary` values of `A` with the given configuration arguments passed in `args`. Works better with type inference than `any_with::<A>(args)`.

Mapped	A normal map from a strategy of `I` to `O`.
ParamsFor	`ParamsFor` allows you to mention the type of `Parameters` for the input type `A` without directly using associated types or without resorting to existential types. This way, if implementation of `Arbitrary` changes, your tests should not break.
SMapped	A static map from a strategy of `I` to `O`.
StrategyFor	`StrategyFor` allows you to mention the type of `Strategy` for the input type `A` without directly using associated types or without resorting to existential types. This way, if implementation of `Arbitrary` changes, your tests should not break. This can be especially beneficial when the type of `Strategy` that you are dealing with is very long in name (the case with generics).