aeson-1.1.2.0: Fast JSON parsing and encoding

Safe Haskell | None
Language | Haskell2010

Data.Aeson.Encoding.Internal

Contents

- Encoding
- Predicates
- Encoding constructors
  - Decimal numbers
  - Decimal numbers as Text
  - Time
  - value
  - JSON tokens

Synopsis

- newtype Encoding' tag = Encoding {
  - fromEncoding :: Builder
  }
- type Encoding = Encoding' Value
- encodingToLazyByteString :: Encoding' a -> ByteString
- unsafeToEncoding :: Builder -> Encoding' a
- retagEncoding :: Encoding' a -> Encoding' b
- data Series
  - = Empty
  - | Value (Encoding' Series)
- pairs :: Series -> Encoding
- pair :: Text -> Encoding -> Series
- pair' :: Encoding' Text -> Encoding -> Series
- nullEncoding :: Encoding' a -> Bool
- emptyArray_ :: Encoding
- emptyObject_ :: Encoding
- wrapObject :: Encoding' a -> Encoding
- wrapArray :: Encoding' a -> Encoding
- null_ :: Encoding
- bool :: Bool -> Encoding
- text :: Text -> Encoding' a
- lazyText :: Text -> Encoding' a
- string :: String -> Encoding' a
- list :: (a -> Encoding) -> [a] -> Encoding
- dict :: (k -> Encoding' Text) -> (v -> Encoding) -> (forall a. (k -> v -> a -> a) -> a -> m -> a) -> m -> Encoding
- tuple :: Encoding' InArray -> Encoding
- (>*<) :: Encoding' a -> Encoding' b -> Encoding' InArray
- data InArray
- empty :: Encoding' a
- (><) :: Encoding' a -> Encoding' a -> Encoding' a
- econcat :: [Encoding' a] -> Encoding' a
- int8 :: Int8 -> Encoding
- int16 :: Int16 -> Encoding
- int32 :: Int32 -> Encoding
- int64 :: Int64 -> Encoding
- int :: Int -> Encoding
- word8 :: Word8 -> Encoding
- word16 :: Word16 -> Encoding
- word32 :: Word32 -> Encoding
- word64 :: Word64 -> Encoding
- word :: Word -> Encoding
- integer :: Integer -> Encoding
- float :: Float -> Encoding
- double :: Double -> Encoding
- scientific :: Scientific -> Encoding
- int8Text :: Int8 -> Encoding' a
- int16Text :: Int16 -> Encoding' a
- int32Text :: Int32 -> Encoding' a
- int64Text :: Int64 -> Encoding' a
- intText :: Int -> Encoding' a
- word8Text :: Word8 -> Encoding' a
- word16Text :: Word16 -> Encoding' a
- word32Text :: Word32 -> Encoding' a
- word64Text :: Word64 -> Encoding' a
- wordText :: Word -> Encoding' a
- integerText :: Integer -> Encoding' a
- floatText :: Float -> Encoding' a
- doubleText :: Double -> Encoding' a
- scientificText :: Scientific -> Encoding' a
- day :: Day -> Encoding' a
- localTime :: LocalTime -> Encoding' a
- utcTime :: UTCTime -> Encoding' a
- timeOfDay :: TimeOfDay -> Encoding' a
- zonedTime :: ZonedTime -> Encoding' a
- value :: Value -> Encoding
- comma :: Encoding' a
- colon :: Encoding' a
- openBracket :: Encoding' a
- closeBracket :: Encoding' a
- openCurly :: Encoding' a
- closeCurly :: Encoding' a

# Encoding

newtype Encoding' tag Source #

An encoding of a JSON value.

`tag` represents which kind of JSON the Encoding is encoding to, we reuse `Text` and `Value` as tags here.

Constructors

Encoding |

Fields

- fromEncoding :: Builder

  Acquire the underlying bytestring builder.

Instances

Eq (Encoding' a) Source # |
Methods (==) :: Encoding' a -> Encoding' a -> Bool # (/=) :: Encoding' a -> Encoding' a -> Bool #
Ord (Encoding' a) Source # |
Methods compare :: Encoding' a -> Encoding' a -> Ordering # (<) :: Encoding' a -> Encoding' a -> Bool # (<=) :: Encoding' a -> Encoding' a -> Bool # (>) :: Encoding' a -> Encoding' a -> Bool # (>=) :: Encoding' a -> Encoding' a -> Bool # max :: Encoding' a -> Encoding' a -> Encoding' a # min :: Encoding' a -> Encoding' a -> Encoding' a #
Show (Encoding' a) Source # |
Methods showsPrec :: Int -> Encoding' a -> ShowS # show :: Encoding' a -> String # showList :: [Encoding' a] -> ShowS #

type Encoding = Encoding' Value Source #

Often used synonnym for `Encoding'`.

encodingToLazyByteString :: Encoding' a -> ByteString Source #

unsafeToEncoding :: Builder -> Encoding' a Source #

Make Encoding from Builder.

Use with care! You have to make sure that the passed Builder is a valid JSON Encoding!

retagEncoding :: Encoding' a -> Encoding' b Source #

data Series Source #

A series of values that, when encoded, should be separated by commas. Since 0.11.0.0, the `.=` operator is overloaded to create either `(Text, Value)` or `Series`. You can use Series when encoding directly to a bytestring builder as in the following example:

    toEncoding (Person name age) = pairs ("name" .= name <> "age" .= age)

Constructors

Empty |
Value (Encoding' Series) |

Instances

Semigroup Series Source # |
Methods (<>) :: Series -> Series -> Series # sconcat :: NonEmpty Series -> Series # stimes :: Integral b => b -> Series -> Series #
Monoid Series Source # |
Methods mempty :: Series # mappend :: Series -> Series -> Series # mconcat :: [Series] -> Series #
KeyValue Series Source # |
Methods (.=) :: ToJSON v => Text -> v -> Series Source #

pairs :: Series -> Encoding Source #

Encode a series of key/value pairs, separated by commas.

pair :: Text -> Encoding -> Series Source #

pair' :: Encoding' Text -> Encoding -> Series Source #

# Predicates

nullEncoding :: Encoding' a -> Bool Source #

# Encoding constructors

emptyArray_ :: Encoding Source #

emptyObject_ :: Encoding Source #

wrapObject :: Encoding' a -> Encoding Source #

wrapArray :: Encoding' a -> Encoding Source #

null_ :: Encoding Source #

bool :: Bool -> Encoding Source #

text :: Text -> Encoding' a Source #

lazyText :: Text -> Encoding' a Source #

string :: String -> Encoding' a Source #

list :: (a -> Encoding) -> [a] -> Encoding Source #

dict Source #

Arguments

:: (k -> Encoding' Text) | key encoding
-> (v -> Encoding) | value encoding
-> (forall a. (k -> v -> a -> a) -> a -> m -> a) | `foldrWithKey` - indexed fold
-> m | container
-> Encoding |

Encode as JSON object

tuple :: Encoding' InArray -> Encoding Source #

Encode as a tuple.

@ toEncoding (X a b c) = tuple $ toEncoding a >*< toEncoding b >*< toEncoding c

(>*<) :: Encoding' a -> Encoding' b -> Encoding' InArray infixr 6 Source #

See `tuple`.

data InArray Source #

Type tag for tuples contents, see `tuple`.

empty :: Encoding' a Source #

(><) :: Encoding' a -> Encoding' a -> Encoding' a infixr 6 Source #

econcat :: [Encoding' a] -> Encoding' a Source #

## Decimal numbers

int8 :: Int8 -> Encoding Source #

int16 :: Int16 -> Encoding Source #

int32 :: Int32 -> Encoding Source #

int64 :: Int64 -> Encoding Source #

int :: Int -> Encoding Source #

word8 :: Word8 -> Encoding Source #

word16 :: Word16 -> Encoding Source #

word32 :: Word32 -> Encoding Source #

word64 :: Word64 -> Encoding Source #

word :: Word -> Encoding Source #

integer :: Integer -> Encoding Source #

float :: Float -> Encoding Source #

double :: Double -> Encoding Source #

scientific :: Scientific -> Encoding Source #

## Decimal numbers as Text

int8Text :: Int8 -> Encoding' a Source #

int16Text :: Int16 -> Encoding' a Source #

int32Text :: Int32 -> Encoding' a Source #

int64Text :: Int64 -> Encoding' a Source #

intText :: Int -> Encoding' a Source #

word8Text :: Word8 -> Encoding' a Source #

word16Text :: Word16 -> Encoding' a Source #

word32Text :: Word32 -> Encoding' a Source #

word64Text :: Word64 -> Encoding' a Source #

wordText :: Word -> Encoding' a Source #

integerText :: Integer -> Encoding' a Source #

floatText :: Float -> Encoding' a Source #

doubleText :: Double -> Encoding' a Source #

scientificText :: Scientific -> Encoding' a Source #

## Time

day :: Day -> Encoding' a Source #

localTime :: LocalTime -> Encoding' a Source #

utcTime :: UTCTime -> Encoding' a Source #

timeOfDay :: TimeOfDay -> Encoding' a Source #

zonedTime :: ZonedTime -> Encoding' a Source #

## value

value :: Value -> Encoding Source #

## JSON tokens

comma :: Encoding' a Source #

colon :: Encoding' a Source #

openBracket :: Encoding' a Source #

closeBracket :: Encoding' a Source #

openCurly :: Encoding' a Source #

closeCurly :: Encoding' a Source #