Enum move_ir_types::ast::Type

pub enum Type {
    Address,
    Signer,
    U8,
    U64,
    U128,
    Bool,
    Vector(Box<Type>),
    Struct(QualifiedStructIdent, Vec<Type>),
    Reference(bool, Box<Type>),
    TypeParameter(TypeVar_),
}

The type of a single value

Variants

Address

address

Signer

signer

U8

u8

U64

u64

U128

u128

Bool

bool

Vector(Box<Type>)

vector

Struct(QualifiedStructIdent, Vec<Type>)

A module defined struct

Reference(bool, Box<Type>)

A reference type, the bool flag indicates whether the reference is mutable

TypeParameter(TypeVar_)

A type parameter

Implementations

impl Type

pub fn struct(ident: QualifiedStructIdent, type_actuals: Vec<Type>) -> Type

Creates a new struct type

pub fn reference(is_mutable: bool, t: Type) -> Type

Creates a new reference type from its mutability and underlying type

pub fn address() -> Type

Creates a new address type

pub fn u64() -> Type

Creates a new u64 type

pub fn bool() -> Type

Creates a new bool type

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 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 StructuralPartialEq for Type