pub unsafe trait ValueType: Copywhere
    Self: Sized,{ }
Expand description

Trait for a Value type. A Value type is a type that is always valid and may be safely copied.

That is, for all possible bit patterns a valid Value type can be constructed from those bits.

Concretely a u32 is a Value type because every combination of 32 bits is a valid u32. However a bool is not a Value type because any bit patterns other than 0 and 1 are invalid in Rust and may cause undefined behavior if a bool is constructed from those bytes.

Implementations on Foreign Types§

source§

impl ValueType for i8

source§

impl ValueType for u32

source§

impl ValueType for u64

source§

impl ValueType for f32

source§

impl ValueType for u16

source§

impl ValueType for u8

source§

impl ValueType for i64

source§

impl ValueType for i16

source§

impl ValueType for f64

source§

impl ValueType for i32

Implementors§