Struct ra_ap_hir::Function

source ·
pub struct Function { /* private fields */ }

Implementations§

source§

impl Function

source

pub fn module(self, db: &dyn HirDatabase) -> Module

source

pub fn name(self, db: &dyn HirDatabase) -> Name

source

pub fn ty(self, db: &dyn HirDatabase) -> Type

source

pub fn ret_type(self, db: &dyn HirDatabase) -> Type

Get this function’s return type

source

pub fn async_ret_type(self, db: &dyn HirDatabase) -> Option<Type>

source

pub fn has_self_param(self, db: &dyn HirDatabase) -> bool

source

pub fn self_param(self, db: &dyn HirDatabase) -> Option<SelfParam>

source

pub fn assoc_fn_params(self, db: &dyn HirDatabase) -> Vec<Param>

source

pub fn num_params(self, db: &dyn HirDatabase) -> usize

source

pub fn method_params(self, db: &dyn HirDatabase) -> Option<Vec<Param>>

source

pub fn params_without_self(self, db: &dyn HirDatabase) -> Vec<Param>

source

pub fn is_const(self, db: &dyn HirDatabase) -> bool

source

pub fn is_async(self, db: &dyn HirDatabase) -> bool

source

pub fn is_test(self, db: &dyn HirDatabase) -> bool

Does this function have #[test] attribute?

source

pub fn is_ignore(self, db: &dyn HirDatabase) -> bool

Does this function have the ignore attribute?

source

pub fn is_bench(self, db: &dyn HirDatabase) -> bool

Does this function have #[bench] attribute?

source

pub fn is_unsafe_to_call(self, db: &dyn HirDatabase) -> bool

source

pub fn has_body(self, db: &dyn HirDatabase) -> bool

Whether this function declaration has a definition.

This is false in the case of required (not provided) trait methods.

source

pub fn as_proc_macro(self, db: &dyn HirDatabase) -> Option<Macro>

source

pub fn eval( self, db: &dyn HirDatabase, span_formatter: impl Fn(FileId, TextRange) -> String ) -> String

Trait Implementations§

source§

impl AsAssocItem for Function

source§

impl Clone for Function

source§

fn clone(&self) -> Function

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl Debug for Function

source§

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

Formats the value using the given formatter. Read more
source§

impl From<Function> for DefWithBody

source§

fn from(it: Function) -> DefWithBody

Converts to this type from the input type.
source§

impl From<Function> for FunctionId

source§

fn from(ty: Function) -> FunctionId

Converts to this type from the input type.
source§

impl From<Function> for GenericDef

source§

fn from(it: Function) -> GenericDef

Converts to this type from the input type.
source§

impl From<Function> for ModuleDef

source§

fn from(it: Function) -> ModuleDef

Converts to this type from the input type.
source§

impl From<FunctionId> for Function

source§

fn from(id: FunctionId) -> Function

Converts to this type from the input type.
source§

impl HasAttrs for Function

source§

impl HasContainer for Function

source§

impl HasCrate for Function

source§

fn krate(&self, db: &dyn HirDatabase) -> Crate

source§

impl HasSource for Function

§

type Ast = Fn

source§

fn source(self, db: &dyn HirDatabase) -> Option<InFile<Self::Ast>>

Fetches the definition’s source node. Using crate::Semantics::source is preferred when working with crate::Semantics, as that caches the parsed file in the semantics’ cache. Read more
source§

impl HasVisibility for Function

source§

fn visibility(&self, db: &dyn HirDatabase) -> Visibility

source§

fn is_visible_from(&self, db: &dyn HirDatabase, module: Module) -> bool

source§

impl Hash for Function

source§

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

Feeds this value into the given Hasher. Read more
1.3.0 · source§

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

Feeds a slice of this type into the given Hasher. Read more
source§

impl HirDisplay for Function

source§

fn hir_fmt(&self, f: &mut HirFormatter<'_>) -> Result<(), HirDisplayError>

source§

fn into_displayable<'a>( &'a self, db: &'a dyn HirDatabase, max_size: Option<usize>, omit_verbose_types: bool, display_target: DisplayTarget, closure_style: ClosureStyle ) -> HirDisplayWrapper<'a, Self>where Self: Sized,

Returns a Displayable type that is human-readable.
source§

fn display<'a>(&'a self, db: &'a dyn HirDatabase) -> HirDisplayWrapper<'a, Self>where Self: Sized,

Returns a Displayable type that is human-readable. Use this for showing types to the user (e.g. diagnostics)
source§

fn display_truncated<'a>( &'a self, db: &'a dyn HirDatabase, max_size: Option<usize> ) -> HirDisplayWrapper<'a, Self>where Self: Sized,

Returns a Displayable type that is human-readable and tries to be succinct. Use this for showing types to the user where space is constrained (e.g. doc popups)
source§

fn display_source_code<'a>( &'a self, db: &'a dyn HirDatabase, module_id: ModuleId, allow_opaque: bool ) -> Result<String, DisplaySourceCodeError>

Returns a String representation of self that can be inserted into the given module. Use this when generating code (e.g. assists)
source§

fn display_test<'a>( &'a self, db: &'a dyn HirDatabase ) -> HirDisplayWrapper<'a, Self>where Self: Sized,

Returns a String representation of self for test purposes
source§

impl PartialEq<Function> for Function

source§

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

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

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.
source§

impl Copy for Function

source§

impl Eq for Function

source§

impl StructuralEq for Function

source§

impl StructuralPartialEq for Function

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
§

impl<T> Cast for T

§

fn cast<U>(self, interner: <U as HasInterner>::Interner) -> Uwhere Self: CastTo<U>, U: HasInterner,

Cast a value to type U using CastTo.
§

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
§

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
source§

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T> Instrument for T

source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
source§

impl<T, U> Into<U> for Twhere U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> ToOwned for Twhere T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<T> WithSubscriber for T

source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
§

impl<T> CloneAny for Twhere T: Any + Clone,