A type alias for the list-based representation of J.JSObject.

Annotate readJSON error messages with descriptions of what is being parsed into what.

Converts a JSON Result into a monadic value.

Converts a JSON Result into a MonadError value.

Tries to read a string from a JSON value.

In case the value was not a string, we fail the read (in the context of the current monad.

Converts a JSON message into an array of JSON objects.

Reads the value of a key in a JSON object.

Reads the value of an optional key in a JSON object. Missing keys, or keys that have a 'null' value, will be returned as Nothing, otherwise we attempt deserialisation and return a Just value.

Reads the value of a key in a JSON object with a default if missing. Note that both missing keys and keys with value 'null' will cause the default value to be returned.

Wrapper for arrayMaybeFromObj with better diagnostic

Reads a JValue, that originated from an object key.

Small wrapper over readJSON.

Small wrapper over readJSON for MonadError.

Helper function that returns Null or first element of the list.

Helper for extracting Maybe values from a possibly empty list.

Helper for extracting Maybe values from a list that might be too short.

Converts a JSON value into a JSON object.

Coneverts a list of JSON values into a list of JSON objects.

Try to extract a key from an object with better error reporting than fromObj.

Ensure a given JSValue is actually a JSArray.

Creates a Maybe JSField. If the value string is Nothing, the JSField will be Nothing as well.

Creates an object with all the non-Nothing fields of the given list.

Class of types that can be converted from Strings. This is similar to the Read class, but it's using a different serialisation format, so we have to define a separate class. Mostly useful for custom key types in JSON dictionaries, which have to be backed by strings.

The container type, a wrapper over Data.Map

The empty container.

Type alias for string keys.

Creates a GenericContainer from a list of key-value pairs.

Looks up a value in a container with a default value. If a key has no value, a given monadic default is returned. This allows simple error handling, as the default can be mzero, failError etc.

Updates a value inside a container. The signature of the function is crafted so that it can be directly used as a lens.

Container loader.

Class of objects that can be converted from and to JSObject lists-format.

A default implementation of showJSON using toDict.

A default implementation of readJSON using fromDict. Checks that the input value is a JSON object and converts it using fromDict. Also checks the input contains only the used keys returned by fromDict.

Class of objects that can be converted from and to [JSValue] with a fixed length and order.

A Maybe newtype that allows for serialization more appropriate to the semantics of Maybe and JSON in our calls. Does not produce needless and confusing dictionaries.

In particular, JSNull corresponds to Nothing. This also means that this `Maybe a` newtype should not be used with a values that themselves can serialize to null.

Look up a value in a JSON object. Accessing [a, b, c] on an object is equivalent as accessing myobject.a.b.c on a JavaScript object.

An error is returned if the object doesn't have such an accessor or if any value during the nested access is not an object at all.

Same as nestedAccessByKey, but accessing with a dotted string instead (like nestedAccessByKeyDotted a.b.c).

Branch decoding on a field in a JSON object.

Add a field to a JSON object; to nothing, if the argument is not an object.

Maybe obtain a map from a JSON object.