Enum json_ld_syntax::Value

pub enum Value<M = ()> {
    Null,
    Boolean(bool),
    Number(NumberBuf<SmallVec<[u8; 16]>>),
    String(SmallString<[u8; 16]>),
    Array(Vec<Meta<Value<M>, M>, Global>),
    Object(Object<M>),
}

Value.

The type parameter M is the type of metadata attached to each syntax node (values, sub values and object keys). The metadata is derived from the locspan::Span of the node in the source document using the metadata builder function passed to the parsing function (see the Parse trait for more details).

Parsing

You can parse a Value by importing the Parse trait providing a collection of parsing functions.

Example

use json_syntax::{Value, Parse};
use locspan::{Meta, Span};

let value: Meta<Value<Span>, Span> = Value::parse_str("{ \"key\": \"value\" }", |span| span).unwrap();

You don’t need to specify the return type, here only shown to make it clear. Furthermore the MetaValue<Span> type alias can be used instead of Meta<Value<Span>, Span> to avoid repetition of the metadata type.

Comparison

This type implements the usual comparison traits PartialEq, Eq, PartialOrd and Ord. However these implementations will also compare the metadata. If you want to do comparisons while ignoring ths metadata, you can use the locspan::Stripped type (combined with the locspan::BorrowStripped trait).

Example

use json_syntax::{Value, Parse};
use locspan::BorrowStripped;

let a = Value::parse_str("null", |_| 0).unwrap();
let b = Value::parse_str("null", |_| 1).unwrap();

assert_ne!(a, b); // not equals because the metadata is different.
assert_eq!(a.stripped(), b.stripped()); // equals because the metadata is ignored.

Printing

The Print trait provide a highly configurable printing method.

Example

use json_syntax::{Value, Parse, Print};

let value = Value::parse_str("[ 0, 1, { \"key\": \"value\" }, null ]", |span| span).unwrap();

println!("{}", value.pretty_print()); // multi line, indent with 2 spaces
println!("{}", value.inline_print()); // single line, spaces
println!("{}", value.compact_print()); // single line, no spaces

let mut options = json_syntax::print::Options::pretty();
options.indent = json_syntax::print::Indent::Tabs(1);
println!("{}", value.print_with(options)); // multi line, indent with tabs

Variants

Null

null.

Boolean(bool)

Boolean true or false.

Number(NumberBuf<SmallVec<[u8; 16]>>)

Number.

String(SmallString<[u8; 16]>)

String.

Array(Vec<Meta<Value<M>, M>, Global>)

Array.

Object(Object<M>)

Object.

Implementations

impl<M> Value<M>

pub fn from_serde_json( value: Value, f: impl Clone + Fn(SerdeJsonFragment<'_>) -> M ) -> Meta<Value<M>, M>

Converts a serde_json::Value into a Value.

The function f is used to annotate the output each sub value (passed as parameter).

pub fn into_serde_json(_: Meta<Value<M>, M>) -> Value

Converts a Value into a serde_json::Value, stripping the metadata.

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 is_empty_array_or_object(&self) -> bool

Checks if the value is either an empty array or an empty object.

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<SmallVec<[u8; 16]>>>

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

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

Alias for as_string.

pub fn as_string_mut(&mut self) -> Option<&mut SmallString<[u8; 16]>>

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

pub fn as_array_mut(&mut self) -> Option<&mut Vec<Meta<Value<M>, M>, Global>>

pub fn force_as_array( value: &Meta<Value<M>, M> ) -> Meta<&[Meta<Value<M>, M>], &M>

Return the given value as an array, even if it is not an array.

Returns the input value as is if it is already an array, or puts it in a slice with a single element if it is not.

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<SmallVec<[u8; 16]>>>

pub fn into_string(self) -> Option<SmallString<[u8; 16]>>

pub fn into_array(self) -> Option<Vec<Meta<Value<M>, M>, Global>>

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

pub fn traverse(&self) -> TraverseStripped<'_, M>

pub fn count(&self, f: impl FnMut(StrippedFragmentRef<'_, M>) -> 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.traverse().filter(StrippedFragmentRef::is_value).count().

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.

pub fn take(&mut self) -> Value<M>

Move and return the value, leaves null in its place.

Trait Implementations

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

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> Compare for Value<M>

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

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

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

Formats the value using the given formatter.

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

fn from(n: &'n Number) -> Value<M>

Converts to this type from the input type.

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

fn from(s: &'s str) -> Value<M>

Converts to this type from the input type.

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

fn from(n: NumberBuf<SmallVec<[u8; 16]>>) -> Value<M>

Converts to this type from the input type.

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

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

Converts to this type from the input type.

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

fn from(s: SmallString<[u8; 16]>) -> Value<M>

Converts to this type from the input type.

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

fn from(s: String) -> Value<M>

Converts to this type from the input type.

impl<M> From<Value> for Value<M>where M: Default,

fn from(value: Value) -> Value<M>

Converts to this type from the input type.

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

fn from(a: Vec<Meta<Value<M>, M>, Global>) -> Value<M>

Converts to this type from the input type.

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

fn from(b: bool) -> Value<M>

Converts to this type from the input type.

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

fn from(n: i16) -> Value<M>

Converts to this type from the input type.

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

fn from(n: i32) -> Value<M>

Converts to this type from the input type.

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

fn from(n: i64) -> Value<M>

Converts to this type from the input type.

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

fn from(n: i8) -> Value<M>

Converts to this type from the input type.

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

fn from(n: u16) -> Value<M>

Converts to this type from the input type.

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

fn from(n: u32) -> Value<M>

Converts to this type from the input type.

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

fn from(n: u64) -> Value<M>

Converts to this type from the input type.

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

fn from(n: u8) -> Value<M>

Converts to this type from the input type.

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

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

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<M, N> MapMetadataRecursively<M, N> for Value<M>

type Output = Value<N>

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

Maps the metadata, recursively.

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

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

This method returns an Ordering between self and other.

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

Compares and returns the maximum of two values.

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

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Selfwhere Self: Sized + PartialOrd<Self>,

Restrict a value to a certain interval.

impl<M> Parse<M> for Value<M>

fn parse_spanned<C, F, E>( parser: &mut Parser<C, F, E>, context: Context ) -> Result<Meta<Value<M>, Span>, Meta<Error<M, E>, M>>where C: Iterator<Item = Result<DecodedChar, E>>, F: FnMut(Span) -> M,

fn parse_str<F>( content: &str, metadata_builder: F ) -> Result<Meta<Self, M>, Meta<Error<M, Infallible>, M>>where F: FnMut(Span) -> M,

fn parse_str_with<F>( content: &str, options: Options, metadata_builder: F ) -> Result<Meta<Self, M>, Meta<Error<M, Infallible>, M>>where F: FnMut(Span) -> M,

fn parse_infallible_utf8<C, F>( chars: C, metadata_builder: F ) -> Result<Meta<Self, M>, Meta<Error<M, Infallible>, M>>where C: Iterator<Item = char>, F: FnMut(Span) -> M,

fn parse_utf8_infallible_with<C, F>( chars: C, options: Options, metadata_builder: F ) -> Result<Meta<Self, M>, Meta<Error<M, Infallible>, M>>where C: Iterator<Item = char>, F: FnMut(Span) -> M,

fn parse_utf8<C, F, E>( chars: C, metadata_builder: F ) -> Result<Meta<Self, M>, Meta<Error<M, E>, M>>where C: Iterator<Item = Result<char, E>>, F: FnMut(Span) -> M,

fn parse_utf8_with<C, F, E>( chars: C, options: Options, metadata_builder: F ) -> Result<Meta<Self, M>, Meta<Error<M, E>, M>>where C: Iterator<Item = Result<char, E>>, F: FnMut(Span) -> M,

fn parse_infallible<C, F>( chars: C, metadata_builder: F ) -> Result<Meta<Self, M>, Meta<Error<M, Infallible>, M>>where C: Iterator<Item = DecodedChar>, F: FnMut(Span) -> M,

fn parse_infallible_with<C, F>( chars: C, options: Options, metadata_builder: F ) -> Result<Meta<Self, M>, Meta<Error<M, Infallible>, M>>where C: Iterator<Item = DecodedChar>, F: FnMut(Span) -> M,

fn parse<C, F, E>( chars: C, metadata_builder: F ) -> Result<Meta<Self, M>, Meta<Error<M, E>, M>>where C: Iterator<Item = Result<DecodedChar, E>>, F: FnMut(Span) -> M,

fn parse_with<C, F, E>( chars: C, options: Options, metadata_builder: F ) -> Result<Meta<Self, M>, Meta<Error<M, E>, M>>where C: Iterator<Item = Result<DecodedChar, E>>, F: FnMut(Span) -> M,

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

impl<M> PartialEq<Value<M>> for Value<M>where M: PartialEq<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<Value<M>> for Value<M>where M: PartialOrd<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, Global> ) -> Size

impl<M> Print for Value<M>

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

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<(), Error>

impl<M> StrippedHash for Value<M>

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

impl<M> StrippedOrd for Value<M>

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

impl<M, __M> StrippedPartialEq<Value<__M>> for Value<M>

fn stripped_eq(&self, other: &Value<__M>) -> bool

impl<M, __M> StrippedPartialOrd<Value<__M>> for Value<M>

fn stripped_partial_cmp(&self, other: &Value<__M>) -> 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<Value<M>, <Value<M> as TryFrom<f32>>::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<Value<M>, <Value<M> as TryFrom<f64>>::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>(self, f: F) -> Result<Value<N>, E>where F: FnMut(M) -> Result<N, E>,

Tries to map the metadata, recursively.

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

impl<M> StrippedEq for Value<M>

impl<M> StructuralEq for Value<M>

impl<M> StructuralPartialEq for Value<M>