Struct PredicateF 

pub struct PredicateF;

Type constructor for predicates: Of<A> = Box<dyn Fn(A) -> bool>.

Trait Implementations

impl Conclude for PredicateF

fn conclude<A>(_f: impl Fn(A) -> Infallible + 'static) -> Box<dyn Fn(A) -> bool>

where A: 'static,

impl Contravariant for PredicateF

Available on crate features alloc or std only.

fn contramap<A, B>( fa: <PredicateF as HKT>::Of<A>, f: impl Fn(B) -> A + 'static, ) -> <PredicateF as HKT>::Of<B>

where A: 'static,

impl Decide for PredicateF

fn choose<A, B, C>( f: impl Fn(C) -> Result<A, B> + 'static, fa: Box<dyn Fn(A) -> bool>, fb: Box<dyn Fn(B) -> bool>, ) -> Box<dyn Fn(C) -> bool>

where A: 'static, B: 'static, C: 'static,

impl Divide for PredicateF

fn divide<A, B, C>( f: impl Fn(C) -> (A, B) + 'static, fa: Box<dyn Fn(A) -> bool>, fb: Box<dyn Fn(B) -> bool>, ) -> Box<dyn Fn(C) -> bool>

where A: 'static, B: 'static, C: 'static,

impl Divisible for PredicateF

fn conquer<A>() -> Box<dyn Fn(A) -> bool>

where A: 'static,

impl HKT for PredicateF

Available on crate features alloc or std only.

type Of<T> = Box<dyn Fn(T) -> bool>