Trait typsy::cmp::Any

pub trait Any<'a, F, TagList = ()> {
    pub fn any(&'a self, f: F) -> bool;
}

Required methods

pub fn any(&'a self, f: F) -> bool

Loading content...

Implementors

impl<'a, F> Any<'a, F, ()> for CoNil

pub fn any(&'a self, _: F) -> bool

impl<'a, F> Any<'a, F, ()> for Nil

pub fn any(&'a self, _: F) -> bool

impl<'a, F, T: 'a> Any<'a, F, ()> for Cons<T, Nil> where
    F: CallOnce<(&'a T,), Output = bool>, 

pub fn any(&'a self, f: F) -> bool

impl<'a, F, T: 'a, N> Any<'a, F, (N, ())> for Cons<T, Nil> where
    F: CallOnce<(&'a T,), N, Output = bool>, 

pub fn any(&'a self, f: F) -> bool

impl<'a, F, T: 'a, R> Any<'a, F, ()> for CoCons<T, R> where
    F: CallOnce<(&'a T,), Output = bool>,
    R: Any<'a, F>, 

pub fn any(&'a self, f: F) -> bool

impl<'a, F, T: 'a, R, N, M> Any<'a, F, (N, M)> for CoCons<T, R> where
    F: CallOnce<(&'a T,), N, Output = bool>,
    R: Any<'a, F, M>, 

pub fn any(&'a self, f: F) -> bool

impl<'a, F, T: 'a, R: NonEmpty> Any<'a, F, ()> for Cons<T, R> where
    F: CallMut<(&'a T,), Output = bool>,
    R: Any<'a, F>, 

pub fn any(&'a self, mut f: F) -> bool

impl<'a, F, T: 'a, R: NonEmpty, N, M> Any<'a, F, (N, M)> for Cons<T, R> where
    F: CallMut<(&'a T,), N, Output = bool>,
    R: Any<'a, F, M>, 

pub fn any(&'a self, mut f: F) -> bool

Loading content...