Struct ProptestTree 

pub struct ProptestTree<VT>(/* private fields */);

Adapts a proptest value tree to the seam’s ValueTree.

Produced by the blanket Strategy impl; rarely named directly.

Trait Implementations

impl<VT, T> ValueTree<T> for ProptestTree<VT>

where VT: ValueTree<Value = T>,

fn current(&self) -> T

The current value.

fn simplify(&mut self) -> bool

Replaces the current value with a simpler one. Returns true if it moved, false if the value is already as simple as the tree can make it.

fn complicate(&mut self) -> bool

Walks back toward the last value that still failed, undoing a simplify that shrank past the failure. Returns true if it moved.