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,
    },
}
Expand description

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.

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

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

Formats the value using the given formatter. Read more

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

This method tests for !=.

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Returns the argument unchanged.

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

The resulting type after obtaining ownership.

Creates owned data from borrowed data, usually by cloning. Read more

Uses borrowed data to replace owned data, usually by cloning. Read more

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.