Struct proptest::array::ArrayValueTree
source · [−]pub struct ArrayValueTree<T> { /* private fields */ }
Expand description
A ValueTree
operating over a fixed-size array.
Trait Implementations
sourceimpl<T: Clone> Clone for ArrayValueTree<T>
impl<T: Clone> Clone for ArrayValueTree<T>
sourcefn clone(&self) -> ArrayValueTree<T>
fn clone(&self) -> ArrayValueTree<T>
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
sourceimpl<T: Debug> Debug for ArrayValueTree<T>
impl<T: Debug> Debug for ArrayValueTree<T>
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 1]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 1]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 10]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 10]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 11]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 11]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 12]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 12]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 13]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 13]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 14]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 14]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 15]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 15]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 16]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 16]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 17]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 17]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 18]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 18]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 19]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 19]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 2]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 2]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 20]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 20]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 21]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 21]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 22]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 22]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 23]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 23]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 24]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 24]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 25]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 25]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 26]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 26]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 27]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 27]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 28]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 28]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 29]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 29]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 3]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 3]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 30]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 30]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 31]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 31]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 32]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 32]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 4]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 4]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 5]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 5]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 6]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 6]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 7]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 7]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 8]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 8]>
sourcefn 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
sourcefn 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
sourceimpl<T: ValueTree> ValueTree for ArrayValueTree<[T; 9]>
impl<T: ValueTree> ValueTree for ArrayValueTree<[T; 9]>
sourcefn 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
sourcefn 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
impl<T: Copy> Copy for ArrayValueTree<T>
Auto Trait Implementations
impl<T> RefUnwindSafe for ArrayValueTree<T> where
T: RefUnwindSafe,
impl<T> Send for ArrayValueTree<T> where
T: Send,
impl<T> Sync for ArrayValueTree<T> where
T: Sync,
impl<T> Unpin for ArrayValueTree<T> where
T: Unpin,
impl<T> UnwindSafe for ArrayValueTree<T> where
T: UnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more