[−][src]Trait quickcheck::Testable
Testable
describes types (e.g., a function) whose values can be
tested.
Anything that can be tested must be capable of producing a TestResult
given a random number generator. This is trivial for types like bool
,
which are just converted to either a passing or failing test result.
For functions, an implementation must generate random arguments and potentially shrink those arguments if they produce a failure.
It's unlikely that you'll have to implement this trait yourself.
Required methods
fn result<G: Gen>(&self, _: &mut G) -> TestResult
Implementations on Foreign Types
impl Testable for bool
[src]
fn result<G: Gen>(&self, _: &mut G) -> TestResult
[src]
impl Testable for ()
[src]
fn result<G: Gen>(&self, _: &mut G) -> TestResult
[src]
impl<A, E> Testable for Result<A, E> where
A: Testable,
E: Debug + Send + 'static,
[src]
A: Testable,
E: Debug + Send + 'static,