Trait proptest_recurse::StrategyExt

pub trait StrategyExt: Strategy {
    fn prop_mutually_recursive<F>(
        self, 
        depth: u32, 
        desired_size: u32, 
        expected_branch_size: u32, 
        set: &StrategySet, 
        recurse: F
    ) -> SBoxedStrategy<Self::Value>
    where
        Self::Value: Any,
        F: Fn(&mut StrategySet) -> SBoxedStrategy<Self::Value> + Send + Sync + 'static;
}

Extension methods for strategies.

Required methods

fn prop_mutually_recursive<F>(
    self,
    depth: u32,
    desired_size: u32,
    expected_branch_size: u32,
    set: &StrategySet,
    recurse: F
) -> SBoxedStrategy<Self::Value> where
    Self::Value: Any,
    F: Fn(&mut StrategySet) -> SBoxedStrategy<Self::Value> + Send + Sync + 'static, 

A variant of prop_recursive for mutually recursive strategies. Instead of taking a single strategy, the branch function takes a set of strategies of various nesting depths. Note that the parameters depth, desired_size, and expected_branch_size apply only to values from this strategy.

Loading content...

Implementors

impl<T: Strategy + Send + Sync + 'static> StrategyExt for T

fn prop_mutually_recursive<F>(
    self,
    depth: u32,
    desired_size: u32,
    expected_branch_size: u32,
    set: &StrategySet,
    branch: F
) -> SBoxedStrategy<Self::Value> where
    Self::Value: Any,
    F: Fn(&mut StrategySet) -> SBoxedStrategy<Self::Value> + Send + Sync + 'static, 

Loading content...