Struct TyFunctionSig

pub struct TyFunctionSig {
    pub return_type: TypeId,
    pub parameters: Vec<TypeId>,
    pub type_parameters: Vec<TypeId>,
}

Fields

return_type: TypeId

parameters: Vec<TypeId>

type_parameters: Vec<TypeId>

Implementations

impl TyFunctionSig

pub fn from_fn_decl(fn_decl: &TyFunctionDecl) -> Self

pub fn is_concrete(&self, engines: &Engines) -> bool

pub fn get_type_str(&self, engines: &Engines) -> String

Returns a String representing the function. When the function is monomorphized the returned String is unique. Two monomorphized functions that generate the same String can be assumed to be the same.

Trait Implementations

impl Clone for TyFunctionSig

fn clone(&self) -> TyFunctionSig

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TyFunctionSig

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

Formats the value using the given formatter.

impl Hash for TyFunctionSig

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for TyFunctionSig

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for TyFunctionSig

impl StructuralPartialEq for TyFunctionSig