[−][src]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>,
[src]
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
. Read more