Enum TermKind

pub enum TermKind {
    EnumVariant {
        variant: VariantId,
    },
    Decl {
        flags: TermFlags,
        constructor_kind: Option<ConstructorKind>,
        extractor_kind: Option<ExtractorKind>,
    },
}

The kind of a term.

Variants

EnumVariant

An enum variant constructor or extractor.

Fields

variant: VariantId

Which variant of the enum: e.g. for enum type A if a term is (A.A1 ...) then the variant ID corresponds to A1.

Decl

A term declared via a (decl ...) form.

Fields

flags: TermFlags

Flags from the term’s declaration.

constructor_kind: Option<ConstructorKind>

The kind of this term’s constructor, if any.

extractor_kind: Option<ExtractorKind>

The kind of this term’s extractor, if any.

Trait Implementations

impl Clone for TermKind

fn clone(&self) -> TermKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TermKind

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

Formats the value using the given formatter.

impl PartialEq for TermKind

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for TermKind

impl StructuralPartialEq for TermKind