Trait SortedHList

pub trait SortedHList: HList { }

Marker trait for lists whose element types are in non-decreasing order.

A SortedHList must satisfy at compile time that each head H compares leq the next element HT via typenum::Cmp<H, HT>.

Implementors

impl SortedHList for HNil

impl<H> SortedHList for HCons<H, HNil>

impl<H, HT, TT> SortedHList for HCons<H, HCons<HT, TT>>

where HCons<HT, TT>: SortedHList, H: Cmp<HT>, <H as Cmp<HT>>::Output: LeOrEq,