Crate type_name_value

Exposes the name!() macro, which can be used to assign unique types to values. This can be used to implement the "Ghosts of Departed Proofs" pattern.

Macros

name	Create a Named with a given value. This will create an anonymous type that's unique to the macro invokation. Note that since this gives a type that's impossible to name properly, use wildcards and generics when passing them around.

Structs

Named

An owned value which has name Name. This type is unique to this Named, so it can be used to enforce compile-time coherency

Functions

name⚠

Create a named value. You probably don't want to use this, but instead want to use the name!() macro that calls this.