[−][src]Trait agnes::label::Reordering
Trait for a labeled cons-list which describes a reordering of the labels in Original
.
Associated Types
type Output
The values from Original
, re-ordered to match the ordering of Self
.
Required methods
Loading content...Implementors
impl Reordering<Nil> for Nil
[src]
impl<L, V, T, TargetL, TargetV, TargetT> Reordering<Cons<Labeled<L, V>, T>> for LVCons<TargetL, TargetV, TargetT> where
LVCons<L, V, T>: TakeElemByLabel<TargetL>,
<LVCons<L, V, T> as TakeElemByLabel<TargetL>>::Elem: Valued,
TargetT: Reordering<<LVCons<L, V, T> as TakeElemByLabel<TargetL>>::Rest>,
[src]
LVCons<L, V, T>: TakeElemByLabel<TargetL>,
<LVCons<L, V, T> as TakeElemByLabel<TargetL>>::Elem: Valued,
TargetT: Reordering<<LVCons<L, V, T> as TakeElemByLabel<TargetL>>::Rest>,