Enum prop_check_rs::prop::PropResult

pub enum PropResult {
    Passed {
        test_cases: TestCases,
    },
    Falsified {
        failure: FailedCase,
        successes: SuccessCount,
    },
    Proved,
}

Variants

Passed

Fields

test_cases: TestCases

Falsified

Fields

failure: FailedCase

successes: SuccessCount

Proved

Implementations

impl PropResult

pub fn map<F>(self, f: F) -> PropResultwhere
F: FnOnce(u32) -> u32,

pub fn flat_map<F>(self, f: F) -> PropResultwhere
F: FnOnce(Option<u32>) -> PropResult,

pub fn to_result(self) -> Result<String>

pub fn to_result_unit(self) -> Result<()>

pub fn message(&self) -> String

Trait Implementations

impl Clone for PropResult

fn clone(&self) -> PropResult

Returns a copy of the value.

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

Performs copy-assignment from source.

impl IsFalsified for PropResult

fn is_falsified(&self) -> bool

fn non_falsified(&self) -> bool