Enum rustc_hir::def::DefKind[−][src]

pub enum DefKind {
Show variants Mod, Struct, Union, Enum, Variant, Trait, TyAlias, ForeignTy, TraitAlias, AssocTy, TyParam, Fn, Const, ConstParam, Static, Ctor(CtorOf, CtorKind), AssocFn, AssocConst, Macro(MacroKind), ExternCrate, Use, ForeignMod, AnonConst, OpaqueTy, Field, LifetimeParam, GlobalAsm, Impl, Closure, Generator,
}

What kind of definition something is; e.g., mod vs struct.

Variants

Mod
Struct

Refers to the struct itself, DefKind::Ctor refers to its constructor if it exists.

Union
Enum
Variant

Refers to the variant itself, DefKind::Ctor refers to its constructor if it exists.

Trait
TyAlias

Type alias: type Foo = Bar;

ForeignTy

Type from an extern block.

TraitAlias

Trait alias: trait IntIterator = Iterator<Item = i32>;

AssocTy

Associated type: trait MyTrait { type Assoc; }

TyParam

Type parameter: the T in struct Vec<T> { ... }

Fn
Const
ConstParam

Constant generic parameter: struct Foo<const N: usize> { ... }

Static
Ctor(CtorOf, CtorKind)

Refers to the struct or enum variant’s constructor.

The reason Ctor exists in addition to DefKind::Struct and DefKind::Variant is because structs and enum variants exist in the type namespace, whereas struct and enum variant constructors exist in the value namespace.

You may wonder why enum variants exist in the type namespace as opposed to the value namespace. Check out RFC 2593 for intuition on why that is.

AssocFn

Associated function: impl MyStruct { fn associated() {} }

AssocConst

Associated constant: trait MyTrait { const ASSOC: usize; }

Macro(MacroKind)
ExternCrate
Use
ForeignMod

An extern block.

AnonConst

Anonymous constant, e.g. the 1 + 2 in [u8; 1 + 2], or const { 1 + 2}

OpaqueTy

Opaque type, aka impl Trait.

Field
LifetimeParam

Lifetime parameter: the 'a in struct Foo<'a> { ... }

GlobalAsm

A use of global_asm!.

Impl
Closure
Generator

Implementations

impl DefKind[src]

pub fn descr(self, def_id: DefId) -> &'static str[src]

pub fn article(&self) -> &'static str[src]

Gets an English article for the definition.

pub fn ns(&self) -> Option<Namespace>[src]

Trait Implementations

impl Clone for DefKind[src]

impl Copy for DefKind[src]

impl Debug for DefKind[src]

impl<__D: Decoder> Decodable<__D> for DefKind[src]

impl<__E: Encoder> Encodable<__E> for DefKind[src]

impl Eq for DefKind[src]

impl Hash for DefKind[src]

impl<__CTX> HashStable<__CTX> for DefKind where
    __CTX: HashStableContext, 
[src]

impl PartialEq<DefKind> for DefKind[src]

impl StructuralEq for DefKind[src]

impl StructuralPartialEq for DefKind[src]

Auto Trait Implementations

impl RefUnwindSafe for DefKind

impl Send for DefKind

impl Sync for DefKind

impl Unpin for DefKind

impl UnwindSafe for DefKind

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, 
[src]

impl<T> Borrow<T> for T where
    T: ?Sized, 
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, 
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> ToOwned for T where
    T: Clone, 
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

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

The type returned in the event of a conversion error.