[−][src]Module pui::typeid
A type based identifier that uses a unique type parameter to assert uniqueness
A given type parameter may only be associated with a single instance of
Type<T>, and this can be achieved in two ways. One is through a
runtime check that tracks the lifetime of the type, and the other is by creating
a unique type every you create an instance of Type<T>.
The make_typeid macro uses the former approach. It defines a new type that
tracks it's lifetime and only allows a new Type<T> on non-overlapping lifetimes.
The make_anon_typeid macro uses the later approach. It creates a new
unique instance of Type every time it is called.
Structs
| Type | A type based identifier |
| TypeHandle | A handle to to a |