Struct diem_parallel_executor::proptest_types::types::TransactionGen

pub struct TransactionGen<V: Arbitrary + Debug + 'static + Clone> { /* private fields */ }

Implementations

impl<V: Arbitrary + Debug + Clone> TransactionGen<V>

pub fn materialize<K: Clone + Eq + Ord>( self, universe: &[K] ) -> Transaction<K, V>

Trait Implementations

impl<V: Arbitrary + Debug + 'static + Clone + Debug> Arbitrary for TransactionGen<V>

type Parameters = TransactionGenParams

The type of parameters that arbitrary_with accepts for configuration of the generated Strategy. Parameters must implement Default.

type Strategy = Map<(BoxedStrategy<Vec<(Index, Option<V>), Global>>, BoxedStrategy<Vec<Index, Global>>), fn(_: (Vec<(Index, Option<V>), Global>, Vec<Index, Global>)) -> TransactionGen<V>>

The type of Strategy used to generate values of type Self.

fn arbitrary_with(_top: Self::Parameters) -> Self::Strategy

Generates a Strategy for producing arbitrary values of type the implementing type (Self). The strategy is passed the arguments given in args.

fn arbitrary() -> Self::Strategy

Generates a Strategy for producing arbitrary values of type the implementing type (Self).

impl<V: Clone + Arbitrary + Debug + 'static + Clone> Clone for TransactionGen<V>

fn clone(&self) -> TransactionGen<V>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<V: Debug + Arbitrary + Debug + 'static + Clone> Debug for TransactionGen<V>

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

Formats the value using the given formatter.