Type Alias StringPresenter

pub type StringPresenter<'a, B> = TermPresenter<'a, String, B>;

Aliased Type

pub struct StringPresenter<'a, B> {
    out: String,
    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: String

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, B: Backend> StringPresenter<'a, 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