Enum hax_frontend_exporter::FullDefKind

pub enum FullDefKind {
    Mod,
    Struct {
        generics: TyGenerics,
        predicates: GenericPredicates,
        def: AdtDef,
    },
    Union {
        generics: TyGenerics,
        predicates: GenericPredicates,
        def: AdtDef,
    },
    Enum {
        generics: TyGenerics,
        predicates: GenericPredicates,
        def: AdtDef,
    },
    Variant,
    Trait {
        generics: TyGenerics,
        predicates: GenericPredicates,
        self_predicate: TraitPredicate,
        items: Vec<(AssocItem, Arc<FullDef>)>,
    },
    TyAlias {
        generics: TyGenerics,
        predicates: GenericPredicates,
        ty: Option<Ty>,
    },
    ForeignTy,
    TraitAlias,
    AssocTy {
        parent: DefId,
        generics: TyGenerics,
        predicates: GenericPredicates,
        associated_item: AssocItem,
        value: Option<Ty>,
    },
    TyParam,
    Fn {
        generics: TyGenerics,
        predicates: GenericPredicates,
        inline: InlineAttr,
        sig: PolyFnSig,
    },
    AssocFn {
        parent: DefId,
        associated_item: AssocItem,
        generics: TyGenerics,
        predicates: GenericPredicates,
        inline: InlineAttr,
        sig: PolyFnSig,
    },
    Closure {
        parent: DefId,
        args: ClosureArgs,
    },
    Const {
        generics: TyGenerics,
        predicates: GenericPredicates,
        ty: Ty,
    },
    AssocConst {
        parent: DefId,
        associated_item: AssocItem,
        generics: TyGenerics,
        predicates: GenericPredicates,
        ty: Ty,
    },
    Static {
        safety: Safety,
        mutability: Mutability,
        nested: bool,
        generics: TyGenerics,
        predicates: GenericPredicates,
        ty: Ty,
    },
    ConstParam,
    Ctor(CtorOf, CtorKind),
    Macro(MacroKind),
    ExternCrate,
    Use,
    ForeignMod,
    AnonConst,
    InlineConst,
    OpaqueTy,
    Impl {
        generics: TyGenerics,
        predicates: GenericPredicates,
        impl_subject: ImplSubject,
        items: Vec<(AssocItem, Arc<FullDef>)>,
    },
    Field,
    LifetimeParam,
    GlobalAsm,
}

Imbues rustc_hir::def::DefKind with a lot of extra information. Important: the owner_id() must be the id of this definition.

Variants

Mod

Struct

Refers to the struct definition, [DefKind::Ctor] refers to its constructor if it exists.

Fields

generics: TyGenerics

predicates: GenericPredicates

def: AdtDef

Union

Fields

generics: TyGenerics

predicates: GenericPredicates

def: AdtDef

Enum

Fields

generics: TyGenerics

predicates: GenericPredicates

def: AdtDef

Variant

Refers to the variant definition, [DefKind::Ctor] refers to its constructor if it exists.

Trait

Fields

generics: TyGenerics

predicates: GenericPredicates

self_predicate: TraitPredicate

The special Self: Trait clause.

items: Vec<(AssocItem, Arc<FullDef>)>

Associated items, in definition order.

TyAlias

Type alias: type Foo = Bar;

Fields

generics: TyGenerics

predicates: GenericPredicates

ty: Option<Ty>

Some if the item is in the local crate.

ForeignTy

Type from an extern block.

TraitAlias

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

AssocTy

Associated type: trait MyTrait { type Assoc; }

Fields

parent: DefId

generics: TyGenerics

predicates: GenericPredicates

associated_item: AssocItem

value: Option<Ty>

TyParam

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

Fn

Fields

generics: TyGenerics

predicates: GenericPredicates

inline: InlineAttr

sig: PolyFnSig

AssocFn

Associated function: impl MyStruct { fn associated() {} } or trait Foo { fn associated() {} }

Fields

parent: DefId

associated_item: AssocItem

generics: TyGenerics

predicates: GenericPredicates

inline: InlineAttr

sig: PolyFnSig

Closure

A closure, coroutine, or coroutine-closure.

Note: the (early-bound) generics of a closure are the same as those of the item in which it is defined.

Fields

parent: DefId

The enclosing item. Note: this item could itself be a closure; to get the generics, you might have to recurse through several layers of parents until you find a function or constant.

args: ClosureArgs

Const

Fields

generics: TyGenerics

predicates: GenericPredicates

ty: Ty

AssocConst

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

Fields

parent: DefId

associated_item: AssocItem

generics: TyGenerics

predicates: GenericPredicates

ty: Ty

Static

Fields

safety: Safety

Whether it’s a unsafe static, safe static (inside extern only) or just a static.

mutability: Mutability

Whether it’s a static mut or just a static.

nested: bool

Whether it’s an anonymous static generated for nested allocations.

generics: TyGenerics

predicates: GenericPredicates

ty: Ty

ConstParam

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

Ctor(CtorOf, CtorKind)

Refers to the struct or enum variant’s constructor.

Macro(MacroKind)

ExternCrate

Use

ForeignMod

An extern block.

AnonConst

Anonymous constant, e.g. the 1 + 2 in [u8; 1 + 2]

InlineConst

An inline constant, e.g. const { 1 + 2 }

OpaqueTy

Opaque type, aka impl Trait.

Impl

Fields

generics: TyGenerics

predicates: GenericPredicates

impl_subject: ImplSubject

items: Vec<(AssocItem, Arc<FullDef>)>

Associated items, in definition order.

Field

A field in a struct, enum or union. e.g.

• bar in struct Foo { bar: u8 }
• Foo::Bar::0 in enum Foo { Bar(u8) }

LifetimeParam

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

GlobalAsm

A use of global_asm!.

Trait Implementations

impl<'__de> BorrowDecode<'__de> for FullDefKind

fn borrow_decode<__D: BorrowDecoder<'__de>>( decoder: &mut __D, ) -> Result<Self, DecodeError>

Attempt to decode this type with the given BorrowDecode.

impl Clone for FullDefKind

fn clone(&self) -> FullDefKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for FullDefKind

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

Formats the value using the given formatter.

impl Decode for FullDefKind

fn decode<__D: Decoder>(decoder: &mut __D) -> Result<Self, DecodeError>

Attempt to decode this type with the given Decode.

impl<'de> Deserialize<'de> for FullDefKind

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Encode for FullDefKind

fn encode<__E: Encoder>(&self, encoder: &mut __E) -> Result<(), EncodeError>

Encode a given type.

impl JsonSchema for FullDefKind

fn schema_name() -> String

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(gen: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn is_referenceable() -> bool

Whether JSON Schemas generated for this type should be re-used where possible using the $ref keyword.

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, FullDefKind> for DefKind

fn sinto(&self, s: &S) -> FullDefKind

impl Serialize for FullDefKind

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.