type_val

此项目允许创建类型级别值。任何可以被初始化为常量的值都可以成为类型级别。所有类型级别值都实现了TypeVal特质，因此可以作为类型参数提供。

TypeVal

类型级别值实现的特质。可以通过关联常量VAL提取TypeVal的值。

def_type_val

此宏用于实现TypeVal特质。可以在一次调用中初始化任意数量的值。以pub开头的项是公共的。应用于块中项的属性，包括文档注释，应放在其目标之上。

示例

def_type_val! {
    type One: i32 = 1;
    #[derive(Clone, Copy)]
    type True: bool = true;
    /// Negative one
    pub type NegOne: i32 = -1;
    pub type False: bool = false;
}

println!("One = {}, True = {}, NegOne = {}, False = {}",
    One::VAL,
    True::VAL,
    NegOne::VAL,
    False::VAL);

如何获取

此项目可在crates.io上找到，链接为此处。