Module type_level_values::user_traits

Traits for regular types which have a Const-parameter.

The most important items here are:

• MutConstParam: provides methods to mutate the Const-parameter of Self.

Glosary

ConstConstructor:is a marker type which,when provided a Const-parameter, outputs a type with that Const-parameter.

ConstMethod:refers to a marker type which is used to implement an operation on a type with a Const-parameter. Eg:Rectangle in type_level_examples::_03_vis_wrapper.

Op:is another name for a ConstMethod.

This:is the common way to refer to the type that a ConstMethod is implemented for. It always has a Const-parameter.

Re-exports

pub use self::mut_const_param::MCPBounds;

pub use self::mut_const_param::MutConstParam;

pub use self::const_traits::ConstConstructor;

pub use self::allowed_conversions_type::allowed_conversions;

Modules

allowed_conversions_type	Module containing the AllowedConversions type and aliases for its possible values.
builtin_constmethods	Contains all the built-in ExtensionConstMethods .
const_methods	Contains all the traits related to Const-methods.
const_traits	Traits implemented by the ConstConstructor derive macro.
example_const_user
mut_const_param