Struct proptest::strategy::Filter [] [src]

pub struct Filter<S, F> { /* fields omitted */ }

Strategy and ValueTree filter adaptor.

See Strategy::prop_filter().

Trait Implementations

impl<S: Debug, F> Debug for Filter<S, F>
[src]

Formats the value using the given formatter.

impl<S: Clone, F> Clone for Filter<S, F>
[src]

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

impl<S: Strategy, F: Fn(&<S::Value as ValueTree>::Value) -> bool> Strategy for Filter<S, F>
[src]

The value tree generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: ValueTree, F: Fn(&S::Value) -> bool> ValueTree for Filter<S, F>
[src]

The type of the value produced by this ValueTree.

Returns the current value.

Attempts to simplify the current value. Notionally, this sets the "high" value to the current value, and the current value to a "halfway point" between high and low, rounding towards low. Read more

Attempts to partially undo the last simplification. Notionally, this sets the "low" value to one plus the current value, and the current value to a "halfway point" between high and the new low, rounding towards low. Read more