Trait MapRef 

pub trait MapRef<I>: SpecMap<Output = Self::O>
where
    I: DeepView<V = Self::Input>,
{
    type O;

    // Required method
    exec fn map(&self, i: &I) -> o : Self::O;
}

Required Associated Types

type O

Required Methods

exec fn map(&self, i: &I) -> o : Self::O

ensures

self.spec_map(i.deep_view()) == o,

Implementors