Enum trustfall_core::ir::value::FieldValue

#[non_exhaustive]
pub enum FieldValue {
    Null,
    Int64(i64),
    Uint64(u64),
    Float64(f64),
    String(Arc<str>),
    Boolean(bool),
    Enum(Arc<str>),
    List(Arc<[FieldValue]>),
}

Values of fields in Trustfall.

For version that is serialized as an untagged enum, see TransparentValue.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Null

Int64(i64)

Together with Uint64, corresponds to schemas’ Int type.

Uint64(u64)

Together with Int64, corresponds to schemas’ Int type.

Float64(f64)

Corresponds to schemas’ Float type. Not allowed to be NaN or infinite.

String(Arc<str>)

Boolean(bool)

Enum(Arc<str>)

List(Arc<[FieldValue]>)

Implementations

impl FieldValue

pub const NULL: Self = FieldValue::Null

impl FieldValue

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

pub fn as_u64(&self) -> Option<u64>

pub fn as_usize(&self) -> Option<usize>

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

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

pub fn as_arc_str(&self) -> Option<&Arc<str>>

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

pub fn as_slice(&self) -> Option<&[FieldValue]>

pub fn as_arc_slice(&self) -> Option<&Arc<[FieldValue]>>

pub fn as_vec_with<'a, T>( &'a self, inner: impl Fn(&'a FieldValue) -> Option<T> ) -> Option<Vec<T>>

Trait Implementations

impl AsRef<FieldValue> for FieldValue

fn as_ref(&self) -> &FieldValue

Converts this type into a shared reference of the (usually inferred) input type.

impl Clone for FieldValue

fn clone(&self) -> FieldValue

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for FieldValue

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

Formats the value using the given formatter.

impl Default for &FieldValue

fn default() -> Self

Returns the “default value” for a type.

impl Default for FieldValue

fn default() -> FieldValue

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for FieldValue

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<T: Into<FieldValue> + Clone> From<&[T]> for FieldValue

fn from(slice: &[T]) -> FieldValue

Converts to this type from the input type.

impl From<&String> for FieldValue

fn from(v: &String) -> Self

Converts to this type from the input type.

impl From<&str> for FieldValue

fn from(v: &str) -> Self

Converts to this type from the input type.

impl From<Arc<str>> for FieldValue

fn from(v: Arc<str>) -> Self

Converts to this type from the input type.

impl From<FieldValue> for TransparentValue

fn from(value: FieldValue) -> Self

Converts to this type from the input type.

impl From<FiniteF64> for FieldValue

fn from(f: FiniteF64) -> FieldValue

Converts to this type from the input type.

impl<T: Into<FieldValue>> From<Option<T>> for FieldValue

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

Converts to this type from the input type.

impl From<String> for FieldValue

fn from(v: String) -> Self

Converts to this type from the input type.

impl From<TransparentValue> for FieldValue

fn from(value: TransparentValue) -> Self

Converts to this type from the input type.

impl<T: Into<FieldValue>> From<Vec<T>> for FieldValue

fn from(vec: Vec<T>) -> FieldValue

Converts to this type from the input type.

impl From<bool> for FieldValue

fn from(v: bool) -> Self

Converts to this type from the input type.

impl From<i16> for FieldValue

fn from(v: i16) -> Self

Converts to this type from the input type.

impl From<i32> for FieldValue

fn from(v: i32) -> Self

Converts to this type from the input type.

impl From<i64> for FieldValue

fn from(v: i64) -> Self

Converts to this type from the input type.

impl From<i8> for FieldValue

fn from(v: i8) -> Self

Converts to this type from the input type.

impl From<u16> for FieldValue

fn from(v: u16) -> Self

Converts to this type from the input type.

impl From<u32> for FieldValue

fn from(v: u32) -> Self

Converts to this type from the input type.

impl From<u64> for FieldValue

fn from(v: u64) -> Self

Converts to this type from the input type.

impl From<u8> for FieldValue

fn from(v: u8) -> Self

Converts to this type from the input type.

impl<T: Into<FieldValue>> FromIterator<T> for FieldValue

fn from_iter<I>(iter: I) -> Selfwhere I: IntoIterator<Item = T>,

Creates a value from an iterator.

impl PartialEq for FieldValue

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for FieldValue

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

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

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

This method tests less than (for self and other) and is used by the < operator.

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

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

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

This method tests greater than (for self and other) and is used by the > operator.

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

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

impl Serialize for FieldValue

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TryFrom<ConstValue> for FieldValue

type Error = String

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<Option<f32>> for FieldValue

type Error = (f32, &'static str)

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<Option<f64>> for FieldValue

type Error = (f64, &'static str)

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<Value> for FieldValue

type Error = String

The type returned in the event of a conversion error.

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

Performs the conversion.

impl Eq for FieldValue