Enum move_lang::naming::ast::BuiltinFunction_

pub enum BuiltinFunction_ {
    MoveTo(Option<Type>),
    MoveFrom(Option<Type>),
    BorrowGlobal(bool, Option<Type>),
    Exists(Option<Type>),
    Freeze(Option<Type>),
    Assert,
}

Variants

MoveTo(Option<Type>)

MoveFrom(Option<Type>)

BorrowGlobal(bool, Option<Type>)

Exists(Option<Type>)

Freeze(Option<Type>)

Assert

Implementations

impl BuiltinFunction_

pub const MOVE_TO: &'static str = "move_to"

pub const MOVE_FROM: &'static str = "move_from"

pub const BORROW_GLOBAL: &'static str = "borrow_global"

pub const BORROW_GLOBAL_MUT: &'static str = "borrow_global_mut"

pub const EXISTS: &'static str = "exists"

pub const FREEZE: &'static str = "freeze"

pub const ASSERT: &'static str = "assert"

pub fn all_names() -> &'static BTreeSet<Symbol>

pub fn resolve(name_str: &str, arg: Option<Type>) -> Option<Self>

pub fn display_name(&self) -> &'static str

Trait Implementations

impl AstDebug for BuiltinFunction_

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

impl Clone for BuiltinFunction_

fn clone(&self) -> BuiltinFunction_

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BuiltinFunction_

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

Formats the value using the given formatter.

impl PartialEq<BuiltinFunction_> for BuiltinFunction_

fn eq(&self, other: &BuiltinFunction_) -> 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 BuiltinFunction_