Trait agnes::view::Relabel

pub trait Relabel<TargetLabel, NewLabel> {
    type Output;
}

Trait for relabeling the label TargetLabel with NewLabel.

Associated Types

type Output

The output type after relabeling TargetLabel to NewLabel.

Loading content...

Implementors

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

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

Loading content...