Struct un_algebra::tests::prop::tuple::TupleValueTree

pub struct TupleValueTree<T> { /* fields omitted */ }

Common ValueTree implementation for all tuple strategies.

Methods

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> Debug for TupleValueTree<T> where
    T: Debug, 

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

Formats the value using the given formatter.

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<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> 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> 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, 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> 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, 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> 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, 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> 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<T> Copy for TupleValueTree<T> where
    T: Copy,