Enum Value 

pub enum Value {
    Unit,
    Bool(bool),
    Int(i64),
    Float(f64),
    Text(String),
    Enum {
        variant: u32,
        fields: Vec<Value>,
    },
    Optional(Option<Box<Value>>),
    Record(Vec<Value>),
    List(Vec<Value>),
}

A schema-checked value. Records and enum payloads keep field order from their definition, so encoders never need field names on hot paths.

Variants

Unit

Bool(bool)

Int(i64)

Float(f64)

Text(String)

Enum

Fields

variant: u32

fields: Vec<Value>

Optional(Option<Box<Value>>)

Record(Vec<Value>)

List(Vec<Value>)

Implementations

impl Value

pub fn unit_variant(index: u32) -> Self

pub fn none() -> Self

pub fn some(value: Value) -> Self

pub fn check(&self, ty: &Type, types: &TypeTable) -> Result<(), SchemaError>

Verify that this value matches ty. Floats must be finite so every encoding can represent them.

pub fn kind_name(&self) -> &'static str

pub fn default_for(ty: &Type, types: &TypeTable) -> Result<Value, SchemaError>

The type’s zero value, used when a declaration omits an initial value.

Trait Implementations

impl Clone for Value

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Value

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Value

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Value

fn eq(&self, other: &Self) -> bool

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Value

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Value