Trait agnes::partial::PartialMap

pub trait PartialMap<F> {
    type Output;
    fn map(&self, f: &mut F) -> Self::Output;
}

Trait for applying a partially-implemented function Func to a cons-list.

Associated Types

type Output

The output of the function, constructed into a cons-list of function results.

Loading content...

Required methods

fn map(&self, f: &mut F) -> Self::Output

Apply the function F to the value in this element of a cons-list, and recurse.

Loading content...

Implementors

impl<'a, F> PartialMap<F> for Nil

type Output = Nil

fn map(&self, _f: &mut F) -> Nil

impl<'a, Label, DType, DI, Fun, Tail, F> PartialMap<F> for StorageCapabilitiesCons<Label, DType, DI, Fun, Implemented, Tail> where
    Tail: PartialMap<F>,
    F: Func<DType>,
    DI: DataIndex<DType = DType>, 

type Output = FieldPayloadCons<Label, DType, F::Output, Tail::Output>

fn map(&self, f: &mut F) -> Self::Output

impl<'a, Label, DType, DI, Fun, Tail, F> PartialMap<F> for StorageCapabilitiesCons<Label, DType, DI, Fun, Unimplemented, Tail> where
    Tail: PartialMap<F>,
    DI: DataIndex<DType = DType>,
    F: FuncDefault, 

type Output = FieldPayloadCons<Label, DType, F::Output, Tail::Output>

fn map(&self, f: &mut F) -> Self::Output

Loading content...