Module type_level

Source
Expand description

Types used to represent values at compile-time, eg: True/False.

Modules§

bools
Type-level booleans.
downcasting
Type-level enum representing whether a DynTrait/RObject/#[sabi_trait]-generated trait object can be converted back into the concrete type they were constructed with.
impl_enum
Type-level-enum representing whether a trait is implemented or not implemented.
trait_marker
Marker types representing traits.