Json

Types

data Value

The JSON syntax tree described by the ABNF in RFC 7159. Notable design decisions include:

• True and False are their own data constructors rather than being lumped together under a data constructor for boolean values. This improves performance when decoding the syntax tree to a Bool.
• Object uses an association list rather than a hash map. This is the data type that key-value pairs can be parsed into most cheaply.
• Object and Array both use Chunks rather than using SmallArray or cons-list directly. This a middle ground between those two types. We get the efficent use of cache lines that SmallArray offers, and we get the worst-case O(1) appends that cons-list offers. Users will typically fold over the elements with the Foldable instance of Chunks, although there are functions in Data.Chunks that efficently perform other operations.

Constructors

Object !(SmallArray Member)

Array !(SmallArray Value)

String !ShortText

Number !Scientific

Null

True

False

Instances

Show Value

Defined in Json

Methods

showsPrec :: Int -> Value -> ShowS

show :: Value -> String

showList :: [Value] -> ShowS

Eq Value

Defined in Json

Methods

(==) :: Value -> Value -> Bool

(/=) :: Value -> Value -> Bool

data Member

A key-value pair in a JSON object. The name of this type is taken from section 4 of RFC 7159.

Constructors

Member

Fields

• key :: !ShortText
• value :: !Value

Instances

Show Member

Defined in Json

Methods

showsPrec :: Int -> Member -> ShowS

show :: Member -> String

showList :: [Member] -> ShowS

Eq Member

Defined in Json

Methods

(==) :: Member -> Member -> Bool

(/=) :: Member -> Member -> Bool

data SyntaxException

Exceptions that can happen while parsing JSON. Do not pattern match on values of this type. New data constructors may be added at any time without a major version bump.

Constructors

EmptyInput

ExpectedColon

ExpectedCommaOrRightBracket

ExpectedFalse

ExpectedNull

ExpectedQuote

ExpectedQuoteOrRightBrace

ExpectedTrue

IncompleteArray

IncompleteEscapeSequence

IncompleteObject

IncompleteString

InvalidEscapeSequence

InvalidLeader

InvalidNumber

LeadingZero

UnexpectedLeftovers

Instances

Exception SyntaxException

Defined in Json

Methods

toException :: SyntaxException -> SomeException

fromException :: SomeException -> Maybe SyntaxException

displayException :: SyntaxException -> String

Show SyntaxException

Defined in Json

Methods

showsPrec :: Int -> SyntaxException -> ShowS

show :: SyntaxException -> String

showList :: [SyntaxException] -> ShowS

Eq SyntaxException

Defined in Json

Methods

(==) :: SyntaxException -> SyntaxException -> Bool

(/=) :: SyntaxException -> SyntaxException -> Bool

Functions

decode :: Bytes -> Either SyntaxException Value

Decode a JSON syntax tree from a byte sequence.

encode :: Value -> Builder

Encode a JSON syntax tree.

Infix Synonyms

pattern (:->) :: ShortText -> Value -> Member

Infix pattern synonym for Member.

Constants

emptyArray :: Value

An array with no elements (i.e. [])

emptyObject :: Value

An object with no members (i.e. {})

Construction

object1 :: Member -> Value

Construct a JSON object with one member.

object2 :: Member -> Member -> Value

Construct a JSON object with two members.

object3 :: Member -> Member -> Member -> Value

Construct a JSON object with three members.

object4 :: Member -> Member -> Member -> Member -> Value

Construct a JSON object with four members.

object5 :: Member -> Member -> Member -> Member -> Member -> Value

Construct a JSON object with five members.

object6 :: Member -> Member -> Member -> Member -> Member -> Member -> Value

Construct a JSON object with six members.

object7 :: Member -> Member -> Member -> Member -> Member -> Member -> Member -> Value

Construct a JSON object with seven members.

object8 :: Member -> Member -> Member -> Member -> Member -> Member -> Member -> Member -> Value

Construct a JSON object with nine members.

object9 :: Member -> Member -> Member -> Member -> Member -> Member -> Member -> Member -> Member -> Value

Construct a JSON object with nine members.

object10 :: Member -> Member -> Member -> Member -> Member -> Member -> Member -> Member -> Member -> Member -> Value

Construct a JSON object with ten members.

object11 :: Member -> Member -> Member -> Member -> Member -> Member -> Member -> Member -> Member -> Member -> Member -> Value

Construct a JSON object with eleven members.

object12 :: Member -> Member -> Member -> Member -> Member -> Member -> Member -> Member -> Member -> Member -> Member -> Member -> Value

Construct a JSON object with twelve members.