Struct hacspec_lib::buf::ByteBuffer

pub struct ByteBuffer { /* private fields */ }

Implementations

impl ByteBuffer

pub fn new() -> ByteBuffer

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec. Create an empty buffer.

pub fn from_seq(seq: Bytes) -> ByteBuffer

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec. Create a buffer from Bytes.

pub fn concat_owned(self, seq: Bytes) -> ByteBuffer

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec Add a new chunk of Bytes to this ByteBuffer.

pub fn split_off(self, len: usize) -> (Bytes, ByteBuffer)

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec Split off num bytes and return the Bytes.

pub fn to_bytes(&self) -> Bytes

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec Get the buffer a single Bytes object (not efficient).

pub fn into_bytes(self) -> Bytes

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec Get the buffer a single Bytes object (efficient, consuming the buffer).

Trait Implementations

impl Clone for ByteBuffer

fn clone(&self) -> ByteBuffer

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ByteBuffer

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.