Trait TypeSet 

pub trait TypeSet {
    type Set: ?Sized;

    // Required method
    fn members() -> &'static [TypeId]
       where Self: 'static;
}

The main trait for representing a set of types.

This is implemented for tuples up to 24 elements, and [Set]s of tuples.

Required Associated Types

type Set: ?Sized

The underlying set type, which is a private marker-trait.

Required Methods

fn members() -> &'static [TypeId]

where Self: 'static,

Returns a static slice of TypeIds representing the members of the set.

Dyn Compatibility

This trait is not dyn compatible.

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

Implementations on Foreign Types

impl TypeSet for ()

type Set = dyn Contains0

fn members() -> &'static [TypeId]

impl TypeSet for Infallible

type Set = ()

fn members() -> &'static [TypeId]

where Self: 'static,

impl<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21, E22, E23, E24> TypeSet for (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21, E22, E23, E24)

type Set = dyn Contains24<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21, E22, E23, E24>

fn members() -> &'static [TypeId]

where Self: 'static,

impl<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21, E22, E23> TypeSet for (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21, E22, E23)

type Set = dyn Contains23<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21, E22, E23>

fn members() -> &'static [TypeId]

where Self: 'static,

impl<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21, E22> TypeSet for (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21, E22)

type Set = dyn Contains22<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21, E22>

fn members() -> &'static [TypeId]

where Self: 'static,

impl<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21> TypeSet for (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21)

type Set = dyn Contains21<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21>

fn members() -> &'static [TypeId]

where Self: 'static,

impl<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20> TypeSet for (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20)

type Set = dyn Contains20<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20>

fn members() -> &'static [TypeId]

where Self: 'static,

impl<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19> TypeSet for (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19)

type Set = dyn Contains19<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19>

fn members() -> &'static [TypeId]

where Self: 'static,

impl<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18> TypeSet for (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18)

type Set = dyn Contains18<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18>

fn members() -> &'static [TypeId]

where Self: 'static,

impl<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17> TypeSet for (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17)

type Set = dyn Contains17<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17>

fn members() -> &'static [TypeId]

where Self: 'static,

impl<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16> TypeSet for (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16)

type Set = dyn Contains16<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16>

fn members() -> &'static [TypeId]

where Self: 'static,

impl<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15> TypeSet for (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15)

type Set = dyn Contains15<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15>

fn members() -> &'static [TypeId]

where Self: 'static,

impl<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14> TypeSet for (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14)

type Set = dyn Contains14<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14>

fn members() -> &'static [TypeId]

where Self: 'static,

impl<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13> TypeSet for (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13)

type Set = dyn Contains13<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13>

fn members() -> &'static [TypeId]

where Self: 'static,

impl<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12> TypeSet for (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12)

type Set = dyn Contains12<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12>

fn members() -> &'static [TypeId]

where Self: 'static,

impl<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11> TypeSet for (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11)

type Set = dyn Contains11<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11>

fn members() -> &'static [TypeId]

where Self: 'static,

impl<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10> TypeSet for (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10)

type Set = dyn Contains10<E1, E2, E3, E4, E5, E6, E7, E8, E9, E10>

fn members() -> &'static [TypeId]

where Self: 'static,

impl<E1, E2, E3, E4, E5, E6, E7, E8, E9> TypeSet for (E1, E2, E3, E4, E5, E6, E7, E8, E9)

type Set = dyn Contains9<E1, E2, E3, E4, E5, E6, E7, E8, E9>

fn members() -> &'static [TypeId]

where Self: 'static,

impl<E1, E2, E3, E4, E5, E6, E7, E8> TypeSet for (E1, E2, E3, E4, E5, E6, E7, E8)

type Set = dyn Contains8<E1, E2, E3, E4, E5, E6, E7, E8>

fn members() -> &'static [TypeId]

where Self: 'static,

impl<E1, E2, E3, E4, E5, E6, E7> TypeSet for (E1, E2, E3, E4, E5, E6, E7)

type Set = dyn Contains7<E1, E2, E3, E4, E5, E6, E7>

fn members() -> &'static [TypeId]

where Self: 'static,

impl<E1, E2, E3, E4, E5, E6> TypeSet for (E1, E2, E3, E4, E5, E6)

type Set = dyn Contains6<E1, E2, E3, E4, E5, E6>

fn members() -> &'static [TypeId]

where Self: 'static,

impl<E1, E2, E3, E4, E5> TypeSet for (E1, E2, E3, E4, E5)

type Set = dyn Contains5<E1, E2, E3, E4, E5>

fn members() -> &'static [TypeId]

where Self: 'static,

impl<E1, E2, E3, E4> TypeSet for (E1, E2, E3, E4)

type Set = dyn Contains4<E1, E2, E3, E4>

fn members() -> &'static [TypeId]

where Self: 'static,

impl<E1, E2, E3> TypeSet for (E1, E2, E3)

type Set = dyn Contains3<E1, E2, E3>

fn members() -> &'static [TypeId]

where Self: 'static,

impl<E1, E2> TypeSet for (E1, E2)

type Set = dyn Contains2<E1, E2>

fn members() -> &'static [TypeId]

where Self: 'static,

impl<E1> TypeSet for (E1,)

type Set = dyn Contains1<E1>

fn members() -> &'static [TypeId]

where Self: 'static,

Implementors

impl<T> TypeSet for Set<T>

where T: TypeSet,

type Set = <T as TypeSet>::Set