[][src]Type Definition agnes::partial::StorageCapabilitiesCons

type StorageCapabilitiesCons<Label, DType, DI, Fun, IsImpl, Tail> = LVCons<Label, StorageCapabilities<DType, DI, Fun, IsImpl>, Tail>;

A cons-list of StorageCapabilities structs.

Trait Implementations

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>, 
[src]

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

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

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
[src]

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

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