Trait agnes::join::UpdateFrameIndexMarker

pub trait UpdateFrameIndexMarker<FrameIndexOffset> {
    type Output;
}

Trait for updating the frame index of a FrameLookupCons by a specified Offset.

Associated Types

type Output

FrameLookupCons after updating frame index by FrameIndexOffset.

Loading content...

Implementors

impl<FrameIndexOffset> UpdateFrameIndexMarker<FrameIndexOffset> for Nil

type Output = Nil

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>

Loading content...