Std.Data.JSON.Builder

This module provides builders for JSON Values, a Haskell JSON representation. These builders are designed to comply with rfc8258. Only control characters are escaped, other unicode codepoints are directly written instead of being escaped.

Value Builders

value :: Value -> Builder ()

object :: Vector (Text, Value) -> Builder ()

object' :: (a -> Builder ()) -> Vector (Text, a) -> Builder ()

array :: Vector Value -> Builder ()

array' :: (a -> Builder ()) -> Vector a -> Builder ()

string :: Text -> Builder ()

Builder helpers

kv :: Text -> Builder () -> Builder ()

Use : as separator to connect a label(no need to escape, only add quotes) with field builders.

kv' :: Text -> Builder () -> Builder ()

Use : as separator to connect a label(escaped and add quotes) with field builders.

Re-export Value type

data Value

A JSON value represented as a Haskell value.

The Object's payload is a key-value vector instead of a map, which parsed directly from JSON document. This design choice has following advantages:

• Allow different strategies handling duplicated keys.
• Allow different Map type to do further parsing, e.g. FlatMap
• Roundtrip without touching the original key-value order.
• Save time if constructing map is not neccessary, e.g. using a linear scan to find a key if only that key is needed.

Constructors

Object !(Vector (Text, Value))

Array !(Vector Value)

String !Text

Number !Scientific

Bool !Bool

Null

Instances

Eq Value

Defined in Std.Data.JSON.Value

Methods

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

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

Show Value

Defined in Std.Data.JSON.Value

Methods

showsPrec :: Int -> Value -> ShowS

show :: Value -> String

showList :: [Value] -> ShowS

Generic Value

Defined in Std.Data.JSON.Value

Associated Types

type Rep Value :: Type -> Type

Methods

from :: Value -> Rep Value x

to :: Rep Value x -> Value

NFData Value

Defined in Std.Data.JSON.Value

Methods

rnf :: Value -> ()

Arbitrary Value

Defined in Std.Data.JSON.Value

Methods

arbitrary :: Gen Value

shrink :: Value -> [Value]

ToText Value

Defined in Std.Data.JSON.Value

Methods

toTextBuilder :: Int -> Value -> TextBuilder ()

FromValue Value

Defined in Std.Data.JSON.Base

Methods

fromValue :: Value -> Converter Value

EncodeJSON Value

Defined in Std.Data.JSON.Base

Methods

encodeJSON :: Value -> Builder ()

ToValue Value

Defined in Std.Data.JSON.Base

Methods

toValue :: Value -> Value

type Rep Value

Defined in Std.Data.JSON.Value

type Rep Value = D1 (MetaData "Value" "Std.Data.JSON.Value" "stdio-0.2.0.0-5YmH16k3vlO7FAtmF9PgfB" False) ((C1 (MetaCons "Object" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 (Vector (Text, Value)))) :+: (C1 (MetaCons "Array" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 (Vector Value))) :+: C1 (MetaCons "String" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Text)))) :+: (C1 (MetaCons "Number" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Scientific)) :+: (C1 (MetaCons "Bool" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Bool)) :+: C1 (MetaCons "Null" PrefixI False) (U1 :: Type -> Type))))