Enum json_syntax::Value

pub enum Value<M> {
    Null,
    Boolean(bool),
    Number(NumberBuf),
    String(String),
    Array(Array<M>),
    Object(Object<M>),
}

Value.

The two types parameters are used to locate/map values inside the source file. The S parameter is the type used to identify the source file (generally a string slice, a path, or an index). The P parameter is the type used to locate the value inside the file. By default the locspan::Span type is used, since it is what the parser uses.

Comparison

This type implements the usual comparison traits PartialEq, Eq, PartialOrd and Ord. However these implementations will also compare the code mapping information (source file and span). If you want to do comparisons while ignoring this information, you can use the locspan::Stripped type.

Variants

Null

null.

Boolean(bool)

Boolean true or false.

Number(NumberBuf)

Number.

String(String)

String.

Array(Array<M>)

Array.

Object(Object<M>)

Object.

Implementations

impl<M> Value<M>

pub fn kind(&self) -> Kind

pub fn is_kind(&self, kind: Kind) -> bool

pub fn is_null(&self) -> bool

pub fn is_boolean(&self) -> bool

pub fn is_number(&self) -> bool

pub fn is_string(&self) -> bool

pub fn is_array(&self) -> bool

pub fn is_object(&self) -> bool

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

pub fn as_boolean_mut(&mut self) -> Option<&mut bool>

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

pub fn as_number_mut(&mut self) -> Option<&mut NumberBuf>

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

pub fn as_string_mut(&mut self) -> Option<&mut String>

pub fn as_array(&self) -> Option<&[Meta<Self, M>]>

pub fn as_array_mut(&mut self) -> Option<&mut Array<M>>

pub fn as_object(&self) -> Option<&Object<M>>

pub fn as_object_mut(&mut self) -> Option<&mut Object<M>>

pub fn into_boolean(self) -> Option<bool>

pub fn into_number(self) -> Option<NumberBuf>

pub fn into_string(self) -> Option<String>

pub fn into_array(self) -> Option<Array<M>>

pub fn into_object(self) -> Option<Object<M>>

pub fn count(&self, f: impl Clone + Fn(&Self) -> bool) -> usize

Recursively count the number of values for which f returns true.

pub fn volume(&self) -> usize

Returns the volume of the value.

The volume is the sum of all values and recursively nested values included in self, including self (the volume is at least 1).

This is equivalent to value.count(|_| true).

pub fn map_metadata<N>(self, f: impl FnMut(M) -> N) -> Value<N>

Recursively maps the metadata inside the value.

pub fn try_map_metadata<N, E>(
    self,
    f: impl FnMut(M) -> Result<N, E>
) -> Result<Value<N>, E>

Tries to recursively maps the metadata inside the value.

Trait Implementations

impl<M: Clone> Clone for Value<M>

fn clone(&self) -> Value<M>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<M: Debug> Debug for Value<M>

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

Formats the value using the given formatter.

impl<'n, M> From<&'n Number> for Value<M>

fn from(n: &'n Number) -> Self

Converts to this type from the input type.

impl<'s, M> From<&'s str> for Value<M>

fn from(s: &'s str) -> Self

Converts to this type from the input type.

impl<M> From<NumberBuf<SmallVec<[u8; 16]>>> for Value<M>

fn from(n: NumberBuf) -> Self

Converts to this type from the input type.

impl<M> From<Object<M>> for Value<M>

fn from(o: Object<M>) -> Self

Converts to this type from the input type.

impl<M> From<SmallString<[u8; 16]>> for Value<M>

fn from(s: String) -> Self

Converts to this type from the input type.

impl<M> From<String> for Value<M>

fn from(s: String) -> Self

Converts to this type from the input type.

impl<M> From<Vec<Meta<Value<M>, M>, Global>> for Value<M>

fn from(a: Array<M>) -> Self

Converts to this type from the input type.

impl<M> From<bool> for Value<M>

fn from(b: bool) -> Self

Converts to this type from the input type.

impl<M> From<i16> for Value<M>

fn from(n: i16) -> Self

Converts to this type from the input type.

impl<M> From<i32> for Value<M>

fn from(n: i32) -> Self

Converts to this type from the input type.

impl<M> From<i64> for Value<M>

fn from(n: i64) -> Self

Converts to this type from the input type.

impl<M> From<i8> for Value<M>

fn from(n: i8) -> Self

Converts to this type from the input type.

impl<M> From<u16> for Value<M>

fn from(n: u16) -> Self

Converts to this type from the input type.

impl<M> From<u32> for Value<M>

fn from(n: u32) -> Self

Converts to this type from the input type.

impl<M> From<u64> for Value<M>

fn from(n: u64) -> Self

Converts to this type from the input type.

impl<M> From<u8> for Value<M>

fn from(n: u8) -> Self

Converts to this type from the input type.

impl<M: Hash> Hash for Value<M>

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, 

Feeds a slice of this type into the given Hasher.

impl<M, N> MapMetadataRecursively<M, N> for Value<M>

type Output = Value<N>

fn map_metadata_recursively<F: FnMut(M) -> N>(self, f: F) -> Value<N>

Maps the metadata, recursively.

impl<M: Ord> Ord for Value<M>

fn cmp(&self, other: &Value<M>) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self where
    Self: PartialOrd<Self>, 

Restrict a value to a certain interval.

impl<F: Clone> Parse<F> for Value<Location<F>>

fn parse_in<E, C>(
    parser: &mut Parser<F, E, C>,
    context: Context
) -> Result<Loc<Self, F>, Loc<Error<E, F>, F>> where
    C: Iterator<Item = Result<DecodedChar, E>>, 

fn parse<E, C>(file: F, chars: C) -> Result<Loc<Self, F>, Loc<Error<E, F>, F>> where
    C: Iterator<Item = Result<DecodedChar, E>>, 

fn parse_with<E, C>(
    file: F,
    chars: C,
    options: Options
) -> Result<Loc<Self, F>, Loc<Error<E, F>, F>> where
    C: Iterator<Item = Result<DecodedChar, E>>, 

impl<M: PartialEq> PartialEq<Value<M>> for Value<M>

fn eq(&self, other: &Value<M>) -> 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<M: PartialOrd> PartialOrd<Value<M>> for Value<M>

fn partial_cmp(&self, other: &Value<M>) -> 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<M> PrecomputeSize for Value<M>

fn pre_compute_size(&self, options: &Options, sizes: &mut Vec<Size>) -> Size

impl<M> Print for Value<M>

fn fmt_with(
    &self,
    f: &mut Formatter<'_>,
    options: &Options,
    indent: usize
) -> Result

fn pretty_print(&self) -> Printed<'_, Self>

Print the value with Options::pretty options.

fn compact_print(&self) -> Printed<'_, Self>

Print the value with Options::compact options.

fn inline_print(&self) -> Printed<'_, Self>

Print the value with Options::inline options.

fn print_with(&self, options: Options) -> Printed<'_, Self>

Print the value with the given options.

impl<M> PrintWithSize for Value<M>

fn fmt_with_size(
    &self,
    f: &mut Formatter<'_>,
    options: &Options,
    indent: usize,
    sizes: &[Size],
    index: &mut usize
) -> Result

impl<M> StrippedHash for Value<M>

fn stripped_hash<H: Hasher>(&self, state: &mut H)

impl<M> StrippedOrd for Value<M>

fn stripped_cmp(&self, other: &Self) -> Ordering

impl<M> StrippedPartialEq<Value<M>> for Value<M>

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

impl<M> StrippedPartialOrd<Value<M>> for Value<M>

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

impl<M> TryFrom<f32> for Value<M>

type Error = TryFromFloatError

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<M> TryFrom<f64> for Value<M>

type Error = TryFromFloatError

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<M, N, E> TryMapMetadataRecursively<M, N, E> for Value<M>

type Output = Value<N>

fn try_map_metadata_recursively<F: FnMut(M) -> Result<N, E>>(
    self,
    f: F
) -> Result<Value<N>, E>

Tries to map the metadata, recursively.

impl<M: Eq> Eq for Value<M>

impl<M> StrippedEq for Value<M>

impl<M> StructuralEq for Value<M>

impl<M> StructuralPartialEq for Value<M>