Trait agnes::view::AssocDataIndexCons

pub trait AssocDataIndexCons<Labels> {
    type Output;
    fn assoc_data(&self) -> Self::Output;
}

Trait for finding the associated DataIndexCons (cons-list of fields) in a type given labels in a labels list.

Associated Types

type Output

Type of associated data index cons-list.

Loading content...

Required methods

fn assoc_data(&self) -> Self::Output

Returns the associated DataIndexCons.

Loading content...

Implementors

impl<Frames> AssocDataIndexCons<Nil> for Frames

type Output = Nil

fn assoc_data(&self) -> Nil

impl<Label, FrameIndex, FrameLabel, LookupTail, Frames> AssocDataIndexCons<Cons<Labeled<Label, PhantomData<FrameDetailMarkers<FrameIndex, FrameLabel>>>, LookupTail>> for Frames where
    Self: SelectFieldFromLabels<FrameLookupCons<Label, FrameIndex, FrameLabel, LookupTail>, Label>,
    Self: AssocDataIndexCons<LookupTail>,
    Self::Output: Typed, 

type Output = DataIndexCons<Label, TypeOf<<Frames as SelectFieldFromLabels<FrameLookupCons<Label, FrameIndex, FrameLabel, LookupTail>, Label>>::Output>, <Frames as SelectFieldFromLabels<FrameLookupCons<Label, FrameIndex, FrameLabel, LookupTail>, Label>>::Output, <Frames as AssocDataIndexCons<LookupTail>>::Output>

fn assoc_data(&self) -> Self::Output

Loading content...