Struct cranelift_isle::ast::Converter
source · pub struct Converter {
pub term: Ident,
pub inner_ty: Ident,
pub outer_ty: Ident,
pub pos: Pos,
}
Expand description
An implicit converter: the given term, which must have type (inner_ty) -> outer_ty, is used either in extractor or constructor position as appropriate when a type mismatch with the given pair of types would otherwise occur.
Fields§
§term: Ident
The term name.
inner_ty: Ident
The “inner type”: the type to convert from, on the right-hand side, or to, on the left-hand side. Must match the singular argument type of the term.
outer_ty: Ident
The “outer type”: the type to convert to, on the right-hand side, or from, on the left-hand side. Must match the ret_ty of the term.
pos: Pos
The position of this converter decl.
Trait Implementations§
source§impl PartialEq<Converter> for Converter
impl PartialEq<Converter> for Converter
impl Eq for Converter
impl StructuralEq for Converter
impl StructuralPartialEq for Converter
Auto Trait Implementations§
impl RefUnwindSafe for Converter
impl Send for Converter
impl Sync for Converter
impl Unpin for Converter
impl UnwindSafe for Converter
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more