Enum Value 

pub enum Value {
    Dead,
    Unit,
    Bool(bool),
    Int(Integer),
    Float(f64),
    Complex(Complex),
    Prob(f64),
    Str(Arc<str>),
    List(Arc<Hashed<Vec<Value>>>),
    Map(Arc<Hashed<BTreeMap<Value, Value>>>),
    Bag(Arc<Hashed<Multiset>>),
    Range(Integer, Integer),
    Record(Arc<Hashed<Record>>),
    Enum(Arc<EnumValue>),
    Dist(Arc<Dist>),
    Continuous(Arc<Family>),
    Closure(Arc<Closure>),
    Builtin(Builtin),
    Date(i32),
    Delayed(Arc<Delayed>),
    Analytic(Arc<Analytic>),
    Event(Arc<Event>),
}

Variants

Dead

A slot with no value: not assigned yet, or cleared because it’s dead.

Unit

Bool(bool)

A fact: true or false in a world.

Int(Integer)

Float(f64)

Complex(Complex)

Prob(f64)

A probability: a number from 0 to 1. It’s a parameter, not an event.

Str(Arc<str>)

List(Arc<Hashed<Vec<Value>>>)

Map(Arc<Hashed<BTreeMap<Value, Value>>>)

Bag(Arc<Hashed<Multiset>>)

A multiset: value → count.

Range(Integer, Integer)

Integers from .0 to .1, both included.

Record(Arc<Hashed<Record>>)

Enum(Arc<EnumValue>)

Dist(Arc<Dist>)

Continuous(Arc<Family>)

A continuous distribution (docs/semantics.md, section 13).

Closure(Arc<Closure>)

Builtin(Builtin)

Date(i32)

Days since 1970-01-01.

Delayed(Arc<Delayed>)

A variable’s value that isn’t drawn yet, internal to the engine (docs/semantics.md, section 14). The engine draws it before any value read; a direct typeof inspection only needs its outcome type.

Analytic(Arc<Analytic>)

A scalar outcome retained analytically during enumeration.

Event(Arc<Event>)

A boolean predicate of that same outcome, retaining its identity.

Implementations

impl Value

pub fn str(s: &str) -> Value

pub fn list(items: Vec<Value>) -> Value

pub fn map(entries: BTreeMap<Value, Value>) -> Value

pub fn bag(counts: BTreeMap<Value, u64>) -> Value

pub fn multiset(contents: Multiset) -> Value

pub fn record(record: Record) -> Value

pub fn unshared(&self) -> Value

A copy that shares no collection or string with the original. Values are shared through reference counts: threads that all read the same data would compete for those, so each sampling thread takes a copy.

pub fn kind(&self) -> String

The kind of value, as named in error messages.

pub fn is_dist(&self) -> bool

A distribution with outcomes that can be listed.

pub fn is_uncertain(&self) -> bool

Any distribution, including continuous ones: not a settled value.

pub fn as_f64(&self) -> Option<f64>

Numbers as f64: ints, floats and probabilities.

pub fn as_complex(&self) -> Option<Complex>

Promote real numeric data to a complex scalar, without accepting facts or converting complex data back into real probabilities.

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

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

Formats the value using the given formatter.

impl Eq for Value

impl Hash for Value

fn hash<H: Hasher>(&self, state: &mut H)

Like equality: small values inlined, the rest out of line.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for Value

fn cmp(&self, other: &Value) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

🔬This is a nightly-only experimental API. (clamp_to)

Restrict a value to a certain range.

impl PartialEq for Value

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

Worlds are compared slot by slot, and most slots hold small values: those are compared here, inlined, and the rest out of line.

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

Inequality operator !=.

impl PartialOrd for Value

fn partial_cmp(&self, other: &Value) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.