Struct VarUInt

pub struct VarUInt(pub usize);

Combinator for variable-length integers in big-endian The length is assumed to be <= uint_size!()

Tuple Fields

0: usize

Implementations

impl VarUInt

Some lemmas about VarUInt::spec_parse and VarUInt::spec_serialize

This impl block contains no items.

Trait Implementations

impl Combinator for VarUInt

type Result<'a> = u64

The result type of parsing and the input type of serialization.

type Owned = u64

The owned parsed type. This is currently a hack to avoid lifetime bindings in SpecCombinator::SpecResult , but it can be useful if we want to have functions that return owned values (e.g. Vec<T>).

fn length(&self) -> Option<usize>

The length of the output buffer, if known. This can be used to optimize serialization by pre-allocating the buffer.

fn parse<'a>( &self, s: &'a [u8], ) -> Result<(usize, Self::Result<'a>), ParseError>

The parsing function.

fn serialize( &self, v: Self::Result<'_>, data: &mut Vec<u8>, pos: usize, ) -> Result<usize, SerializeError>

The serialization function.

impl Debug for VarUInt

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

Formats the value using the given formatter.

impl SpecCombinator for VarUInt

type SpecResult = u64

The view of Combinator::Result.

impl View for VarUInt

type V = VarUInt

impl SecureSpecCombinator for VarUInt