Trait stabby_abi::istable::Includes

pub trait Includes<SubSet> {
    type Output;
}

Whether or not a value is included in a set.

Required Associated Types

type Output

The result

Implementors

impl<O1: Unsigned, T1, R1, O2: Unsigned, T2, R2: IBitMask> Includes<Array<O1, T1, R1>> for Array<O2, T2, R2>

where Array<O2, T2, R2>: IncludesComputer<(O1, T1)> + Includes<R1>, R1: IsEnd + IBitMask, <Self as Includes<R1>>::Output: IsEnd, (<Self as IncludesComputer<(O1, T1)>>::Output, <Self as Includes<R1>>::Output, <<Self as Includes<R1>>::Output as IsEnd>::Output, <R1 as IsEnd>::Output): Arrayify,

type Output = <(<Array<O2, T2, R2> as IncludesComputer<(O1, T1)>>::Output, <Array<O2, T2, R2> as Includes<R1>>::Output, <<Array<O2, T2, R2> as Includes<R1>>::Output as IsEnd>::Output, <R1 as IsEnd>::Output) as Arrayify>::Output

impl<O: Unsigned, T, R: IBitMask> Includes<Array<O, T, R>> for End

type Output = End

impl<T> Includes<End> for T

type Output = End