Type Definition agnes::label::LMCons

type LMCons<L, M, T> = LVCons<L, PhantomData<M>, T>;

Label-marker cons-list

Trait Implementations

impl<RLabel, RFrameIndex, RFrameLabel, RTail, FrameIndexOffset> UpdateFrameIndexMarker<FrameIndexOffset> for LMCons<RLabel, FrameDetailMarkers<RFrameIndex, RFrameLabel>, RTail> where
    RFrameIndex: Offset<FrameIndexOffset>,
    RTail: UpdateFrameIndexMarker<FrameIndexOffset>, 

type Output = LMCons<RLabel, FrameDetailMarkers<<RFrameIndex as Offset<FrameIndexOffset>>::Output, RFrameLabel>, <RTail as UpdateFrameIndexMarker<FrameIndexOffset>>::Output>

FrameLookupCons after updating frame index by FrameIndexOffset.

impl<Label, FrameIndex, FrameLabel, Tail> FrameIndexList for LMCons<Label, FrameDetailMarkers<FrameIndex, FrameLabel>, Tail> where
    Tail: FrameIndexList, 

type LabelList = LCons<FrameIndex, <Tail as FrameIndexList>::LabelList>

The associated LabelCons for this type.

impl<TargetLabel, NewLabel, Label, FrameIndex, FrameLabel, Tail> Relabel<TargetLabel, NewLabel> for LMCons<Label, FrameDetailMarkers<FrameIndex, FrameLabel>, Tail> where
    TargetLabel: LabelEq<Label>,
    LMCons<Label, FrameDetailMarkers<FrameIndex, FrameLabel>, Tail>: RelabelMatch<TargetLabel, NewLabel, <TargetLabel as LabelEq<Label>>::Eq>, 

type Output = <LMCons<Label, FrameDetailMarkers<FrameIndex, FrameLabel>, Tail> as RelabelMatch<TargetLabel, NewLabel, <TargetLabel as LabelEq<Label>>::Eq>>::Output

The output type after relabeling TargetLabel to NewLabel.

impl<TargetLabel, NewLabel, Label, FrameIndex, FrameLabel, Tail> RelabelMatch<TargetLabel, NewLabel, B1> for LMCons<Label, FrameDetailMarkers<FrameIndex, FrameLabel>, Tail>

type Output = LMCons<NewLabel, FrameDetailMarkers<FrameIndex, FrameLabel>, Tail>

The output type after relabeling TargetLabel to NewLabel.

impl<TargetLabel, NewLabel, Label, FrameIndex, FrameLabel, Tail> RelabelMatch<TargetLabel, NewLabel, B0> for LMCons<Label, FrameDetailMarkers<FrameIndex, FrameLabel>, Tail> where
    Tail: Relabel<TargetLabel, NewLabel>, 

type Output = LMCons<Label, FrameDetailMarkers<FrameIndex, FrameLabel>, <Tail as Relabel<TargetLabel, NewLabel>>::Output>

The output type after relabeling TargetLabel to NewLabel.

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

type Output = Self::Output

Resultant cons-list of fields.

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

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

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

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

The output field list.

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

Returns the cons-list of fields from frames.

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

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

The output field list.

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

Returns the cons-list of fields from frames.

impl<Frames, Label, FrameIndex, FrameLabel, Tail> SerializeViewField<Frames> for LMCons<Label, FrameDetailMarkers<FrameIndex, FrameLabel>, Tail> where
    Frames: SelectFieldFromLabels<Self, Label>,
    <Frames as SelectFieldFromLabels<Self, Label>>::Output: Serialize,
    Label: LabelName,
    Tail: SerializeViewField<Frames>, 

fn serialize_view_field<M>(frames: &Frames, map: M) -> Result<M::Ok, M::Error> where
    M: SerializeMap, 

Serialize this single field using data from frames, and adding to map SerializeMap.