Struct un_algebra::tests::strategy::TupleUnionValueTree

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

ValueTree type produced by TupleUnion.

Trait Implementations

impl<T> Debug for TupleUnionValueTree<T> where
    T: Debug, 

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

Formats the value using the given formatter.

impl<T> Clone for TupleUnionValueTree<T> where
    T: Clone, 

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<A, B> ValueTree for TupleUnionValueTree<(A, Option<B>)> where
    A: ValueTree,
    B: ValueTree<Value = <A as ValueTree>::Value>, 

type Value = <A as ValueTree>::Value

The type of the value produced by this ValueTree.

fn current(&self) -> <TupleUnionValueTree<(A, Option<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, D, E, F, G> ValueTree for TupleUnionValueTree<(A, Option<B>, Option<C>, Option<D>, Option<E>, Option<F>, Option<G>)> where
    A: ValueTree,
    B: ValueTree<Value = <A as ValueTree>::Value>,
    C: ValueTree<Value = <A as ValueTree>::Value>,
    D: ValueTree<Value = <A as ValueTree>::Value>,
    E: ValueTree<Value = <A as ValueTree>::Value>,
    F: ValueTree<Value = <A as ValueTree>::Value>,
    G: ValueTree<Value = <A as ValueTree>::Value>, 

type Value = <A as ValueTree>::Value

The type of the value produced by this ValueTree.

fn current(
    &self
) -> <TupleUnionValueTree<(A, Option<B>, Option<C>, Option<D>, Option<E>, Option<F>, Option<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> ValueTree for TupleUnionValueTree<(A, Option<B>, Option<C>)> where
    A: ValueTree,
    B: ValueTree<Value = <A as ValueTree>::Value>,
    C: ValueTree<Value = <A as ValueTree>::Value>, 

type Value = <A as ValueTree>::Value

The type of the value produced by this ValueTree.

fn current(
    &self
) -> <TupleUnionValueTree<(A, Option<B>, Option<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> ValueTree for TupleUnionValueTree<(A, Option<B>, Option<C>, Option<D>, Option<E>, Option<F>, Option<G>, Option<H>)> where
    A: ValueTree,
    B: ValueTree<Value = <A as ValueTree>::Value>,
    C: ValueTree<Value = <A as ValueTree>::Value>,
    D: ValueTree<Value = <A as ValueTree>::Value>,
    E: ValueTree<Value = <A as ValueTree>::Value>,
    F: ValueTree<Value = <A as ValueTree>::Value>,
    G: ValueTree<Value = <A as ValueTree>::Value>,
    H: ValueTree<Value = <A as ValueTree>::Value>, 

type Value = <A as ValueTree>::Value

The type of the value produced by this ValueTree.

fn current(
    &self
) -> <TupleUnionValueTree<(A, Option<B>, Option<C>, Option<D>, Option<E>, Option<F>, Option<G>, Option<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> ValueTree for TupleUnionValueTree<(A, Option<B>, Option<C>, Option<D>, Option<E>)> where
    A: ValueTree,
    B: ValueTree<Value = <A as ValueTree>::Value>,
    C: ValueTree<Value = <A as ValueTree>::Value>,
    D: ValueTree<Value = <A as ValueTree>::Value>,
    E: ValueTree<Value = <A as ValueTree>::Value>, 

type Value = <A as ValueTree>::Value

The type of the value produced by this ValueTree.

fn current(
    &self
) -> <TupleUnionValueTree<(A, Option<B>, Option<C>, Option<D>, Option<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 TupleUnionValueTree<(A, Option<B>, Option<C>, Option<D>, Option<E>, Option<F>)> where
    A: ValueTree,
    B: ValueTree<Value = <A as ValueTree>::Value>,
    C: ValueTree<Value = <A as ValueTree>::Value>,
    D: ValueTree<Value = <A as ValueTree>::Value>,
    E: ValueTree<Value = <A as ValueTree>::Value>,
    F: ValueTree<Value = <A as ValueTree>::Value>, 

type Value = <A as ValueTree>::Value

The type of the value produced by this ValueTree.

fn current(
    &self
) -> <TupleUnionValueTree<(A, Option<B>, Option<C>, Option<D>, Option<E>, Option<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> ValueTree for TupleUnionValueTree<(A, Option<B>, Option<C>, Option<D>)> where
    A: ValueTree,
    B: ValueTree<Value = <A as ValueTree>::Value>,
    C: ValueTree<Value = <A as ValueTree>::Value>,
    D: ValueTree<Value = <A as ValueTree>::Value>, 

type Value = <A as ValueTree>::Value

The type of the value produced by this ValueTree.

fn current(
    &self
) -> <TupleUnionValueTree<(A, Option<B>, Option<C>, Option<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, H, I> ValueTree for TupleUnionValueTree<(A, Option<B>, Option<C>, Option<D>, Option<E>, Option<F>, Option<G>, Option<H>, Option<I>)> where
    A: ValueTree,
    B: ValueTree<Value = <A as ValueTree>::Value>,
    C: ValueTree<Value = <A as ValueTree>::Value>,
    D: ValueTree<Value = <A as ValueTree>::Value>,
    E: ValueTree<Value = <A as ValueTree>::Value>,
    F: ValueTree<Value = <A as ValueTree>::Value>,
    G: ValueTree<Value = <A as ValueTree>::Value>,
    H: ValueTree<Value = <A as ValueTree>::Value>,
    I: ValueTree<Value = <A as ValueTree>::Value>, 

type Value = <A as ValueTree>::Value

The type of the value produced by this ValueTree.

fn current(
    &self
) -> <TupleUnionValueTree<(A, Option<B>, Option<C>, Option<D>, Option<E>, Option<F>, Option<G>, Option<H>, Option<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 TupleUnionValueTree<(A, Option<B>, Option<C>, Option<D>, Option<E>, Option<F>, Option<G>, Option<H>, Option<I>, Option<J>)> where
    A: ValueTree,
    B: ValueTree<Value = <A as ValueTree>::Value>,
    C: ValueTree<Value = <A as ValueTree>::Value>,
    D: ValueTree<Value = <A as ValueTree>::Value>,
    E: ValueTree<Value = <A as ValueTree>::Value>,
    F: ValueTree<Value = <A as ValueTree>::Value>,
    G: ValueTree<Value = <A as ValueTree>::Value>,
    H: ValueTree<Value = <A as ValueTree>::Value>,
    I: ValueTree<Value = <A as ValueTree>::Value>,
    J: ValueTree<Value = <A as ValueTree>::Value>, 

type Value = <A as ValueTree>::Value

The type of the value produced by this ValueTree.

fn current(
    &self
) -> <TupleUnionValueTree<(A, Option<B>, Option<C>, Option<D>, Option<E>, Option<F>, Option<G>, Option<H>, Option<I>, Option<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<T> Copy for TupleUnionValueTree<T> where
    T: Copy,