Module type_level_values::prelude [−][src]
Re-exports
pub use std_types::option::None_; |
pub use std_types::option::OptionTrait; |
pub use std_types::option::OptionType; |
pub use std_types::option::Some_; |
pub use std_types::phantomdata::PhantomDataTrait; |
pub use std_types::phantomdata::PhantomDataType; |
pub use std_types::result::Err_; |
pub use std_types::result::Ok_; |
pub use std_types::result::ResultTrait; |
pub use std_types::result::ResultType; |
pub use user_traits::allowed_conversions; |
pub use user_traits::MCPBounds; |
pub use user_traits::MutConstParam; |
pub use runtime_value::IntoConstant; |
pub use runtime_value::ConstTypeOf_; |
pub use runtime_value::ConstType; |
pub use runtime_value::ConstValue; |
pub use runtime_value::IntoConstType_; |
pub use runtime_value::IntoRuntime; |
pub use enum_stuff::GetDiscriminant; |
pub use type_fn::TypeFn_; |
pub use type_fn::TypeFn; |
pub use ops::ConstEq_; |
pub use ops::ConstOrd_; |
pub use const_wrapper::AsConstWrapper; |
pub use const_wrapper::AsRuntime; |
pub use const_wrapper::ConstWrapper; |
pub use const_wrapper::ConstWrapperFromTrait; |
pub use const_wrapper::GetConstValue; |
pub use const_wrapper::GetWrapperKind; |
pub use const_wrapper::PhantomWrapper; |
pub use const_wrapper::WrapperTrait; |
Structs
B0 |
The type-level bit 0. |
B1 |
The type-level bit 1. |
BooleanType |
Used to represent a type-level boolean when used as a type parameter. |
ConstRange | |
ConstRangeFrom | |
ConstRangeFull | |
ConstRangeInclusive | |
ConstRangeTo | |
ConstRangeToInclusive | |
False |
Represents a type-level |
PhantomData |
Zero-sized type used to mark things that "act like" they own a |
True |
Represents a type-level |
Z0 |
The type-level signed integer 0. |
Traits
Boolean |
Represents a type-level |
MarkerType |
Represents a zero-sized marker type . |
RangeFromTrait |
A type-level version of the |
RangeFullTrait |
A type-level version of the |
RangeInclusiveTrait |
A type-level version of the |
RangeToInclusiveTrait |
A type-level version of the |
RangeToTrait |
A type-level version of the |
RangeTrait |
A type-level version of the |
SelfOps |
Extension trait for every type. |
TypeIdentity |
Allows converting |