Struct Signature 

pub struct Signature {
    pub params: Vec<Type>,
    pub returns: Vec<Type>,
    pub variadic: bool,
}

What a function takes and returns.

A signature is not a type. Nothing in the IR has a function type, because a ptr has no pointee and there is nothing else a function type could sit on. A call_indirect names the signature it is called with, and that is where the ABI attributes are read from.

Fields

params: Vec<Type>

What it takes, in their C-level form before the ABI has been applied.

returns: Vec<Type>

What it returns, which is empty for a void function.

variadic: bool

Whether it takes arguments beyond the ones named.

Implementations

impl Signature

pub fn new() -> Self

A signature taking and returning nothing.

pub fn with_params(self, params: &[Type]) -> Self

The same signature with these parameters.

pub fn with_returns(self, returns: &[Type]) -> Self

The same signature returning these.

pub fn variadic(self) -> Self

The same signature, variadic.

Trait Implementations

impl Clone for Signature

fn clone(&self) -> Signature

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Signature

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

Formats the value using the given formatter.

impl Default for Signature

fn default() -> Signature

Returns the “default value” for a type.

impl Eq for Signature

impl PartialEq for Signature

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Signature