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
Provided Methods
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,