Trait Construct 

pub trait Construct: Tuple
where
    Self::TupleList: InElement,
{
    type Sender: TupleList;
}

A tuple type that is constructible into its tuple slot type.

Required Associated Types

type Sender: TupleList

The constructed tuple list of senders. The returned result type of tuple is the corresponding tuple type.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl Construct for ()

type Sender = ()

impl<A, B, C, D, E, F, G, H, I, J, K, L> Construct for (A, B, C, D, E, F, G, H, I, J, K, L)

type Sender = (Sender<(), A, (B, C, D, E, F, G, H, I, J, K, L)>, (Sender<(A,), B, (C, D, E, F, G, H, I, J, K, L)>, (Sender<(A, B), C, (D, E, F, G, H, I, J, K, L)>, (Sender<(A, B, C), D, (E, F, G, H, I, J, K, L)>, (Sender<(A, B, C, D), E, (F, G, H, I, J, K, L)>, (Sender<(A, B, C, D, E), F, (G, H, I, J, K, L)>, (Sender<(A, B, C, D, E, F), G, (H, I, J, K, L)>, (Sender<(A, B, C, D, E, F, G), H, (I, J, K, L)>, (Sender<(A, B, C, D, E, F, G, H), I, (J, K, L)>, (Sender<(A, B, C, D, E, F, G, H, I), J, (K, L)>, (Sender<(A, B, C, D, E, F, G, H, I, J), K, (L,)>, (Sender<(A, B, C, D, E, F, G, H, I, J, K), L, ()>, ()))))))))))))

impl<B, C, D, E, F, G, H, I, J, K, L> Construct for (B, C, D, E, F, G, H, I, J, K, L)

type Sender = (Sender<(), B, (C, D, E, F, G, H, I, J, K, L)>, (Sender<(B,), C, (D, E, F, G, H, I, J, K, L)>, (Sender<(B, C), D, (E, F, G, H, I, J, K, L)>, (Sender<(B, C, D), E, (F, G, H, I, J, K, L)>, (Sender<(B, C, D, E), F, (G, H, I, J, K, L)>, (Sender<(B, C, D, E, F), G, (H, I, J, K, L)>, (Sender<(B, C, D, E, F, G), H, (I, J, K, L)>, (Sender<(B, C, D, E, F, G, H), I, (J, K, L)>, (Sender<(B, C, D, E, F, G, H, I), J, (K, L)>, (Sender<(B, C, D, E, F, G, H, I, J), K, (L,)>, (Sender<(B, C, D, E, F, G, H, I, J, K), L, ()>, ())))))))))))

impl<C, D, E, F, G, H, I, J, K, L> Construct for (C, D, E, F, G, H, I, J, K, L)

type Sender = (Sender<(), C, (D, E, F, G, H, I, J, K, L)>, (Sender<(C,), D, (E, F, G, H, I, J, K, L)>, (Sender<(C, D), E, (F, G, H, I, J, K, L)>, (Sender<(C, D, E), F, (G, H, I, J, K, L)>, (Sender<(C, D, E, F), G, (H, I, J, K, L)>, (Sender<(C, D, E, F, G), H, (I, J, K, L)>, (Sender<(C, D, E, F, G, H), I, (J, K, L)>, (Sender<(C, D, E, F, G, H, I), J, (K, L)>, (Sender<(C, D, E, F, G, H, I, J), K, (L,)>, (Sender<(C, D, E, F, G, H, I, J, K), L, ()>, ()))))))))))

impl<D, E, F, G, H, I, J, K, L> Construct for (D, E, F, G, H, I, J, K, L)

type Sender = (Sender<(), D, (E, F, G, H, I, J, K, L)>, (Sender<(D,), E, (F, G, H, I, J, K, L)>, (Sender<(D, E), F, (G, H, I, J, K, L)>, (Sender<(D, E, F), G, (H, I, J, K, L)>, (Sender<(D, E, F, G), H, (I, J, K, L)>, (Sender<(D, E, F, G, H), I, (J, K, L)>, (Sender<(D, E, F, G, H, I), J, (K, L)>, (Sender<(D, E, F, G, H, I, J), K, (L,)>, (Sender<(D, E, F, G, H, I, J, K), L, ()>, ())))))))))

impl<E, F, G, H, I, J, K, L> Construct for (E, F, G, H, I, J, K, L)

type Sender = (Sender<(), E, (F, G, H, I, J, K, L)>, (Sender<(E,), F, (G, H, I, J, K, L)>, (Sender<(E, F), G, (H, I, J, K, L)>, (Sender<(E, F, G), H, (I, J, K, L)>, (Sender<(E, F, G, H), I, (J, K, L)>, (Sender<(E, F, G, H, I), J, (K, L)>, (Sender<(E, F, G, H, I, J), K, (L,)>, (Sender<(E, F, G, H, I, J, K), L, ()>, ()))))))))

impl<F, G, H, I, J, K, L> Construct for (F, G, H, I, J, K, L)

type Sender = (Sender<(), F, (G, H, I, J, K, L)>, (Sender<(F,), G, (H, I, J, K, L)>, (Sender<(F, G), H, (I, J, K, L)>, (Sender<(F, G, H), I, (J, K, L)>, (Sender<(F, G, H, I), J, (K, L)>, (Sender<(F, G, H, I, J), K, (L,)>, (Sender<(F, G, H, I, J, K), L, ()>, ())))))))

impl<G, H, I, J, K, L> Construct for (G, H, I, J, K, L)

type Sender = (Sender<(), G, (H, I, J, K, L)>, (Sender<(G,), H, (I, J, K, L)>, (Sender<(G, H), I, (J, K, L)>, (Sender<(G, H, I), J, (K, L)>, (Sender<(G, H, I, J), K, (L,)>, (Sender<(G, H, I, J, K), L, ()>, ()))))))

impl<H, I, J, K, L> Construct for (H, I, J, K, L)

type Sender = (Sender<(), H, (I, J, K, L)>, (Sender<(H,), I, (J, K, L)>, (Sender<(H, I), J, (K, L)>, (Sender<(H, I, J), K, (L,)>, (Sender<(H, I, J, K), L, ()>, ())))))

impl<I, J, K, L> Construct for (I, J, K, L)

type Sender = (Sender<(), I, (J, K, L)>, (Sender<(I,), J, (K, L)>, (Sender<(I, J), K, (L,)>, (Sender<(I, J, K), L, ()>, ()))))

impl<J, K, L> Construct for (J, K, L)

type Sender = (Sender<(), J, (K, L)>, (Sender<(J,), K, (L,)>, (Sender<(J, K), L, ()>, ())))

impl<K, L> Construct for (K, L)

type Sender = (Sender<(), K, (L,)>, (Sender<(K,), L, ()>, ()))

impl<L> Construct for (L,)

type Sender = (Sender<(), L, ()>, ())

Implementors