Struct proptest::result::MaybeErrValueTree
source · pub struct MaybeErrValueTree<T, E>(_)
where
T: Strategy,
E: Strategy;
Expand description
ValueTree
type corresponding to MaybeErr
.
Trait Implementations§
source§impl<T: Strategy, E: Strategy> Clone for MaybeErrValueTree<T, E>where
T::Tree: Clone,
E::Tree: Clone,
impl<T: Strategy, E: Strategy> Clone for MaybeErrValueTree<T, E>where T::Tree: Clone, E::Tree: Clone,
source§impl<T: Strategy, E: Strategy> Debug for MaybeErrValueTree<T, E>where
T::Tree: Debug,
E::Tree: Debug,
impl<T: Strategy, E: Strategy> Debug for MaybeErrValueTree<T, E>where T::Tree: Debug, E::Tree: Debug,
source§impl<T, E> ValueTree for MaybeErrValueTree<T, E>where
T: Strategy,
E: Strategy,
impl<T, E> ValueTree for MaybeErrValueTree<T, E>where T: Strategy, E: Strategy,
§type Value = Result<<T as Strategy>::Value, <E as Strategy>::Value>
type Value = Result<<T as Strategy>::Value, <E as Strategy>::Value>
The type of the value produced by this
ValueTree
.source§fn simplify(&mut self) -> bool
fn simplify(&mut self) -> bool
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
source§fn complicate(&mut self) -> bool
fn complicate(&mut self) -> bool
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