Crate tylift

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.

Optional 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 variants to their own types which will not be namespaced by current design. The enum type becomes a kind emulated by a trait. In the process, the original type gets replaced.