Enum pomelo_hir::hir::DecKind

pub enum DecKind {
    Missing,
    Seq {
        decs: Box<[Idx<Dec>]>,
    },
    Val {
        tyvarseq: Box<[TyVar]>,
        bindings: Box<[ValBind]>,
    },
    Ty {
        bindings: Box<[TypBind]>,
    },
    Datatype {
        databinds: Box<[DataBind]>,
    },
    Replication {
        lhs: TyCon,
        rhs: (LongTyCon, DefLoc),
    },
    Abstype {
        databinds: Box<[DataBind]>,
        dec: Idx<Dec>,
    },
    Exception {
        exbind: ExBind,
    },
    Local {
        inner: Idx<Dec>,
        outer: Idx<Dec>,
    },
    Open {
        longstrids: Box<[LongStrId]>,
    },
    Fixity {
        fixity: Fixity,
        vids: Box<[(VId, DefLoc)]>,
    },
}

Kinds of HIR declarations.

These correspond to the basic forms in Chapter 2 of the Definition, after desugaring the derived forms from Appendix A.

Variants

Missing

Seq

Fields

decs: Box<[Idx<Dec>]>

Val

Fields

tyvarseq: Box<[TyVar]>

bindings: Box<[ValBind]>

Ty

Fields

bindings: Box<[TypBind]>

Datatype

Fields

databinds: Box<[DataBind]>

Replication

Fields

lhs: TyCon

rhs: (LongTyCon, DefLoc)

Abstype

Fields

databinds: Box<[DataBind]>

dec: Idx<Dec>

Exception

Fields

exbind: ExBind

Local

Fields

inner: Idx<Dec>

outer: Idx<Dec>

Open

Fields

longstrids: Box<[LongStrId]>

Fixity

Fields

fixity: Fixity

vids: Box<[(VId, DefLoc)]>

Implementations

impl DecKind

pub fn bound_vids<A: FileArena>(&self, arena: &A) -> Vec<LongVId>

pub fn bound_tycons<A: FileArena>(&self, arena: &A) -> Vec<LongTyCon>

Trait Implementations

impl Clone for DecKind

fn clone(&self) -> DecKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for DecKind

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

Formats the value using the given formatter.

impl PartialEq<DecKind> for DecKind

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for DecKind

impl StructuralEq for DecKind

impl StructuralPartialEq for DecKind