Enum CborText 

pub enum CborText<'i> {
    Definite(&'i str),
    Indefinite(String),
}

Runtime representation of a CBOR text string.

Variants

Definite(&'i str)

A definite-length UTF-8 string borrowed directly from the input.

Indefinite(String)

Flattened contents of an indefinite-length, fragmented string.

Implementations

impl<'i> CborText<'i>

pub fn arrow_Definite_0(self) -> &'i str

pub fn arrow_Indefinite_0(self) -> String

Trait Implementations

impl<'i> Clone for CborText<'i>

fn clone(&self) -> CborText<'i>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'i> Debug for CborText<'i>

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

Formats the value using the given formatter.

impl<'i> DeepView for CborText<'i>

open spec fn deep_view(&self) -> Self::V

{
    match self {
        Self::Definite(text) => text.deep_view(),
        Self::Indefinite(text) => text.deep_view(),
    }
}

type V = Seq<char>

impl<'i> PartialEq for CborText<'i>

fn eq(&self, other: &CborText<'i>) -> 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<'i> Eq for CborText<'i>

impl<'i> StructuralPartialEq for CborText<'i>