Trait Map 

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

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

Required Associated Types

type O: DeepView<V = Self::Output>

Required Methods

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

ensures

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

Implementors

impl<I, O, Exec, Spec> Map<I> for FnMap<I, O, Exec, Spec>

where I: DeepView, O: DeepView, Exec: Fn(I) -> O, Spec: SpecMap<Input = I::V, Output = O::V>,

type O = O