Trait agnes::view::FieldList

pub trait FieldList<LabelList, Frames> {
    type Output;
    fn field_list(frames: &Frames) -> Self::Output;
}

Trait for finding a cons-list of fields (implementing DataIndex) from frames list Frames using the LabelList list of labels. LabelList should consist of labels that exist within Self (this trait is implemented by label lookup lists).

Associated Types

type Output

Resultant cons-list of fields.

Loading content...

Required methods

fn field_list(frames: &Frames) -> Self::Output

Returns the cons-list of fields from the frames list frames.

Loading content...

Implementors

impl<LabelList, Frames> FieldList<LabelList, Frames> for Nil

type Output = Nil

fn field_list(_frames: &Frames) -> Nil

impl<LabelList, Frames, Label, FrameIndex, FrameLabel, Tail> FieldList<LabelList, Frames> for FrameLookupCons<Label, FrameIndex, FrameLabel, Tail> where
    LabelList: Member<Label>,
    Self: FieldListPred<LabelList, Frames, <LabelList as Member<Label>>::IsMember>, 

type Output = Self::Output

fn field_list(frames: &Frames) -> Self::Output

Loading content...