Enum Value

pub enum Value {
    Int(&'static [i64]),
    Float(&'static [F64]),
    Bool(&'static [bool]),
    Str(&'static [&'static str]),
    ListInt(&'static [&'static [i64]]),
    ListStr(&'static [&'static [&'static str]]),
    BitVector(usize, &'static [u64]),
    Null,
}

A collection of constant values representing various primitive and collection types.

This enumeration encapsulates integers, floats, booleans, and strings as well as lists of integers and strings, with each variant storing its data as a static slice to ensure efficient access. Additionally, a null variant is provided to denote the absence of a value.

Variants

Int(&'static [i64])

Float(&'static [F64])

Bool(&'static [bool])

Str(&'static [&'static str])

ListInt(&'static [&'static [i64]])

ListStr(&'static [&'static [&'static str]])

BitVector(usize, &'static [u64])

Null

Implementations

impl Value

pub fn with_examples(self, exs: &[usize]) -> Value

Transforms the current value by selecting elements at indices specified in the examples slice and produces a new value of the same variant.

Iterates over the elements in the internal collection corresponding to the variant and constructs a new value by extracting items at the given indices. If the variant is Null, the result is also Null.

impl Value

pub fn ty(&self) -> Type

Returns the type corresponding to the variant of the value. This function examines the value’s variant and returns the associated type, ensuring that each kind of value consistently maps to its specific type.

pub fn len(&self) -> usize

Returns the number of elements contained within the value.

Examines the variant of the value and computes its length accordingly, using the inherent length of the underlying slice or collection, with a length of zero returned for the null variant.

pub fn length_inside(&self) -> Option<Vec<usize>>

Returns an optional vector of element lengths contained within the value. This method computes and returns a vector of lengths for each element when applicable, such as when the value holds strings or lists; for other cases, it yields None, indicating that individual element lengths are not defined.

pub fn flatten_leak(&self) -> &'static [&'static str]

Flattens the contained string(s) into a unified static slice of string references.

This function operates by taking a value holding either a singular string or a list of strings and returns a reference to a static slice where each element corresponds to a single-character substring from the original strings. It panics if the value is of any other type, ensuring that only supported string types are processed.

pub fn try_flatten_leak(&self) -> Option<&'static [&'static str]>

Converts a value holding strings into an optional flattened representation as a static slice of string slices.

Checks if the input value encapsulates either individual strings or a list of strings and produces a flattened collection where each element represents a single-character string slice or an element from the list, respectively. If the value does not match these string types, it returns None.

pub fn from_const( ty: Type, constants: impl ExactSizeIterator<Item = ConstValue>, ) -> Self

Creates a synthesized value from an iterator of constant values based on the specified type.

Converts each constant from the provided iterator to the corresponding native variant by mapping through type-specific conversion methods and collecting the results into the proper aggregated structure. If the type is unsupported for such conversion, the function triggers a panic with an appropriate error message.

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

Checks whether every string element in the first value is a substring of the corresponding string element in the second value.

Operates by iterating over paired elements from two string collections and returning true only if each element of the first collection is contained within the corresponding element of the second; if either value is not a string collection, it returns false.

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

Checks whether any string in the first value appears as a substring in the corresponding string of the second value. This function compares two values and, when both are collections of strings, pairs each corresponding element using a zipper technique and returns true if at least one pair satisfies the substring condition; in all other cases it returns false.

pub fn to_str(self) -> &'static [&'static str]

Converts an internal value into a statically allocated slice of string slices.

Transforms the underlying data by attempting to convert the current value into the desired string slice representation and immediately unwrapping the result. This operation guarantees that the conversion succeeds, provided the value is compatible with the expected type.

pub fn to_int(self) -> &'static [i64]

pub fn to_liststr(self) -> &'static [&'static [&'static str]]

Converts a value into a static list of string slices by performing a conversion using the TryInto trait. Panics if the conversion fails, returning the resulting list of string slices upon success.

pub fn to_bool(self) -> &'static [bool]

Converts the value into a static slice of booleans. This function attempts to transform the value into the corresponding boolean slice using an internal conversion mechanism and returns the result, panicking if the conversion fails.

pub fn to_bits(self) -> Bits

Converts the boolean representation contained in the receiver into a bit vector.

Transforms the boolean values of the instance into a sequential bit representation suitable for bitwise manipulation. This function extracts a boolean slice from the instance and converts it into an aggregated Bits value.

pub fn is_all_true(&self) -> bool

Checks whether all boolean values in the object are true.

Determines if the object, when representing boolean values, contains only true elements by iterating over the booleans and verifying each one is true; if the object does not represent booleans, it returns false.

pub fn is_all_false(&self) -> bool

Determines whether all boolean values in the instance evaluate to false.

Evaluates the content of the instance by checking if it represents a boolean collection, returning true only when every boolean in that collection is false; otherwise, it returns false, defaulting to false if the instance does not correspond to a boolean value.

pub fn is_all_empty(&self) -> bool

Checks whether every string element within the value is empty.

Determines if the current instance contains a collection of strings and, if so, verifies that all strings have zero length, returning false if the value is of a different type.

pub fn bool_not(self) -> Value

Negates each boolean element in the input value and returns a new value with the negated booleans.

This function converts the current instance into a boolean slice, applies logical negation to every element, and then collects the results back into a new instance that encapsulates the transformed boolean values.

pub fn eq_count(&self, other: &Self) -> usize

Computes the number of pairwise equal elements shared between two values.

This function compares the corresponding elements of two instances by iterating over their internal collections and counting pairs that are equal. It supports several variants (such as integers, strings, floats, booleans, and lists) by aligning elements in parallel; when the compared types do not match, it returns zero.

pub fn eq_bits(&self, other: &Self) -> Option<Bits>

Compares two values and computes a bit mask representing elementwise equality.

This function performs an elementwise comparison between the contents of two values of the same specific variant and returns an optional bit mask where each bit indicates whether corresponding elements are equal. If the two values do not belong to a matching variant that supports elementwise comparison (e.g., comparing an integer sequence to a boolean sequence), the function returns None.

Trait Implementations

impl Clone for Value

fn clone(&self) -> Value

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Value

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

Formats the value using the given formatter.

impl From<&'static [&'static [&'static str]]> for Value

fn from(original: &'static [&'static [&'static str]]) -> Value

Converts to this type from the input type.

impl From<&'static [&'static [i64]]> for Value

fn from(original: &'static [&'static [i64]]) -> Value

Converts to this type from the input type.

impl From<&'static [&'static str]> for Value

fn from(original: &'static [&'static str]) -> Value

Converts to this type from the input type.

impl From<&'static [F64]> for Value

fn from(original: &'static [F64]) -> Value

Converts to this type from the input type.

impl From<&'static [bool]> for Value

fn from(original: &'static [bool]) -> Value

Converts to this type from the input type.

impl From<&'static [i64]> for Value

fn from(original: &'static [i64]) -> Value

Converts to this type from the input type.

impl From<()> for Value

fn from(original: ()) -> Value

Converts to this type from the input type.

impl From<(usize, &'static [u64])> for Value

fn from(original: (usize, &'static [u64])) -> Value

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 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 TryFrom<Value> for &'static [&'static [&'static str]]

type Error = &'static str

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<Value> for &'static [&'static [i64]]

type Error = &'static str

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<Value> for &'static [&'static str]

type Error = &'static str

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<Value> for &'static [F64]

type Error = &'static str

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<Value> for &'static [bool]

type Error = &'static str

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<Value> for &'static [i64]

type Error = &'static str

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<Value> for ()

type Error = &'static str

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<Value> for (usize, &'static [u64])

type Error = &'static str

The type returned in the event of a conversion error.

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

Performs the conversion.

impl Copy for Value

impl Eq for Value

impl StructuralPartialEq for Value