pub trait Intersect<Other: HList>: HList {
type Output: HList;
}
Expand description
Checked intersection of two sorted HLists.
This trait assumes Self
and Other
are SortedHList
s, and yields
an HList
of their intersection. It does not re-check sortedness
of the result (to avoid deep recursion in the compiler).