Trait agnes::partial::DeriveCapabilities

pub trait DeriveCapabilities<F> {
    type Output: PartialMap<F>;
    fn derive(self) -> Self::Output;
}

Trait that augments a DataIndexCons (a cons-list of field access structs) with partial-function capability information as specified by IsImplemented definitions.

Associated Types

type Output: PartialMap<F>

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

Loading content...

Required methods

fn derive(self) -> Self::Output

Derive the capabilities of this cons-list.

Loading content...

Implementors

impl<F> DeriveCapabilities<F> for Nil

type Output = Nil

fn derive(self) -> Nil

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>

fn derive(self) -> Self::Output

Loading content...