Struct FnPred 

pub struct FnPred<A, F>(/* private fields */)
where
    F: Fn(&A) -> bool;

A function-based decidable predicate.

Implementations

impl<A, F: Fn(&A) -> bool> FnPred<A, F>

pub fn new(f: F) -> Self

Wrap a closure as a decidable predicate.

Trait Implementations

impl<A: Clone, F> Clone for FnPred<A, F>

where F: Fn(&A) -> bool + Clone,

fn clone(&self) -> FnPred<A, F>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<A, F: Fn(&A) -> bool> DecidablePred<A> for FnPred<A, F>

fn decide_pred(&self, a: &A) -> Decision<()>

Decide whether the predicate holds for a.

fn filter_slice<'a>(&self, xs: &'a [A]) -> Vec<&'a A>

Filter a slice, keeping elements satisfying the predicate.

fn any_slice(&self, xs: &[A]) -> bool

Check whether any element of a slice satisfies the predicate.

fn all_slice(&self, xs: &[A]) -> bool

Check whether all elements of a slice satisfy the predicate.

fn count_slice(&self, xs: &[A]) -> usize

Count elements of a slice satisfying the predicate.