pub type Concat<Lhs, Rhs> = <Lhs as TList>::Concat<Rhs>;
Expand description
Type-level ‘function’ to concatenate two TLists.
use tlist::*;
use typenum::consts::{U1, U2, U3, U4, U5};
use static_assertions::assert_type_eq_all as assert_type_eq;
assert_type_eq!(Concat<TList![], TList![]>, TList![]);
assert_type_eq!(Concat<TList![U1], TList![]>, TList![U1]);
assert_type_eq!(Concat<TList![U2], TList![]>, TList![U2]);
assert_type_eq!(Concat<TList![U1, U2], TList![U3, U4, U5]>, TList![U1, U2, U3, U4, U5]);