Enum cranelift_isle::ast::Extern

pub enum Extern {
    Extractor {
        term: Ident,
        func: Ident,
        pos: Pos,
        arg_polarity: Option<Vec<ArgPolarity>>,
        infallible: bool,
    },
    Constructor {
        term: Ident,
        func: Ident,
        pos: Pos,
    },
    Const {
        name: Ident,
        ty: Ident,
        pos: Pos,
    },
}

An external binding: an extractor or constructor function attached to a term.

Variants

Extractor

Fields

term: Ident

The term to which this external extractor is attached.

func: Ident

The Rust function name.

pos: Pos

The position of this decl.

arg_polarity: Option<Vec<ArgPolarity>>

Poliarity of args: whether values are inputs or outputs to the external extractor function. This is a sort of statically-defined approximation to Prolog-style unification; we allow for the same flexible directionality but fix it at DSL-definition time. By default, every arg is an output from the extractor (and the ’retval“, or more precisely the term value that we are extracting, is an “input”).

infallible: bool

Infallibility: if an external extractor returns (T1, T2, ...) rather than Option<(T1, T2, ...)>, and hence can never fail, it is declared as such and allows for slightly better code to be generated.

An external extractor: (extractor Term rustfunc) form.

Constructor

Fields

term: Ident

The term to which this external constructor is attached.

func: Ident

The Rust function name.

pos: Pos

The position of this decl.

An external constructor: (constructor Term rustfunc) form.

Const

Fields

name: Ident

ty: Ident

pos: Pos

An external constant: (const $IDENT type) form.

Trait Implementations

impl Clone for Extern

fn clone(&self) -> Extern

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Extern

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

Formats the value using the given formatter.

impl PartialEq<Extern> for Extern

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

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

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

This method tests for !=.

impl Eq for Extern

impl StructuralEq for Extern

impl StructuralPartialEq for Extern