Safe Haskell	None
Language	Haskell2010

Data.Override.Aeson.Options.Internal

Description

This is the internal generic-override-aeson API and should be considered unstable and subject to change. In general, you should prefer to use the public, stable API provided by Data.Override.Aeson.

Synopsis

newtype WithAesonOptions (a :: *) (options :: [AesonOption]) = WithAesonOptions a
data AesonOption
class ApplyAesonOptions (options :: [AesonOption]) where
- applyAesonOptions :: Proxy options -> Options -> Options
class ApplyAesonOption (option :: AesonOption) where
- applyAesonOption :: Proxy option -> Options -> Options

Documentation

newtype WithAesonOptions (a :: *) (options :: [AesonOption]) Source #

Use with DerivingVia to override Aeson Options with a type-level list of AesonOption.

Constructors

WithAesonOptions a

Instances

Instances details

(ApplyAesonOptions options, Generic a, GToJSON Zero (Rep a), GToEncoding Zero (Rep a)) => ToJSON (WithAesonOptions a options) Source #
Instance details Defined in Data.Override.Aeson.Options.Internal Methods toJSON :: WithAesonOptions a options -> Value # toEncoding :: WithAesonOptions a options -> Encoding # toJSONList :: [WithAesonOptions a options] -> Value # toEncodingList :: [WithAesonOptions a options] -> Encoding #
(ApplyAesonOptions options, Generic a, GFromJSON Zero (Rep a)) => FromJSON (WithAesonOptions a options) Source #
Instance details Defined in Data.Override.Aeson.Options.Internal Methods parseJSON :: Value -> Parser (WithAesonOptions a options) # parseJSONList :: Value -> Parser [WithAesonOptions a options] #

data AesonOption Source #

Provides a type-level subset of fields from Options

Constructors

AllNullaryToStringTag Bool	Equivalient to `allNullaryToStringTag = b`
OmitNothingFields	Equivalient to `omitNothingFields = True`
SumEncodingTaggedObject Symbol Symbol	Equivalient to `sumEncoding = TaggedObject k v`
SumEncodingUntaggedValue	Equivalient to `sumEncoding = UntaggedValue`
SumEncodingObjectWithSingleField	Equivalient to `sumEncoding = ObjectWithSingleField`
SumEncodingTwoElemArray	Equivalient to `sumEncoding = TwoElemArray`
UnwrapUnaryRecords	Equivalient to `unwrapUnaryRecords = True`
TagSingleConstructors	Equivalient to `tagSingleConstructors = True`

Instances

Instances details

ApplyAesonOptions ('[] :: [AesonOption]) Source #
Instance details Defined in Data.Override.Aeson.Options.Internal Methods applyAesonOptions :: Proxy '[] -> Options -> Options Source #
(ApplyAesonOption option, ApplyAesonOptions options) => ApplyAesonOptions (option ': options) Source #
Instance details Defined in Data.Override.Aeson.Options.Internal Methods applyAesonOptions :: Proxy (option ': options) -> Options -> Options Source #

class ApplyAesonOptions (options :: [AesonOption]) where Source #

Updates Options given a type-level list of AesonOption.

Methods

applyAesonOptions :: Proxy options -> Options -> Options Source #

Instances

Instances details

ApplyAesonOptions ('[] :: [AesonOption]) Source #
Instance details Defined in Data.Override.Aeson.Options.Internal Methods applyAesonOptions :: Proxy '[] -> Options -> Options Source #
(ApplyAesonOption option, ApplyAesonOptions options) => ApplyAesonOptions (option ': options) Source #
Instance details Defined in Data.Override.Aeson.Options.Internal Methods applyAesonOptions :: Proxy (option ': options) -> Options -> Options Source #

class ApplyAesonOption (option :: AesonOption) where Source #

Updates Options given a single type-level AesonOption.

Methods

applyAesonOption :: Proxy option -> Options -> Options Source #

Instances

Instances details

ApplyAesonOption 'OmitNothingFields Source #
Instance details Defined in Data.Override.Aeson.Options.Internal Methods applyAesonOption :: Proxy 'OmitNothingFields -> Options -> Options Source #
ApplyAesonOption 'SumEncodingUntaggedValue Source #
Instance details Defined in Data.Override.Aeson.Options.Internal Methods applyAesonOption :: Proxy 'SumEncodingUntaggedValue -> Options -> Options Source #
ApplyAesonOption 'SumEncodingObjectWithSingleField Source #
Instance details Defined in Data.Override.Aeson.Options.Internal Methods applyAesonOption :: Proxy 'SumEncodingObjectWithSingleField -> Options -> Options Source #
ApplyAesonOption 'SumEncodingTwoElemArray Source #
Instance details Defined in Data.Override.Aeson.Options.Internal Methods applyAesonOption :: Proxy 'SumEncodingTwoElemArray -> Options -> Options Source #
ApplyAesonOption 'UnwrapUnaryRecords Source #
Instance details Defined in Data.Override.Aeson.Options.Internal Methods applyAesonOption :: Proxy 'UnwrapUnaryRecords -> Options -> Options Source #
ApplyAesonOption 'TagSingleConstructors Source #
Instance details Defined in Data.Override.Aeson.Options.Internal Methods applyAesonOption :: Proxy 'TagSingleConstructors -> Options -> Options Source #
ApplyAesonOption ('AllNullaryToStringTag 'False) Source #
Instance details Defined in Data.Override.Aeson.Options.Internal Methods applyAesonOption :: Proxy ('AllNullaryToStringTag 'False) -> Options -> Options Source #
ApplyAesonOption ('AllNullaryToStringTag 'True) Source #
Instance details Defined in Data.Override.Aeson.Options.Internal Methods applyAesonOption :: Proxy ('AllNullaryToStringTag 'True) -> Options -> Options Source #
(KnownSymbol k, KnownSymbol v) => ApplyAesonOption ('SumEncodingTaggedObject k v) Source #
Instance details Defined in Data.Override.Aeson.Options.Internal Methods applyAesonOption :: Proxy ('SumEncodingTaggedObject k v) -> Options -> Options Source #