Struct CborDetArray

pub struct CborDetArray<'a> { /* private fields */ }

The read-only type of Deterministic CBOR arrays. Values of this type cannot be manually constructed by the user, they are meant to be obtained only via cbor_det_destruct below. The abstraction is justified by the use of a refinement type, as per the definition of cbor_det_array in pulse/CBOR.Pulse.Det.API.Rust.fst

Trait Implementations

impl<'a> Clone for CborDetArray<'a>

fn clone(&self) -> CborDetArray<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> IntoIterator for CborDetArray<'a>

type Item = cbor_raw<'a>

The type of the elements being iterated over.

type IntoIter = CborDetArrayIterator<'a>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<'a> PartialEq for CborDetArray<'a>

fn eq(&self, other: &CborDetArray<'a>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a> Copy for CborDetArray<'a>

impl<'a> StructuralPartialEq for CborDetArray<'a>