Z.Data.JSON.Base

This module provides Converter to convert Value to haskell data types, and various tools to help user define FromValue, ToValue and EncodeJSON instance.

Encode & Decode

type DecodeError = Either ParseError ConvertError

decode :: FromValue a => Bytes -> (Bytes, Either DecodeError a)

Decode a JSON bytes, return any trailing bytes.

decode' :: FromValue a => Bytes -> Either DecodeError a

Decode a JSON doc, only trailing JSON whitespace are allowed.

decodeChunks :: (FromValue a, Monad m) => m Bytes -> Bytes -> m (Bytes, Either DecodeError a)

Decode JSON doc chunks, return trailing bytes.

decodeChunks' :: (FromValue a, Monad m) => m Bytes -> Bytes -> m (Either DecodeError a)

Decode JSON doc chunks, consuming trailing JSON whitespaces (other trailing bytes are not allowed).

encodeBytes :: EncodeJSON a => a -> Bytes

Directly encode data to JSON bytes.

encodeText :: EncodeJSON a => a -> Text

Text version encodeBytes.

encodeTextBuilder :: EncodeJSON a => a -> TextBuilder ()

JSON Docs are guaranteed to be valid UTF-8 texts, so we provide this.

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 Z.Data.JSON.Value

Methods

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

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

Show Value

Defined in Z.Data.JSON.Value

Methods

showsPrec :: Int -> Value -> ShowS

show :: Value -> String

showList :: [Value] -> ShowS

Generic Value

Defined in Z.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 Z.Data.JSON.Value

Methods

rnf :: Value -> ()

Arbitrary Value

Defined in Z.Data.JSON.Value

Methods

arbitrary :: Gen Value

shrink :: Value -> [Value]

ToText Value

Defined in Z.Data.JSON.Value

Methods

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

FromValue Value

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter Value

EncodeJSON Value

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Value -> Builder ()

ToValue Value

Defined in Z.Data.JSON.Base

Methods

toValue :: Value -> Value

type Rep Value

Defined in Z.Data.JSON.Value

type Rep Value = D1 ('MetaData "Value" "Z.Data.JSON.Value" "Z-Data-0.1.3.0-inplace" '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))))

parse into JSON Value

parseValue :: Bytes -> (Bytes, Either ParseError Value)

Parse Value without consuming trailing bytes.

parseValue' :: Bytes -> Either ParseError Value

Parse Value, and consume all trailing JSON white spaces, if there're bytes left, parsing will fail.

parseValueChunks :: Monad m => m Bytes -> Bytes -> m (Bytes, Either ParseError Value)

Increamental parse Value without consuming trailing bytes.

parseValueChunks' :: Monad m => m Bytes -> Bytes -> m (Either ParseError Value)

Increamental parse Value and consume all trailing JSON white spaces, if there're bytes left, parsing will fail.

Convert Value to Haskell data

convert :: (a -> Converter r) -> a -> Either ConvertError r

Run a Converter with input value.

convert' :: FromValue a => Value -> Either ConvertError a

Run a Converter with input value.

newtype Converter a

Converter for convert result from JSON Value.

This is intended to be named differently from Parser to clear confusions.

Constructors

Converter

Fields

• runConverter :: forall r. ([PathElement] -> Text -> r) -> (a -> r) -> r

Instances

Monad Converter

Defined in Z.Data.JSON.Base

Methods

(>>=) :: Converter a -> (a -> Converter b) -> Converter b

(>>) :: Converter a -> Converter b -> Converter b

return :: a -> Converter a

Functor Converter

Defined in Z.Data.JSON.Base

Methods

fmap :: (a -> b) -> Converter a -> Converter b

(<$) :: a -> Converter b -> Converter a

MonadFail Converter

Defined in Z.Data.JSON.Base

Methods

fail :: String -> Converter a

Applicative Converter

Defined in Z.Data.JSON.Base

Methods

pure :: a -> Converter a

(<*>) :: Converter (a -> b) -> Converter a -> Converter b

liftA2 :: (a -> b -> c) -> Converter a -> Converter b -> Converter c

(*>) :: Converter a -> Converter b -> Converter b

(<*) :: Converter a -> Converter b -> Converter a

Alternative Converter

Defined in Z.Data.JSON.Base

Methods

empty :: Converter a

(<|>) :: Converter a -> Converter a -> Converter a

some :: Converter a -> Converter [a]

many :: Converter a -> Converter [a]

MonadPlus Converter

Defined in Z.Data.JSON.Base

Methods

mzero :: Converter a

mplus :: Converter a -> Converter a -> Converter a

fail' :: Text -> Converter a

Text version of fail.

(<?>) :: Converter a -> PathElement -> Converter a infixl 9

Add JSON Path context to a converter

When converting a complex structure, it helps to annotate (sub)converters with context, so that if an error occurs, you can find its location.

withFlatMapR "Person" $ \o ->
  Person
    <$> o .: "name" <?> Key "name"
    <*> o .: "age" <?> Key "age"

(Standard methods like (.:) already do this.)

With such annotations, if an error occurs, you will get a JSON Path location of that error.

prependContext :: Text -> Converter a -> Converter a

Add context to a failure message, indicating the name of the structure being converted.

prependContext "MyType" (fail "[error message]")
-- Error: "converting MyType failed, [error message]"

data PathElement

Elements of a (JSON) Value path used to describe the location of an error.

Constructors

Key !Text

Path element of a key into an object, "object.key".

Index !Int

Path element of an index into an array, "array[index]".

Embedded

path of a embedded (JSON) String

Instances

Eq PathElement

Defined in Z.Data.JSON.Base

Methods

(==) :: PathElement -> PathElement -> Bool

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

Ord PathElement

Defined in Z.Data.JSON.Base

Methods

compare :: PathElement -> PathElement -> Ordering

(<) :: PathElement -> PathElement -> Bool

(<=) :: PathElement -> PathElement -> Bool

(>) :: PathElement -> PathElement -> Bool

(>=) :: PathElement -> PathElement -> Bool

max :: PathElement -> PathElement -> PathElement

min :: PathElement -> PathElement -> PathElement

Show PathElement

Defined in Z.Data.JSON.Base

Methods

showsPrec :: Int -> PathElement -> ShowS

show :: PathElement -> String

showList :: [PathElement] -> ShowS

Generic PathElement

Defined in Z.Data.JSON.Base

Associated Types

type Rep PathElement :: Type -> Type

Methods

from :: PathElement -> Rep PathElement x

to :: Rep PathElement x -> PathElement

NFData PathElement

Defined in Z.Data.JSON.Base

Methods

rnf :: PathElement -> ()

type Rep PathElement

Defined in Z.Data.JSON.Base

type Rep PathElement = D1 ('MetaData "PathElement" "Z.Data.JSON.Base" "Z-Data-0.1.3.0-inplace" 'False) (C1 ('MetaCons "Key" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Text)) :+: (C1 ('MetaCons "Index" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "Embedded" 'PrefixI 'False) (U1 :: Type -> Type)))

data ConvertError

Instances

Eq ConvertError

Defined in Z.Data.JSON.Base

Methods

(==) :: ConvertError -> ConvertError -> Bool

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

Ord ConvertError

Defined in Z.Data.JSON.Base

Methods

compare :: ConvertError -> ConvertError -> Ordering

(<) :: ConvertError -> ConvertError -> Bool

(<=) :: ConvertError -> ConvertError -> Bool

(>) :: ConvertError -> ConvertError -> Bool

(>=) :: ConvertError -> ConvertError -> Bool

max :: ConvertError -> ConvertError -> ConvertError

min :: ConvertError -> ConvertError -> ConvertError

Show ConvertError

Defined in Z.Data.JSON.Base

Methods

showsPrec :: Int -> ConvertError -> ShowS

show :: ConvertError -> String

showList :: [ConvertError] -> ShowS

Generic ConvertError

Defined in Z.Data.JSON.Base

Associated Types

type Rep ConvertError :: Type -> Type

Methods

from :: ConvertError -> Rep ConvertError x

to :: Rep ConvertError x -> ConvertError

NFData ConvertError

Defined in Z.Data.JSON.Base

Methods

rnf :: ConvertError -> ()

type Rep ConvertError

Defined in Z.Data.JSON.Base

type Rep ConvertError = D1 ('MetaData "ConvertError" "Z.Data.JSON.Base" "Z-Data-0.1.3.0-inplace" 'False) (C1 ('MetaCons "ConvertError" 'PrefixI 'True) (S1 ('MetaSel ('Just "errPath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PathElement]) :*: S1 ('MetaSel ('Just "errMsg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

typeMismatch

Arguments

:: Text

The name of the type you are trying to convert.

-> Text

The JSON value type you expecting to meet.

-> Value

The actual value encountered.

-> Converter a

Produce an error message like converting XXX failed, expected XXX, encountered XXX.

fromNull :: Text -> a -> Value -> Converter a

withBool :: Text -> (Bool -> Converter a) -> Value -> Converter a

withScientific :: Text -> (Scientific -> Converter a) -> Value -> Converter a

withScientific name f value applies f to the Scientific number when value is a Number and fails using typeMismatch otherwise.

Warning: If you are converting from a scientific to an unbounded type such as Integer you may want to add a restriction on the size of the exponent (see withBoundedScientific) to prevent malicious input from filling up the memory of the target system.

Error message example

withScientific "MyType" f (String "oops")
-- Error: "converting MyType failed, expected Number, but encountered String"

withBoundedScientific :: Text -> (Scientific -> Converter a) -> Value -> Converter a

withBoundedScientific name f value applies f to the Scientific number when value is a Number with exponent less than or equal to 1024.

withRealFloat :: RealFloat a => Text -> (a -> Converter r) -> Value -> Converter r

@withRealFloat try to convert floating number with following rules:

• Use ±Infinity to represent out of range numbers.
• Convert Null as NaN

withBoundedIntegral :: (Bounded a, Integral a) => Text -> (a -> Converter r) -> Value -> Converter r

withBoundedScientific name f value applies f to the Scientific number when value is a Number and value is within minBound ~ maxBound.

withText :: Text -> (Text -> Converter a) -> Value -> Converter a

withArray :: Text -> (Vector Value -> Converter a) -> Value -> Converter a

withKeyValues :: Text -> (Vector (Text, Value) -> Converter a) -> Value -> Converter a

Directly use Object as key-values for further converting.

withFlatMap :: Text -> (FlatMap Text Value -> Converter a) -> Value -> Converter a

Take a Object as an 'FM.FlatMap T.Text Value', on key duplication prefer first one.

withFlatMapR :: Text -> (FlatMap Text Value -> Converter a) -> Value -> Converter a

Take a Object as an 'FM.FlatMap T.Text Value', on key duplication prefer last one.

withHashMap :: Text -> (HashMap Text Value -> Converter a) -> Value -> Converter a

Take a Object as an 'HM.HashMap T.Text Value', on key duplication prefer first one.

withHashMapR :: Text -> (HashMap Text Value -> Converter a) -> Value -> Converter a

Take a Object as an 'HM.HashMap T.Text Value', on key duplication prefer last one.

withEmbeddedJSON

Arguments

:: Text

data type name

-> (Value -> Converter a)

a inner converter which will get the converted Value.

-> Value

-> Converter a

Decode a nested JSON-encoded string.

(.:) :: FromValue a => FlatMap Text Value -> Text -> Converter a

Retrieve the value associated with the given key of an Object. The result is empty if the key is not present or the value cannot be converted to the desired type.

This accessor is appropriate if the key and value must be present in an object for it to be valid. If the key and value are optional, use .:? instead.

(.:?) :: FromValue a => FlatMap Text Value -> Text -> Converter (Maybe a)

Retrieve the value associated with the given key of an Object. The result is Nothing if the key is not present or if its value is Null, or empty if the value cannot be converted to the desired type.

This accessor is most useful if the key and value can be absent from an object without affecting its validity. If the key and value are mandatory, use .: instead.

(.:!) :: FromValue a => FlatMap Text Value -> Text -> Converter (Maybe a)

Retrieve the value associated with the given key of an Object. The result is Nothing if the key is not present or empty if the value cannot be converted to the desired type.

This differs from .:? by attempting to convert Null the same as any other JSON value, instead of interpreting it as Nothing.

convertField

Arguments

:: (Value -> Converter a)

the field converter (value part of a key value pair)

-> FlatMap Text Value

-> Text

-> Converter a

convertFieldMaybe :: (Value -> Converter a) -> FlatMap Text Value -> Text -> Converter (Maybe a)

Variant of .:? with explicit converter function.

convertFieldMaybe' :: (Value -> Converter a) -> FlatMap Text Value -> Text -> Converter (Maybe a)

Variant of .:! with explicit converter function.

FromValue, ToValue & EncodeJSON

defaultSettings :: Settings

data Settings

Generic encode/decode Settings

There should be no control charactors in formatted texts since we don't escaping those field names or constructor names (defaultSettings relys on Haskell's lexical property). Otherwise encodeJSON will output illegal JSON string.

Constructors

Settings

Fields

• fieldFmt :: String -> Text

  format field labels

• constrFmt :: String -> Text

  format constructor names.

class ToValue a where

Typeclass for converting to JSON Value.

Minimal complete definition

Nothing

Methods

toValue :: a -> Value

default toValue :: (Generic a, GToValue (Rep a)) => a -> Value

Instances

ToValue Bool

Defined in Z.Data.JSON.Base

Methods

toValue :: Bool -> Value

ToValue Char

Defined in Z.Data.JSON.Base

Methods

toValue :: Char -> Value

ToValue Double

Defined in Z.Data.JSON.Base

Methods

toValue :: Double -> Value

ToValue Float

Defined in Z.Data.JSON.Base

Methods

toValue :: Float -> Value

ToValue Int

Defined in Z.Data.JSON.Base

Methods

toValue :: Int -> Value

ToValue Int8

Defined in Z.Data.JSON.Base

Methods

toValue :: Int8 -> Value

ToValue Int16

Defined in Z.Data.JSON.Base

Methods

toValue :: Int16 -> Value

ToValue Int32

Defined in Z.Data.JSON.Base

Methods

toValue :: Int32 -> Value

ToValue Int64

Defined in Z.Data.JSON.Base

Methods

toValue :: Int64 -> Value

ToValue Integer

Defined in Z.Data.JSON.Base

Methods

toValue :: Integer -> Value

ToValue Natural

Defined in Z.Data.JSON.Base

Methods

toValue :: Natural -> Value

ToValue Ordering

Defined in Z.Data.JSON.Base

Methods

toValue :: Ordering -> Value

ToValue Word

Defined in Z.Data.JSON.Base

Methods

toValue :: Word -> Value

ToValue Word8

Defined in Z.Data.JSON.Base

Methods

toValue :: Word8 -> Value

ToValue Word16

Defined in Z.Data.JSON.Base

Methods

toValue :: Word16 -> Value

ToValue Word32

Defined in Z.Data.JSON.Base

Methods

toValue :: Word32 -> Value

ToValue Word64

Defined in Z.Data.JSON.Base

Methods

toValue :: Word64 -> Value

ToValue ()

Defined in Z.Data.JSON.Base

Methods

toValue :: () -> Value

ToValue Version

Defined in Z.Data.JSON.Base

Methods

toValue :: Version -> Value

ToValue Text

Defined in Z.Data.JSON.Base

Methods

toValue :: Text -> Value

ToValue Scientific

Defined in Z.Data.JSON.Base

Methods

toValue :: Scientific -> Value

ToValue Str

Defined in Z.Data.JSON.Base

Methods

toValue :: Str -> Value

ToValue FlatIntSet

Defined in Z.Data.JSON.Base

Methods

toValue :: FlatIntSet -> Value

ToValue Value

Defined in Z.Data.JSON.Base

Methods

toValue :: Value -> Value

ToValue a => ToValue [a]

Defined in Z.Data.JSON.Base

Methods

toValue :: [a] -> Value

ToValue a => ToValue (Maybe a)

Defined in Z.Data.JSON.Base

Methods

toValue :: Maybe a -> Value

(ToValue a, Integral a) => ToValue (Ratio a)

Defined in Z.Data.JSON.Base

Methods

toValue :: Ratio a -> Value

ToValue a => ToValue (Min a)

Defined in Z.Data.JSON.Base

Methods

toValue :: Min a -> Value

ToValue a => ToValue (Max a)

Defined in Z.Data.JSON.Base

Methods

toValue :: Max a -> Value

ToValue a => ToValue (First a)

Defined in Z.Data.JSON.Base

Methods

toValue :: First a -> Value

ToValue a => ToValue (Last a)

Defined in Z.Data.JSON.Base

Methods

toValue :: Last a -> Value

ToValue a => ToValue (WrappedMonoid a)

Defined in Z.Data.JSON.Base

Methods

toValue :: WrappedMonoid a -> Value

ToValue a => ToValue (Identity a)

Defined in Z.Data.JSON.Base

Methods

toValue :: Identity a -> Value

ToValue a => ToValue (First a)

Defined in Z.Data.JSON.Base

Methods

toValue :: First a -> Value

ToValue a => ToValue (Last a)

Defined in Z.Data.JSON.Base

Methods

toValue :: Last a -> Value

ToValue a => ToValue (Dual a)

Defined in Z.Data.JSON.Base

Methods

toValue :: Dual a -> Value

ToValue a => ToValue (NonEmpty a)

Defined in Z.Data.JSON.Base

Methods

toValue :: NonEmpty a -> Value

(Prim a, ToValue a) => ToValue (PrimVector a)

Defined in Z.Data.JSON.Base

Methods

toValue :: PrimVector a -> Value

ToValue a => ToValue (Vector a)

Defined in Z.Data.JSON.Base

Methods

toValue :: Vector a -> Value

ToValue a => ToValue (FlatSet a)

Defined in Z.Data.JSON.Base

Methods

toValue :: FlatSet a -> Value

ToValue a => ToValue (FlatIntMap a)

Defined in Z.Data.JSON.Base

Methods

toValue :: FlatIntMap a -> Value

ToValue a => ToValue (HashSet a)

Defined in Z.Data.JSON.Base

Methods

toValue :: HashSet a -> Value

(ToValue a, ToValue b) => ToValue (Either a b)

Defined in Z.Data.JSON.Base

Methods

toValue :: Either a b -> Value

(ToValue a, ToValue b) => ToValue (a, b)

Defined in Z.Data.JSON.Base

Methods

toValue :: (a, b) -> Value

HasResolution a => ToValue (Fixed a)

Defined in Z.Data.JSON.Base

Methods

toValue :: Fixed a -> Value

ToValue (Proxy a)

Defined in Z.Data.JSON.Base

Methods

toValue :: Proxy a -> Value

ToValue a => ToValue (FlatMap Text a)

Defined in Z.Data.JSON.Base

Methods

toValue :: FlatMap Text a -> Value

ToValue a => ToValue (HashMap Text a)

Defined in Z.Data.JSON.Base

Methods

toValue :: HashMap Text a -> Value

(ToValue a, ToValue b, ToValue c) => ToValue (a, b, c)

Defined in Z.Data.JSON.Base

Methods

toValue :: (a, b, c) -> Value

ToValue a => ToValue (Const a b)

Defined in Z.Data.JSON.Base

Methods

toValue :: Const a b -> Value

ToValue b => ToValue (Tagged a b)

Defined in Z.Data.JSON.Base

Methods

toValue :: Tagged a b -> Value

(ToValue a, ToValue b, ToValue c, ToValue d) => ToValue (a, b, c, d)

Defined in Z.Data.JSON.Base

Methods

toValue :: (a, b, c, d) -> Value

(ToValue (f a), ToValue (g a)) => ToValue (Product f g a)

Defined in Z.Data.JSON.Base

Methods

toValue :: Product f g a -> Value

(ToValue (f a), ToValue (g a), ToValue a) => ToValue (Sum f g a)

Defined in Z.Data.JSON.Base

Methods

toValue :: Sum f g a -> Value

(ToValue a, ToValue b, ToValue c, ToValue d, ToValue e) => ToValue (a, b, c, d, e)

Defined in Z.Data.JSON.Base

Methods

toValue :: (a, b, c, d, e) -> Value

ToValue (f (g a)) => ToValue (Compose f g a)

Defined in Z.Data.JSON.Base

Methods

toValue :: Compose f g a -> Value

(ToValue a, ToValue b, ToValue c, ToValue d, ToValue e, ToValue f) => ToValue (a, b, c, d, e, f)

Defined in Z.Data.JSON.Base

Methods

toValue :: (a, b, c, d, e, f) -> Value

(ToValue a, ToValue b, ToValue c, ToValue d, ToValue e, ToValue f, ToValue g) => ToValue (a, b, c, d, e, f, g)

Defined in Z.Data.JSON.Base

Methods

toValue :: (a, b, c, d, e, f, g) -> Value

class GToValue f where

Methods

gToValue :: Settings -> f a -> Value

Instances

ToValue a => GToValue (K1 i a :: Type -> Type)

Defined in Z.Data.JSON.Base

Methods

gToValue :: Settings -> K1 i a a0 -> Value

GConstrToValue f => GToValue (D1 c f)

Defined in Z.Data.JSON.Base

Methods

gToValue :: Settings -> D1 c f a -> Value

GToValue f => GToValue (S1 ('MetaSel ('Nothing :: Maybe Symbol) u ss ds) f)

Defined in Z.Data.JSON.Base

Methods

gToValue :: Settings -> S1 ('MetaSel 'Nothing u ss ds) f a -> Value

(GToValue f, Selector ('MetaSel ('Just l) u ss ds)) => GToValue (S1 ('MetaSel ('Just l) u ss ds) f)

Defined in Z.Data.JSON.Base

Methods

gToValue :: Settings -> S1 ('MetaSel ('Just l) u ss ds) f a -> Value

class FromValue a where

Minimal complete definition

Nothing

Methods

fromValue :: Value -> Converter a

default fromValue :: (Generic a, GFromValue (Rep a)) => Value -> Converter a

Instances

FromValue Bool

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter Bool

FromValue Char

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter Char

FromValue Double

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter Double

FromValue Float

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter Float

FromValue Int

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter Int

FromValue Int8

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter Int8

FromValue Int16

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter Int16

FromValue Int32

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter Int32

FromValue Int64

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter Int64

FromValue Integer

This instance includes a bounds check to prevent maliciously large inputs to fill up the memory of the target system. You can newtype Scientific and provide your own instance using withScientific if you want to allow larger inputs.

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter Integer

FromValue Natural

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter Natural

FromValue Ordering

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter Ordering

FromValue Word

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter Word

FromValue Word8

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter Word8

FromValue Word16

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter Word16

FromValue Word32

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter Word32

FromValue Word64

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter Word64

FromValue ()

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter ()

FromValue Version

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter Version

FromValue Text

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter Text

FromValue Scientific

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter Scientific

FromValue Str

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter Str

FromValue FlatIntSet

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter FlatIntSet

FromValue Value

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter Value

FromValue a => FromValue [a]

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter [a]

FromValue a => FromValue (Maybe a)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (Maybe a)

(FromValue a, Integral a) => FromValue (Ratio a)

This instance includes a bounds check to prevent maliciously large inputs to fill up the memory of the target system. You can newtype Ratio and provide your own instance using withScientific if you want to allow larger inputs.

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (Ratio a)

FromValue a => FromValue (Min a)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (Min a)

FromValue a => FromValue (Max a)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (Max a)

FromValue a => FromValue (First a)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (First a)

FromValue a => FromValue (Last a)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (Last a)

FromValue a => FromValue (WrappedMonoid a)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (WrappedMonoid a)

FromValue a => FromValue (Identity a)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (Identity a)

FromValue a => FromValue (First a)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (First a)

FromValue a => FromValue (Last a)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (Last a)

FromValue a => FromValue (Dual a)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (Dual a)

FromValue a => FromValue (NonEmpty a)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (NonEmpty a)

(Prim a, FromValue a) => FromValue (PrimVector a)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (PrimVector a)

FromValue a => FromValue (Vector a)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (Vector a)

(Ord a, FromValue a) => FromValue (FlatSet a)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (FlatSet a)

FromValue a => FromValue (FlatIntMap a)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (FlatIntMap a)

(Eq a, Hashable a, FromValue a) => FromValue (HashSet a)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (HashSet a)

(FromValue a, FromValue b) => FromValue (Either a b)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (Either a b)

(FromValue a, FromValue b) => FromValue (a, b)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (a, b)

HasResolution a => FromValue (Fixed a)

This instance includes a bounds check to prevent maliciously large inputs to fill up the memory of the target system. You can newtype Fixed and provide your own instance using withScientific if you want to allow larger inputs.

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (Fixed a)

FromValue (Proxy a)

Use Null as Proxy a

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (Proxy a)

FromValue a => FromValue (FlatMap Text a)

default instance prefer later key

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (FlatMap Text a)

FromValue a => FromValue (HashMap Text a)

default instance prefer later key

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (HashMap Text a)

(FromValue a, FromValue b, FromValue c) => FromValue (a, b, c)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (a, b, c)

FromValue a => FromValue (Const a b)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (Const a b)

FromValue b => FromValue (Tagged a b)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (Tagged a b)

(FromValue a, FromValue b, FromValue c, FromValue d) => FromValue (a, b, c, d)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (a, b, c, d)

(FromValue (f a), FromValue (g a)) => FromValue (Product f g a)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (Product f g a)

(FromValue (f a), FromValue (g a), FromValue a) => FromValue (Sum f g a)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (Sum f g a)

(FromValue a, FromValue b, FromValue c, FromValue d, FromValue e) => FromValue (a, b, c, d, e)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (a, b, c, d, e)

FromValue (f (g a)) => FromValue (Compose f g a)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (Compose f g a)

(FromValue a, FromValue b, FromValue c, FromValue d, FromValue e, FromValue f) => FromValue (a, b, c, d, e, f)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (a, b, c, d, e, f)

(FromValue a, FromValue b, FromValue c, FromValue d, FromValue e, FromValue f, FromValue g) => FromValue (a, b, c, d, e, f, g)

Defined in Z.Data.JSON.Base

Methods

fromValue :: Value -> Converter (a, b, c, d, e, f, g)

class GFromValue f where

Methods

gFromValue :: Settings -> Value -> Converter (f a)

Instances

FromValue a => GFromValue (K1 i a :: Type -> Type)

Defined in Z.Data.JSON.Base

Methods

gFromValue :: Settings -> Value -> Converter (K1 i a a0)

GConstrFromValue f => GFromValue (D1 c f)

Defined in Z.Data.JSON.Base

Methods

gFromValue :: Settings -> Value -> Converter (D1 c f a)

GFromValue f => GFromValue (S1 ('MetaSel ('Nothing :: Maybe Symbol) u ss ds) f)

Defined in Z.Data.JSON.Base

Methods

gFromValue :: Settings -> Value -> Converter (S1 ('MetaSel 'Nothing u ss ds) f a)

(GFromValue f, Selector ('MetaSel ('Just l) u ss ds)) => GFromValue (S1 ('MetaSel ('Just l) u ss ds) f)

Defined in Z.Data.JSON.Base

Methods

gFromValue :: Settings -> Value -> Converter (S1 ('MetaSel ('Just l) u ss ds) f a)

class EncodeJSON a where

Minimal complete definition

Nothing

Methods

encodeJSON :: a -> Builder ()

default encodeJSON :: (Generic a, GEncodeJSON (Rep a)) => a -> Builder ()

Instances

EncodeJSON Bool

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Bool -> Builder ()

EncodeJSON Char

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Char -> Builder ()

EncodeJSON Double

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Double -> Builder ()

EncodeJSON Float

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Float -> Builder ()

EncodeJSON Int

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Int -> Builder ()

EncodeJSON Int8

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Int8 -> Builder ()

EncodeJSON Int16

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Int16 -> Builder ()

EncodeJSON Int32

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Int32 -> Builder ()

EncodeJSON Int64

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Int64 -> Builder ()

EncodeJSON Integer

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Integer -> Builder ()

EncodeJSON Natural

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Natural -> Builder ()

EncodeJSON Ordering

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Ordering -> Builder ()

EncodeJSON Word

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Word -> Builder ()

EncodeJSON Word8

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Word8 -> Builder ()

EncodeJSON Word16

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Word16 -> Builder ()

EncodeJSON Word32

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Word32 -> Builder ()

EncodeJSON Word64

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Word64 -> Builder ()

EncodeJSON ()

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: () -> Builder ()

EncodeJSON Version

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Version -> Builder ()

EncodeJSON Text

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Text -> Builder ()

EncodeJSON Scientific

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Scientific -> Builder ()

EncodeJSON Str

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Str -> Builder ()

EncodeJSON FlatIntSet

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: FlatIntSet -> Builder ()

EncodeJSON Value

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Value -> Builder ()

EncodeJSON a => EncodeJSON [a]

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: [a] -> Builder ()

EncodeJSON a => EncodeJSON (Maybe a)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Maybe a -> Builder ()

(EncodeJSON a, Integral a) => EncodeJSON (Ratio a)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Ratio a -> Builder ()

EncodeJSON a => EncodeJSON (Min a)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Min a -> Builder ()

EncodeJSON a => EncodeJSON (Max a)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Max a -> Builder ()

EncodeJSON a => EncodeJSON (First a)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: First a -> Builder ()

EncodeJSON a => EncodeJSON (Last a)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Last a -> Builder ()

EncodeJSON a => EncodeJSON (WrappedMonoid a)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: WrappedMonoid a -> Builder ()

EncodeJSON a => EncodeJSON (Identity a)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Identity a -> Builder ()

EncodeJSON a => EncodeJSON (First a)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: First a -> Builder ()

EncodeJSON a => EncodeJSON (Last a)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Last a -> Builder ()

EncodeJSON a => EncodeJSON (Dual a)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Dual a -> Builder ()

EncodeJSON a => EncodeJSON (NonEmpty a)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: NonEmpty a -> Builder ()

(Prim a, EncodeJSON a) => EncodeJSON (PrimVector a)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: PrimVector a -> Builder ()

EncodeJSON a => EncodeJSON (Vector a)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Vector a -> Builder ()

EncodeJSON a => EncodeJSON (FlatSet a)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: FlatSet a -> Builder ()

EncodeJSON a => EncodeJSON (FlatIntMap a)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: FlatIntMap a -> Builder ()

EncodeJSON a => EncodeJSON (HashSet a)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: HashSet a -> Builder ()

(EncodeJSON a, EncodeJSON b) => EncodeJSON (Either a b)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Either a b -> Builder ()

(EncodeJSON a, EncodeJSON b) => EncodeJSON (a, b)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: (a, b) -> Builder ()

HasResolution a => EncodeJSON (Fixed a)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Fixed a -> Builder ()

EncodeJSON (Proxy a)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Proxy a -> Builder ()

EncodeJSON a => EncodeJSON (FlatMap Text a)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: FlatMap Text a -> Builder ()

EncodeJSON a => EncodeJSON (HashMap Text a)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: HashMap Text a -> Builder ()

(EncodeJSON a, EncodeJSON b, EncodeJSON c) => EncodeJSON (a, b, c)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: (a, b, c) -> Builder ()

EncodeJSON a => EncodeJSON (Const a b)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Const a b -> Builder ()

EncodeJSON b => EncodeJSON (Tagged a b)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Tagged a b -> Builder ()

(EncodeJSON a, EncodeJSON b, EncodeJSON c, EncodeJSON d) => EncodeJSON (a, b, c, d)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: (a, b, c, d) -> Builder ()

(EncodeJSON (f a), EncodeJSON (g a)) => EncodeJSON (Product f g a)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Product f g a -> Builder ()

(EncodeJSON (f a), EncodeJSON (g a), EncodeJSON a) => EncodeJSON (Sum f g a)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Sum f g a -> Builder ()

(EncodeJSON a, EncodeJSON b, EncodeJSON c, EncodeJSON d, EncodeJSON e) => EncodeJSON (a, b, c, d, e)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: (a, b, c, d, e) -> Builder ()

EncodeJSON (f (g a)) => EncodeJSON (Compose f g a)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: Compose f g a -> Builder ()

(EncodeJSON a, EncodeJSON b, EncodeJSON c, EncodeJSON d, EncodeJSON e, EncodeJSON f) => EncodeJSON (a, b, c, d, e, f)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: (a, b, c, d, e, f) -> Builder ()

(EncodeJSON a, EncodeJSON b, EncodeJSON c, EncodeJSON d, EncodeJSON e, EncodeJSON f, EncodeJSON g) => EncodeJSON (a, b, c, d, e, f, g)

Defined in Z.Data.JSON.Base

Methods

encodeJSON :: (a, b, c, d, e, f, g) -> Builder ()

class GEncodeJSON f where

Methods

gEncodeJSON :: Settings -> f a -> Builder ()

Instances

EncodeJSON a => GEncodeJSON (K1 i a :: Type -> Type)

Defined in Z.Data.JSON.Base

Methods

gEncodeJSON :: Settings -> K1 i a a0 -> Builder ()

(GEncodeJSON a, GEncodeJSON b) => GEncodeJSON (a :*: b)

Defined in Z.Data.JSON.Base

Methods

gEncodeJSON :: Settings -> (a :*: b) a0 -> Builder ()

GConstrEncodeJSON f => GEncodeJSON (D1 c f)

Defined in Z.Data.JSON.Base

Methods

gEncodeJSON :: Settings -> D1 c f a -> Builder ()

GEncodeJSON f => GEncodeJSON (S1 ('MetaSel ('Nothing :: Maybe Symbol) u ss ds) f)

Defined in Z.Data.JSON.Base

Methods

gEncodeJSON :: Settings -> S1 ('MetaSel 'Nothing u ss ds) f a -> Builder ()

(GEncodeJSON f, Selector ('MetaSel ('Just l) u ss ds)) => GEncodeJSON (S1 ('MetaSel ('Just l) u ss ds) f)

Defined in Z.Data.JSON.Base

Methods

gEncodeJSON :: Settings -> S1 ('MetaSel ('Just l) u ss ds) f a -> Builder ()

Helper classes for generics

type family Field f where ...

Equations

Field (a :*: b) = Field a

Field (S1 (MetaSel Nothing u ss ds) f) = Value

Field (S1 (MetaSel (Just l) u ss ds) f) = (Text, Value)

class GWriteFields f where

Methods

gWriteFields :: Settings -> SmallMutableArray s (Field f) -> Int -> f a -> ST s ()

Instances

(ProductSize a, GWriteFields a, GWriteFields b, Field a ~ Field b) => GWriteFields (a :*: b)

Defined in Z.Data.JSON.Base

Methods

gWriteFields :: Settings -> SmallMutableArray s (Field (a :*: b)) -> Int -> (a :*: b) a0 -> ST s ()

GToValue f => GWriteFields (S1 ('MetaSel ('Nothing :: Maybe Symbol) u ss ds) f)

Defined in Z.Data.JSON.Base

Methods

gWriteFields :: Settings -> SmallMutableArray s (Field (S1 ('MetaSel 'Nothing u ss ds) f)) -> Int -> S1 ('MetaSel 'Nothing u ss ds) f a -> ST s ()

(GToValue f, Selector ('MetaSel ('Just l) u ss ds)) => GWriteFields (S1 ('MetaSel ('Just l) u ss ds) f)

Defined in Z.Data.JSON.Base

Methods

gWriteFields :: Settings -> SmallMutableArray s (Field (S1 ('MetaSel ('Just l) u ss ds) f)) -> Int -> S1 ('MetaSel ('Just l) u ss ds) f a -> ST s ()

class GMergeFields f where

Methods

gMergeFields :: Proxy# f -> SmallMutableArray s (Field f) -> ST s Value

Instances

GMergeFields a => GMergeFields (a :*: b)

Defined in Z.Data.JSON.Base

Methods

gMergeFields :: Proxy# (a :*: b) -> SmallMutableArray s (Field (a :*: b)) -> ST s Value

GMergeFields (S1 ('MetaSel ('Nothing :: Maybe Symbol) u ss ds) f)

Defined in Z.Data.JSON.Base

Methods

gMergeFields :: Proxy# (S1 ('MetaSel 'Nothing u ss ds) f) -> SmallMutableArray s (Field (S1 ('MetaSel 'Nothing u ss ds) f)) -> ST s Value

GMergeFields (S1 ('MetaSel ('Just l) u ss ds) f)

Defined in Z.Data.JSON.Base

Methods

gMergeFields :: Proxy# (S1 ('MetaSel ('Just l) u ss ds) f) -> SmallMutableArray s (Field (S1 ('MetaSel ('Just l) u ss ds) f)) -> ST s Value

class GConstrToValue f where

Methods

gConstrToValue :: Bool -> Settings -> f a -> Value

Instances

GConstrToValue (V1 :: Type -> Type)

Defined in Z.Data.JSON.Base

Methods

gConstrToValue :: Bool -> Settings -> V1 a -> Value

(GConstrToValue f, GConstrToValue g) => GConstrToValue (f :+: g)

Defined in Z.Data.JSON.Base

Methods

gConstrToValue :: Bool -> Settings -> (f :+: g) a -> Value

(ProductSize (a :*: b), GWriteFields (a :*: b), GMergeFields (a :*: b), Constructor c) => GConstrToValue (C1 c (a :*: b))

Constructor with multiple payloads

Defined in Z.Data.JSON.Base

Methods

gConstrToValue :: Bool -> Settings -> C1 c (a :*: b) a0 -> Value

(Constructor c, GToValue (S1 sc f)) => GConstrToValue (C1 c (S1 sc f))

Constructor with a single payload

Defined in Z.Data.JSON.Base

Methods

gConstrToValue :: Bool -> Settings -> C1 c (S1 sc f) a -> Value

Constructor c => GConstrToValue (C1 c (U1 :: Type -> Type))

Constructor without payload, convert to String

Defined in Z.Data.JSON.Base

Methods

gConstrToValue :: Bool -> Settings -> C1 c U1 a -> Value

type family LookupTable f where ...

Equations

LookupTable (a :*: b) = LookupTable a

LookupTable (S1 (MetaSel Nothing u ss ds) f) = Vector Value

LookupTable (S1 (MetaSel (Just l) u ss ds) f) = FlatMap Text Value

class GFromFields f where

Methods

gFromFields :: Settings -> LookupTable f -> Int -> Converter (f a)

Instances

(ProductSize a, GFromFields a, GFromFields b, LookupTable a ~ LookupTable b) => GFromFields (a :*: b)

Defined in Z.Data.JSON.Base

Methods

gFromFields :: Settings -> LookupTable (a :*: b) -> Int -> Converter ((a :*: b) a0)

GFromValue f => GFromFields (S1 ('MetaSel ('Nothing :: Maybe Symbol) u ss ds) f)

Defined in Z.Data.JSON.Base

Methods

gFromFields :: Settings -> LookupTable (S1 ('MetaSel 'Nothing u ss ds) f) -> Int -> Converter (S1 ('MetaSel 'Nothing u ss ds) f a)

(GFromValue f, Selector ('MetaSel ('Just l) u ss ds)) => GFromFields (S1 ('MetaSel ('Just l) u ss ds) f)

Defined in Z.Data.JSON.Base

Methods

gFromFields :: Settings -> LookupTable (S1 ('MetaSel ('Just l) u ss ds) f) -> Int -> Converter (S1 ('MetaSel ('Just l) u ss ds) f a)

class GBuildLookup f where

Methods

gBuildLookup :: Proxy# f -> Int -> Text -> Value -> Converter (LookupTable f)

Instances

(GBuildLookup a, GBuildLookup b) => GBuildLookup (a :*: b)

Defined in Z.Data.JSON.Base

Methods

gBuildLookup :: Proxy# (a :*: b) -> Int -> Text -> Value -> Converter (LookupTable (a :*: b))

GBuildLookup (S1 ('MetaSel ('Nothing :: Maybe Symbol) u ss ds) f)

Defined in Z.Data.JSON.Base

Methods

gBuildLookup :: Proxy# (S1 ('MetaSel 'Nothing u ss ds) f) -> Int -> Text -> Value -> Converter (LookupTable (S1 ('MetaSel 'Nothing u ss ds) f))

GBuildLookup (S1 ('MetaSel ('Just l) u ss ds) f)

Defined in Z.Data.JSON.Base

Methods

gBuildLookup :: Proxy# (S1 ('MetaSel ('Just l) u ss ds) f) -> Int -> Text -> Value -> Converter (LookupTable (S1 ('MetaSel ('Just l) u ss ds) f))

class GConstrFromValue f where

Methods

gConstrFromValue :: Bool -> Settings -> Value -> Converter (f a)

Instances

GConstrFromValue (V1 :: Type -> Type)

Defined in Z.Data.JSON.Base

Methods

gConstrFromValue :: Bool -> Settings -> Value -> Converter (V1 a)

(GConstrFromValue f, GConstrFromValue g) => GConstrFromValue (f :+: g)

Defined in Z.Data.JSON.Base

Methods

gConstrFromValue :: Bool -> Settings -> Value -> Converter ((f :+: g) a)

(ProductSize (a :*: b), GFromFields (a :*: b), GBuildLookup (a :*: b), Constructor c) => GConstrFromValue (C1 c (a :*: b))

Constructor with multiple payloads

Defined in Z.Data.JSON.Base

Methods

gConstrFromValue :: Bool -> Settings -> Value -> Converter (C1 c (a :*: b) a0)

(Constructor c, GFromValue (S1 sc f)) => GConstrFromValue (C1 c (S1 sc f))

Constructor with a single payload

Defined in Z.Data.JSON.Base

Methods

gConstrFromValue :: Bool -> Settings -> Value -> Converter (C1 c (S1 sc f) a)

Constructor c => GConstrFromValue (C1 c (U1 :: Type -> Type))

Constructor without payload, convert to String

Defined in Z.Data.JSON.Base

Methods

gConstrFromValue :: Bool -> Settings -> Value -> Converter (C1 c U1 a)

class GAddPunctuation (f :: * -> *) where

Methods

gAddPunctuation :: Proxy# f -> Builder () -> Builder ()

Instances

GAddPunctuation a => GAddPunctuation (a :*: b)

Defined in Z.Data.JSON.Base

Methods

gAddPunctuation :: Proxy# (a :*: b) -> Builder () -> Builder ()

GAddPunctuation (S1 ('MetaSel ('Nothing :: Maybe Symbol) u ss ds) f)

Defined in Z.Data.JSON.Base

Methods

gAddPunctuation :: Proxy# (S1 ('MetaSel 'Nothing u ss ds) f) -> Builder () -> Builder ()

GAddPunctuation (S1 ('MetaSel ('Just l) u ss ds) f)

Defined in Z.Data.JSON.Base

Methods

gAddPunctuation :: Proxy# (S1 ('MetaSel ('Just l) u ss ds) f) -> Builder () -> Builder ()

class GConstrEncodeJSON f where

Methods

gConstrEncodeJSON :: Bool -> Settings -> f a -> Builder ()

Instances

GConstrEncodeJSON (V1 :: Type -> Type)

Defined in Z.Data.JSON.Base

Methods

gConstrEncodeJSON :: Bool -> Settings -> V1 a -> Builder ()

(GConstrEncodeJSON f, GConstrEncodeJSON g) => GConstrEncodeJSON (f :+: g)

Defined in Z.Data.JSON.Base

Methods

gConstrEncodeJSON :: Bool -> Settings -> (f :+: g) a -> Builder ()

(GEncodeJSON (a :*: b), GAddPunctuation (a :*: b), Constructor c) => GConstrEncodeJSON (C1 c (a :*: b))

Constructor with multiple payloads

Defined in Z.Data.JSON.Base

Methods

gConstrEncodeJSON :: Bool -> Settings -> C1 c (a :*: b) a0 -> Builder ()

(Constructor c, GEncodeJSON (S1 ('MetaSel ('Just l) u ss ds) f)) => GConstrEncodeJSON (C1 c (S1 ('MetaSel ('Just l) u ss ds) f))

Defined in Z.Data.JSON.Base

Methods

gConstrEncodeJSON :: Bool -> Settings -> C1 c (S1 ('MetaSel ('Just l) u ss ds) f) a -> Builder ()

(Constructor c, GEncodeJSON (S1 ('MetaSel ('Nothing :: Maybe Symbol) u ss ds) f)) => GConstrEncodeJSON (C1 c (S1 ('MetaSel ('Nothing :: Maybe Symbol) u ss ds) f))

Constructor with a single payload

Defined in Z.Data.JSON.Base

Methods

gConstrEncodeJSON :: Bool -> Settings -> C1 c (S1 ('MetaSel 'Nothing u ss ds) f) a -> Builder ()

Constructor c => GConstrEncodeJSON (C1 c (U1 :: Type -> Type))

Constructor without payload, convert to String

Defined in Z.Data.JSON.Base

Methods

gConstrEncodeJSON :: Bool -> Settings -> C1 c U1 a -> Builder ()