#[non_exhaustive]pub enum DataType {
Record(Record),
Variant(Variant),
Enum(Enum),
InterfaceMarker(String),
}Expand description
A named data type declared in a module: a record, a variant, or an enum.
Variants (Non-exhaustive)§
This enum is marked as non-exhaustive
Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.
Record(Record)
A record (product) type.
Variant(Variant)
A variant (sum) type.
Enum(Enum)
An enumeration (constructors carrying no payload).
InterfaceMarker(String)
An interface marker: a phantom tag emitted so references to the
interface (always ContractId<I>) resolve. The interface itself is not
serializable and carries no data of its own — its view and choices are
emitted separately, from Interface. The String is the name.
Trait Implementations§
impl Eq for DataType
impl StructuralPartialEq for DataType
Auto Trait Implementations§
impl Freeze for DataType
impl RefUnwindSafe for DataType
impl Send for DataType
impl Sync for DataType
impl Unpin for DataType
impl UnsafeUnpin for DataType
impl UnwindSafe for DataType
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.