HCons

Struct HCons

pub struct HCons<H, T>(pub H, pub T);

Expand description

Heterogeneous List.

Heterogeneous lists are implemented as a static cons-list of tuples with HEmpty, denoting the empty list.

HCons<A, HEmpty> is a list of one element, HCons<A, HCons<B, HEmpty>> is a list of two elements, and so on.

this type is used to generically implement things for HLists

Tuple Fields§

§0: H§1: T

Trait Implementations§

impl<'a, H: 'a, T: AsMuts<'a>> AsMuts<'a> for HCons<H, T>

type Output = HCons<&'a mut H, <T as AsMuts<'a>>::Output>

The type of the resulting list.

fn as_muts(&'a mut self) -> Self::Output

Gets mutable references over inner list elements. Read more

impl<'a, H: 'a, T: AsRefs<'a>> AsRefs<'a> for HCons<H, T>

type Output = HCons<&'a H, <T as AsRefs<'a>>::Output>

The type of the resulting list.

fn as_refs(&'a self) -> Self::Output

Gets immutable references over inner list elements. Read more

impl<H: Clone, T: Clone> Clone for HCons<H, T>

fn clone(&self) -> HCons<H, T>

Returns a duplicate of the value. Read more

1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more

impl<H: Debug, T: Debug> Debug for HCons<H, T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

impl<E, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31, T32> From<[E; 32]> for HCons<T1, HCons<T2, HCons<T3, HCons<T4, HCons<T5, HCons<T6, HCons<T7, HCons<T8, HCons<T9, HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
where E: Into<T1> + Into<T2> + Into<T3> + Into<T4> + Into<T5> + Into<T6> + Into<T7> + Into<T8> + Into<T9> + Into<T10> + Into<T11> + Into<T12> + Into<T13> + Into<T14> + Into<T15> + Into<T16> + Into<T17> + Into<T18> + Into<T19> + Into<T20> + Into<T21> + Into<T22> + Into<T23> + Into<T24> + Into<T25> + Into<T26> + Into<T27> + Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 32]) -> Self

Converts to this type from the input type.

impl<E, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31, T32> From<[E; 23]> for HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>
where E: Into<T10> + Into<T11> + Into<T12> + Into<T13> + Into<T14> + Into<T15> + Into<T16> + Into<T17> + Into<T18> + Into<T19> + Into<T20> + Into<T21> + Into<T22> + Into<T23> + Into<T24> + Into<T25> + Into<T26> + Into<T27> + Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 23]) -> Self

Converts to this type from the input type.

impl<E, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31, T32> From<[E; 22]> for HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>
where E: Into<T11> + Into<T12> + Into<T13> + Into<T14> + Into<T15> + Into<T16> + Into<T17> + Into<T18> + Into<T19> + Into<T20> + Into<T21> + Into<T22> + Into<T23> + Into<T24> + Into<T25> + Into<T26> + Into<T27> + Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 22]) -> Self

Converts to this type from the input type.

impl<E, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31, T32> From<[E; 21]> for HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>
where E: Into<T12> + Into<T13> + Into<T14> + Into<T15> + Into<T16> + Into<T17> + Into<T18> + Into<T19> + Into<T20> + Into<T21> + Into<T22> + Into<T23> + Into<T24> + Into<T25> + Into<T26> + Into<T27> + Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 21]) -> Self

Converts to this type from the input type.

impl<E, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31, T32> From<[E; 20]> for HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>
where E: Into<T13> + Into<T14> + Into<T15> + Into<T16> + Into<T17> + Into<T18> + Into<T19> + Into<T20> + Into<T21> + Into<T22> + Into<T23> + Into<T24> + Into<T25> + Into<T26> + Into<T27> + Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 20]) -> Self

Converts to this type from the input type.

impl<E, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31, T32> From<[E; 19]> for HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>
where E: Into<T14> + Into<T15> + Into<T16> + Into<T17> + Into<T18> + Into<T19> + Into<T20> + Into<T21> + Into<T22> + Into<T23> + Into<T24> + Into<T25> + Into<T26> + Into<T27> + Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 19]) -> Self

Converts to this type from the input type.

impl<E, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31, T32> From<[E; 18]> for HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>
where E: Into<T15> + Into<T16> + Into<T17> + Into<T18> + Into<T19> + Into<T20> + Into<T21> + Into<T22> + Into<T23> + Into<T24> + Into<T25> + Into<T26> + Into<T27> + Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 18]) -> Self

Converts to this type from the input type.

impl<E, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31, T32> From<[E; 17]> for HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>
where E: Into<T16> + Into<T17> + Into<T18> + Into<T19> + Into<T20> + Into<T21> + Into<T22> + Into<T23> + Into<T24> + Into<T25> + Into<T26> + Into<T27> + Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 17]) -> Self

Converts to this type from the input type.

impl<E, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31, T32> From<[E; 16]> for HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>
where E: Into<T17> + Into<T18> + Into<T19> + Into<T20> + Into<T21> + Into<T22> + Into<T23> + Into<T24> + Into<T25> + Into<T26> + Into<T27> + Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 16]) -> Self

Converts to this type from the input type.

impl<E, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31, T32> From<[E; 15]> for HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>
where E: Into<T18> + Into<T19> + Into<T20> + Into<T21> + Into<T22> + Into<T23> + Into<T24> + Into<T25> + Into<T26> + Into<T27> + Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 15]) -> Self

Converts to this type from the input type.

impl<E, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31, T32> From<[E; 14]> for HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>
where E: Into<T19> + Into<T20> + Into<T21> + Into<T22> + Into<T23> + Into<T24> + Into<T25> + Into<T26> + Into<T27> + Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 14]) -> Self

Converts to this type from the input type.

impl<E, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31, T32> From<[E; 31]> for HCons<T2, HCons<T3, HCons<T4, HCons<T5, HCons<T6, HCons<T7, HCons<T8, HCons<T9, HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
where E: Into<T2> + Into<T3> + Into<T4> + Into<T5> + Into<T6> + Into<T7> + Into<T8> + Into<T9> + Into<T10> + Into<T11> + Into<T12> + Into<T13> + Into<T14> + Into<T15> + Into<T16> + Into<T17> + Into<T18> + Into<T19> + Into<T20> + Into<T21> + Into<T22> + Into<T23> + Into<T24> + Into<T25> + Into<T26> + Into<T27> + Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 31]) -> Self

Converts to this type from the input type.

impl<E, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31, T32> From<[E; 13]> for HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>
where E: Into<T20> + Into<T21> + Into<T22> + Into<T23> + Into<T24> + Into<T25> + Into<T26> + Into<T27> + Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 13]) -> Self

Converts to this type from the input type.

impl<E, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31, T32> From<[E; 12]> for HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>
where E: Into<T21> + Into<T22> + Into<T23> + Into<T24> + Into<T25> + Into<T26> + Into<T27> + Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 12]) -> Self

Converts to this type from the input type.

impl<E, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31, T32> From<[E; 11]> for HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>
where E: Into<T22> + Into<T23> + Into<T24> + Into<T25> + Into<T26> + Into<T27> + Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 11]) -> Self

Converts to this type from the input type.

impl<E, T23, T24, T25, T26, T27, T28, T29, T30, T31, T32> From<[E; 10]> for HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>
where E: Into<T23> + Into<T24> + Into<T25> + Into<T26> + Into<T27> + Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 10]) -> Self

Converts to this type from the input type.

impl<E, T24, T25, T26, T27, T28, T29, T30, T31, T32> From<[E; 9]> for HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>
where E: Into<T24> + Into<T25> + Into<T26> + Into<T27> + Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 9]) -> Self

Converts to this type from the input type.

impl<E, T25, T26, T27, T28, T29, T30, T31, T32> From<[E; 8]> for HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>
where E: Into<T25> + Into<T26> + Into<T27> + Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 8]) -> Self

Converts to this type from the input type.

impl<E, T26, T27, T28, T29, T30, T31, T32> From<[E; 7]> for HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>
where E: Into<T26> + Into<T27> + Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 7]) -> Self

Converts to this type from the input type.

impl<E, T27, T28, T29, T30, T31, T32> From<[E; 6]> for HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>
where E: Into<T27> + Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 6]) -> Self

Converts to this type from the input type.

impl<E, T28, T29, T30, T31, T32> From<[E; 5]> for HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>
where E: Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 5]) -> Self

Converts to this type from the input type.

impl<E, T29, T30, T31, T32> From<[E; 4]> for HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>
where E: Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 4]) -> Self

Converts to this type from the input type.

impl<E, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31, T32> From<[E; 30]> for HCons<T3, HCons<T4, HCons<T5, HCons<T6, HCons<T7, HCons<T8, HCons<T9, HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
where E: Into<T3> + Into<T4> + Into<T5> + Into<T6> + Into<T7> + Into<T8> + Into<T9> + Into<T10> + Into<T11> + Into<T12> + Into<T13> + Into<T14> + Into<T15> + Into<T16> + Into<T17> + Into<T18> + Into<T19> + Into<T20> + Into<T21> + Into<T22> + Into<T23> + Into<T24> + Into<T25> + Into<T26> + Into<T27> + Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 30]) -> Self

Converts to this type from the input type.

impl<E, T30, T31, T32> From<[E; 3]> for HCons<T30, HCons<T31, HCons<T32, HEmpty>>>
where E: Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 3]) -> Self

Converts to this type from the input type.

impl<E, T31, T32> From<[E; 2]> for HCons<T31, HCons<T32, HEmpty>>
where E: Into<T31> + Into<T32>,

fn from(arr: [E; 2]) -> Self

Converts to this type from the input type.

impl<E, T32> From<[E; 1]> for HCons<T32, HEmpty>
where E: Into<T32>,

fn from(arr: [E; 1]) -> Self

Converts to this type from the input type.

impl<E, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31, T32> From<[E; 29]> for HCons<T4, HCons<T5, HCons<T6, HCons<T7, HCons<T8, HCons<T9, HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
where E: Into<T4> + Into<T5> + Into<T6> + Into<T7> + Into<T8> + Into<T9> + Into<T10> + Into<T11> + Into<T12> + Into<T13> + Into<T14> + Into<T15> + Into<T16> + Into<T17> + Into<T18> + Into<T19> + Into<T20> + Into<T21> + Into<T22> + Into<T23> + Into<T24> + Into<T25> + Into<T26> + Into<T27> + Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 29]) -> Self

Converts to this type from the input type.

impl<E, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31, T32> From<[E; 28]> for HCons<T5, HCons<T6, HCons<T7, HCons<T8, HCons<T9, HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>>>>>>
where E: Into<T5> + Into<T6> + Into<T7> + Into<T8> + Into<T9> + Into<T10> + Into<T11> + Into<T12> + Into<T13> + Into<T14> + Into<T15> + Into<T16> + Into<T17> + Into<T18> + Into<T19> + Into<T20> + Into<T21> + Into<T22> + Into<T23> + Into<T24> + Into<T25> + Into<T26> + Into<T27> + Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 28]) -> Self

Converts to this type from the input type.

impl<E, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31, T32> From<[E; 27]> for HCons<T6, HCons<T7, HCons<T8, HCons<T9, HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>>>>>
where E: Into<T6> + Into<T7> + Into<T8> + Into<T9> + Into<T10> + Into<T11> + Into<T12> + Into<T13> + Into<T14> + Into<T15> + Into<T16> + Into<T17> + Into<T18> + Into<T19> + Into<T20> + Into<T21> + Into<T22> + Into<T23> + Into<T24> + Into<T25> + Into<T26> + Into<T27> + Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 27]) -> Self

Converts to this type from the input type.

impl<E, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31, T32> From<[E; 26]> for HCons<T7, HCons<T8, HCons<T9, HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>>>>
where E: Into<T7> + Into<T8> + Into<T9> + Into<T10> + Into<T11> + Into<T12> + Into<T13> + Into<T14> + Into<T15> + Into<T16> + Into<T17> + Into<T18> + Into<T19> + Into<T20> + Into<T21> + Into<T22> + Into<T23> + Into<T24> + Into<T25> + Into<T26> + Into<T27> + Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 26]) -> Self

Converts to this type from the input type.

impl<E, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31, T32> From<[E; 25]> for HCons<T8, HCons<T9, HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>>>
where E: Into<T8> + Into<T9> + Into<T10> + Into<T11> + Into<T12> + Into<T13> + Into<T14> + Into<T15> + Into<T16> + Into<T17> + Into<T18> + Into<T19> + Into<T20> + Into<T21> + Into<T22> + Into<T23> + Into<T24> + Into<T25> + Into<T26> + Into<T27> + Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 25]) -> Self

Converts to this type from the input type.

impl<E, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31, T32> From<[E; 24]> for HCons<T9, HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>>
where E: Into<T9> + Into<T10> + Into<T11> + Into<T12> + Into<T13> + Into<T14> + Into<T15> + Into<T16> + Into<T17> + Into<T18> + Into<T19> + Into<T20> + Into<T21> + Into<T22> + Into<T23> + Into<T24> + Into<T25> + Into<T26> + Into<T27> + Into<T28> + Into<T29> + Into<T30> + Into<T31> + Into<T32>,

fn from(arr: [E; 24]) -> Self

Converts to this type from the input type.

impl<E, T1: Into<E>, T2: Into<E>, T3: Into<E>, T4: Into<E>, T5: Into<E>, T6: Into<E>, T7: Into<E>, T8: Into<E>, T9: Into<E>, T10: Into<E>, T11: Into<E>, T12: Into<E>, T13: Into<E>, T14: Into<E>, T15: Into<E>, T16: Into<E>, T17: Into<E>, T18: Into<E>, T19: Into<E>, T20: Into<E>, T21: Into<E>, T22: Into<E>, T23: Into<E>, T24: Into<E>, T25: Into<E>, T26: Into<E>, T27: Into<E>, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T1, HCons<T2, HCons<T3, HCons<T4, HCons<T5, HCons<T6, HCons<T7, HCons<T8, HCons<T9, HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> for [E; 32]

fn from( value: HCons<T1, HCons<T2, HCons<T3, HCons<T4, HCons<T5, HCons<T6, HCons<T7, HCons<T8, HCons<T9, HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>, ) -> [E; 32]

Converts to this type from the input type.

impl<E, T10: Into<E>, T11: Into<E>, T12: Into<E>, T13: Into<E>, T14: Into<E>, T15: Into<E>, T16: Into<E>, T17: Into<E>, T18: Into<E>, T19: Into<E>, T20: Into<E>, T21: Into<E>, T22: Into<E>, T23: Into<E>, T24: Into<E>, T25: Into<E>, T26: Into<E>, T27: Into<E>, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>> for [E; 23]

fn from( value: HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>, ) -> [E; 23]

Converts to this type from the input type.

impl<E, T11: Into<E>, T12: Into<E>, T13: Into<E>, T14: Into<E>, T15: Into<E>, T16: Into<E>, T17: Into<E>, T18: Into<E>, T19: Into<E>, T20: Into<E>, T21: Into<E>, T22: Into<E>, T23: Into<E>, T24: Into<E>, T25: Into<E>, T26: Into<E>, T27: Into<E>, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>> for [E; 22]

fn from( value: HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>, ) -> [E; 22]

Converts to this type from the input type.

impl<E, T12: Into<E>, T13: Into<E>, T14: Into<E>, T15: Into<E>, T16: Into<E>, T17: Into<E>, T18: Into<E>, T19: Into<E>, T20: Into<E>, T21: Into<E>, T22: Into<E>, T23: Into<E>, T24: Into<E>, T25: Into<E>, T26: Into<E>, T27: Into<E>, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>> for [E; 21]

fn from( value: HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>, ) -> [E; 21]

Converts to this type from the input type.

impl<E, T13: Into<E>, T14: Into<E>, T15: Into<E>, T16: Into<E>, T17: Into<E>, T18: Into<E>, T19: Into<E>, T20: Into<E>, T21: Into<E>, T22: Into<E>, T23: Into<E>, T24: Into<E>, T25: Into<E>, T26: Into<E>, T27: Into<E>, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>> for [E; 20]

fn from( value: HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>, ) -> [E; 20]

Converts to this type from the input type.

impl<E, T14: Into<E>, T15: Into<E>, T16: Into<E>, T17: Into<E>, T18: Into<E>, T19: Into<E>, T20: Into<E>, T21: Into<E>, T22: Into<E>, T23: Into<E>, T24: Into<E>, T25: Into<E>, T26: Into<E>, T27: Into<E>, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>> for [E; 19]

fn from( value: HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>, ) -> [E; 19]

Converts to this type from the input type.

impl<E, T15: Into<E>, T16: Into<E>, T17: Into<E>, T18: Into<E>, T19: Into<E>, T20: Into<E>, T21: Into<E>, T22: Into<E>, T23: Into<E>, T24: Into<E>, T25: Into<E>, T26: Into<E>, T27: Into<E>, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>> for [E; 18]

fn from( value: HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>, ) -> [E; 18]

Converts to this type from the input type.

impl<E, T16: Into<E>, T17: Into<E>, T18: Into<E>, T19: Into<E>, T20: Into<E>, T21: Into<E>, T22: Into<E>, T23: Into<E>, T24: Into<E>, T25: Into<E>, T26: Into<E>, T27: Into<E>, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>> for [E; 17]

fn from( value: HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>, ) -> [E; 17]

Converts to this type from the input type.

impl<E, T17: Into<E>, T18: Into<E>, T19: Into<E>, T20: Into<E>, T21: Into<E>, T22: Into<E>, T23: Into<E>, T24: Into<E>, T25: Into<E>, T26: Into<E>, T27: Into<E>, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>> for [E; 16]

fn from( value: HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>, ) -> [E; 16]

Converts to this type from the input type.

impl<E, T18: Into<E>, T19: Into<E>, T20: Into<E>, T21: Into<E>, T22: Into<E>, T23: Into<E>, T24: Into<E>, T25: Into<E>, T26: Into<E>, T27: Into<E>, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>> for [E; 15]

fn from( value: HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>, ) -> [E; 15]

Converts to this type from the input type.

impl<E, T19: Into<E>, T20: Into<E>, T21: Into<E>, T22: Into<E>, T23: Into<E>, T24: Into<E>, T25: Into<E>, T26: Into<E>, T27: Into<E>, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>> for [E; 14]

fn from( value: HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>, ) -> [E; 14]

Converts to this type from the input type.

impl<E, T2: Into<E>, T3: Into<E>, T4: Into<E>, T5: Into<E>, T6: Into<E>, T7: Into<E>, T8: Into<E>, T9: Into<E>, T10: Into<E>, T11: Into<E>, T12: Into<E>, T13: Into<E>, T14: Into<E>, T15: Into<E>, T16: Into<E>, T17: Into<E>, T18: Into<E>, T19: Into<E>, T20: Into<E>, T21: Into<E>, T22: Into<E>, T23: Into<E>, T24: Into<E>, T25: Into<E>, T26: Into<E>, T27: Into<E>, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T2, HCons<T3, HCons<T4, HCons<T5, HCons<T6, HCons<T7, HCons<T8, HCons<T9, HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> for [E; 31]

fn from( value: HCons<T2, HCons<T3, HCons<T4, HCons<T5, HCons<T6, HCons<T7, HCons<T8, HCons<T9, HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>, ) -> [E; 31]

Converts to this type from the input type.

impl<E, T20: Into<E>, T21: Into<E>, T22: Into<E>, T23: Into<E>, T24: Into<E>, T25: Into<E>, T26: Into<E>, T27: Into<E>, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>> for [E; 13]

fn from( value: HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>, ) -> [E; 13]

Converts to this type from the input type.

impl<E, T21: Into<E>, T22: Into<E>, T23: Into<E>, T24: Into<E>, T25: Into<E>, T26: Into<E>, T27: Into<E>, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>> for [E; 12]

fn from( value: HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>, ) -> [E; 12]

Converts to this type from the input type.

impl<E, T22: Into<E>, T23: Into<E>, T24: Into<E>, T25: Into<E>, T26: Into<E>, T27: Into<E>, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>> for [E; 11]

fn from( value: HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>, ) -> [E; 11]

Converts to this type from the input type.

impl<E, T23: Into<E>, T24: Into<E>, T25: Into<E>, T26: Into<E>, T27: Into<E>, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>> for [E; 10]

fn from( value: HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>, ) -> [E; 10]

Converts to this type from the input type.

impl<E, T24: Into<E>, T25: Into<E>, T26: Into<E>, T27: Into<E>, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>> for [E; 9]

fn from( value: HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>, ) -> [E; 9]

Converts to this type from the input type.

impl<E, T25: Into<E>, T26: Into<E>, T27: Into<E>, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>> for [E; 8]

fn from( value: HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>, ) -> [E; 8]

Converts to this type from the input type.

impl<E, T26: Into<E>, T27: Into<E>, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>> for [E; 7]

fn from( value: HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>, ) -> [E; 7]

Converts to this type from the input type.

impl<E, T27: Into<E>, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>> for [E; 6]

fn from( value: HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>, ) -> [E; 6]

Converts to this type from the input type.

impl<E, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>> for [E; 5]

fn from( value: HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>, ) -> [E; 5]

Converts to this type from the input type.

impl<E, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>> for [E; 4]

fn from(value: HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>) -> [E; 4]

Converts to this type from the input type.

impl<E, T3: Into<E>, T4: Into<E>, T5: Into<E>, T6: Into<E>, T7: Into<E>, T8: Into<E>, T9: Into<E>, T10: Into<E>, T11: Into<E>, T12: Into<E>, T13: Into<E>, T14: Into<E>, T15: Into<E>, T16: Into<E>, T17: Into<E>, T18: Into<E>, T19: Into<E>, T20: Into<E>, T21: Into<E>, T22: Into<E>, T23: Into<E>, T24: Into<E>, T25: Into<E>, T26: Into<E>, T27: Into<E>, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T3, HCons<T4, HCons<T5, HCons<T6, HCons<T7, HCons<T8, HCons<T9, HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> for [E; 30]

fn from( value: HCons<T3, HCons<T4, HCons<T5, HCons<T6, HCons<T7, HCons<T8, HCons<T9, HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>, ) -> [E; 30]

Converts to this type from the input type.

impl<E, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T30, HCons<T31, HCons<T32, HEmpty>>>> for [E; 3]

fn from(value: HCons<T30, HCons<T31, HCons<T32, HEmpty>>>) -> [E; 3]

Converts to this type from the input type.

impl<E, T31: Into<E>, T32: Into<E>> From<HCons<T31, HCons<T32, HEmpty>>> for [E; 2]

fn from(value: HCons<T31, HCons<T32, HEmpty>>) -> [E; 2]

Converts to this type from the input type.

impl<E, T32: Into<E>> From<HCons<T32, HEmpty>> for [E; 1]

fn from(value: HCons<T32, HEmpty>) -> [E; 1]

Converts to this type from the input type.

impl<E, T4: Into<E>, T5: Into<E>, T6: Into<E>, T7: Into<E>, T8: Into<E>, T9: Into<E>, T10: Into<E>, T11: Into<E>, T12: Into<E>, T13: Into<E>, T14: Into<E>, T15: Into<E>, T16: Into<E>, T17: Into<E>, T18: Into<E>, T19: Into<E>, T20: Into<E>, T21: Into<E>, T22: Into<E>, T23: Into<E>, T24: Into<E>, T25: Into<E>, T26: Into<E>, T27: Into<E>, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T4, HCons<T5, HCons<T6, HCons<T7, HCons<T8, HCons<T9, HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> for [E; 29]

fn from( value: HCons<T4, HCons<T5, HCons<T6, HCons<T7, HCons<T8, HCons<T9, HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>>>>>>>, ) -> [E; 29]

Converts to this type from the input type.

impl<E, T5: Into<E>, T6: Into<E>, T7: Into<E>, T8: Into<E>, T9: Into<E>, T10: Into<E>, T11: Into<E>, T12: Into<E>, T13: Into<E>, T14: Into<E>, T15: Into<E>, T16: Into<E>, T17: Into<E>, T18: Into<E>, T19: Into<E>, T20: Into<E>, T21: Into<E>, T22: Into<E>, T23: Into<E>, T24: Into<E>, T25: Into<E>, T26: Into<E>, T27: Into<E>, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T5, HCons<T6, HCons<T7, HCons<T8, HCons<T9, HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>>>>>>> for [E; 28]

fn from( value: HCons<T5, HCons<T6, HCons<T7, HCons<T8, HCons<T9, HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>>>>>>, ) -> [E; 28]

Converts to this type from the input type.

impl<E, T6: Into<E>, T7: Into<E>, T8: Into<E>, T9: Into<E>, T10: Into<E>, T11: Into<E>, T12: Into<E>, T13: Into<E>, T14: Into<E>, T15: Into<E>, T16: Into<E>, T17: Into<E>, T18: Into<E>, T19: Into<E>, T20: Into<E>, T21: Into<E>, T22: Into<E>, T23: Into<E>, T24: Into<E>, T25: Into<E>, T26: Into<E>, T27: Into<E>, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T6, HCons<T7, HCons<T8, HCons<T9, HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>>>>>> for [E; 27]

fn from( value: HCons<T6, HCons<T7, HCons<T8, HCons<T9, HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>>>>>, ) -> [E; 27]

Converts to this type from the input type.

impl<E, T7: Into<E>, T8: Into<E>, T9: Into<E>, T10: Into<E>, T11: Into<E>, T12: Into<E>, T13: Into<E>, T14: Into<E>, T15: Into<E>, T16: Into<E>, T17: Into<E>, T18: Into<E>, T19: Into<E>, T20: Into<E>, T21: Into<E>, T22: Into<E>, T23: Into<E>, T24: Into<E>, T25: Into<E>, T26: Into<E>, T27: Into<E>, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T7, HCons<T8, HCons<T9, HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>>>>> for [E; 26]

fn from( value: HCons<T7, HCons<T8, HCons<T9, HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>>>>, ) -> [E; 26]

Converts to this type from the input type.

impl<E, T8: Into<E>, T9: Into<E>, T10: Into<E>, T11: Into<E>, T12: Into<E>, T13: Into<E>, T14: Into<E>, T15: Into<E>, T16: Into<E>, T17: Into<E>, T18: Into<E>, T19: Into<E>, T20: Into<E>, T21: Into<E>, T22: Into<E>, T23: Into<E>, T24: Into<E>, T25: Into<E>, T26: Into<E>, T27: Into<E>, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T8, HCons<T9, HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>>>> for [E; 25]

fn from( value: HCons<T8, HCons<T9, HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>>>, ) -> [E; 25]

Converts to this type from the input type.

impl<E, T9: Into<E>, T10: Into<E>, T11: Into<E>, T12: Into<E>, T13: Into<E>, T14: Into<E>, T15: Into<E>, T16: Into<E>, T17: Into<E>, T18: Into<E>, T19: Into<E>, T20: Into<E>, T21: Into<E>, T22: Into<E>, T23: Into<E>, T24: Into<E>, T25: Into<E>, T26: Into<E>, T27: Into<E>, T28: Into<E>, T29: Into<E>, T30: Into<E>, T31: Into<E>, T32: Into<E>> From<HCons<T9, HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>>> for [E; 24]

fn from( value: HCons<T9, HCons<T10, HCons<T11, HCons<T12, HCons<T13, HCons<T14, HCons<T15, HCons<T16, HCons<T17, HCons<T18, HCons<T19, HCons<T20, HCons<T21, HCons<T22, HCons<T23, HCons<T24, HCons<T25, HCons<T26, HCons<T27, HCons<T28, HCons<T29, HCons<T30, HCons<T31, HCons<T32, HEmpty>>>>>>>>>>>>>>>>>>>>>>>>, ) -> [E; 24]

Converts to this type from the input type.

impl<H, T, F> Fun<HCons<H, T>> for F
where T: HList, HCons<H, T>: IntoTuple, <HCons<H, T> as IntoTuple>::Output: HList, F: Fun<<HCons<H, T> as IntoTuple>::Output>,

fn call_fun(&self, l: HCons<H, T>) -> Self::Output

Calls self using the elements of the given list as arguments. Read more

impl<H, T, F> FunMut<HCons<H, T>> for F
where T: HList, HCons<H, T>: IntoTuple, <HCons<H, T> as IntoTuple>::Output: HList, F: FunMut<<HCons<H, T> as IntoTuple>::Output>,

fn call_fun_mut(&mut self, l: HCons<H, T>) -> Self::Output

Calls self using the elements of the given list as arguments. Read more

impl<H, T, F> FunOnce<HCons<H, T>> for F
where T: HList, HCons<H, T>: IntoTuple, <HCons<H, T> as IntoTuple>::Output: HList, F: FunOnce<<HCons<H, T> as IntoTuple>::Output>,

type Output = <F as FunOnce<<HCons<H, T> as IntoTuple>::Output>>::Output

The return type of the function.

fn call_fun_once(self, l: HCons<H, T>) -> Self::Output

Calls self using the elements of the given list as arguments. Read more

impl<H, T: HList> HList for HCons<H, T>

const LEN: usize

Number of elements in this list.

fn len(&self) -> usize

Returns the number of elements in this list. Read more

fn is_empty(&self) -> bool

Returns true if this list is empty (contains no elements). Read more

impl<H, T: IntoTuple> IntoTuple for HCons<H, T>
where <T as IntoTuple>::Output: PushFront<H>, <<T as IntoTuple>::Output as PushFront<H>>::Output: Tuple,

type Output = <<T as IntoTuple>::Output as PushFront<H>>::Output

The type of the resulting tuple.

fn into_tuple(self) -> Self::Output

Converts the heterogeneous list into a tuple. Read more

impl<H: PartialEq, T: PartialEq> PartialEq for HCons<H, T>

fn eq(&self, other: &HCons<H, T>) -> bool

Tests for self and other values to be equal, and is used by ==.

1.0.0 · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<H, T: HList, E> PushFront<E> for HCons<H, T>

type Output = HCons<E, HCons<H, T>>

The type of the resulting list.

fn push_front(self, element: E) -> Self::Output

Pushes an element at the begining of the list. Read more

impl<H, T: HList> Uncons for HCons<H, T>

type Head = H

Type of the list front element

type Tail = T

Type of the list tail

fn uncons(self) -> (Self::Head, Self::Tail)

Pops an element from the list head. Read more

impl<H> Unpack for HCons<H, HEmpty>

type Output = H

The type of the unpacked element, or Self if the list does not contain one element.

fn unpack(self) -> Self::Output

Unpacks this list into its single element. Read more

impl<H1, H2, T> Unpack for HCons<H1, HCons<H2, T>>
where Self: HList,

type Output = HCons<H1, HCons<H2, T>>

The type of the unpacked element, or Self if the list does not contain one element.

fn unpack(self) -> Self::Output

Unpacks this list into its single element. Read more

impl<H: Copy, T: Copy> Copy for HCons<H, T>

impl<H: Eq, T: Eq> Eq for HCons<H, T>

impl<H, T> StructuralPartialEq for HCons<H, T>

Auto Trait Implementations§

impl<H, T> Freeze for HCons<H, T>
where H: Freeze, T: Freeze,

impl<H, T> RefUnwindSafe for HCons<H, T>
where H: RefUnwindSafe, T: RefUnwindSafe,

impl<H, T> Send for HCons<H, T>
where H: Send, T: Send,

impl<H, T> Sync for HCons<H, T>
where H: Sync, T: Sync,

impl<H, T> Unpin for HCons<H, T>
where H: Unpin, T: Unpin,

impl<H, T> UnwindSafe for HCons<H, T>
where H: UnwindSafe, T: UnwindSafe,

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> IntoHCons for T
where T: Extend<HEmpty>, <T as Extend<HEmpty>>::Output: HList,

type Output = <T as Extend<HEmpty>>::Output

The type of the resulting HCons list.

fn into_hcons(self) -> <T as IntoHCons>::Output

Converts the heterogeneous list into a HCons list. Read more

impl<L> PopBackExt for L
where L: PopBack,

type Back = <L as PopBack>::Back

Last element of the list

type Front = <L as PopBack>::Front

Elements of the list without the last one

fn into_back(self) -> <L as PopBackExt>::Back

transforms self into the last element Read more

fn into_heads(self) -> <L as PopBackExt>::Front

transforms self into a list without the last element Read more

impl<L> Reverse for L
where L: Uncons, <L as Uncons>::Tail: Reverse, <<L as Uncons>::Tail as Reverse>::Output: PushBack<<L as Uncons>::Head>,

type Output = <<<L as Uncons>::Tail as Reverse>::Output as PushBack<<L as Uncons>::Head>>::Output

The type of the resulting list.

fn rev(self) -> <L as Reverse>::Output

Reverses this list. Read more

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<L> TryPopBack for L
where L: PopBack,

type Back = <L as PopBack>::Back

Last element of the list

type Front = <L as PopBack>::Front

Elements of the list without the last one

fn try_pop_back( self, ) -> Option<(<L as TryPopBack>::Back, <L as TryPopBack>::Front)>

removes the last element of the list Read more

impl<T> TryUncons for T
where T: Uncons,

type Head = <T as Uncons>::Head

Type of the list front element

type Tail = <T as Uncons>::Tail

Type of the list tail (remaining list after its front element removal).

fn try_uncons( self, ) -> Result<(<T as TryUncons>::Head, <T as TryUncons>::Tail), T>

Pops an element at the begining of the list. Read more

impl<T> UnconsExt for T
where T: Uncons,

fn into_head(self) -> <T as Uncons>::Head

Returns the list front element. Read more

fn into_tail(self) -> <T as Uncons>::Tail

Returns the list tail Read more

impl<T> UnconsOpt for T
where T: Uncons,

type Head = <T as Uncons>::Head

Type of the list front element

type Tail = <T as Uncons>::Tail

Type of the list tail

fn uncons_opt(self) -> Option<(<T as UnconsOpt>::Head, <T as UnconsOpt>::Tail)>