Trait CanQuote

pub trait CanQuote<T, S> {
    // Required method
    fn quote(&self, x: &T) -> S;
}

A typed that quoted into another.

Says that objects of type T can be quoted as objects of type S.

Required Methods

fn quote(&self, x: &T) -> S

Transform syntax or value into notation.

Implementors

impl CanQuote<TabEdge, Mor> for Quoter

impl CanQuote<TabOb, Ob> for Quoter

Quotes an object in a model of a discrete tabulator theory.

impl CanQuote<TabMorType, MorType> for Quoter

Quotes a morphism type in a discrete tabulator theory.

impl CanQuote<TabObType, ObType> for Quoter

Quotes an object type in a discrete tabulator theory.

impl CanQuote<ModalMor, Mor> for Quoter

Quotes a morphism in a model of a modal theory.

impl CanQuote<ModalOb, Ob> for Quoter

Quotes an object in a modal of a modal theory.

impl CanQuote<Path<TabOb, TabEdge>, Mor> for Quoter

Quotes a morphism in a model of a discrete tabulator theory.

impl CanQuote<Path<QualifiedName, QualifiedName>, Mor> for Quoter

Quotes a morphism in a model of a discrete double theory.

impl CanQuote<Path<QualifiedName, QualifiedName>, MorType> for Quoter

Quotes a morphism type in a discrete double theory.

impl CanQuote<ShortPath<ModeApp<QualifiedName>, ModeApp<QualifiedName>>, MorType> for Quoter

Quotes a morphism type in a modal theory.

impl CanQuote<ModeApp<QualifiedName>, ObType> for Quoter

Quotes an object type in a modal theory.

impl CanQuote<QualifiedName, Ob> for Quoter

Quotes an object in a model of a discrete double theory.

impl CanQuote<QualifiedName, ObOp> for Quoter

Quotes an object operation in a discrete double theory.

impl CanQuote<QualifiedName, ObType> for Quoter

Quotes an object type in a discrete double theory.