Trait wasmer_types::ValueType

source · [−]
pub unsafe trait ValueType: Copy where
    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

Implementors