Trait DerivationAsyncExt

trait DerivationAsyncExt {
    // Required method
    async fn from_streaming_aterm_bytes<R>(
        reader: R,
    ) -> Result<Derivation, Error<Vec<u8>>>
       where R: AsyncBufRead + Unpin + Send;
}

Required Methods

async fn from_streaming_aterm_bytes<R>( reader: R, ) -> Result<Derivation, Error<Vec<u8>>>

where R: AsyncBufRead + Unpin + Send,

Parse an Derivation in ATerm serialization, and validate it passes our set of validations, from a asynchronous buffered reader. This is a streaming variant of Derivation::from_aterm_bytes.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl DerivationAsyncExt for Derivation