Trait FreeFunctionSemantic 

pub trait FreeFunctionSemantic<'db>: Database {
    // Provided methods
    fn free_function_declaration_diagnostics(
        &'db self,
        id: FreeFunctionId<'db>,
    ) -> Diagnostics<'db, SemanticDiagnostic<'db>> { ... }
    fn free_function_signature(
        &'db self,
        id: FreeFunctionId<'db>,
    ) -> Maybe<&'db Signature<'db>> { ... }
    fn free_function_declaration_implicit_precedence(
        &'db self,
        id: FreeFunctionId<'db>,
    ) -> Maybe<&'db ImplicitPrecedence<'db>> { ... }
    fn free_function_generic_params(
        &'db self,
        id: FreeFunctionId<'db>,
    ) -> Maybe<&'db [GenericParam<'db>]> { ... }
    fn free_function_attributes(
        &'db self,
        id: FreeFunctionId<'db>,
    ) -> Maybe<&'db [Attribute<'db>]> { ... }
    fn free_function_declaration_resolver_data(
        &'db self,
        id: FreeFunctionId<'db>,
    ) -> Maybe<Arc<ResolverData<'db>>> { ... }
    fn free_function_declaration_inline_config(
        &'db self,
        id: FreeFunctionId<'db>,
    ) -> Maybe<InlineConfiguration<'db>> { ... }
    fn free_function_body_diagnostics(
        &'db self,
        id: FreeFunctionId<'db>,
    ) -> Diagnostics<'db, SemanticDiagnostic<'db>> { ... }
    fn free_function_body(
        &'db self,
        id: FreeFunctionId<'db>,
    ) -> Maybe<&'db FunctionBody<'db>> { ... }
    fn free_function_body_resolver_data(
        &'db self,
        id: FreeFunctionId<'db>,
    ) -> Maybe<Arc<ResolverData<'db>>> { ... }
    fn priv_free_function_body_data(
        &'db self,
        id: FreeFunctionId<'db>,
    ) -> Maybe<&'db FunctionBodyData<'db>> { ... }
}

Trait for free function-related semantic queries.

Provided Methods

fn free_function_declaration_diagnostics( &'db self, id: FreeFunctionId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>

Returns the semantic diagnostics of a free function’s declaration (signature).

fn free_function_signature( &'db self, id: FreeFunctionId<'db>, ) -> Maybe<&'db Signature<'db>>

Returns the signature of a free function.

fn free_function_declaration_implicit_precedence( &'db self, id: FreeFunctionId<'db>, ) -> Maybe<&'db ImplicitPrecedence<'db>>

Returns the implicits precedence of a free function.

fn free_function_generic_params( &'db self, id: FreeFunctionId<'db>, ) -> Maybe<&'db [GenericParam<'db>]>

Returns the generic params of a free function.

fn free_function_attributes( &'db self, id: FreeFunctionId<'db>, ) -> Maybe<&'db [Attribute<'db>]>

Returns the attributes of a free function.

fn free_function_declaration_resolver_data( &'db self, id: FreeFunctionId<'db>, ) -> Maybe<Arc<ResolverData<'db>>>

Returns the resolution resolved_items of a free function’s declaration.

fn free_function_declaration_inline_config( &'db self, id: FreeFunctionId<'db>, ) -> Maybe<InlineConfiguration<'db>>

Returns the inline configuration of a free function’s declaration.

fn free_function_body_diagnostics( &'db self, id: FreeFunctionId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>

Returns the semantic diagnostics of a free function’s body.

fn free_function_body( &'db self, id: FreeFunctionId<'db>, ) -> Maybe<&'db FunctionBody<'db>>

Returns the definition of a free function.

fn free_function_body_resolver_data( &'db self, id: FreeFunctionId<'db>, ) -> Maybe<Arc<ResolverData<'db>>>

Returns the resolution resolved_items of a free function’s body.

fn priv_free_function_body_data( &'db self, id: FreeFunctionId<'db>, ) -> Maybe<&'db FunctionBodyData<'db>>

Returns the semantic body of a free function.

Implementors

impl<'db, T: Database + ?Sized> FreeFunctionSemantic<'db> for T