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.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

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

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

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