Data.Aeson.Deriving.WithConstantFields

Documentation

newtype WithConstantFields (obj :: k) (a :: Type)

Add arbitrary constant fields to the encoded object and require them when decoding.

Constructors

WithConstantFields a

Instances

Generic (WithConstantFields obj a)

Defined in Data.Aeson.Deriving.WithConstantFields

Associated Types

type Rep (WithConstantFields obj a) :: Type -> Type

Methods

from :: WithConstantFields obj a -> Rep (WithConstantFields obj a) x

to :: Rep (WithConstantFields obj a) x -> WithConstantFields obj a

(ToJSON a, LoopWarning (WithConstantFields obj) a, KnownJSONObject obj) => ToJSON (WithConstantFields obj a)

Defined in Data.Aeson.Deriving.WithConstantFields

Methods

toJSON :: WithConstantFields obj a -> Value

toEncoding :: WithConstantFields obj a -> Encoding

toJSONList :: [WithConstantFields obj a] -> Value

toEncodingList :: [WithConstantFields obj a] -> Encoding

(FromJSON a, LoopWarning (WithConstantFields obj) a, KnownJSONObject obj) => FromJSON (WithConstantFields obj a)

Defined in Data.Aeson.Deriving.WithConstantFields

Methods

parseJSON :: Value -> Parser (WithConstantFields obj a)

parseJSONList :: Value -> Parser [WithConstantFields obj a]

type Rep (WithConstantFields obj a)

Defined in Data.Aeson.Deriving.WithConstantFields

type Rep (WithConstantFields obj a) = D1 (MetaData "WithConstantFields" "Data.Aeson.Deriving.WithConstantFields" "aeson-deriving-0.1.1.1-GeP8jX6AFplFkH7ZD4KBPc" True) (C1 (MetaCons "WithConstantFields" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

newtype WithConstantFieldsOut (obj :: k) (a :: Type)

Add arbitrary constant fields to the encoded object, but do not require them when decoding.

Constructors

WithConstantFieldsOut a

Instances

Generic (WithConstantFieldsOut obj a)

Defined in Data.Aeson.Deriving.WithConstantFields

Associated Types

type Rep (WithConstantFieldsOut obj a) :: Type -> Type

Methods

from :: WithConstantFieldsOut obj a -> Rep (WithConstantFieldsOut obj a) x

to :: Rep (WithConstantFieldsOut obj a) x -> WithConstantFieldsOut obj a

(LoopWarning (WithConstantFields obj) a, ToJSON a, KnownJSONObject obj) => ToJSON (WithConstantFieldsOut obj a)

Defined in Data.Aeson.Deriving.WithConstantFields

Methods

toJSON :: WithConstantFieldsOut obj a -> Value

toEncoding :: WithConstantFieldsOut obj a -> Encoding

toJSONList :: [WithConstantFieldsOut obj a] -> Value

toEncodingList :: [WithConstantFieldsOut obj a] -> Encoding

FromJSON a => FromJSON (WithConstantFieldsOut obj a)

Defined in Data.Aeson.Deriving.WithConstantFields

Methods

parseJSON :: Value -> Parser (WithConstantFieldsOut obj a)

parseJSONList :: Value -> Parser [WithConstantFieldsOut obj a]

type Rep (WithConstantFieldsOut obj a)

Defined in Data.Aeson.Deriving.WithConstantFields

type Rep (WithConstantFieldsOut obj a) = D1 (MetaData "WithConstantFieldsOut" "Data.Aeson.Deriving.WithConstantFields" "aeson-deriving-0.1.1.1-GeP8jX6AFplFkH7ZD4KBPc" True) (C1 (MetaCons "WithConstantFieldsOut" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

newtype WithConstantFieldsIn (obj :: k) (a :: Type)

Require arbitrary constant fields when decoding the object, but do not add them when encoding.

Constructors

WithConstantFieldsIn a

Instances

Generic (WithConstantFieldsIn obj a)

Defined in Data.Aeson.Deriving.WithConstantFields

Associated Types

type Rep (WithConstantFieldsIn obj a) :: Type -> Type

Methods

from :: WithConstantFieldsIn obj a -> Rep (WithConstantFieldsIn obj a) x

to :: Rep (WithConstantFieldsIn obj a) x -> WithConstantFieldsIn obj a

ToJSON a => ToJSON (WithConstantFieldsIn obj a)

Defined in Data.Aeson.Deriving.WithConstantFields

Methods

toJSON :: WithConstantFieldsIn obj a -> Value

toEncoding :: WithConstantFieldsIn obj a -> Encoding

toJSONList :: [WithConstantFieldsIn obj a] -> Value

toEncodingList :: [WithConstantFieldsIn obj a] -> Encoding

(LoopWarning (WithConstantFields obj) a, FromJSON a, KnownJSONObject obj) => FromJSON (WithConstantFieldsIn obj a)

Defined in Data.Aeson.Deriving.WithConstantFields

Methods

parseJSON :: Value -> Parser (WithConstantFieldsIn obj a)

parseJSONList :: Value -> Parser [WithConstantFieldsIn obj a]

type Rep (WithConstantFieldsIn obj a)

Defined in Data.Aeson.Deriving.WithConstantFields

type Rep (WithConstantFieldsIn obj a) = D1 (MetaData "WithConstantFieldsIn" "Data.Aeson.Deriving.WithConstantFields" "aeson-deriving-0.1.1.1-GeP8jX6AFplFkH7ZD4KBPc" True) (C1 (MetaCons "WithConstantFieldsIn" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))