Struct Value 

pub struct Value {
    pub inner: CoreValue,
    pub actual_type: Box<TypeDefinition>,
}

Fields

inner: CoreValue

actual_type: Box<TypeDefinition>

Implementations

impl Value

pub fn null() -> Self

impl Value

pub fn callable( name: Option<String>, signature: CallableSignature, body: CallableBody, ) -> Self

pub fn is_type(&self) -> bool

pub fn is_null(&self) -> bool

pub fn is_text(&self) -> bool

pub fn is_integer_i8(&self) -> bool

pub fn is_bool(&self) -> bool

pub fn is_map(&self) -> bool

pub fn is_list(&self) -> bool

pub fn actual_type(&self) -> &TypeDefinition

pub fn has_default_type(&self) -> bool

Returns true if the current Value’s actual type is the same as its default type E.g. if the type is integer for an Integer value, or integer/u8 for a typed integer value This will return false for an integer value if the actual type is one of the following:

• an ImplType<integer, x>
• a new nominal type containing an integer TODO #604: this does not match all cases of default types from the point of view of the compiler - integer variants (despite bigint) can be distinguished based on the instruction code, but for text variants, the variant must be included in the compiler output - so we need to handle theses cases as well. Generally speaking, all variants except the few integer variants should never be considered default types.

pub fn try_get_property<'a>( &self, key: impl Into<ValueKey<'a>>, ) -> Result<ValueContainer, AccessError>

Gets a property on the value if applicable (e.g. for map and structs)

pub fn try_set_property<'a>( &mut self, key: impl Into<ValueKey<'a>>, val: ValueContainer, ) -> Result<(), AccessError>

Sets a property on the value if applicable (e.g. for maps)

Methods from Deref<Target = CoreValue>

pub fn is_collection_value(&self) -> bool

Check if the CoreValue is a combined value type (List, Map) that contains inner ValueContainers.

pub fn default_type_definition(&self) -> TypeDefinition

Get the default type of the CoreValue type definition. This method uses the CoreLibPointerId to retrieve the corresponding type reference from the core library. For example, a CoreValue::TypedInteger(i32) will return the type ref integer/i32

pub fn cast_to_type(&self) -> Option<&Type>

pub fn cast_to_text(&self) -> Text

pub fn cast_to_bool(&self) -> Option<Boolean>

pub fn cast_to_decimal(&self) -> Option<Decimal>

pub fn cast_to_typed_decimal( &self, variant: DecimalTypeVariant, ) -> Option<TypedDecimal>

pub fn _cast_to_integer_internal(&self) -> Option<TypedInteger>

pub fn cast_to_integer(&self) -> Option<Integer>

pub fn cast_to_typed_integer( &self, variant: IntegerTypeVariant, ) -> Option<TypedInteger>

pub fn cast_to_endpoint(&self) -> Option<Endpoint>

pub fn cast_to_list(&self) -> Option<List>

pub fn cast_to_map(&self) -> Option<Map>

Trait Implementations

impl Add for &Value

type Output = Result<Value, ValueError>

The resulting type after applying the + operator.

fn add(self, rhs: &Value) -> Self::Output

Performs the + operation.

impl Add for Value

type Output = Result<Value, ValueError>

The resulting type after applying the + operator.

fn add(self, rhs: Value) -> Self::Output

Performs the + operation.

impl<T> AddAssign<T> for Value

where Value: From<T>,

fn add_assign(&mut self, rhs: T)

Performs the += operation.

impl Apply for Value

fn apply( &self, args: &[ValueContainer], ) -> Result<Option<ValueContainer>, ExecutionError>

Applies multiple ValueContainer arguments to self

fn apply_single( &self, arg: &ValueContainer, ) -> Result<Option<ValueContainer>, ExecutionError>

Applies a single ValueContainer argument to self

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

type Target = CoreValue

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl Display for Value

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

Formats the value using the given formatter.

impl<T> From<Option<T>> for Value

where T: Into<Value>,

fn from(opt: Option<T>) -> Self

Converts to this type from the input type.

impl<T: Into<CoreValue>> From<T> for Value

fn from(inner: T) -> Self

Converts to this type from the input type.

impl Hash for Value

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

Feeds this value into the given Hasher.

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

type Output = Result<Value, ValueError>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl Not for Value

type Output = Option<Value>

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

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

Two values are structurally equal, if their inner values are structurally equal, regardless of the actual_type of the values

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

Check if two values are equal, ignoring the type.

impl Sub for &Value

type Output = Result<Value, ValueError>

The resulting type after applying the - operator.

fn sub(self, rhs: &Value) -> Self::Output

Performs the - operation.

impl Sub for Value

type Output = Result<Value, ValueError>

The resulting type after applying the - operator.

fn sub(self, rhs: Value) -> Self::Output

Performs the - operation.

impl ValueEq for Value

Value equality corresponds to partial equality: Both type and inner value are the same

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

Check if two values are exactly equal, including the type.

impl Eq for Value

impl StructuralPartialEq for Value