Struct suppositions::Property

pub struct Property<G> { /* fields omitted */ }

This represents a configuration for a particular test, ie: a set of generators and a (currently fixed) set of test parameters.

Methods

impl<G: Generator> Property<G> where
    G::Item: Debug, 

fn check<R: CheckResult + Debug, F: Fn(G::Item) -> R>(self, subject: F)

Use this function to sepecify the thing you wish to check. Because we include the debug representation of the input and the output within the