Enum TypeInput

pub enum TypeInput {
    Bool,
    U8,
    U64,
    U128,
    Address,
    Signer,
    Vector(Box<TypeInput>),
    Struct(Box<StructInput>),
    U16,
    U32,
    U256,
}

Variants

Bool

U8

U64

U128

Address

Signer

Vector(Box<TypeInput>)

Struct(Box<StructInput>)

U16

U32

U256

Implementations

impl TypeInput

pub fn to_canonical_string(&self, with_prefix: bool) -> String

Return a canonical string representation of the type. All types are represented using their source syntax:

• “bool”, “u8”, “u16”, “u32”, “u64”, “u128”, “u256”, “address”, “signer”, “vector” for ground types.

• Structs are represented as fully qualified type names, with or without the prefix “0x” depending on the with_prefix flag, e.g. 0x000...0001::string::String or 0x000...000a::m::T<0x000...000a::n::U<u64>>.

• Addresses are hex-encoded lowercase values of length 32 (zero-padded).

Note: this function is guaranteed to be stable – suitable for use inside Move native functions or the VM. By contrast, this type’s Display implementation is subject to change and should be used inside code that needs to return a stable output (e.g. that might be committed to effects on-chain).

pub fn to_canonical_display(&self, with_prefix: bool) -> impl Display + '_

Return the canonical string representation of the TypeTag conditionally with prefix 0x

pub unsafe fn into_type_tag_unchecked(self) -> TypeTag

Convert the TypeInput into a TypeTag without checking for validity of identifiers within the StructTag. DO NOT USE UNLESS YOU KNOW WHAT YOU ARE DOING AND WHY THIS IS SAFE TO CALL.

Safety

Preserving existing behaviour for identifier deserialization within type tags and inputs.

pub fn into_type_tag(self) -> Result<TypeTag>

Convert to a TypeTag consuming self. This can fail if this value includes invalid identifiers.

pub fn as_type_tag(&self) -> Result<TypeTag>

Conversion to a TypeTag, which can fail if this value includes invalid identifiers.

Trait Implementations

impl Clone for TypeInput

fn clone(&self) -> TypeInput

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TypeInput

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TypeInput

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for TypeInput

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl EnumOrderMap for TypeInput

fn order_to_variant_map() -> BTreeMap<u64, String>

impl From<StructInput> for TypeInput

fn from(t: StructInput) -> TypeInput

Converts to this type from the input type.

impl From<TypeTag> for TypeInput

fn from(tag: TypeTag) -> Self

Converts to this type from the input type.

impl Hash for TypeInput

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for TypeInput

fn cmp(&self, other: &TypeInput) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for TypeInput

fn eq(&self, other: &TypeInput) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for TypeInput

fn partial_cmp(&self, other: &TypeInput) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for TypeInput

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for TypeInput

impl StructuralPartialEq for TypeInput