creusot_contracts::std::iter

Trait FilterMapExt

Source 
pub trait FilterMapExt<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> FilterMapExt<I, F> for FilterMap<I, F>