Trait agnes::view::FieldListPred

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

Helper trait for (FieldList). IsMember is whether or not the head of Self is a member of the list LabelList.

Associated Types

type Output

The output field list.

Loading content...

Required methods

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

Returns the cons-list of fields from frames.

Loading content...

Implementors

impl<LabelList, Frames, Label, FrameIndex, FrameLabel, Tail> FieldListPred<LabelList, Frames, B0> for FrameLookupCons<Label, FrameIndex, FrameLabel, Tail> where
    Tail: FieldList<LabelList, Frames>, 

type Output = <Tail as FieldList<LabelList, Frames>>::Output

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

impl<LabelList, Frames, Label, FrameIndex, FrameLabel, Tail> FieldListPred<LabelList, Frames, B1> for FrameLookupCons<Label, FrameIndex, FrameLabel, Tail> where
    Frames: SelectFieldFromLabels<Self, Label>,
    Tail: FieldList<LabelList, Frames>, 

type Output = Cons<<Frames as SelectFieldFromLabels<FrameLookupCons<Label, FrameIndex, FrameLabel, Tail>, Label>>::Output, <Tail as FieldList<LabelList, Frames>>::Output>

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

Loading content...