Trait type_sets::SubsetOf

pub unsafe trait SubsetOf<S> { }

Implemented if set is a subset of S.

Safety

Implement AsSet instead.

Implementors

impl<S> SubsetOf<S> for Set<dyn Zero>

where S: Zero,

impl<T1, S> SubsetOf<S> for Set<dyn One<T1>>

where S: One<T1>,

impl<T1, T2, S> SubsetOf<S> for Set<dyn Two<T1, T2>>

where S: Two<T1, T2>,

impl<T1, T2, T3, S> SubsetOf<S> for Set<dyn Three<T1, T2, T3>>

where S: Three<T1, T2, T3>,

impl<T1, T2, T3, T4, S> SubsetOf<S> for Set<dyn Four<T1, T2, T3, T4>>

where S: Four<T1, T2, T3, T4>,

impl<T1, T2, T3, T4, T5, S> SubsetOf<S> for Set<dyn Five<T1, T2, T3, T4, T5>>

where S: Five<T1, T2, T3, T4, T5>,

impl<T1, T2, T3, T4, T5, T6, S> SubsetOf<S> for Set<dyn Six<T1, T2, T3, T4, T5, T6>>

where S: Six<T1, T2, T3, T4, T5, T6>,

impl<T1, T2, T3, T4, T5, T6, T7, S> SubsetOf<S> for Set<dyn Seven<T1, T2, T3, T4, T5, T6, T7>>

where S: Seven<T1, T2, T3, T4, T5, T6, T7>,

impl<T1, T2, T3, T4, T5, T6, T7, T8, S> SubsetOf<S> for Set<dyn Eight<T1, T2, T3, T4, T5, T6, T7, T8>>

where S: Eight<T1, T2, T3, T4, T5, T6, T7, T8>,

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, S> SubsetOf<S> for Set<dyn Nine<T1, T2, T3, T4, T5, T6, T7, T8, T9>>

where S: Nine<T1, T2, T3, T4, T5, T6, T7, T8, T9>,

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, S> SubsetOf<S> for Set<dyn Ten<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10>>

where S: Ten<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10>,

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, S> SubsetOf<S> for Set<dyn Eleven<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11>>

where S: Eleven<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11>,

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, S> SubsetOf<S> for Set<dyn Twelve<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12>>

where S: Twelve<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12>,

impl<T, S> SubsetOf<S> for T

where T: AsSet, T::Set: SubsetOf<S>,