Trait aterm::print::ATermWrite

pub trait ATermWrite {
    fn to_ascii<W: Write>(&self, writer: &mut W) -> Result;
    fn to_taf<W: Write>(&self, writer: &mut W) -> Result;
    fn to_baf<W: Write>(&self, writer: &mut W) -> Result;
    fn to_saf<W: Write>(&self, writer: &mut W) -> Result;

    fn to_ascii_string(&self) -> Result<String, Error> { ... }
    fn to_taf_string(&self) -> Result<String, Error> { ... }
    fn to_baf_string(&self) -> Result<String, Error> { ... }
    fn to_saf_string(&self) -> Result<String, Error> { ... }
}

Required Methods

fn to_ascii<W: Write>(&self, writer: &mut W) -> Result

fn to_taf<W: Write>(&self, writer: &mut W) -> Result

fn to_baf<W: Write>(&self, writer: &mut W) -> Result

fn to_saf<W: Write>(&self, writer: &mut W) -> Result

Provided Methods

fn to_ascii_string(&self) -> Result<String, Error>

fn to_taf_string(&self) -> Result<String, Error>

fn to_baf_string(&self) -> Result<String, Error>

fn to_saf_string(&self) -> Result<String, Error>

Implementors

• impl<'a, 's, B: 'a + ATermWrite> ATermWrite for ATerm<'s, B>
• impl ATermWrite for ()
• impl<T> ATermWrite for Rc<T> where
    T: ATermWrite, 
• impl<A, T> ATermWrite for [T] where
    A: ATermWrite,
    T: Deref<Target = A>, 
• impl<Rec, B, S> ATermWrite for Term<Rec, B, S> where
    Rec: ATermWrite,
    B: ATermWrite,
    S: Display, 
• impl<Rec> ATermWrite for TermPlaceholder<Rec> where
    Rec: ATermWrite, 
• impl<Rec, B, S> ATermWrite for ATermInner<Rec, B, S> where
    Rec: ATermWrite,
    B: ATermWrite,
    S: Display,