Trait IntersectByOrder

Source
pub trait IntersectByOrder<Rhs: HList, Ord>: HList {
    type Output: HList;
}
Expand description

Internal dispatch by comparing the heads of two lists. Chooses one of three branches (Less, Equal, Greater) and recurses accordingly.

Required Associated Types§

Source

type Output: HList

The resulting intersected list after ordering dispatch.

Implementors§

Source§

impl<HA, TA, HB, TB: HList> IntersectByOrder<HCons<HB, TB>, Equal> for HCons<HA, TA>
where TA: IntersectUnchecked<TB> + HList,

Source§

impl<HA, TA, HB, TB: HList> IntersectByOrder<HCons<HB, TB>, Less> for HCons<HA, TA>
where TA: IntersectUnchecked<HCons<HB, TB>> + HList,

Source§

impl<HA, TA: HList, HB, TB: HList> IntersectByOrder<HCons<HB, TB>, Greater> for HCons<HA, TA>
where HCons<HA, TA>: IntersectUnchecked<TB>,