Data.Json.Builder

Data structure agnostic JSON serialization

Documentation

class Value a where

The Value typeclass represents types that can be rendered into valid json syntax.

Methods

toJson :: a -> Json

Instances

Value Bool

renders as true or false

Value Double

Value Float

Value Int

Value Int8

Value Int16

Value Int32

Value Int64

Value Integer

Value Word

Value Word8

Value Word16

Value Word32

Value Word64

Value ()

renders as null

Value Text

Value Text

Value ByteString

Value ByteString

Value Array

Value Object

Value Escaped

Value Json

Value [Char]

Value a => Value [a]

renders as an Array

(JsString k, Value a) => Value (Map k a)

renders as an Object

(JsString k, Value a) => Value (HashMap k a)

renders as an Object

data Json

The Json type represents valid json syntax. It cannot be directly analyzed, however it can be rendered into a ByteString and used to as a component of an array or an object to build a bigger json value.

Instances

Value Json

toBuilder :: Value a => a -> Builder

toJsonBS :: Value a => a -> ByteString

toJsonLBS :: Value a => a -> ByteString

data Array

The Array type represents syntax for a json array. It has been given a singleton constructor element and an instance of Monoid, so that mempty represents the empty array and mappend concatinates two arrays. Arbitrary arrays can be constructed using these operators.

Instances

Monoid Array

Value Array

element :: Value a => a -> Array

The element function constructs a json array consisting of exactly one value. These arrays can be concatinated using mappend.

data Object

The Object type represents syntax for a json object. It has a singleton constructor row, and an instance of Monoid, so that mempty represents the empty object and mappend concatinates two objects. Arbitrary objects can be constructed using these operators.

Note that duplicate field names will appear in the output, so it is up to the user of this interface to avoid duplicate field names.

Instances

Monoid Object

Value Object

row :: (JsString k, Value a) => k -> a -> Object

The row function constructs a json object consisting of exactly one field. These objects can be concatinated using mappend.

class Value a => JsString a where

The String typeclass represents types that render into json string syntax. They are special because only strings can appear as field names of json objects.

Methods

escape :: a -> Escaped

Instances

JsString Text

JsString Text

JsString ByteString

must be UTF-8 encoded

JsString ByteString

must be UTF-8 encoded

JsString Escaped

JsString [Char]

data Escaped

The Escaped type represents json string syntax. The purpose of this type is so that json strings can be efficiently constructed from multiple Haskell strings without superfluous conversions or concatinations.

Internally, it is just a Builder value which must produce a UTF-8 encoded bytestring with backslashes, quotes, and control characters appropriately escaped. It also must not render the opening or closing quote, which are instead rendered by toJson.

Instances

Monoid Escaped

JsString Escaped

Value Escaped

class JsArray a where

Methods

toArray :: a -> Array

Instances

Value a => JsArray [a]

class JsObject a where

Methods

toObject :: a -> Object

Instances

(JsString k, Value a) => JsObject (Map k a)

(JsString k, Value a) => JsObject (HashMap k a)