Trait Intersect

pub trait Intersect<Other: SortedHList>: SortedHList {
    type Output: SortedHList;
}

Required Associated Types

type Output: SortedHList

Implementors

impl<H, T> Intersect<HNil> for HCons<H, T>

where HCons<H, T>: SortedHList,

type Output = HNil

impl<HA, TA, HB, TB, Ordering> Intersect<HCons<HB, TB>> for HCons<HA, TA>

where HA: Cmp<HB, Output = Ordering>, HCons<HA, TA>: IntersectByOrder<HCons<HB, TB>, Ordering>, HCons<HB, TB>: SortedHList,

type Output = <HCons<HA, TA> as IntersectByOrder<HCons<HB, TB>, Ordering>>::Output

impl<List: SortedHList> Intersect<List> for HNil

type Output = HNil