Trait TupleConsToCons 

pub trait TupleConsToCons {
    type Cons;
}

Converts a tuple-based cons-list into one using our nominal types.

use veecle_os_runtime::__assert_same_type;
use veecle_os_runtime::__exports::{Cons, Nil, TupleConsToCons};

__assert_same_type! {
    for<>
    <() as TupleConsToCons>::Cons,
    Nil,
}

__assert_same_type! {
    for<A, B, C>
    <(A, (B, (C, ()))) as TupleConsToCons>::Cons,
    Cons<A, Cons<B, Cons<C, Nil>>>,
}

Required Associated Types

type Cons

The Cons-based cons-list

Implementations on Foreign Types

impl TupleConsToCons for ()

type Cons = Nil

impl<T, U> TupleConsToCons for (T, U)

where U: TupleConsToCons,

type Cons = Cons<T, <U as TupleConsToCons>::Cons>

Implementors