Trait IntersectByOrder

pub trait IntersectByOrder<Rhs: SortedHList, Ord>: SortedHList {
    type Output: SortedHList;
}

Required Associated Types

type Output: SortedHList

Implementors

impl<HA, TA, HB, TB> IntersectByOrder<HCons<HB, TB>, Less> for HCons<HA, TA>

where Self: SortedHList, HCons<HB, TB>: SortedHList, TA: Intersect<HCons<HB, TB>>,

type Output = <TA as Intersect<HCons<HB, TB>>>::Output

impl<HA, TA, HB, TB: SortedHList> IntersectByOrder<HCons<HB, TB>, Equal> for HCons<HA, TA>

where Self: SortedHList, HCons<HB, TB>: SortedHList, TA: Intersect<TB>, HCons<HA, <TA as Intersect<TB>>::Output>: SortedHList,

type Output = HCons<HA, <TA as Intersect<TB>>::Output>

impl<HA, TA, HB, TB: SortedHList> IntersectByOrder<HCons<HB, TB>, Greater> for HCons<HA, TA>

where HCons<HA, TA>: SortedHList, HCons<HB, TB>: SortedHList, Self: Intersect<TB>,

type Output = <HCons<HA, TA> as Intersect<TB>>::Output