Struct proptest::tuple::TupleValueTree
[−]
[src]
pub struct TupleValueTree<T> { /* fields omitted */ }
Common ValueTree
implementation for all tuple strategies.
Methods
impl<T> TupleValueTree<T>
[src]
fn new(inner: T) -> Self
[src]
Create a new TupleValueTree
wrapping inner
.
It only makes sense for inner
to be a tuple of an arity for which the
type implements ValueTree
.
Trait Implementations
impl<T: Clone> Clone for TupleValueTree<T>
[src]
fn clone(&self) -> TupleValueTree<T>
[src]
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more
impl<T: Copy> Copy for TupleValueTree<T>
[src]
impl<T: Debug> Debug for TupleValueTree<T>
[src]
impl<A: ValueTree> ValueTree for TupleValueTree<(A,)>
[src]
type Value = (A::Value,)
The type of the value produced by this ValueTree
.
fn current(&self) -> Self::Value
[src]
Returns the current value.
fn simplify(&mut self) -> bool
[src]
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
fn complicate(&mut self) -> bool
[src]
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
impl<A: ValueTree, B: ValueTree> ValueTree for TupleValueTree<(A, B)>
[src]
type Value = (A::Value, B::Value)
The type of the value produced by this ValueTree
.
fn current(&self) -> Self::Value
[src]
Returns the current value.
fn simplify(&mut self) -> bool
[src]
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
fn complicate(&mut self) -> bool
[src]
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
impl<A: ValueTree, B: ValueTree, C: ValueTree> ValueTree for TupleValueTree<(A, B, C)>
[src]
type Value = (A::Value, B::Value, C::Value)
The type of the value produced by this ValueTree
.
fn current(&self) -> Self::Value
[src]
Returns the current value.
fn simplify(&mut self) -> bool
[src]
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
fn complicate(&mut self) -> bool
[src]
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
impl<A: ValueTree, B: ValueTree, C: ValueTree, D: ValueTree> ValueTree for TupleValueTree<(A, B, C, D)>
[src]
type Value = (A::Value, B::Value, C::Value, D::Value)
The type of the value produced by this ValueTree
.
fn current(&self) -> Self::Value
[src]
Returns the current value.
fn simplify(&mut self) -> bool
[src]
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
fn complicate(&mut self) -> bool
[src]
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
impl<A: ValueTree, B: ValueTree, C: ValueTree, D: ValueTree, E: ValueTree> ValueTree for TupleValueTree<(A, B, C, D, E)>
[src]
type Value = (A::Value, B::Value, C::Value, D::Value, E::Value)
The type of the value produced by this ValueTree
.
fn current(&self) -> Self::Value
[src]
Returns the current value.
fn simplify(&mut self) -> bool
[src]
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
fn complicate(&mut self) -> bool
[src]
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
impl<A: ValueTree, B: ValueTree, C: ValueTree, D: ValueTree, E: ValueTree, F: ValueTree> ValueTree for TupleValueTree<(A, B, C, D, E, F)>
[src]
type Value = (A::Value, B::Value, C::Value, D::Value, E::Value, F::Value)
The type of the value produced by this ValueTree
.
fn current(&self) -> Self::Value
[src]
Returns the current value.
fn simplify(&mut self) -> bool
[src]
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
fn complicate(&mut self) -> bool
[src]
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
impl<A: ValueTree, B: ValueTree, C: ValueTree, D: ValueTree, E: ValueTree, F: ValueTree, G: ValueTree> ValueTree for TupleValueTree<(A, B, C, D, E, F, G)>
[src]
type Value = (A::Value, B::Value, C::Value, D::Value, E::Value, F::Value, G::Value)
The type of the value produced by this ValueTree
.
fn current(&self) -> Self::Value
[src]
Returns the current value.
fn simplify(&mut self) -> bool
[src]
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
fn complicate(&mut self) -> bool
[src]
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
impl<A: ValueTree, B: ValueTree, C: ValueTree, D: ValueTree, E: ValueTree, F: ValueTree, G: ValueTree, H: ValueTree> ValueTree for TupleValueTree<(A, B, C, D, E, F, G, H)>
[src]
type Value = (A::Value, B::Value, C::Value, D::Value, E::Value, F::Value, G::Value, H::Value)
The type of the value produced by this ValueTree
.
fn current(&self) -> Self::Value
[src]
Returns the current value.
fn simplify(&mut self) -> bool
[src]
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
fn complicate(&mut self) -> bool
[src]
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
impl<A: ValueTree, B: ValueTree, C: ValueTree, D: ValueTree, E: ValueTree, F: ValueTree, G: ValueTree, H: ValueTree, I: ValueTree> ValueTree for TupleValueTree<(A, B, C, D, E, F, G, H, I)>
[src]
type Value = (A::Value, B::Value, C::Value, D::Value, E::Value, F::Value, G::Value, H::Value, I::Value)
The type of the value produced by this ValueTree
.
fn current(&self) -> Self::Value
[src]
Returns the current value.
fn simplify(&mut self) -> bool
[src]
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
fn complicate(&mut self) -> bool
[src]
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
impl<A: ValueTree, B: ValueTree, C: ValueTree, D: ValueTree, E: ValueTree, F: ValueTree, G: ValueTree, H: ValueTree, I: ValueTree, J: ValueTree> ValueTree for TupleValueTree<(A, B, C, D, E, F, G, H, I, J)>
[src]
type Value = (A::Value, B::Value, C::Value, D::Value, E::Value, F::Value, G::Value, H::Value, I::Value, J::Value)
The type of the value produced by this ValueTree
.
fn current(&self) -> Self::Value
[src]
Returns the current value.
fn simplify(&mut self) -> bool
[src]
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
fn complicate(&mut self) -> bool
[src]
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