Enum CborHeadValue 

pub enum CborHeadValue {
    Argument(u64),
    Indefinite,
    Simple(u8),
    Float(CborFloat),
    Break,
}

Semantic payload carried by a decoded CBOR head.

Variants

Argument(u64)

Indefinite

Simple(u8)

Float(CborFloat)

Break

Implementations

impl CborHeadValue

pub fn arrow_0(self) -> CborFloat

pub fn arrow_Argument_0(self) -> u64

pub fn arrow_Simple_0(self) -> u8

pub fn arrow_Float_0(self) -> CborFloat

Trait Implementations

impl Clone for CborHeadValue

fn clone(&self) -> CborHeadValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CborHeadValue

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

Formats the value using the given formatter.

impl DeepView for CborHeadValue

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

{ *self }

type V = CborHeadValue

impl PartialEq for CborHeadValue

fn eq(&self, other: &CborHeadValue) -> 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 Copy for CborHeadValue

impl Eq for CborHeadValue

impl Structural for CborHeadValue

impl StructuralPartialEq for CborHeadValue