pub(crate) trait AtermWriteable {
    // Required method
    fn aterm_write(&self, writer: &mut impl Write) -> Result<()>;

    // Provided method
    fn aterm_bytes(&self) -> Vec<u8>  { ... }
}
Expand description

Something that can be written as ATerm.

Note that we mostly use explicit write_* calls instead since the serialization of the items depends on the context a lot.

Required Methods§

source

fn aterm_write(&self, writer: &mut impl Write) -> Result<()>

Provided Methods§

source

fn aterm_bytes(&self) -> Vec<u8>

Object Safety§

This trait is not object safe.

Implementations on Foreign Types§

source§

impl AtermWriteable for String

source§

fn aterm_write(&self, writer: &mut impl Write) -> Result<()>

source§

impl AtermWriteable for [u8; 32]

source§

fn aterm_write(&self, writer: &mut impl Write) -> Result<()>

Implementors§