Struct proptest::tuple::TupleValueTree [−][src]
pub struct TupleValueTree<T> { /* fields omitted */ }
Common ValueTree
implementation for all tuple strategies.
Methods
impl<T> TupleValueTree<T>
[src]
impl<T> TupleValueTree<T>
pub fn new(inner: T) -> Self
[src]
pub fn new(inner: T) -> Self
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]
impl<T: Clone> Clone for TupleValueTree<T>
fn clone(&self) -> TupleValueTree<T>
[src]
fn clone(&self) -> TupleValueTree<T>
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
impl<T: Copy> Copy for TupleValueTree<T>
[src]
impl<T: Copy> Copy for TupleValueTree<T>
impl<T: Debug> Debug for TupleValueTree<T>
[src]
impl<T: Debug> Debug for TupleValueTree<T>
fn fmt(&self, f: &mut Formatter) -> Result
[src]
fn fmt(&self, f: &mut Formatter) -> Result
Formats the value using the given formatter. Read more
impl<A: ValueTree> ValueTree for TupleValueTree<(A,)>
[src]
impl<A: ValueTree> ValueTree for TupleValueTree<(A,)>
type Value = (A::Value,)
The type of the value produced by this ValueTree
.
fn current(&self) -> Self::Value
[src]
fn current(&self) -> Self::Value
Returns the current value.
fn simplify(&mut self) -> bool
[src]
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
fn complicate(&mut self) -> bool
[src]
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
impl<A: ValueTree, B: ValueTree> ValueTree for TupleValueTree<(A, B)>
[src]
impl<A: ValueTree, B: ValueTree> ValueTree for TupleValueTree<(A, B)>
type Value = (A::Value, B::Value)
The type of the value produced by this ValueTree
.
fn current(&self) -> Self::Value
[src]
fn current(&self) -> Self::Value
Returns the current value.
fn simplify(&mut self) -> bool
[src]
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
fn complicate(&mut self) -> bool
[src]
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
impl<A: ValueTree, B: ValueTree, C: ValueTree> ValueTree for TupleValueTree<(A, B, C)>
[src]
impl<A: ValueTree, B: ValueTree, C: ValueTree> ValueTree for TupleValueTree<(A, B, C)>
type Value = (A::Value, B::Value, C::Value)
The type of the value produced by this ValueTree
.
fn current(&self) -> Self::Value
[src]
fn current(&self) -> Self::Value
Returns the current value.
fn simplify(&mut self) -> bool
[src]
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
fn complicate(&mut self) -> bool
[src]
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
impl<A: ValueTree, B: ValueTree, C: ValueTree, D: ValueTree> ValueTree for TupleValueTree<(A, B, C, D)>
[src]
impl<A: ValueTree, B: ValueTree, C: ValueTree, D: ValueTree> ValueTree for TupleValueTree<(A, B, C, D)>
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]
fn current(&self) -> Self::Value
Returns the current value.
fn simplify(&mut self) -> bool
[src]
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
fn complicate(&mut self) -> bool
[src]
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
impl<A: ValueTree, B: ValueTree, C: ValueTree, D: ValueTree, E: ValueTree> ValueTree for TupleValueTree<(A, B, C, D, E)>
[src]
impl<A: ValueTree, B: ValueTree, C: ValueTree, D: ValueTree, E: ValueTree> ValueTree for TupleValueTree<(A, B, C, D, E)>
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]
fn current(&self) -> Self::Value
Returns the current value.
fn simplify(&mut self) -> bool
[src]
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
fn complicate(&mut self) -> bool
[src]
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
impl<A: ValueTree, B: ValueTree, C: ValueTree, D: ValueTree, E: ValueTree, F: ValueTree> ValueTree for TupleValueTree<(A, B, C, D, E, F)>
[src]
impl<A: ValueTree, B: ValueTree, C: ValueTree, D: ValueTree, E: ValueTree, F: ValueTree> ValueTree for TupleValueTree<(A, B, C, D, E, F)>
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]
fn current(&self) -> Self::Value
Returns the current value.
fn simplify(&mut self) -> bool
[src]
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
fn complicate(&mut self) -> bool
[src]
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
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]
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)>
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]
fn current(&self) -> Self::Value
Returns the current value.
fn simplify(&mut self) -> bool
[src]
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
fn complicate(&mut self) -> bool
[src]
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
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]
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)>
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]
fn current(&self) -> Self::Value
Returns the current value.
fn simplify(&mut self) -> bool
[src]
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
fn complicate(&mut self) -> bool
[src]
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
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]
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)>
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]
fn current(&self) -> Self::Value
Returns the current value.
fn simplify(&mut self) -> bool
[src]
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
fn complicate(&mut self) -> bool
[src]
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
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]
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)>
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]
fn current(&self) -> Self::Value
Returns the current value.
fn simplify(&mut self) -> bool
[src]
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
fn complicate(&mut self) -> bool
[src]
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
Auto Trait Implementations
impl<T> Send for TupleValueTree<T> where
T: Send,
impl<T> Send for TupleValueTree<T> where
T: Send,
impl<T> Sync for TupleValueTree<T> where
T: Sync,
impl<T> Sync for TupleValueTree<T> where
T: Sync,