Trait smoke::Property

pub trait Property {
    fn result(&self) -> Outcome;

    fn and<O>(self, other: O) -> And<Self, O>
    where
        Self: Sized,
    { ... }
    fn or<O>(self, other: O) -> Or<Self, O>
    where
        Self: Sized,
    { ... }
}

A generic expressible property

Required methods

fn result(&self) -> Outcome

Get the result of this property

Provided methods

fn and<O>(self, other: O) -> And<Self, O> where
    Self: Sized, 

Simple logical And combinator, this property and the next one must pass to pass

fn or<O>(self, other: O) -> Or<Self, O> where
    Self: Sized, 

Simple logical Or combinator, this property or the next one must pass to pass

Implementors

impl<A, B> Property for And<A, B> where
    A: Property,
    B: Property, 

impl<A, B> Property for Or<A, B> where
    A: Property,
    B: Property, 

impl<T: Eq + Debug> Property for RelationEq<T>

impl<T: Ord + Debug> Property for RelationOrd<T>