Trait type_freak::functional::Predicate

pub trait Predicate<Input> where
    Self: Functor<Input>,
    Self::Output: Boolean, { }

A Functor that outputs Boolean.

Implementors

impl<Input> Predicate<Input> for NotPredicate where
    Input: Boolean,
    NotPredicate: Functor<Input>,
    Not<Input>: Boolean, 

impl<Lhs, Rhs> Predicate<Lhs> for AndPredicate<Rhs> where
    Lhs: Boolean,
    Rhs: Boolean,
    AndPredicate<Rhs>: Functor<Lhs>,
    And<Lhs, Rhs>: Boolean, 

impl<Lhs, Rhs> Predicate<Lhs> for IffPredicate<Rhs> where
    Lhs: Boolean,
    Rhs: Boolean,
    IffPredicate<Rhs>: Functor<Lhs>,
    Iff<Lhs, Rhs>: Boolean, 

impl<Lhs, Rhs> Predicate<Lhs> for ImplyPredicate<Rhs> where
    Lhs: Boolean,
    Rhs: Boolean,
    ImplyPredicate<Rhs>: Functor<Lhs>,
    Imply<Lhs, Rhs>: Boolean, 

impl<Lhs, Rhs> Predicate<Lhs> for NotImplyPredicate<Rhs> where
    Lhs: Boolean,
    Rhs: Boolean,
    NotImplyPredicate<Rhs>: Functor<Lhs>,
    NotImply<Lhs, Rhs>: Boolean, 

impl<Lhs, Rhs> Predicate<Lhs> for OrPredicate<Rhs> where
    Lhs: Boolean,
    Rhs: Boolean,
    OrPredicate<Rhs>: Functor<Lhs>,
    Or<Lhs, Rhs>: Boolean, 

impl<Lhs, Rhs> Predicate<Lhs> for XorPredicate<Rhs> where
    Lhs: Boolean,
    Rhs: Boolean,
    XorPredicate<Rhs>: Functor<Lhs>,
    Xor<Lhs, Rhs>: Boolean, 

Loading content...