Enum cairo_lang_semantic::items::functions::GenericFunctionId

pub enum GenericFunctionId {
    Free(FreeFunctionId),
    Extern(ExternFunctionId),
    Impl(ConcreteImplGenericFunctionId),
    Trait(ConcreteTraitGenericFunctionId),
}

The ID of a generic function that can be concretized.

Variants

Free(FreeFunctionId)

A generic free function.

Extern(ExternFunctionId)

A generic extern function.

Impl(ConcreteImplGenericFunctionId)

A generic function of a concrete impl.

Trait(ConcreteTraitGenericFunctionId)

Implementations

impl GenericFunctionId

pub fn generic_args_apply<F: FnOnce(&mut Vec<GenericArgumentId>)>(
    &mut self,
    db: &dyn SemanticGroup,
    functor: F
)

pub fn format(&self, db: &dyn SemanticGroup) -> String

pub fn signature(&self, db: &dyn SemanticGroup) -> FunctionSignatureId

Gets the FunctionSignatureId of the generic function.

Trait Implementations

impl Clone for GenericFunctionId

fn clone(&self) -> GenericFunctionId

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for GenericFunctionId

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

Formats the value using the given formatter.

impl From<GenericFunctionWithBodyId> for GenericFunctionId

fn from(val: GenericFunctionWithBodyId) -> Self

Converts to this type from the input type.

impl Hash for GenericFunctionId

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 OptionFrom<GenericFunctionId> for GenericFunctionWithBodyId

fn option_from(other: GenericFunctionId) -> Option<Self>

impl OptionFrom<ModuleItemId> for GenericFunctionId

Conversion from ModuleItemId to GenericFunctionId.

fn option_from(item: ModuleItemId) -> Option<Self>

impl PartialEq<GenericFunctionId> for GenericFunctionId

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

impl Eq for GenericFunctionId

impl StructuralEq for GenericFunctionId

impl StructuralPartialEq for GenericFunctionId