Enum move_binary_format::normalized::Type

pub enum Type {
    Bool,
    U8,
    U64,
    U128,
    Address,
    Signer,
    Struct {
        address: AccountAddress,
        module: Identifier,
        name: Identifier,
        type_arguments: Vec<Type>,
    },
    Vector(Box<Type>),
    TypeParameter(TypeParameterIndex),
    Reference(Box<Type>),
    MutableReference(Box<Type>),
}

Defines normalized representations of Move types, fields, kinds, structs, functions, and modules. These representations are useful in situations that require require comparing functions, resources, and types across modules. This arises in linking, compatibility checks (e.g., “is it safe to deploy this new module without updating its dependents and/or restarting genesis?”), defining schemas for resources stored on-chain, and (possibly in the future) allowing module updates transactions. A normalized version of SignatureToken, a type expression appearing in struct or function declarations. Unlike SignatureTokens, normalized::Types from different modules can safely be compared.

Variants

Bool

U8

U64

U128

Address

Signer

Struct

Fields

address: AccountAddress

module: Identifier

name: Identifier

type_arguments: Vec<Type>

Vector(Box<Type>)

TypeParameter(TypeParameterIndex)

Reference(Box<Type>)

MutableReference(Box<Type>)

Implementations

impl Type

pub fn new(m: &CompiledModule, s: &SignatureToken) -> Self

Create a normalized Type for SignatureToken s in module m.

pub fn is_closed(&self) -> bool

Return true if self is a closed type with no free type variables

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

pub fn into_struct_tag(self) -> Option<StructTag>

pub fn subst(&self, type_args: &[Type]) -> Self

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Type

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

Formats the value using the given formatter.

impl Display for Type

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

Formats the value using the given formatter.

impl From<TypeTag> for Type

fn from(ty: TypeTag) -> Type

Converts to this type from the input type.

impl Ord for Type

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

This method returns an Ordering between self and other.

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

Compares and returns the maximum of two values.

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

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Selfwhere Self: Sized + PartialOrd<Self>,

Restrict a value to a certain interval.

impl PartialEq<Type> for Type

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl PartialOrd<Type> for Type

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

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

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

This method tests less than (for self and other) and is used by the < operator.

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

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

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

This method tests greater than (for self and other) and is used by the > operator.

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

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

impl Eq for Type

impl StructuralEq for Type

impl StructuralPartialEq for Type