Enum Value 

pub enum Value {
    Unit,
    Boolean(bool),
    U8(u8),
    U16(u16),
    U32(u32),
    U64(u64),
    I8(i8),
    I16(i16),
    I32(i32),
    I64(i64),
    F32(f32),
    F64(f64),
    String(String),
    Option(Option<Box<Value>>),
    Structure(Structure),
    Enumeration(Enumeration),
    ArrayBoolean(Vec<bool>),
    ArrayU8(Vec<u8>),
    ArrayU16(Vec<u16>),
    ArrayU32(Vec<u32>),
    ArrayU64(Vec<u64>),
    ArrayI8(Vec<i8>),
    ArrayI16(Vec<i16>),
    ArrayI32(Vec<i32>),
    ArrayI64(Vec<i64>),
    ArrayF32(Vec<f32>),
    ArrayF64(Vec<f64>),
    ArrayString(Vec<String>),
    ArrayValue(Vec<Value>),
    ArrayStructure {
        id: Uuid,
        elements: Vec<StructureWithoutId>,
    },
    ArrayEnumeration {
        id: Uuid,
        elements: Vec<EnumerationWithoutId>,
    },
    KeyValue(KeyValue),
    Uuid(Uuid),
}

Variants

Unit

Boolean(bool)

U8(u8)

U16(u16)

U32(u32)

U64(u64)

I8(i8)

I16(i16)

I32(i32)

I64(i64)

F32(f32)

F64(f64)

String(String)

Option(Option<Box<Value>>)

Structure(Structure)

Enumeration(Enumeration)

ArrayBoolean(Vec<bool>)

ArrayU8(Vec<u8>)

ArrayU16(Vec<u16>)

ArrayU32(Vec<u32>)

ArrayU64(Vec<u64>)

ArrayI8(Vec<i8>)

ArrayI16(Vec<i16>)

ArrayI32(Vec<i32>)

ArrayI64(Vec<i64>)

ArrayF32(Vec<f32>)

ArrayF64(Vec<f64>)

ArrayString(Vec<String>)

ArrayValue(Vec<Value>)

ArrayStructure

Fields

id: Uuid

elements: Vec<StructureWithoutId>

ArrayEnumeration

Fields

id: Uuid

elements: Vec<EnumerationWithoutId>

KeyValue(KeyValue)

Uuid(Uuid)

Implementations

impl Value

pub fn kind(&self) -> Type

The value’s Type: which variant it is, which is what a consumer needs to render it or to check that another value fits the same slot. A compound value’s own record is type_uuid; this is its shape.

pub fn type_uuid(&self) -> Uuid

Returns the type UUID for this value.

Primitives map to well-known UUIDs from ty::mod. Structures and enumerations carry their own type ID. Arrays of structures/enumerations use the element type ID. Other compound types (plain arrays, Option, KeyValue, Uuid) have their own well-known UUIDs.

impl Value

pub fn array_of(element_id: Uuid, elements: Vec<Value>) -> Value

Pack elements — values of one type, element_id — into the array form the value plane uses for that type: the typed array of a primitive (ArrayU8, ArrayString, …), ArrayStructure for structures, ArrayEnumeration for enumerations, ArrayValue otherwise. An empty array of a user type is packed by array_of_type, which can tell a structure from an enumeration; here it is a structure.

pub fn array_of_type<T: AroraType>(elements: Vec<Value>) -> Value

array_of for elements of an AroraType, which settles the empty array’s form from the type’s definition.

pub fn into_elements(self) -> Result<Vec<Value>, String>

The elements of any array form, each as a standalone Value — the inverse of array_of. Not an array: Err naming what it was.

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 Display for Value

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

Formats the value using the given formatter.

impl From<&[String]> for Value

fn from(slice: &[String]) -> Self

Converts to this type from the input type.

impl From<&[Value]> for Value

fn from(slice: &[Value]) -> Self

Converts to this type from the input type.

impl From<&[bool]> for Value

fn from(slice: &[bool]) -> Self

Converts to this type from the input type.

impl From<&[f32]> for Value

fn from(slice: &[f32]) -> Self

Converts to this type from the input type.

impl From<&[f64]> for Value

fn from(slice: &[f64]) -> Self

Converts to this type from the input type.

impl From<&[i8]> for Value

fn from(slice: &[i8]) -> Self

Converts to this type from the input type.

impl From<&[i16]> for Value

fn from(slice: &[i16]) -> Self

Converts to this type from the input type.

impl From<&[i32]> for Value

fn from(slice: &[i32]) -> Self

Converts to this type from the input type.

impl From<&[i64]> for Value

fn from(slice: &[i64]) -> Self

Converts to this type from the input type.

impl From<&[u8]> for Value

fn from(slice: &[u8]) -> Self

Converts to this type from the input type.

impl From<&[u16]> for Value

fn from(slice: &[u16]) -> Self

Converts to this type from the input type.

impl From<&[u32]> for Value

fn from(slice: &[u32]) -> Self

Converts to this type from the input type.

impl From<&[u64]> for Value

fn from(slice: &[u64]) -> Self

Converts to this type from the input type.

impl From<&str> for Value

fn from(v: &str) -> Self

Converts to this type from the input type.

impl From<()> for Value

fn from(_: ()) -> Self

Converts to this type from the input type.

impl From<Call> for Value

fn from(value: Call) -> Value

Converts to this type from the input type.

impl From<HashSet<String>> for Value

fn from(set: HashSet<String>) -> Self

Converts to this type from the input type.

impl From<HashSet<bool>> for Value

fn from(set: HashSet<bool>) -> Self

Converts to this type from the input type.

impl From<HashSet<i8>> for Value

fn from(set: HashSet<i8>) -> Self

Converts to this type from the input type.

impl From<HashSet<i16>> for Value

fn from(set: HashSet<i16>) -> Self

Converts to this type from the input type.

impl From<HashSet<i32>> for Value

fn from(set: HashSet<i32>) -> Self

Converts to this type from the input type.

impl From<HashSet<i64>> for Value

fn from(set: HashSet<i64>) -> Self

Converts to this type from the input type.

impl From<HashSet<u8>> for Value

fn from(set: HashSet<u8>) -> Self

Converts to this type from the input type.

impl From<HashSet<u16>> for Value

fn from(set: HashSet<u16>) -> Self

Converts to this type from the input type.

impl From<HashSet<u32>> for Value

fn from(set: HashSet<u32>) -> Self

Converts to this type from the input type.

impl From<HashSet<u64>> for Value

fn from(set: HashSet<u64>) -> Self

Converts to this type from the input type.

impl From<Key> for Value

A key crosses the value plane as its bare path string (its arora type is the string primitive).

fn from(key: Key) -> Self

Converts to this type from the input type.

impl From<KeyValue> for Value

fn from(kv: KeyValue) -> Self

Converts to this type from the input type.

impl<T> From<Option<T>> for Value

where T: Into<Value>,

fn from(opt: Option<T>) -> Self

Converts to this type from the input type.

impl From<String> for Value

fn from(v: String) -> Self

Converts to this type from the input type.

impl From<Uuid> for Value

fn from(v: Uuid) -> Self

Converts to this type from the input type.

impl From<Vec<String>> for Value

fn from(vec: Vec<String>) -> Self

Converts to this type from the input type.

impl From<Vec<Value>> for Value

fn from(vec: Vec<Value>) -> Self

Converts to this type from the input type.

impl From<Vec<bool>> for Value

fn from(vec: Vec<bool>) -> Self

Converts to this type from the input type.

impl From<Vec<f32>> for Value

fn from(vec: Vec<f32>) -> Self

Converts to this type from the input type.

impl From<Vec<f64>> for Value

fn from(vec: Vec<f64>) -> Self

Converts to this type from the input type.

impl From<Vec<i8>> for Value

fn from(vec: Vec<i8>) -> Self

Converts to this type from the input type.

impl From<Vec<i16>> for Value

fn from(vec: Vec<i16>) -> Self

Converts to this type from the input type.

impl From<Vec<i32>> for Value

fn from(vec: Vec<i32>) -> Self

Converts to this type from the input type.

impl From<Vec<i64>> for Value

fn from(vec: Vec<i64>) -> Self

Converts to this type from the input type.

impl From<Vec<u8>> for Value

fn from(vec: Vec<u8>) -> Self

Converts to this type from the input type.

impl From<Vec<u16>> for Value

fn from(vec: Vec<u16>) -> Self

Converts to this type from the input type.

impl From<Vec<u32>> for Value

fn from(vec: Vec<u32>) -> Self

Converts to this type from the input type.

impl From<Vec<u64>> for Value

fn from(vec: Vec<u64>) -> Self

Converts to this type from the input type.

impl From<bool> for Value

fn from(v: bool) -> Self

Converts to this type from the input type.

impl From<f32> for Value

fn from(v: f32) -> Self

Converts to this type from the input type.

impl From<f64> for Value

fn from(v: f64) -> Self

Converts to this type from the input type.

impl From<i8> for Value

fn from(v: i8) -> Self

Converts to this type from the input type.

impl From<i16> for Value

fn from(v: i16) -> Self

Converts to this type from the input type.

impl From<i32> for Value

fn from(v: i32) -> Self

Converts to this type from the input type.

impl From<i64> for Value

fn from(v: i64) -> Self

Converts to this type from the input type.

impl From<u8> for Value

fn from(v: u8) -> Self

Converts to this type from the input type.

impl From<u16> for Value

fn from(v: u16) -> Self

Converts to this type from the input type.

impl From<u32> for Value

fn from(v: u32) -> Self

Converts to this type from the input type.

impl From<u64> for Value

fn from(v: u64) -> Self

Converts to this type from the input type.

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

impl TryFrom<Value> for Call

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(value: Value) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Value> for Key

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(value: Value) -> Result<Self, Self::Error>

Performs the conversion.