[−][src]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>,
[src]
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,
[src]
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>,
[src]
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>
[src]
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>,
[src]
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>,
[src]
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
[src]
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>,
[src]
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
[src]
impl<LabelList, Frames, Label, FrameIndex, FrameLabel, Tail> FieldListPred<LabelList, Frames, B0> for LMCons<Label, FrameDetailMarkers<FrameIndex, FrameLabel>, Tail> where
Tail: FieldList<LabelList, Frames>,
[src]
Tail: FieldList<LabelList, Frames>,
type Output = <Tail as FieldList<LabelList, Frames>>::Output
The output field list.
fn field_list_pred(frames: &Frames) -> Self::Output
[src]
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>,
[src]
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,
[src]
M: SerializeMap,