Enum tau_engine::Value [−][src]
pub enum Value<'a> {
Null,
Bool(bool),
Float(f64),
Int(i64),
UInt(u64),
String(Cow<'a, str>),
Array(&'a dyn Array),
Object(&'a dyn Object),
}
Expand description
A dynamic data type that the solver can reason on.
Variants
Represents an empty type.
Bool(bool)
Represents a boolean.
Tuple Fields of Bool
0: bool
Float(f64)
Represents a float.
Tuple Fields of Float
0: f64
Int(i64)
Represents an integer.
Tuple Fields of Int
0: i64
UInt(u64)
Represents an unsigned integer.
Tuple Fields of UInt
0: u64
Represents a string.
Array(&'a dyn Array)
Represents an array.
Tuple Fields of Array
0: &'a dyn Array
Object(&'a dyn Object)
Represents an object.
Tuple Fields of Object
0: &'a dyn Object
Implementations
Return the associated array if the Value
is an Array.
Return the associated object if the Value
is an Object.
Returns the Value
as an i64 if possible.
Currently supports: Int & UInt.
Trait Implementations
Auto Trait Implementations
impl<'a> !RefUnwindSafe for Value<'a>
impl<'a> !UnwindSafe for Value<'a>
Blanket Implementations
Mutably borrows from an owned value. Read more
Instruments this type with the provided Span
, returning an
Instrumented
wrapper. Read more