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.
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
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 (