Trait diagnostics_assertions::PropertyAssertion

pub trait PropertyAssertion<K = String> {
    // Required method
    fn run(&self, actual: &Property<K>) -> Result<(), Error>;
}

Trait implemented by types that can act as properies for assertion.

Required Methods

fn run(&self, actual: &Property<K>) -> Result<(), Error>

Check whether |actual| property satisfies criteria. Return Ok if assertion passes and Error if assertion fails.

Implementations on Foreign Types

impl<K> PropertyAssertion<K> for &str

fn run(&self, actual: &Property<K>) -> Result<(), Error>

impl<K> PropertyAssertion<K> for &Regex

fn run(&self, actual: &Property<K>) -> Result<(), Error>

impl<K> PropertyAssertion<K> for bool

fn run(&self, actual: &Property<K>) -> Result<(), Error>

impl<K> PropertyAssertion<K> for f64

fn run(&self, actual: &Property<K>) -> Result<(), Error>

impl<K> PropertyAssertion<K> for i64

fn run(&self, actual: &Property<K>) -> Result<(), Error>

impl<K> PropertyAssertion<K> for u64

fn run(&self, actual: &Property<K>) -> Result<(), Error>

impl<K> PropertyAssertion<K> for ExponentialHistogram<f64>

fn run(&self, actual: &Property<K>) -> Result<(), Error>

impl<K> PropertyAssertion<K> for ExponentialHistogram<i64>

fn run(&self, actual: &Property<K>) -> Result<(), Error>

impl<K> PropertyAssertion<K> for ExponentialHistogram<u64>

fn run(&self, actual: &Property<K>) -> Result<(), Error>

impl<K> PropertyAssertion<K> for LinearHistogram<f64>

fn run(&self, actual: &Property<K>) -> Result<(), Error>

impl<K> PropertyAssertion<K> for LinearHistogram<i64>

fn run(&self, actual: &Property<K>) -> Result<(), Error>

impl<K> PropertyAssertion<K> for LinearHistogram<u64>

fn run(&self, actual: &Property<K>) -> Result<(), Error>

impl<K> PropertyAssertion<K> for String

fn run(&self, actual: &Property<K>) -> Result<(), Error>

impl<K> PropertyAssertion<K> for Vec<&str>

fn run(&self, actual: &Property<K>) -> Result<(), Error>

impl<K> PropertyAssertion<K> for Vec<f64>

Asserts plain numeric arrays

fn run(&self, actual: &Property<K>) -> Result<(), Error>

impl<K> PropertyAssertion<K> for Vec<i64>

Asserts plain numeric arrays

fn run(&self, actual: &Property<K>) -> Result<(), Error>

impl<K> PropertyAssertion<K> for Vec<u8>

fn run(&self, actual: &Property<K>) -> Result<(), Error>

impl<K> PropertyAssertion<K> for Vec<u64>

Asserts plain numeric arrays

fn run(&self, actual: &Property<K>) -> Result<(), Error>

impl<K> PropertyAssertion<K> for Vec<String>

fn run(&self, actual: &Property<K>) -> Result<(), Error>

impl<K> PropertyAssertion<K> for Regex

A PropertyAssertion that passes for any String containing a matching for the given regular expression.

fn run(&self, actual: &Property<K>) -> Result<(), Error>

Implementors

impl<K> PropertyAssertion<K> for AnyBoolProperty

impl<K> PropertyAssertion<K> for AnyBytesProperty

impl<K> PropertyAssertion<K> for AnyDoubleProperty

impl<K> PropertyAssertion<K> for AnyIntProperty

impl<K> PropertyAssertion<K> for AnyNumericProperty

impl<K> PropertyAssertion<K> for AnyProperty

impl<K> PropertyAssertion<K> for AnyStringProperty

impl<K> PropertyAssertion<K> for AnyUintProperty

impl<K> PropertyAssertion<K> for HistogramAssertion<f64>

Asserts a histogram.

impl<K> PropertyAssertion<K> for HistogramAssertion<i64>

Asserts a histogram.

impl<K> PropertyAssertion<K> for HistogramAssertion<u64>

Asserts a histogram.

impl<K> PropertyAssertion<K> for NonZeroIntProperty

impl<K> PropertyAssertion<K> for NonZeroUintProperty