Struct Converter

pub struct Converter {
    pub term: Ident,
    pub inner_ty: Ident,
    pub outer_ty: Ident,
    pub pos: Pos,
}

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

impl Clone for Converter

fn clone(&self) -> Converter

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Converter

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

Formats the value using the given formatter.

impl PartialEq for Converter

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

impl StructuralPartialEq for Converter