Struct zebra_test::prelude::prop::tuple::TupleValueTree

pub struct TupleValueTree<T> {
    tree: T,
    shrinker: u32,
    prev_shrinker: Option<u32>,
}

Common ValueTree implementation for all tuple strategies.

Fields

tree: T

shrinker: u32

prev_shrinker: Option<u32>

Implementations

impl<T> TupleValueTree<T>

pub fn new(inner: T) -> TupleValueTree<T>

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 for TupleValueTree<T>

where T: Clone,

fn clone(&self) -> TupleValueTree<T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T> Debug for TupleValueTree<T>

where T: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<A> ValueTree for TupleValueTree<(A,)>

where A: ValueTree,

type Value = (<A as ValueTree>::Value,)

The type of the value produced by this ValueTree.

fn current(&self) -> <TupleValueTree<(A,)> as ValueTree>::Value

Returns the current value.

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.

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.

impl<A, B> ValueTree for TupleValueTree<(A, B)>

where A: ValueTree, B: ValueTree,

type Value = (<A as ValueTree>::Value, <B as ValueTree>::Value)

The type of the value produced by this ValueTree.

fn current(&self) -> <TupleValueTree<(A, B)> as ValueTree>::Value

Returns the current value.

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.

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.

impl<A, B, C> ValueTree for TupleValueTree<(A, B, C)>

where A: ValueTree, B: ValueTree, C: ValueTree,

type Value = (<A as ValueTree>::Value, <B as ValueTree>::Value, <C as ValueTree>::Value)

The type of the value produced by this ValueTree.

fn current(&self) -> <TupleValueTree<(A, B, C)> as ValueTree>::Value

Returns the current value.

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.

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.

impl<A, B, C, D> ValueTree for TupleValueTree<(A, B, C, D)>

where A: ValueTree, B: ValueTree, C: ValueTree, D: ValueTree,

type Value = (<A as ValueTree>::Value, <B as ValueTree>::Value, <C as ValueTree>::Value, <D as ValueTree>::Value)

The type of the value produced by this ValueTree.

fn current(&self) -> <TupleValueTree<(A, B, C, D)> as ValueTree>::Value

Returns the current value.

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.

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.

impl<A, B, C, D, E> ValueTree for TupleValueTree<(A, B, C, D, E)>

where A: ValueTree, B: ValueTree, C: ValueTree, D: ValueTree, E: ValueTree,

type Value = (<A as ValueTree>::Value, <B as ValueTree>::Value, <C as ValueTree>::Value, <D as ValueTree>::Value, <E as ValueTree>::Value)

The type of the value produced by this ValueTree.

fn current(&self) -> <TupleValueTree<(A, B, C, D, E)> as ValueTree>::Value

Returns the current value.

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.

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.

impl<A, B, C, D, E, F> ValueTree for TupleValueTree<(A, B, C, D, E, F)>

where A: ValueTree, B: ValueTree, C: ValueTree, D: ValueTree, E: ValueTree, F: ValueTree,

type Value = (<A as ValueTree>::Value, <B as ValueTree>::Value, <C as ValueTree>::Value, <D as ValueTree>::Value, <E as ValueTree>::Value, <F as ValueTree>::Value)

The type of the value produced by this ValueTree.

fn current(&self) -> <TupleValueTree<(A, B, C, D, E, F)> as ValueTree>::Value

Returns the current value.

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.

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.

impl<A, B, C, D, E, F, G> ValueTree for TupleValueTree<(A, B, C, D, E, F, G)>

where A: ValueTree, B: ValueTree, C: ValueTree, D: ValueTree, E: ValueTree, F: ValueTree, G: ValueTree,

type Value = (<A as ValueTree>::Value, <B as ValueTree>::Value, <C as ValueTree>::Value, <D as ValueTree>::Value, <E as ValueTree>::Value, <F as ValueTree>::Value, <G as ValueTree>::Value)

The type of the value produced by this ValueTree.

fn current(&self) -> <TupleValueTree<(A, B, C, D, E, F, G)> as ValueTree>::Value

Returns the current value.

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.

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.

impl<A, B, C, D, E, F, G, H> ValueTree for TupleValueTree<(A, B, C, D, E, F, G, H)>

where A: ValueTree, B: ValueTree, C: ValueTree, D: ValueTree, E: ValueTree, F: ValueTree, G: ValueTree, H: ValueTree,

type Value = (<A as ValueTree>::Value, <B as ValueTree>::Value, <C as ValueTree>::Value, <D as ValueTree>::Value, <E as ValueTree>::Value, <F as ValueTree>::Value, <G as ValueTree>::Value, <H as ValueTree>::Value)

The type of the value produced by this ValueTree.

fn current( &self, ) -> <TupleValueTree<(A, B, C, D, E, F, G, H)> as ValueTree>::Value

Returns the current value.

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.

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.

impl<A, B, C, D, E, F, G, H, I> ValueTree for TupleValueTree<(A, B, C, D, E, F, G, H, I)>

where A: ValueTree, B: ValueTree, C: ValueTree, D: ValueTree, E: ValueTree, F: ValueTree, G: ValueTree, H: ValueTree, I: ValueTree,

type Value = (<A as ValueTree>::Value, <B as ValueTree>::Value, <C as ValueTree>::Value, <D as ValueTree>::Value, <E as ValueTree>::Value, <F as ValueTree>::Value, <G as ValueTree>::Value, <H as ValueTree>::Value, <I as ValueTree>::Value)

The type of the value produced by this ValueTree.

fn current( &self, ) -> <TupleValueTree<(A, B, C, D, E, F, G, H, I)> as ValueTree>::Value

Returns the current value.

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.

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.

impl<A, B, C, D, E, F, G, H, I, J> ValueTree for TupleValueTree<(A, B, C, D, E, F, G, H, I, J)>

where A: ValueTree, B: ValueTree, C: ValueTree, D: ValueTree, E: ValueTree, F: ValueTree, G: ValueTree, H: ValueTree, I: ValueTree, J: ValueTree,

type Value = (<A as ValueTree>::Value, <B as ValueTree>::Value, <C as ValueTree>::Value, <D as ValueTree>::Value, <E as ValueTree>::Value, <F as ValueTree>::Value, <G as ValueTree>::Value, <H as ValueTree>::Value, <I as ValueTree>::Value, <J as ValueTree>::Value)

The type of the value produced by this ValueTree.

fn current( &self, ) -> <TupleValueTree<(A, B, C, D, E, F, G, H, I, J)> as ValueTree>::Value

Returns the current value.

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.

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.

impl<A, B, C, D, E, F, G, H, I, J, K> ValueTree for TupleValueTree<(A, B, C, D, E, F, G, H, I, J, K)>

where A: ValueTree, B: ValueTree, C: ValueTree, D: ValueTree, E: ValueTree, F: ValueTree, G: ValueTree, H: ValueTree, I: ValueTree, J: ValueTree, K: ValueTree,

type Value = (<A as ValueTree>::Value, <B as ValueTree>::Value, <C as ValueTree>::Value, <D as ValueTree>::Value, <E as ValueTree>::Value, <F as ValueTree>::Value, <G as ValueTree>::Value, <H as ValueTree>::Value, <I as ValueTree>::Value, <J as ValueTree>::Value, <K as ValueTree>::Value)

The type of the value produced by this ValueTree.

fn current( &self, ) -> <TupleValueTree<(A, B, C, D, E, F, G, H, I, J, K)> as ValueTree>::Value

Returns the current value.

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.

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.

impl<A, B, C, D, E, F, G, H, I, J, K, L> ValueTree for TupleValueTree<(A, B, C, D, E, F, G, H, I, J, K, L)>

where A: ValueTree, B: ValueTree, C: ValueTree, D: ValueTree, E: ValueTree, F: ValueTree, G: ValueTree, H: ValueTree, I: ValueTree, J: ValueTree, K: ValueTree, L: ValueTree,

type Value = (<A as ValueTree>::Value, <B as ValueTree>::Value, <C as ValueTree>::Value, <D as ValueTree>::Value, <E as ValueTree>::Value, <F as ValueTree>::Value, <G as ValueTree>::Value, <H as ValueTree>::Value, <I as ValueTree>::Value, <J as ValueTree>::Value, <K as ValueTree>::Value, <L as ValueTree>::Value)

The type of the value produced by this ValueTree.

fn current( &self, ) -> <TupleValueTree<(A, B, C, D, E, F, G, H, I, J, K, L)> as ValueTree>::Value

Returns the current value.

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.

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.

impl<T> Copy for TupleValueTree<T>

where T: Copy,