Enum LiteralValue 

pub enum LiteralValue {
    Int(i64),
    UInt(u64),
    Float(f64),
    String(String),
    Bool(bool),
    Json(Value),
}

A literal value carried in a Source::Literal. Subset of the polydat Value type — the kinds clauses can directly bind. Extension to richer value types lives in the source evaluator, not the AST.

Serialized untagged because the variants are primitives; the JSON/YAML representation is just the bare value (1 / "x" / true / 1.5).

Variants

Int(i64)

An integer.

UInt(u64)

An integer above i64::MAX, which only a u64 holds. An integer that fits i64 is Int, so every integer has one form (LiteralValue::unsigned). After Int, so an untagged read takes an integer as Int when it fits.

Float(f64)

A float.

String(String)

A string.

Bool(bool)

A boolean.

Json(Value)

A JSON value carrying its own kind: an item of a JSON list a generator supplied at run time, bound where the element is declared json. Last, so an untagged read tries the scalar forms first.

Implementations

impl LiteralValue

pub fn unsigned(n: u64) -> LiteralValue

The literal of an unsigned integer: Int when it fits i64, UInt above.

Trait Implementations

impl Clone for LiteralValue

fn clone(&self) -> LiteralValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LiteralValue

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for LiteralValue

fn deserialize<__D>( __deserializer: __D, ) -> Result<LiteralValue, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for LiteralValue

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for LiteralValue

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for LiteralValue