Module cairo_lang_semantic::items::functions

Structs

• ConcreteFunction
• ConcreteFunctionWithBody
  A long Id of a concrete function with body.
• ConcreteFunctionWithBodyId
• FunctionDeclarationData
• FunctionId
• FunctionLongId
  Function instance. For example: ImplA::foo<A, B>, or bar<A>.
• ImplGenericFunctionId
  A generic function of an impl.
• ImplGenericFunctionWithBodyId
  A generic function of a concrete impl.
• ImplicitPrecedence
  Extra information about sorting of implicit arguments of the function.
• Signature

Enums

• GenericFunctionId
  The ID of a generic function that can be concretized.
• GenericFunctionWithBodyId
  The ID of a generic function with body that can be concretized.
• ImplFunctionBodyId
  The body of an impl function implementation.
• InlineConfiguration

Functions

• concrete_function_signature
  Query implementation of crate::db::SemanticGroup::concrete_function_signature.
• forbid_inline_always_with_impl_generic_param
  If a function with impl generic parameters is marked as ‘#[inline(always)]’, raise a diagnostic.
• function_signature_implicit_parameters
  Returns the implicit parameters of the given function signature’s AST.
• function_signature_params
  Returns the parameters of the given function signature’s AST.
• function_signature_return_type
• function_title_generic_params
  Query implementation of crate::db::SemanticGroup::function_title_generic_params.
• function_title_signature
  Query implementation of crate::db::SemanticGroup::function_title_signature.