Trait Presenter

pub trait Presenter: Write + Sized {
    type N: AsRef<Notation>;

    // Required methods
    fn get_notation(&mut self, uri: &SymbolURI) -> Option<Self::N>;
    fn get_op_notation(&mut self, uri: &SymbolURI) -> Option<Self::N>;
    fn get_variable_notation(
        &mut self,
        uri: &DocumentElementURI,
    ) -> Option<Self::N>;
    fn get_variable_op_notation(
        &mut self,
        uri: &DocumentElementURI,
    ) -> Option<Self::N>;
    fn in_text(&self) -> bool;

    // Provided method
    fn cont(&mut self, tm: &Term) -> Result<(), PresentationError> { ... }
}

Required Associated Types

type N: AsRef<Notation>

Required Methods

fn get_notation(&mut self, uri: &SymbolURI) -> Option<Self::N>

fn get_op_notation(&mut self, uri: &SymbolURI) -> Option<Self::N>

fn get_variable_notation(&mut self, uri: &DocumentElementURI) -> Option<Self::N>

fn get_variable_op_notation( &mut self, uri: &DocumentElementURI, ) -> Option<Self::N>

fn in_text(&self) -> bool

Provided Methods

fn cont(&mut self, tm: &Term) -> Result<(), PresentationError>

Errors

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl Presenter for FromStore<'_>

type N = Notation