Enum CborValue 

pub enum CborValue<'i> {
    Integer(i128),
    Bytes(CborBytes<'i>),
    Text(CborText<'i>),
    Array(CborArray<'i>),
    Map(CborMap<'i>),
    Tag(u64, Box<CborValue<'i>>),
    Float(CborFloat),
    Bool(bool),
    Null,
    Undefined,
    Simple(u8),
}

Generic CBOR value.

Variants

Integer(i128)

An integer in the RFC 8949 range -2^64 ..= 2^64 - 1.

Bytes(CborBytes<'i>)

Text(CborText<'i>)

Array(CborArray<'i>)

Map(CborMap<'i>)

Tag(u64, Box<CborValue<'i>>)

Float(CborFloat)

Bool(bool)

Null

Undefined

Simple(u8)

An unassigned/registered simple value other than 20 through 23.

Implementations

impl<'i> CborValue<'i>

pub fn arrow_0(self) -> u8

pub fn arrow_1(self) -> Box<CborValue<'i>>

pub fn arrow_Integer_0(self) -> i128

pub fn arrow_Bytes_0(self) -> CborBytes<'i>

pub fn arrow_Text_0(self) -> CborText<'i>

pub fn arrow_Array_0(self) -> CborArray<'i>

pub fn arrow_Map_0(self) -> CborMap<'i>

pub fn arrow_Tag_0(self) -> u64

pub fn arrow_Tag_1(self) -> Box<CborValue<'i>>

pub fn arrow_Float_0(self) -> CborFloat

pub fn arrow_Bool_0(self) -> bool

pub fn arrow_Simple_0(self) -> u8

Trait Implementations

impl<'i, const DET: bool, const LIMIT: usize> ByteLen<CborValue<'i>> for CborFmt<DET, LIMIT>

exec fn length(&self, value: &CborValue<'i>) -> usize

fn exec_inv(&self) -> bool

impl<'i> Debug for CborValue<'i>

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

Formats the value using the given formatter.

impl<'i> DeepView for CborValue<'i>

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

{ cbor_value_view(self) }

type V = CborValueSpec

impl<'i> PartialEq for CborValue<'i>

fn eq(&self, other: &CborValue<'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, const DET: bool, const LIMIT: usize> Prepare<CborValue<'i>> for CborFmt<DET, LIMIT>

where CborRecBody<DET>: SpecRecBody<Param = (), T = CborValueSpec, Body = CborBodyFmt<DET>> + PrepareRecBody<CborValue<'i>, EP = ()>,

exec fn prepare(&self, value: &CborValue<'i>) -> Result<usize, PreSerializeError>

fn exec_inv(&self) -> bool

impl<'i> PrepareRecBody<CborValue<'i>> for CborRecBody<false>

where CborRecBody<false>: SpecRecBody<Param = (), T = CborValueSpec, Body = CborBodyFmt<false>>,

exec fn prepare_body<Exec>( &self, _param: &(), spec_rec: Ghost<ParamRecSpecs<(), CborValueSpec>>, exec_rec: Exec, value: &CborValue<'i>, ) -> Result<usize, PreSerializeError>

where Exec: Fn(&(), &CborValue<'i>) -> Result<usize, PreSerializeError>,

type EP = ()

impl<'i> PrepareRecBody<CborValue<'i>> for CborRecBody<true>

where CborRecBody<true>: SpecRecBody<Param = (), T = CborValueSpec, Body = CborBodyFmt<true>>,

exec fn prepare_body<Exec>( &self, _param: &(), spec_rec: Ghost<ParamRecSpecs<(), CborValueSpec>>, exec_rec: Exec, value: &CborValue<'i>, ) -> Result<usize, PreSerializeError>

where Exec: Fn(&(), &CborValue<'i>) -> Result<usize, PreSerializeError>,

type EP = ()

impl<'i, Output: OutputBuf, const DET: bool, const LIMIT: usize> Serializer<Output, CborValue<'i>> for CborFmt<DET, LIMIT>

exec fn serialize_into(&self, value: &CborValue<'i>, out: &mut Output)

fn exec_inv(&self) -> bool

impl<'i, Output: OutputBuf, const DET: bool> SerializerRecBody<Output, CborValue<'i>> for CborRecBody<DET>

exec fn serialize_body<Exec>( &self, _param: &(), Ghost(spec_rec): Ghost<ParamRecSpecs<(), CborValueSpec>>, exec_rec: Exec, value: &CborValue<'i>, out: &mut Output, )

where Exec: Fn(&(), &CborValue<'i>, &mut Output),

type EP = ()

impl<'i> Eq for CborValue<'i>

impl<'i> StructuralPartialEq for CborValue<'i>