Type Definition agnes::view::DataIndexCons

type DataIndexCons<Label, DType, DI, Tail> = FieldPayloadCons<Label, DType, DI, Tail>;

Type alias for the cons-list of fields implementing DataIndex.

Trait Implementations

impl<Label, DType, DI, Tail, F> DeriveCapabilities<F> for DataIndexCons<Label, DType, DI, Tail> where
    Tail: DeriveCapabilities<F>,
    DI: DataIndex<DType = DType> + SelfValued,
    DType: IsImplemented<F>,
    StorageCapabilitiesCons<Label, DType, DI, F, <DType as IsImplemented<F>>::IsImpl, <Tail as DeriveCapabilities<F>>::Output>: PartialMap<F>, 

type Output = StorageCapabilitiesCons<Label, DType, DI, F, <DType as IsImplemented<F>>::IsImpl, <Tail as DeriveCapabilities<F>>::Output>

The augmented cons-list which implements PartialMap, allowing application of partially-implemented functions to a DataView.

fn derive(self) -> Self::Output

Derive the capabilities of this cons-list.