std.json

import std.conv : to;

// parse a file or string of json into a usable structure
string s = `{ "language": "D", "rating": 3.5, "code": "42" }`;
JSONValue j = parseJSON(s);
// j and j["language"] return JSONValue,
// j["language"].str returns a string
writeln(j["language"].str); // "D"
writeln(j["rating"].floating); // 3.5

// check a type
long x;
if (const(JSONValue)* code = "code" in j)
{
    if (code.type() == JSONType.integer)
        x = code.integer;
    else
        x = to!int(code.str);
}

// create a json struct
JSONValue jj = [ "language": "D" ];
// rating doesnt exist yet, so use .object to assign
jj.object["rating"] = JSONValue(3.5);
// create an array to assign to list
jj.object["list"] = JSONValue( ["a", "b", "c"] );
// list already exists, so .object optional
jj["list"].array ~= JSONValue("D");

string jjStr = `{"language":"D","list":["a","b","c","D"],"rating":3.5}`;
writeln(jj.toString); // jjStr

enum JSONFloatLiteral: string;

String literals used to represent special float values within JSON strings.

nan

String representation of floating-point NaN

inf

String representation of floating-point Infinity

negativeInf

String representation of floating-point negative Infinity

enum JSONOptions: int;

Flags that control how JSON is encoded and parsed.

none

Standard parsing and encoding

specialFloatLiterals

Encode NaN and Inf float values as strings

escapeNonAsciiChars

Encode non-ASCII characters with a Unicode escape sequence

doNotEscapeSlashes

Do not escape slashes ('/')

strictParsing

Strictly follow RFC-8259 grammar when parsing

preserveObjectOrder

Preserve order of object keys when parsing

enum JSONType: byte;

Enumeration of JSON types

null_

string

integer

uinteger

float_

array

object

true_

false_

Indicates the type of a JSONValue.

struct JSONValue;

JSON value node

pure nothrow @nogc @property @safe JSONType type() const;

Returns the JSONType of the value stored in this structure.

Examples:

string s = "{ \"language\": \"D\" }";
JSONValue j = parseJSON(s);
writeln(j.type); // JSONType.object
writeln(j["language"].type); // JSONType.string

pure @property @trusted string str() const return scope;

pure nothrow @nogc @property @trusted string str(return scope string v) return;

Value getter/setter for JSONType.string.

Throws:

JSONException for read access if type is not JSONType.string.

Examples:

JSONValue j = [ "language": "D" ];

// get value
writeln(j["language"].str); // "D"

// change existing key to new string
j["language"].str = "Perl";
writeln(j["language"].str); // "Perl"

pure @property @safe long integer() const;

pure nothrow @nogc @property @safe long integer(long v);

Value getter/setter for JSONType.integer.

Throws:

JSONException for read access if type is not JSONType.integer.

pure @property @safe ulong uinteger() const;

pure nothrow @nogc @property @safe ulong uinteger(ulong v);

Value getter/setter for JSONType.uinteger.

Throws:

JSONException for read access if type is not JSONType.uinteger.

pure @property @safe double floating() const;

pure nothrow @nogc @property @safe double floating(double v);

Value getter/setter for JSONType.float_. Note that despite the name, this is a 64-bit double, not a 32-bit float.

Throws:

JSONException for read access if type is not JSONType.float_.

pure @property @safe bool boolean() const;

pure nothrow @nogc @property @safe bool boolean(bool v);

Value getter/setter for boolean stored in JSON.

Throws:

JSONException for read access if this.type is not JSONType.true_ or JSONType.false_.

Examples:

JSONValue j = true;
writeln(j.boolean); // true

j.boolean = false;
writeln(j.boolean); // false

j.integer = 12;
import std.exception : assertThrown;
assertThrown!JSONException(j.boolean);

pure @property ref @system inout(JSONValue[string]) object() inout return;

pure nothrow @nogc @property @trusted JSONValue[string] object(return scope JSONValue[string] v);

Value getter/setter for unordered JSONType.object.

Throws:

JSONException for read access if type is not JSONType.object or the object is ordered.

Note This is @system because of the following pattern:

auto a = &(json.object());
json.uinteger = 0;        // overwrite AA pointer
(*a)["hello"] = "world";  // segmentation fault

pure @property @trusted inout(JSONValue[string]) objectNoRef() inout;

Value getter for unordered JSONType.object. Unlike object, this retrieves the object by value and can be used in @safe code.

One possible caveat is that, if the returned value is null, modifications will not be visible:

JSONValue json;
json.object = null;
json.objectNoRef["hello"] = JSONValue("world");
assert("hello" !in json.object);

Throws:

JSONException for read access if type is not JSONType.object.

pure @property ref @system inout(OrderedObjectMember[]) orderedObject() inout return;

pure nothrow @nogc @property @trusted OrderedObjectMember[] orderedObject(return scope OrderedObjectMember[] v);

Value getter/setter for ordered JSONType.object.

Throws:

JSONException for read access if type is not JSONType.object or the object is unordered.

Note This is @system because of the following pattern:

auto a = &(json.orderedObject());
json.uinteger = 0;        // overwrite AA pointer
(*a)["hello"] = "world";  // segmentation fault

pure @property @trusted inout(OrderedObjectMember[]) orderedObjectNoRef() inout;

Value getter for ordered JSONType.object. Unlike orderedObject, this retrieves the object by value and can be used in @safe code.

pure @property @trusted bool isOrdered() const;

Returns true if the order of keys of the represented object is being preserved.

pure @property ref @system inout(JSONValue[]) array() inout scope return;

pure nothrow @nogc @property @trusted JSONValue[] array(return scope JSONValue[] v) scope;

Value getter/setter for JSONType.array.

Throws:

JSONException for read access if type is not JSONType.array.

Note This is @system because of the following pattern:

auto a = &(json.array());
json.uinteger = 0;  // overwrite array pointer
(*a)[0] = "world";  // segmentation fault

pure @property @trusted inout(JSONValue[]) arrayNoRef() inout;

Value getter for JSONType.array. Unlike array, this retrieves the array by value and can be used in @safe code.

One possible caveat is that, if you append to the returned array, the new values aren't visible in the JSONValue:

JSONValue json;
json.array = [JSONValue("hello")];
json.arrayNoRef ~= JSONValue("world");
assert(json.array.length == 1);

Throws:

JSONException for read access if type is not JSONType.array.

pure nothrow @nogc @property @safe bool isNull() const;

Test whether the type is JSONType.null_

pure @property @safe inout(T) get(T)() inout const;

pure @property @trusted inout(T) get(T : JSONValue[string])() inout;

A convenience getter that returns this JSONValue as the specified D type.

Note Only numeric types, bool, string, JSONValue[string], and JSONValue[] types are accepted

Throws:

JSONException if T cannot hold the contents of this JSONValue ConvException in case of integer overflow when converting to T

Examples:

import std.exception;
import std.conv;
string s =
`{
    "a": 123,
    "b": 3.1415,
    "c": "text",
    "d": true,
    "e": [1, 2, 3],
    "f": { "a": 1 },
    "g": -45,
    "h": ` ~ ulong.max.to!string ~ `,
 }`;

struct a { }

immutable json = parseJSON(s);
writeln(json["a"].get!double); // 123.0
writeln(json["a"].get!int); // 123
writeln(json["a"].get!uint); // 123
writeln(json["b"].get!double); // 3.1415
assertThrown!JSONException(json["b"].get!int);
writeln(json["c"].get!string); // "text"
writeln(json["d"].get!bool); // true
assertNotThrown(json["e"].get!(JSONValue[]));
assertNotThrown(json["f"].get!(JSONValue[string]));
static assert(!__traits(compiles, json["a"].get!a));
assertThrown!JSONException(json["e"].get!float);
assertThrown!JSONException(json["d"].get!(JSONValue[string]));
assertThrown!JSONException(json["f"].get!(JSONValue[]));
writeln(json["g"].get!int); // -45
assertThrown!ConvException(json["g"].get!uint);
writeln(json["h"].get!ulong); // ulong.max
assertThrown!ConvException(json["h"].get!uint);
assertNotThrown(json["h"].get!float);

this(T)(T arg)
if (!isStaticArray!T);

this(T)(ref T arg)
if (isStaticArray!T);

this(T : JSONValue)(inout T arg) inout;

Constructor for JSONValue. If arg is a JSONValue its value and type will be copied to the new JSONValue. Note that this is a shallow copy: if type is JSONType.object or JSONType.array then only the reference to the data will be copied. Otherwise, arg must be implicitly convertible to one of the following types: typeof(null), string, ulong, long, double, an associative array V[K] for any V and K i.e. a JSON object, any array or bool. The type will be set accordingly.

Examples:

JSONValue j = JSONValue( "a string" );
j = JSONValue(42);

j = JSONValue( [1, 2, 3] );
writeln(j.type); // JSONType.array

j = JSONValue( ["language": "D"] );
writeln(j.type); // JSONType.object

enum JSONValue emptyObject;

An enum value that can be used to obtain a JSONValue representing an empty JSON object.

Examples:

JSONValue obj1 = JSONValue.emptyObject;
writeln(obj1.type); // JSONType.object
obj1.object["a"] = JSONValue(1);
writeln(obj1.object["a"]); // JSONValue(1)

JSONValue obj2 = JSONValue.emptyObject;
assert("a" !in obj2.object);
obj2.object["b"] = JSONValue(5);
assert(obj1 != obj2);

enum JSONValue emptyOrderedObject;

An enum value that can be used to obtain a JSONValue representing an empty JSON object. Unlike emptyObject, the order of inserted keys is preserved.

Examples:

JSONValue obj = JSONValue.emptyOrderedObject;
writeln(obj.type); // JSONType.object
assert(obj.isOrdered);
obj["b"] = JSONValue(2);
obj["a"] = JSONValue(1);
writeln(obj["a"]); // JSONValue(1)
writeln(obj["b"]); // JSONValue(2)

string[] keys;
foreach (string k, JSONValue v; obj)
    keys ~= k;
writeln(keys); // ["b", "a"]

enum JSONValue emptyArray;

An enum value that can be used to obtain a JSONValue representing an empty JSON array.

Examples:

JSONValue arr1 = JSONValue.emptyArray;
writeln(arr1.type); // JSONType.array
writeln(arr1.array.length); // 0
arr1.array ~= JSONValue("Hello");
writeln(arr1.array.length); // 1
writeln(arr1.array[0]); // JSONValue("Hello")

JSONValue arr2 = JSONValue.emptyArray;
writeln(arr2.array.length); // 0
assert(arr1 != arr2);

pure ref @safe inout(JSONValue) opIndex(size_t i) inout;

Array syntax for JSON arrays.

Throws:

JSONException if type is not JSONType.array.

Examples:

JSONValue j = JSONValue( [42, 43, 44] );
writeln(j[0].integer); // 42
writeln(j[1].integer); // 43

pure ref @safe inout(JSONValue) opIndex(return scope string k) inout;

Hash syntax for JSON objects.

Throws:

JSONException if type is not JSONType.object.

Examples:

JSONValue j = JSONValue( ["language": "D"] );
writeln(j["language"].str); // "D"

void opIndexAssign(T)(auto ref T value, string key);

void opIndexAssign(T)(T arg, size_t i);

Provides support for index assignments, which sets the corresponding value of the JSON object's key field to value.

If the JSONValue is JSONType.null_, then this function initializes it with a JSON object and then performs the index assignment.

Throws:

JSONException if type is not JSONType.object or JSONType.null_.

Examples:

JSONValue j = JSONValue( ["language": "D"] );
j["language"].str = "Perl";
writeln(j["language"].str); // "Perl"

Examples:

JSONValue j = JSONValue( ["Perl", "C"] );
j[1].str = "D";
writeln(j[1].str); // "D"

@safe inout(JSONValue)* opBinaryRight(string op : "in")(string k) inout;

Provides support for the in operator.

Tests whether a key can be found in an object.

Returns:

When found, the inout(JSONValue)* that matches to the key, otherwise null.

Throws:

JSONException if the right hand side argument JSONType is not object.

Examples:

JSONValue j = [ "language": "D", "author": "walter" ];
string a = ("author" in j).str;
*("author" in j) = "Walter";
writeln(j["author"].str); // "Walter"

pure nothrow @nogc @safe bool opEquals(const JSONValue rhs) const;

pure nothrow @nogc @trusted bool opEquals(ref const JSONValue rhs) const;

Compare two JSONValues for equality

JSON arrays and objects are compared deeply. The order of object keys does not matter.

Floating point numbers are compared for exact equality, not approximal equality.

Different number types (unsigned, signed, and floating) will be compared by converting them to a common type, in the same way that comparison of built-in D int, uint and float works.

Other than that, types must match exactly. Empty arrays are not equal to empty objects, and booleans are never equal to integers.

Returns:

whether this JSONValue is equal to rhs

Examples:

assert(JSONValue(10).opEquals(JSONValue(10.0)));
assert(JSONValue(10) != (JSONValue(10.5)));

assert(JSONValue(1) != JSONValue(true));
assert(JSONValue.emptyArray != JSONValue.emptyObject);

assert(parseJSON(`{"a": 1, "b": 2}`).opEquals(parseJSON(`{"b": 2, "a": 1}`)));

@system int opApply(scope int delegate(size_t index, ref JSONValue) dg);

Implements the foreach opApply interface for json arrays.

@system int opApply(scope int delegate(string key, ref JSONValue) dg);

Implements the foreach opApply interface for json objects.

@safe string toString(in JSONOptions options = JSONOptions.none) const;

Implicitly calls toJSON on this JSONValue.

options can be used to tweak the conversion behavior.

void toString(Out)(Out sink, in JSONOptions options = JSONOptions.none) const;

@safe string toPrettyString(in JSONOptions options = JSONOptions.none) const;

Implicitly calls toJSON on this JSONValue, like toString, but also passes true as pretty argument.

options can be used to tweak the conversion behavior

void toPrettyString(Out)(Out sink, in JSONOptions options = JSONOptions.none) const;

JSONValue parseJSON(T)(T json, int maxDepth = -1, JSONOptions options = JSONOptions.none)
if (isSomeFiniteCharInputRange!T);

Parses a serialized string and returns a tree of JSON values.

Throws:

JSONException if string does not follow the JSON grammar or the depth exceeds the max depth, ConvException if a number in the input cannot be represented by a native D type.

Parameters:

T json	json-formatted string to parse
int maxDepth	maximum depth of nesting allowed, -1 disables depth checking
JSONOptions options	enable decoding string representations of NaN/Inf as float values

JSONValue parseJSON(T)(T json, JSONOptions options)
if (isSomeFiniteCharInputRange!T);

Parses a serialized string and returns a tree of JSON values.

Throws:

JSONException if the depth exceeds the max depth.

Parameters:

T json	json-formatted string to parse
JSONOptions options	enable decoding string representations of NaN/Inf as float values

@safe string toJSON(ref const JSONValue root, in bool pretty = false, in JSONOptions options = JSONOptions.none);

Takes a tree of JSON values and returns the serialized string.

Any Object types will be serialized in a key-sorted order.

If pretty is false no whitespaces are generated. If pretty is true serialized string is formatted to be human-readable. Set the JSONOptions.specialFloatLiterals flag is set in options to encode NaN/Infinity as strings.

void toJSON(Out)(auto ref Out json, ref const JSONValue root, in bool pretty = false, in JSONOptions options = JSONOptions.none)
if (isOutputRange!(Out, char));

class JSONException: object.Exception;

Exception thrown on JSON errors