Trait predicates::Predicate

pub trait Predicate<Item>: PredicateReflectionwhere
    Item: ?Sized,{
    fn eval(&self, variable: &Item) -> bool;

    fn find_case<'a>(
        &'a self,
        expected: bool,
        variable: &Item
    ) -> Option<Case<'a>> { ... }
}

Trait for generically evaluating a type against a dynamically created predicate function.

The exact meaning of eval depends on the situation, but will usually mean that the evaluated item is in some sort of pre-defined set. This is different from Ord and Eq in that an item will almost never be the same type as the implementing Predicate type.

Required Methods

fn eval(&self, variable: &Item) -> bool

Execute this Predicate against variable, returning the resulting boolean.

Provided Methods

fn find_case<'a>(&'a self, expected: bool, variable: &Item) -> Option<Case<'a>>

Find a case that proves this predicate as expected when run against variable.

Implementors

impl Predicate<f64> for IsClosePredicate

impl Predicate<str> for StrFilePredicate

impl Predicate<str> for ContainsPredicate

impl Predicate<str> for DifferencePredicate

impl Predicate<str> for EndsWithPredicate

impl Predicate<str> for IsEmptyPredicate

impl Predicate<str> for MatchesPredicate

impl Predicate<str> for RegexPredicate

impl Predicate<str> for StartsWithPredicate

impl Predicate<Path> for BinaryFilePredicate

impl Predicate<Path> for ExistencePredicate

impl Predicate<Path> for FileTypePredicate

impl Predicate<Path> for StrFilePredicate

impl Predicate<[u8]> for BinaryFilePredicate

impl<F, T> Predicate<T> for FnPredicate<F, T>where
    F: Fn(&T) -> bool,
    T: ?Sized,

impl<Item> Predicate<Item> for BoxPredicate<Item>where
    Item: ?Sized,

impl<Item: ?Sized> Predicate<Item> for BooleanPredicate

impl<M1, M2, Item> Predicate<Item> for AndPredicate<M1, M2, Item>where
    M1: Predicate<Item>,
    M2: Predicate<Item>,
    Item: ?Sized,

impl<M1, M2, Item> Predicate<Item> for OrPredicate<M1, M2, Item>where
    M1: Predicate<Item>,
    M2: Predicate<Item>,
    Item: ?Sized,

impl<M, Item> Predicate<Item> for NotPredicate<M, Item>where
    M: Predicate<Item>,
    Item: ?Sized,

impl<M, Item> Predicate<Item> for NamePredicate<M, Item>where
    M: Predicate<Item>,
    Item: ?Sized,

impl<P> Predicate<str> for NormalizedPredicate<P>where
    P: Predicate<str>,

impl<P> Predicate<str> for TrimPredicate<P>where
    P: Predicate<str>,

impl<P> Predicate<OsStr> for Utf8Predicate<P>where
    P: Predicate<str>,

impl<P> Predicate<Path> for FileContentPredicate<P>where
    P: Predicate<[u8]>,

impl<P> Predicate<[u8]> for Utf8Predicate<P>where
    P: Predicate<str>,

impl<P, T> Predicate<P> for HashableInPredicate<T>where
    T: Borrow<P> + Hash + Eq + Debug,
    P: Hash + Eq + Debug + ?Sized,

impl<P, T> Predicate<P> for InPredicate<T>where
    T: Borrow<P> + PartialEq + Debug,
    P: PartialEq + Debug + ?Sized,

impl<P, T> Predicate<P> for OrdInPredicate<T>where
    T: Borrow<P> + Ord + Debug,
    P: Ord + Debug + ?Sized,

impl<P, T> Predicate<P> for EqPredicate<T>where
    T: Borrow<P> + Debug,
    P: Debug + PartialEq + ?Sized,

impl<P, T> Predicate<P> for OrdPredicate<T>where
    T: Borrow<P> + Debug,
    P: Debug + PartialOrd + ?Sized,