Enum move_ir_types::ast::FunctionCall_

pub enum FunctionCall_ {
    Builtin(Builtin),
    ModuleFunctionCall {
        module: ModuleName,
        name: FunctionName,
        type_actuals: Vec<Type>,
    },
}

Enum for different function calls

Variants

Builtin(Builtin)

functions defined in the host environment

ModuleFunctionCall

Fields

module: ModuleName

name: FunctionName

type_actuals: Vec<Type>

The call of a module defined procedure

Implementations

impl FunctionCall_

pub fn module_call( module: ModuleName, name: FunctionName, type_actuals: Vec<Type> ) -> Self

Creates a FunctionCall::ModuleFunctionCall variant

pub fn builtin(bif: Builtin) -> FunctionCall

Creates a FunctionCall::Builtin variant with no location information

Trait Implementations

impl Clone for FunctionCall_

fn clone(&self) -> FunctionCall_

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for FunctionCall_

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

Formats the value using the given formatter.

impl Display for FunctionCall_

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

Formats the value using the given formatter.

impl PartialEq<FunctionCall_> for FunctionCall_

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