Enum dusk_dire::hir::Decl

source · [−]
pub enum Decl {

Show 14 variants    Computed {
        param_tys: SmallVec<[ExprId; 2]>,
        params: Range<DeclId>,
        scope: ImperScopeId,
        generic_params: Range<DeclId>,
    },
    ComputedPrototype {
        param_tys: SmallVec<[ExprId; 2]>,
        extern_func: Option<ExternFunctionRef>,
    },
    Stored {
        id: StoredDeclId,
        is_mut: bool,
        root_expr: ExprId,
    },
    PatternBinding {
        id: PatternBindingDeclId,
        is_mut: bool,
    },
    LoopBinding {
        id: StoredDeclId,
        is_mut: bool,
    },
    Parameter {
        index: usize,
    },
    Intrinsic {
        intr: Intrinsic,
        param_tys: SmallVec<[ExprId; 2]>,
        function_like: bool,
    },
    Static(ExprId),
    Const(ExprId),
    Field {
        strukt: StructId,
        index: usize,
    },
    InternalField(InternalField),
    Variant {
        enuum: EnumId,
        index: usize,
        payload_ty: Option<ExprId>,
    },
    ReturnValue,
    GenericParam(GenericParamId),

}

Variants

Computed

Fields

param_tys: SmallVec<[ExprId; 2]>
params: Range<DeclId>
scope: ImperScopeId
generic_params: Range<DeclId>

ComputedPrototype

Fields

param_tys: SmallVec<[ExprId; 2]>
extern_func: Option<ExternFunctionRef>

Stored

Fields

id: StoredDeclId
is_mut: bool
root_expr: ExprId

PatternBinding

Fields

id: PatternBindingDeclId
is_mut: bool

LoopBinding

Fields

id: StoredDeclId
is_mut: bool

Parameter

Fields

index: usize

Parameter index within the function

Intrinsic

Fields

intr: Intrinsic
param_tys: SmallVec<[ExprId; 2]>
function_like: bool

Static(ExprId)

Const(ExprId)

Field

Fields

strukt: StructId
index: usize

InternalField(InternalField)

Variant

Fields

enuum: EnumId
index: usize
payload_ty: Option<ExprId>

ReturnValue

The magic return_value declaration, for use in @guarantees attributes

GenericParam(GenericParamId)

Trait Implementations

Formats the value using the given formatter. Read more

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Returns the argument unchanged.

Calls U::from(self).

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

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.