Struct proptest::array::ArrayValueTree
[−]
[src]
pub struct ArrayValueTree<T> { /* fields omitted */ }
A ValueTree
operating over a fixed-size array.
Trait Implementations
impl<T: Clone> Clone for ArrayValueTree<T>
[src]
fn clone(&self) -> ArrayValueTree<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 ArrayValueTree<T>
[src]
impl<T: Debug> Debug for ArrayValueTree<T>
[src]
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 1]>
[src]
type Value = [T::Value; 1]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 1]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 2]>
[src]
type Value = [T::Value; 2]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 2]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 3]>
[src]
type Value = [T::Value; 3]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 3]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 4]>
[src]
type Value = [T::Value; 4]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 4]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 5]>
[src]
type Value = [T::Value; 5]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 5]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 6]>
[src]
type Value = [T::Value; 6]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 6]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 7]>
[src]
type Value = [T::Value; 7]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 7]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 8]>
[src]
type Value = [T::Value; 8]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 8]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 9]>
[src]
type Value = [T::Value; 9]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 9]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 10]>
[src]
type Value = [T::Value; 10]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 10]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 11]>
[src]
type Value = [T::Value; 11]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 11]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 12]>
[src]
type Value = [T::Value; 12]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 12]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 13]>
[src]
type Value = [T::Value; 13]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 13]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 14]>
[src]
type Value = [T::Value; 14]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 14]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 15]>
[src]
type Value = [T::Value; 15]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 15]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 16]>
[src]
type Value = [T::Value; 16]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 16]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 17]>
[src]
type Value = [T::Value; 17]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 17]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 18]>
[src]
type Value = [T::Value; 18]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 18]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 19]>
[src]
type Value = [T::Value; 19]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 19]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 20]>
[src]
type Value = [T::Value; 20]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 20]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 21]>
[src]
type Value = [T::Value; 21]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 21]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 22]>
[src]
type Value = [T::Value; 22]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 22]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 23]>
[src]
type Value = [T::Value; 23]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 23]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 24]>
[src]
type Value = [T::Value; 24]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 24]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 25]>
[src]
type Value = [T::Value; 25]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 25]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 26]>
[src]
type Value = [T::Value; 26]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 26]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 27]>
[src]
type Value = [T::Value; 27]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 27]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 28]>
[src]
type Value = [T::Value; 28]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 28]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 29]>
[src]
type Value = [T::Value; 29]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 29]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 30]>
[src]
type Value = [T::Value; 30]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 30]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 31]>
[src]
type Value = [T::Value; 31]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 31]
[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<T: ValueTree> ValueTree for ArrayValueTree<[T; 32]>
[src]
type Value = [T::Value; 32]
The type of the value produced by this ValueTree
.
fn current(&self) -> [T::Value; 32]
[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