Enum cranelift_isle::sema::TermKind

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

The kind of a term.

Variants

EnumVariant

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.

An enum variant constructor or extractor.

Decl

Fields

pure: bool

Whether the term is marked as pure.

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.

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

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<TermKind> for TermKind

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

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

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

This method tests for !=.

impl Eq for TermKind

impl StructuralEq for TermKind

impl StructuralPartialEq for TermKind