Enum hir::ModuleDef

pub enum ModuleDef {
    Module(Module),
    Function(Function),
    Adt(Adt),
    Variant(Variant),
    Const(Const),
    Static(Static),
    Trait(Trait),
    TraitAlias(TraitAlias),
    TypeAlias(TypeAlias),
    BuiltinType(BuiltinType),
    Macro(Macro),
}

The defs which can be visible in the module.

Variants

Module(Module)

Function(Function)

Adt(Adt)

Variant(Variant)

Const(Const)

Static(Static)

Trait(Trait)

TraitAlias(TraitAlias)

TypeAlias(TypeAlias)

BuiltinType(BuiltinType)

Macro(Macro)

Implementations

impl ModuleDef

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

pub fn canonical_path( &self, db: &dyn HirDatabase, edition: Edition, ) -> Option<String>

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

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

pub fn diagnostics( self, db: &dyn HirDatabase, style_lints: bool, ) -> Vec<AnyDiagnostic>

pub fn as_def_with_body(self) -> Option<DefWithBody>

pub fn attrs(&self, db: &dyn HirDatabase) -> Option<AttrsWithOwner>

Trait Implementations

impl AsAssocItem for ModuleDef

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

impl Clone for ModuleDef

fn clone(&self) -> ModuleDef

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ModuleDef

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

Formats the value using the given formatter.

impl From<Adt> for ModuleDef

fn from(it: Adt) -> ModuleDef

Converts to this type from the input type.

impl From<AssocItem> for ModuleDef

fn from(assoc: AssocItem) -> Self

Converts to this type from the input type.

impl From<BuiltinType> for ModuleDef

fn from(it: BuiltinType) -> ModuleDef

Converts to this type from the input type.

impl From<Const> for ModuleDef

fn from(it: Const) -> ModuleDef

Converts to this type from the input type.

impl From<Enum> for ModuleDef

fn from(it: Enum) -> ModuleDef

Converts to this type from the input type.

impl From<Function> for ModuleDef

fn from(it: Function) -> ModuleDef

Converts to this type from the input type.

impl From<Macro> for ModuleDef

fn from(it: Macro) -> ModuleDef

Converts to this type from the input type.

impl From<Module> for ModuleDef

fn from(it: Module) -> ModuleDef

Converts to this type from the input type.

impl From<ModuleDef> for ItemInNs

fn from(module_def: ModuleDef) -> Self

Converts to this type from the input type.

impl From<ModuleDef> for ModuleDefId

fn from(id: ModuleDef) -> Self

Converts to this type from the input type.

impl From<ModuleDefId> for ModuleDef

fn from(id: ModuleDefId) -> Self

Converts to this type from the input type.

impl From<Static> for ModuleDef

fn from(it: Static) -> ModuleDef

Converts to this type from the input type.

impl From<Struct> for ModuleDef

fn from(it: Struct) -> ModuleDef

Converts to this type from the input type.

impl From<Trait> for ModuleDef

fn from(it: Trait) -> ModuleDef

Converts to this type from the input type.

impl From<TraitAlias> for ModuleDef

fn from(it: TraitAlias) -> ModuleDef

Converts to this type from the input type.

impl From<TypeAlias> for ModuleDef

fn from(it: TypeAlias) -> ModuleDef

Converts to this type from the input type.

impl From<Union> for ModuleDef

fn from(it: Union) -> ModuleDef

Converts to this type from the input type.

impl From<Variant> for ModuleDef

fn from(it: Variant) -> ModuleDef

Converts to this type from the input type.

impl From<VariantDef> for ModuleDef

fn from(var: VariantDef) -> Self

Converts to this type from the input type.

impl HasVisibility for ModuleDef

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

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

impl Hash for ModuleDef

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 ModuleDef

fn eq(&self, other: &ModuleDef) -> 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 Copy for ModuleDef

impl Eq for ModuleDef

impl StructuralPartialEq for ModuleDef