Enum cranelift_isle::sema::ExtractorKind

pub enum ExtractorKind {
    InternalExtractor {
        template: Pattern,
    },
    ExternalExtractor {
        name: Sym,
        arg_polarity: Vec<ArgPolarity>,
        infallible: bool,
        pos: Pos,
    },
}

The kind of an extractor for a term.

Variants

InternalExtractor

Fields

template: Pattern

This extractor’s pattern.

A term that defines an “extractor macro” in the LHS of a pattern. Its arguments take patterns and are simply substituted with the given patterns when used.

ExternalExtractor

Fields

name: Sym

The external name of the extractor function.

arg_polarity: Vec<ArgPolarity>

Which arguments of the extractor are inputs and which are outputs?

infallible: bool

Is the external extractor infallible?

pos: Pos

The position where this external extractor was declared.

A term defined solely by an external extractor function.

Trait Implementations

impl Clone for ExtractorKind

fn clone(&self) -> ExtractorKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ExtractorKind

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

Formats the value using the given formatter.

impl PartialEq<ExtractorKind> for ExtractorKind

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

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

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

This method tests for !=.

impl Eq for ExtractorKind

impl StructuralEq for ExtractorKind

impl StructuralPartialEq for ExtractorKind