Trait agnes::label::Reorder

pub trait Reorder<TargetOrdering> {
    type Output;
    fn reorder(self) -> Self::Output;
}

Trait to compute the new ordering of a labeled cons-list using the new ordering TargetOrdering.

Associated Types

type Output

The values from Self, re-ordered to match the ordering of TargetOrdering.

Loading content...

Required methods

fn reorder(self) -> Self::Output

Reorder this cons-list according to the new ordering TargetOrdering.

Loading content...

Implementors

impl<L, V, T, TargetL, TargetV, TargetT> Reorder<Cons<Labeled<TargetL, TargetV>, TargetT>> for LVCons<L, V, T> where
    LVCons<L, V, T>: HasLabels<LVCons<TargetL, TargetV, TargetT>>,
    LVCons<TargetL, TargetV, TargetT>: HasLabels<LVCons<L, V, T>>,
    LVCons<TargetL, TargetV, TargetT>: Reordering<Self>, 

type Output = <LVCons<TargetL, TargetV, TargetT> as Reordering<Self>>::Output

fn reorder(self) -> Self::Output

Loading content...