Enum move_lang::hlir::ast::Type_

pub enum Type_ {
    Unit,
    Single(SingleType),
    Multiple(Vec<SingleType>),
}

Variants

Unit

Single(SingleType)

Multiple(Vec<SingleType>)

Implementations

impl Type_

pub fn base(b: BaseType) -> Type

pub fn single(_: SingleType) -> Type

pub fn bool(loc: Loc) -> Type

pub fn address(loc: Loc) -> Type

pub fn u8(loc: Loc) -> Type

pub fn u64(loc: Loc) -> Type

pub fn u128(loc: Loc) -> Type

pub fn type_at_index(&self, idx: usize) -> &SingleType

pub fn from_vec(loc: Loc, ss: Vec<SingleType>) -> Type

Trait Implementations

impl AstDebug for Type_

fn ast_debug(&self, w: &mut AstWriter)

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 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 Eq for Type_

impl StructuralEq for Type_

impl StructuralPartialEq for Type_