[−][src]Struct smt2::syntax::display::Formatter

pub struct Formatter<'f, 'a> { /* fields omitted */ }

Implementations

impl<'f, 'a> Formatter<'f, 'a>[src]

pub fn next(&mut self) -> Result[src]

pub fn begin(&mut self) -> Result[src]

pub fn end(&mut self) -> Result[src]

pub fn tab(&mut self)[src]

pub fn backtab(&mut self)[src]

pub fn keyword(&mut self, name: &str) -> Result[src]

pub fn symbol(&mut self, sym: &Symbol) -> Result[src]

pub fn split(&mut self) -> Result[src]

Go to the next line

pub fn pseudo_list<T: Display>(&mut self, list: &[T]) -> Result[src]

pub fn list<T: Display>(&mut self, list: &[T]) -> Result[src]

pub fn tabulated_list<T: Display>(&mut self, list: &[T]) -> Result[src]

pub fn comments(&mut self, comments: &str) -> Result[src]

Auto Trait Implementations

impl<'f, 'a> !RefUnwindSafe for Formatter<'f, 'a>

impl<'f, 'a> !Send for Formatter<'f, 'a>

impl<'f, 'a> !Sync for Formatter<'f, 'a>

impl<'f, 'a> Unpin for Formatter<'f, 'a> where
    'a: 'f, 

impl<'f, 'a> !UnwindSafe for Formatter<'f, 'a>

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src]

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.