Enum Definition

pub enum Definition {
    Macro(Macro),
    Field(Field),
    TupleField(TupleField),
    Module(Module),
    Function(Function),
    Adt(Adt),
    Variant(Variant),
    Const(Const),
    Static(Static),
    Trait(Trait),
    TraitAlias(TraitAlias),
    TypeAlias(TypeAlias),
    SelfType(Impl),
    GenericParam(GenericParam),
    Local(Local),
    Label(Label),
    DeriveHelper(DeriveHelper),
    BuiltinType(BuiltinType),
    BuiltinLifetime(StaticLifetime),
    BuiltinAttr(BuiltinAttr),
    ToolModule(ToolModule),
    ExternCrateDecl(ExternCrateDecl),
    InlineAsmRegOrRegClass(()),
    InlineAsmOperand(InlineAsmOperand),
}

Variants

Macro(Macro)

Field(Field)

TupleField(TupleField)

Module(Module)

Function(Function)

Adt(Adt)

Variant(Variant)

Const(Const)

Static(Static)

Trait(Trait)

TraitAlias(TraitAlias)

TypeAlias(TypeAlias)

SelfType(Impl)

GenericParam(GenericParam)

Local(Local)

Label(Label)

DeriveHelper(DeriveHelper)

BuiltinType(BuiltinType)

BuiltinLifetime(StaticLifetime)

BuiltinAttr(BuiltinAttr)

ToolModule(ToolModule)

ExternCrateDecl(ExternCrateDecl)

InlineAsmRegOrRegClass(())

InlineAsmOperand(InlineAsmOperand)

Implementations

impl Definition

pub fn canonical_module_path( &self, db: &RootDatabase, ) -> Option<impl Iterator<Item = Module>>

pub fn krate(&self, db: &RootDatabase) -> Option<Crate>

pub fn module(&self, db: &RootDatabase) -> Option<Module>

pub fn enclosing_definition(&self, db: &RootDatabase) -> Option<Definition>

pub fn visibility(&self, db: &RootDatabase) -> Option<Visibility>

pub fn name(&self, db: &RootDatabase) -> Option<Name>

pub fn docs( &self, db: &RootDatabase, famous_defs: Option<&FamousDefs<'_, '_>>, edition: Edition, ) -> Option<Documentation>

pub fn label(&self, db: &RootDatabase, edition: Edition) -> String

impl Definition

pub fn rename( &self, sema: &Semantics<'_, RootDatabase>, new_name: &str, ) -> Result<SourceChange>

pub fn range_for_rename( self, sema: &Semantics<'_, RootDatabase>, ) -> Option<FileRange>

Textual range of the identifier which will change when renaming this Definition. Note that builtin types can’t be renamed and extern crate names will report its range, though a rename will introduce an alias instead.

impl Definition

pub fn usages<'a>(self, sema: &'a Semantics<'_, RootDatabase>) -> FindUsages<'a>

Trait Implementations

impl AsAssocItem for Definition

fn as_assoc_item(self, db: &dyn HirDatabase) -> Option<AssocItem>

impl AsExternAssocItem for Definition

fn as_extern_assoc_item(self, db: &dyn HirDatabase) -> Option<ExternAssocItem>

impl Clone for Definition

fn clone(&self) -> Definition

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Definition

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

Formats the value using the given formatter.

impl From<Adt> for Definition

fn from(it: Adt) -> Definition

Converts to this type from the input type.

impl From<AssocItem> for Definition

fn from(assoc_item: AssocItem) -> Self

Converts to this type from the input type.

impl From<BuiltinType> for Definition

fn from(it: BuiltinType) -> Definition

Converts to this type from the input type.

impl From<Const> for Definition

fn from(it: Const) -> Definition

Converts to this type from the input type.

impl From<DocLinkDef> for Definition

fn from(def: DocLinkDef) -> Self

Converts to this type from the input type.

impl From<Either<PathResolution, InlineAsmOperand>> for Definition

fn from(value: Either<PathResolution, InlineAsmOperand>) -> Self

Converts to this type from the input type.

impl From<ExternCrateDecl> for Definition

fn from(it: ExternCrateDecl) -> Definition

Converts to this type from the input type.

impl From<Field> for Definition

fn from(it: Field) -> Definition

Converts to this type from the input type.

impl From<Function> for Definition

fn from(it: Function) -> Definition

Converts to this type from the input type.

impl From<GenericParam> for Definition

fn from(it: GenericParam) -> Definition

Converts to this type from the input type.

impl From<Impl> for Definition

fn from(impl_: Impl) -> Self

Converts to this type from the input type.

impl From<InlineAsmOperand> for Definition

fn from(value: InlineAsmOperand) -> Self

Converts to this type from the input type.

impl From<Label> for Definition

fn from(it: Label) -> Definition

Converts to this type from the input type.

impl From<Local> for Definition

fn from(it: Local) -> Definition

Converts to this type from the input type.

impl From<Macro> for Definition

fn from(it: Macro) -> Definition

Converts to this type from the input type.

impl From<Module> for Definition

fn from(it: Module) -> Definition

Converts to this type from the input type.

impl From<ModuleDef> for Definition

fn from(def: ModuleDef) -> Self

Converts to this type from the input type.

impl From<PathResolution> for Definition

fn from(path_resolution: PathResolution) -> Self

Converts to this type from the input type.

impl From<Static> for Definition

fn from(it: Static) -> Definition

Converts to this type from the input type.

impl From<Trait> for Definition

fn from(it: Trait) -> Definition

Converts to this type from the input type.

impl From<TraitAlias> for Definition

fn from(it: TraitAlias) -> Definition

Converts to this type from the input type.

impl From<TypeAlias> for Definition

fn from(it: TypeAlias) -> Definition

Converts to this type from the input type.

impl From<Variant> for Definition

fn from(it: Variant) -> Definition

Converts to this type from the input type.

impl From<VariantDef> for Definition

fn from(def: VariantDef) -> Self

Converts to this type from the input type.

impl Hash for Definition

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 PartialEq for Definition

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

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl TryFrom<DefWithBody> for Definition

type Error = ()

The type returned in the event of a conversion error.

fn try_from(def: DefWithBody) -> Result<Self, Self::Error>

Performs the conversion.

impl Copy for Definition

impl Eq for Definition

impl StructuralPartialEq for Definition