Enum FactValue 

pub enum FactValue {
    String(String),
    Integer(i64),
    Float(f64),
    Boolean(bool),
    Time(DateTime<FixedOffset>),
    Object(HashMap<String, FactValue>),
    Array(Vec<FactValue>),
    Null,
}

A value rules can read and write. Integers and floats are distinct, as in Grule: integer literals and arithmetic stay integers, and / always produces a float.

With serde, a FactValue uses the plain representation of its contents: strings, numbers, booleans, null, arrays and maps, with times as RFC 3339 strings. When deserializing, integers that fit in an i64 become Integer and other numbers Float; strings always stay strings.

Variants

String(String)

A string.

Integer(i64)

An integer.

Float(f64)

A floating-point number.

Boolean(bool)

true or false.

Time(DateTime<FixedOffset>)

A point in time, with its UTC offset.

Object(HashMap<String, FactValue>)

Named fields, like a struct or map.

Array(Vec<FactValue>)

A list of values.

Null

nil: no value.

Implementations

impl FactValue

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

The value as a float, for either kind of number.

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

The value if it is an integer.

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

The value if it is a string.

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

The value if it is a boolean.

pub fn as_time(&self) -> Option<&DateTime<FixedOffset>>

The value if it is a time.

pub fn as_object(&self) -> Option<&HashMap<String, FactValue>>

The fields if the value is an object.

pub fn as_array(&self) -> Option<&[FactValue]>

The items if the value is an array.

pub fn type_name(&self) -> &'static str

The value’s type as rules and error messages describe it: "string", "integer", "float", "boolean", "time", "object", "array" or "nil".

pub fn is_truthy(&self) -> bool

Whether the value is “truthy”: not nil, false, zero, or empty. (Rule conditions themselves require booleans, as in Grule.)

pub fn from_serialize<T: Serialize + ?Sized>( value: &T, ) -> Result<FactValue, String>

Converts any serializable value (typically a struct) into a fact value. Structs and maps become objects, sequences become arrays, and integers that fit in an i64 become integers. Time types serialize as strings.

pub fn deserialize<T: DeserializeOwned>(&self) -> Result<T, String>

Converts this value back into a deserializable type. Times become RFC 3339 strings, and non-finite floats become null.

Trait Implementations

impl Clone for FactValue

fn clone(&self) -> FactValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FactValue

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FactValue

fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error>

Deserialize this value from the given Serde deserializer.

impl From<&str> for FactValue

fn from(value: &str) -> Self

Converts to this type from the input type.

impl From<DateTime<FixedOffset>> for FactValue

fn from(value: DateTime<FixedOffset>) -> Self

Converts to this type from the input type.

impl From<String> for FactValue

fn from(value: String) -> Self

Converts to this type from the input type.

impl From<bool> for FactValue

fn from(value: bool) -> Self

Converts to this type from the input type.

impl From<f64> for FactValue

fn from(value: f64) -> Self

Converts to this type from the input type.

impl From<i64> for FactValue

fn from(value: i64) -> Self

Converts to this type from the input type.

impl PartialEq for FactValue

Numbers compare by value across integer and float (Integer(2) == Float(2.0)), matching how == behaves in rules. Times compare by the instant they denote.

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for FactValue

fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error>

Serialize this value into the given Serde serializer.