Trait Intersect

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

Checked intersection of two sorted HLists.

This trait assumes Self and Other are SortedHLists, and yields an HList of their intersection. It does not re-check sortedness of the result (to avoid deep recursion in the compiler).

Required Associated Types

type Output: HList

Intersection of two sorted lists. Must itself be an HList.

Implementors

impl<LA, LB> Intersect<LB> for LA

where LA: SortedHList + IntersectUnchecked<LB>, LB: SortedHList,

type Output = <LA as IntersectUnchecked<LB>>::Output