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 FrameLookupCons<RLabel, RFrameIndex, RFrameLabel, RTail> where
    RFrameIndex: Offset<FrameIndexOffset>,
    RTail: UpdateFrameIndexMarker<FrameIndexOffset>, 

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

Loading content...