Macro type_level_values::tlist_val[−][src]

macro_rules! tlist_val {
    ($($all:tt)*) => { ... };
}

Instantiates a type-level-list, which is just a MarkerType and does not contain instances of the types it lists.

This macro uses takes these 2 forms:

tlist_val![U0,U1,U2,U3] : this is equivalent to <tlist![U0,U1,U2,U3]>::MTVAL.
tlist_val![False;3] : this is equivalent to <tlist![False;3]>::MTVAL.

Example



use std::borrow::Cow;

fn main(){

    let first_primes=tlist_val![ U1,U2,U3,U5,U7,U11,U13,U17,U19,U23 ];

    let strings=tlist_val![ String,&str,Cow<str> ];

}