Struct TermPresenter

pub struct TermPresenter<'a, W: Write, B: Backend> {
    out: W,
    backend: &'a B,
    in_text: bool,
    cache: VecMap<SymbolURI, Option<Rc<Notation>>>,
    op_cache: VecMap<SymbolURI, Option<Rc<Notation>>>,
    var_cache: VecMap<DocumentElementURI, Option<Rc<Notation>>>,
    var_op_cache: VecMap<DocumentElementURI, Option<Rc<Notation>>>,
}

Fields

out: W

backend: &'a B

in_text: bool

cache: VecMap<SymbolURI, Option<Rc<Notation>>>

op_cache: VecMap<SymbolURI, Option<Rc<Notation>>>

var_cache: VecMap<DocumentElementURI, Option<Rc<Notation>>>

var_op_cache: VecMap<DocumentElementURI, Option<Rc<Notation>>>

Implementations

impl<'a, W: Write, B: Backend> TermPresenter<'a, W, B>

pub fn new_with_writer(out: W, backend: &'a B, in_text: bool) -> Self

pub fn close(self) -> W

pub const fn backend(&self) -> &'a B

fn load_notation( backend: &B, uri: &SymbolURI, needs_op: bool, ) -> Option<Notation>

fn load_var_notation( backend: &B, uri: &DocumentElementURI, needs_op: bool, ) -> Option<Notation>

impl<'a, B: Backend> TermPresenter<'a, String, B>

pub fn new(backend: &'a B, in_text: bool) -> Self

pub fn take(&mut self) -> String

pub fn present(&mut self, term: &Term) -> Result<String, PresentationError>

Errors

Trait Implementations

impl<W: Write, B: Backend> Presenter for TermPresenter<'_, W, B>

type N = Rc<Notation>

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

Errors

fn in_text(&self) -> bool

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>

impl<W: Write, B: Backend> Write for TermPresenter<'_, W, B>

fn write_str(&mut self, s: &str) -> Result

Writes a string slice into this writer, returning whether the write succeeded.

fn write_char(&mut self, c: char) -> Result<(), Error>

Writes a char into this writer, returning whether the write succeeded.

fn write_fmt(&mut self, args: Arguments<'_>) -> Result<(), Error>

Glue for usage of the write! macro with implementors of this trait.