Enum pomelo_hir::hir::PatKind

pub enum PatKind {
    Missing,
    Wildcard,
    Scon(Scon),
    VId {
        op: bool,
        longvid: (LongVId, Option<DefLoc>),
    },
    Record {
        rows: Box<[PatRow]>,
    },
    Constructed {
        op: bool,
        longvid: (LongVId, DefLoc),
        pat: Idx<Pat>,
    },
    Infix {
        lhs: Idx<Pat>,
        vid: (VId, DefLoc),
        rhs: Idx<Pat>,
    },
    Typed {
        pat: Idx<Pat>,
        ty: Idx<Ty>,
    },
    Layered {
        op: bool,
        vid: VId,
        ty: Option<Idx<Ty>>,
        pat: Idx<Pat>,
    },
}

Kinds of HIR expressions.

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

Variants

Missing

Wildcard

Scon(Scon)

VId

Fields

op: bool

longvid: (LongVId, Option<DefLoc>)

Record

Fields

rows: Box<[PatRow]>

Constructed

Fields

op: bool

longvid: (LongVId, DefLoc)

pat: Idx<Pat>

Infix

Fields

lhs: Idx<Pat>

vid: (VId, DefLoc)

rhs: Idx<Pat>

Typed

Fields

pat: Idx<Pat>

ty: Idx<Ty>

Layered

Fields

op: bool

vid: VId

ty: Option<Idx<Ty>>

pat: Idx<Pat>

Implementations

impl PatKind

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

Names bound by this pattern

Trait Implementations

impl Clone for PatKind

fn clone(&self) -> PatKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PatKind

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

Formats the value using the given formatter.

impl PartialEq<PatKind> for PatKind

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

impl StructuralEq for PatKind

impl StructuralPartialEq for PatKind