Crate tylift[−][src]
This is a libary for making type-level programming more ergonomic.
With the attribute tylift
, one can lift variants of an enum
to the type-level.
cargo
Features
The feature-flag span_errors
drastically improves error messages by taking
advantage of the span information of a token. It uses the experimental feature
proc_macro_diagnostic
and thus requires a nightly rustc
.
Attribute Macros
tylift | The attribute promotes enum variants to their own types.
The enum type becomes a kind
– the type of a type – emulated by a trait, replacing the original type declaration.
In Rust, the syntax of trait bounds ( |