Struct IsoNames 

pub struct IsoNames {
    pub container: String,
    pub sibling: String,
    pub to_generic: String,
    pub from_generic: String,
}

One container specialized for this inductive, with the names of its conversion isos.

Fields

container: String

The generic container that was specialized (e.g. TList).

sibling: String

The fresh mutual sibling (e.g. RTree$TList).

to_generic: String

to_generic : sibling → container name — specialized to generic.

from_generic: String

from_generic : container name → sibling — generic to specialized.

Trait Implementations

impl Clone for IsoNames

fn clone(&self) -> IsoNames

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IsoNames

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

Formats the value using the given formatter.