Enum Val 

pub enum Val {
    Null,
    Bool(bool),
    Int(isize),
    Float(f64),
    Num(Rc<String>),
    Str(Rc<String>),
    Arr(Rc<Vec<Val>>),
    Obj(Rc<IndexMap<Rc<String>, Val, RandomState>>),
}

JSON value with sharing.

The speciality of this type is that numbers are distinguished into machine-sized integers and 64-bit floating-point numbers. This allows using integers to index arrays, while using floating-point numbers to do general math.

Operations on numbers follow a few principles:

• The sum, difference, product, and remainder of two integers is integer.
• Any other operation between two numbers yields a float.

Variants

Null

Null

Bool(bool)

Boolean

Int(isize)

Integer

Float(f64)

Floating-point number

Num(Rc<String>)

Floating-point number or integer not fitting into Int

Str(Rc<String>)

String

Arr(Rc<Vec<Val>>)

Array

Obj(Rc<IndexMap<Rc<String>, Val, RandomState>>)

Object

Implementations

impl Val

pub fn obj(m: IndexMap<Rc<String>, Self, RandomState>) -> Self

Construct an object value.

pub fn parse(token: Token, lexer: &mut impl LexAlloc) -> Result<Self, Error>

Parse at least one JSON value, given an initial token and a lexer.

If the underlying lexer reads input fallibly (for example IterLexer), the error returned by this function might be misleading. In that case, always check whether the lexer contains an error.

Trait Implementations

impl Add for Val

type Output = Result<Val, Error<Val>>

The resulting type after applying the + operator.

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

Performs the + operation.

impl Clone for Val

fn clone(&self) -> Val

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Val

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

Formats the value using the given formatter.

impl Default for Val

fn default() -> Val

Returns the “default value” for a type.

impl Display for Val

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

Formats the value using the given formatter.

impl Div for Val

type Output = Result<Val, Error<Val>>

The resulting type after applying the / operator.

fn div(self, rhs: Self) -> Self::Output

Performs the / operation.

impl From<String> for Val

fn from(s: String) -> Self

Converts to this type from the input type.

impl From<bool> for Val

fn from(b: bool) -> Self

Converts to this type from the input type.

impl From<f64> for Val

fn from(f: f64) -> Self

Converts to this type from the input type.

impl From<isize> for Val

fn from(i: isize) -> Self

Converts to this type from the input type.

impl FromIterator<Val> for Val

fn from_iter<T: IntoIterator<Item = Self>>(iter: T) -> Self

Creates a value from an iterator.

impl Mul for Val

type Output = Result<Val, Error<Val>>

The resulting type after applying the * operator.

fn mul(self, rhs: Self) -> Self::Output

Performs the * operation.

impl Neg for Val

type Output = Result<Val, Error<Val>>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl Ord for Val

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

This method returns an Ordering between self and other.

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

where Self: Sized,

Compares and returns the maximum of two values.

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

where Self: Sized,

Compares and returns the minimum of two values.

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

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for Val

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

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

Tests less than (for self and other) and is used by the < operator.

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

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

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

Tests greater than (for self and other) and is used by the > operator.

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

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

impl Rem for Val

type Output = Result<Val, Error<Val>>

The resulting type after applying the % operator.

fn rem(self, rhs: Self) -> Self::Output

Performs the % operation.

impl Sub for Val

type Output = Result<Val, Error<Val>>

The resulting type after applying the - operator.

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

Performs the - operation.

impl ValT for Val

fn as_bool(&self) -> bool

True if the value is neither null nor false.

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

If the value is a string, return it, else fail.

fn from_num(n: &str) -> ValR

Create a number from a string.

fn from_map<I: IntoIterator<Item = (Self, Self)>>(iter: I) -> ValR

Create an associative map (or object) from a sequence of key-value pairs.

fn values(self) -> Box<dyn Iterator<Item = ValR>>

Yield the children of a value.

fn index(self, index: &Self) -> ValR

Yield the child of a value at the given index.

fn range(self, range: Range<&Self>) -> ValR

Yield a slice of the value with the given range.

fn map_values<'a, I: Iterator<Item = ValX<'a>>>( self, opt: Opt, f: impl Fn(Self) -> I, ) -> ValX<'a>

Map a function over the children of the value.

fn map_index<'a, I: Iterator<Item = ValX<'a>>>( self, index: &Self, opt: Opt, f: impl Fn(Self) -> I, ) -> ValX<'a>

Map a function over the child of the value at the given index.

fn map_range<'a, I: Iterator<Item = ValX<'a>>>( self, range: Range<&Self>, opt: Opt, f: impl Fn(Self) -> I, ) -> ValX<'a>

Map a function over the slice of the value with the given range.

impl ValT for Val

fn into_seq<S: FromIterator<Self>>(self) -> Result<S, Self>

Convert an array into a sequence.

fn as_isize(&self) -> Option<isize>

Use the value as integer.

fn as_f64(&self) -> Result<f64, Error>

Use the value as floating-point number.

impl Eq for Val