creusot_contracts::std::iter

Trait FilterExt

Source 
pub trait FilterExt<I, F> {
    // Required methods
    fn iter(self) -> I;
    fn func(self) -> F;
}

Required Methods§

Source

fn iter(self) -> I

logic

Source

fn func(self) -> F

logic

Implementors§

Source§

impl<I, F> FilterExt<I, F> for Filter<I, F>