Enum Value 

pub enum Value {
    Integer(IntegerValue),
    Double(DoubleValue),
    Boolean(BooleanValue),
    String(StringValue),
    Selection(SelectionValue),
}

An observed parameter value, tagged by kind.

Serialises with a kind discriminator so wire formats are self-describing:

{ "kind": "integer", "value": 42, "provenance": { ... } }

Variants

Integer(IntegerValue)

An i64 observation.

Double(DoubleValue)

An f64 observation.

Boolean(BooleanValue)

A bool observation.

String(StringValue)

A String observation.

Selection(SelectionValue)

A multi-item selection.

Implementations

impl Value

pub const fn kind(&self) -> ValueKind

Discriminator for this value.

pub const fn provenance(&self) -> &Provenance

Shared provenance for this value.

pub const fn parameter(&self) -> &ParameterName

Owning parameter.

pub const fn fingerprint(&self) -> &Fingerprint

Canonical fingerprint computed at construction.

pub const fn as_integer(&self) -> Option<i64>

Borrow the i64 payload, if this is an integer value.

pub const fn as_double(&self) -> Option<f64>

Borrow the f64 payload, if this is a double value.

pub const fn as_boolean(&self) -> Option<bool>

Borrow the bool payload, if this is a boolean value.

pub fn as_string(&self) -> Option<&str>

Borrow the str payload, if this is a string value.

pub const fn as_selection(&self) -> Option<&IndexSet<SelectionItem>>

Borrow the selection payload, if this is a selection value.

pub fn integer( name: ParameterName, value: i64, generator: Option<GeneratorInfo>, ) -> Self

Convenience constructor for an integer value.

pub fn double( name: ParameterName, value: f64, generator: Option<GeneratorInfo>, ) -> Self

Convenience constructor for a double value.

pub fn boolean( name: ParameterName, value: bool, generator: Option<GeneratorInfo>, ) -> Self

Convenience constructor for a boolean value.

pub fn string( name: ParameterName, value: impl Into<String>, generator: Option<GeneratorInfo>, ) -> Self

Convenience constructor for a string value.

pub fn selection( name: ParameterName, items: IndexSet<SelectionItem>, generator: Option<GeneratorInfo>, ) -> Self

Convenience constructor for a selection value.

pub fn verify_fingerprint(&self) -> bool

Recompute the canonical fingerprint from the payload and compare with the stored provenance fingerprint.

Returns true when they match. Intended for tamper-detection checkpoints; not run automatically during deserialisation.

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<'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: &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 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 TryFrom<&Value> for EvalValue

type Error = DerivationError

The type returned in the event of a conversion error.

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

Performs the conversion.

impl StructuralPartialEq for Value