Trait HList

pub trait HList: Sized {
    type Tuple: Tuple<HList = Self>;

    // Required method
    fn flatten(self) -> Self::Tuple;
}

Required Associated Types

type Tuple: Tuple<HList = Self>

Required Methods

fn flatten(self) -> Self::Tuple

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 HList for ()

type Tuple = ()

fn flatten(self) -> Self::Tuple

Implementors

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16> HList for Product<T1, Product<T2, Product<T3, Product<T4, Product<T5, Product<T6, Product<T7, Product<T8, Product<T9, Product<T10, Product<T11, Product<T12, Product<T13, Product<T14, Product<T15, Product<T16, ()>>>>>>>>>>>>>>>>

type Tuple = (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)

impl<T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16> HList for Product<T2, Product<T3, Product<T4, Product<T5, Product<T6, Product<T7, Product<T8, Product<T9, Product<T10, Product<T11, Product<T12, Product<T13, Product<T14, Product<T15, Product<T16, ()>>>>>>>>>>>>>>>

type Tuple = (T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)

impl<T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16> HList for Product<T3, Product<T4, Product<T5, Product<T6, Product<T7, Product<T8, Product<T9, Product<T10, Product<T11, Product<T12, Product<T13, Product<T14, Product<T15, Product<T16, ()>>>>>>>>>>>>>>

type Tuple = (T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)

impl<T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16> HList for Product<T4, Product<T5, Product<T6, Product<T7, Product<T8, Product<T9, Product<T10, Product<T11, Product<T12, Product<T13, Product<T14, Product<T15, Product<T16, ()>>>>>>>>>>>>>

type Tuple = (T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)

impl<T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16> HList for Product<T5, Product<T6, Product<T7, Product<T8, Product<T9, Product<T10, Product<T11, Product<T12, Product<T13, Product<T14, Product<T15, Product<T16, ()>>>>>>>>>>>>

type Tuple = (T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)

impl<T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16> HList for Product<T6, Product<T7, Product<T8, Product<T9, Product<T10, Product<T11, Product<T12, Product<T13, Product<T14, Product<T15, Product<T16, ()>>>>>>>>>>>

type Tuple = (T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)

impl<T7, T8, T9, T10, T11, T12, T13, T14, T15, T16> HList for Product<T7, Product<T8, Product<T9, Product<T10, Product<T11, Product<T12, Product<T13, Product<T14, Product<T15, Product<T16, ()>>>>>>>>>>

type Tuple = (T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)

impl<T8, T9, T10, T11, T12, T13, T14, T15, T16> HList for Product<T8, Product<T9, Product<T10, Product<T11, Product<T12, Product<T13, Product<T14, Product<T15, Product<T16, ()>>>>>>>>>

type Tuple = (T8, T9, T10, T11, T12, T13, T14, T15, T16)

impl<T9, T10, T11, T12, T13, T14, T15, T16> HList for Product<T9, Product<T10, Product<T11, Product<T12, Product<T13, Product<T14, Product<T15, Product<T16, ()>>>>>>>>

type Tuple = (T9, T10, T11, T12, T13, T14, T15, T16)

impl<T10, T11, T12, T13, T14, T15, T16> HList for Product<T10, Product<T11, Product<T12, Product<T13, Product<T14, Product<T15, Product<T16, ()>>>>>>>

type Tuple = (T10, T11, T12, T13, T14, T15, T16)

impl<T11, T12, T13, T14, T15, T16> HList for Product<T11, Product<T12, Product<T13, Product<T14, Product<T15, Product<T16, ()>>>>>>

type Tuple = (T11, T12, T13, T14, T15, T16)

impl<T12, T13, T14, T15, T16> HList for Product<T12, Product<T13, Product<T14, Product<T15, Product<T16, ()>>>>>

type Tuple = (T12, T13, T14, T15, T16)

impl<T13, T14, T15, T16> HList for Product<T13, Product<T14, Product<T15, Product<T16, ()>>>>

type Tuple = (T13, T14, T15, T16)

impl<T14, T15, T16> HList for Product<T14, Product<T15, Product<T16, ()>>>

type Tuple = (T14, T15, T16)

impl<T15, T16> HList for Product<T15, Product<T16, ()>>

type Tuple = (T15, T16)

impl<T16> HList for Product<T16, ()>

type Tuple = (T16,)