Trait aterm::print::ATermWrite
[−]
[src]
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, B: 'a + ATermWrite> ATermWrite for ATerm<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> ATermWrite for Term<Rec, B> where
Rec: ATermWrite,
B: ATermWrite,impl<Rec> ATermWrite for TermPlaceholder<Rec> where
Rec: ATermWrite,impl<Rec, B> ATermWrite for ATermInner<Rec, B> where
Rec: ATermWrite,
B: ATermWrite,