Enum Value 

pub enum Value {
    Prim8(u8),
    Prim16(u16),
    Prim32(u32),
    Prim64(u64),
    Text(String),
    Tuple(Vec<Value>),
    Array(Vec<Value>),
    Enum(usize, Box<Value>),
}

Generic Lutra value object

Variants

Prim8(u8)

Prim16(u16)

Prim32(u32)

Prim64(u64)

Text(String)

Tuple(Vec<Value>)

Array(Vec<Value>)

Enum(usize, Box<Value>)

Implementations

impl Value

pub fn decode(buf: &[u8], ty: &Ty, ty_defs: &[TyDef]) -> Result<Value>

Convert .ld binary encoding into Lutra Value.

impl Value

pub fn encode(&self, ty: &Ty, ty_defs: &[TyDef]) -> Result<Vec<u8>>

Convert a Lutra Value to .ld binary encoding.

impl Value

pub fn print_source(&self, ty: &Ty, ty_defs: &[TyDef]) -> Result<String>

impl Value

pub fn unit() -> Value

pub fn expect_prim8(&self) -> Result<u8>

pub fn expect_prim16(&self) -> Result<u16>

pub fn expect_prim32(&self) -> Result<u32>

pub fn expect_prim64(&self) -> Result<u64>

pub fn expect_text(&self) -> Result<&str>

pub fn expect_tuple(&self) -> Result<&[Value]>

pub fn expect_array(&self) -> Result<&[Value]>

pub fn expect_enum(&self) -> Result<(usize, &Value)>

Trait Implementations

impl Clone for Value

fn clone(&self) -> Value

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

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