Enum cranelift_isle::ast::Extern
source · [−]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
An external constant: (const $IDENT type)
form.
Trait Implementations
impl Eq for Extern
impl StructuralEq for Extern
impl StructuralPartialEq for Extern
Auto Trait Implementations
impl RefUnwindSafe for Extern
impl Send for Extern
impl Sync for Extern
impl Unpin for Extern
impl UnwindSafe for Extern
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more