Struct cairo_lang_semantic::items::functions::Signature

pub struct Signature {
    pub params: Vec<Parameter>,
    pub return_type: TypeId,
    pub implicits: Vec<TypeId>,
    pub panicable: bool,
    pub stable_ptr: FunctionSignaturePtr,
}

Fields

params: Vec<Parameter>

return_type: TypeId

implicits: Vec<TypeId>

implicit parameters

panicable: bool

stable_ptr: FunctionSignaturePtr

Implementations

impl Signature

pub fn from_ast( diagnostics: &mut SemanticDiagnostics, db: &dyn SemanticGroup, resolver: &mut Resolver<'_>, signature_syntax: &FunctionSignature, function_title_id: FunctionTitleId, environment: &mut Environment ) -> Self

Trait Implementations

impl Clone for Signature

fn clone(&self) -> Signature

Returns a copy 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<'a, T: ?Sized + Upcast<dyn SemanticGroup + 'static>> DebugWithDb<T> for Signature

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

fn debug<'me, 'db>(&'me self, db: &'me Db) -> DebugWith<'me, Db>where Self: Sized + 'me,

fn into_debug<'me, 'db>(self, db: &'me Db) -> DebugWith<'me, Db>where Self: Sized + 'me,

impl PartialEq for Signature

fn eq(&self, other: &Signature) -> 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<T: SemanticRewriter<Vec<Parameter>, Error> + SemanticRewriter<TypeId, Error> + SemanticRewriter<Vec<TypeId>, Error>, Error> SemanticObject<T, Error> for Signature

fn default_rewrite(self, rewriter: &mut T) -> Result<Self, Error>

impl<'a> SemanticRewriter<Signature, DiagnosticAdded> for SubstitutionRewriter<'a>

fn rewrite(&mut self, value: Signature) -> Result<Signature, DiagnosticAdded>

impl<'a> SemanticRewriter<Signature, NoError> for Inference<'a>

fn rewrite(&mut self, value: Signature) -> Result<Signature, NoError>

impl Eq for Signature

impl StructuralEq for Signature

impl StructuralPartialEq for Signature