Trait warp::generic::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

Object Safety

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,)