Enum CborFloat 

pub enum CborFloat {
    F16(u16),
    F32(u32),
    F64(u64),
}

A CBOR floating-point payload.

Width and raw IEEE 754 bits are retained. A future deterministic floating-point layer can define and verify shortest-width equivalence without changing the wire-facing value type.

Variants

F16(u16)

F32(u32)

F64(u64)

Implementations

impl CborFloat

pub fn arrow_0(self) -> u64

pub fn arrow_F16_0(self) -> u16

pub fn arrow_F32_0(self) -> u32

pub fn arrow_F64_0(self) -> u64

Trait Implementations

impl Clone for CborFloat

fn clone(&self) -> CborFloat

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CborFloat

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

Formats the value using the given formatter.

impl DeepView for CborFloat

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

{ *self }

type V = CborFloat

impl PartialEq for CborFloat

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

impl Eq for CborFloat

impl Structural for CborFloat

impl StructuralPartialEq for CborFloat