Struct move_ir_types::ast::FunctionSignature
source · pub struct FunctionSignature {
pub formals: Vec<(Var, Type)>,
pub return_type: Vec<Type>,
pub type_formals: Vec<(TypeVar, BTreeSet<Ability>)>,
}
Expand description
The signature of a function
Fields§
§formals: Vec<(Var, Type)>
Possibly-empty list of (formal name, formal type) pairs. Names are unique.
return_type: Vec<Type>
Optional return types
type_formals: Vec<(TypeVar, BTreeSet<Ability>)>
Possibly-empty list of type parameters and their constraints
Implementations§
Trait Implementations§
source§impl Clone for FunctionSignature
impl Clone for FunctionSignature
source§fn clone(&self) -> FunctionSignature
fn clone(&self) -> FunctionSignature
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for FunctionSignature
impl Debug for FunctionSignature
source§impl Display for FunctionSignature
impl Display for FunctionSignature
source§impl PartialEq<FunctionSignature> for FunctionSignature
impl PartialEq<FunctionSignature> for FunctionSignature
source§fn eq(&self, other: &FunctionSignature) -> bool
fn eq(&self, other: &FunctionSignature) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.