Enum Extern

pub enum Extern {
    Extractor {
        term: Ident,
        func: Ident,
        pos: Pos,
        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

An external extractor: (extractor Term rustfunc) form.

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.

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.

Constructor

An external constructor: (constructor Term rustfunc) form.

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.

Const

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

Fields

name: Ident

ty: Ident

pos: Pos

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

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

impl StructuralPartialEq for Extern