AesonVia

Wrappers to control generic ToJSON and FromJSON derivation with deriving-via. See the test for example definitions and their encoding.

Documentation

newtype AesonRecord a

Generic deriving ToJSON/FromJSON via this removes the common field name prefix in the encoding.

Constructors

AesonRecord

Fields

• unAesonRecord :: a

Instances

(HasJSONOptions (AesonRecord a), Generic a, GFromJSON Zero (Rep a)) => FromJSON (AesonRecord a)

Defined in AesonVia

Methods

parseJSON :: Value -> Parser (AesonRecord a)

parseJSONList :: Value -> Parser [AesonRecord a]

omittedField :: Maybe (AesonRecord a)

(HasJSONOptions (AesonRecord a), Generic a, GToJSON Zero (Rep a), GToEncoding Zero (Rep a)) => ToJSON (AesonRecord a)

Defined in AesonVia

Methods

toJSON :: AesonRecord a -> Value

toEncoding :: AesonRecord a -> Encoding

toJSONList :: [AesonRecord a] -> Value

toEncodingList :: [AesonRecord a] -> Encoding

omitField :: AesonRecord a -> Bool

HasJSONOptions (AesonRecord a)

Defined in AesonVia

Methods

getJSONOptions :: Proxy (AesonRecord a) -> Options

newtype AesonNewtype n o

Generic deriving ToJSON/FromJSON via this yields an encoding equivalent to the wrapped type.

Constructors

AesonNewtype

Fields

• unAesonNewtype :: n

Instances

(Newtype n, o ~ O n, FromJSON o) => FromJSON (AesonNewtype n o)

Defined in AesonVia

Methods

parseJSON :: Value -> Parser (AesonNewtype n o)

parseJSONList :: Value -> Parser [AesonNewtype n o]

omittedField :: Maybe (AesonNewtype n o)

(Newtype n, o ~ O n, ToJSON o) => ToJSON (AesonNewtype n o)

Defined in AesonVia

Methods

toJSON :: AesonNewtype n o -> Value

toEncoding :: AesonNewtype n o -> Encoding

toJSONList :: [AesonNewtype n o] -> Value

toEncodingList :: [AesonNewtype n o] -> Encoding

omitField :: AesonNewtype n o -> Bool

HasJSONOptions (AesonNewtype n o)

Defined in AesonVia

Methods

getJSONOptions :: Proxy (AesonNewtype n o) -> Options

newtype AesonTag a

Generic deriving ToJSON/FromJSON via this uses HasTagPrefix to turn Bounded Enum datatypes into enumerated strings.

Constructors

AesonTag

Fields

• unAesonTag :: a

Instances

(HasJSONOptions (AesonTag a), Generic a, GFromJSON Zero (Rep a)) => FromJSON (AesonTag a)

Defined in AesonVia

Methods

parseJSON :: Value -> Parser (AesonTag a)

parseJSONList :: Value -> Parser [AesonTag a]

omittedField :: Maybe (AesonTag a)

(HasJSONOptions (AesonTag a), Generic a, GToJSON Zero (Rep a), GToEncoding Zero (Rep a)) => ToJSON (AesonTag a)

Defined in AesonVia

Methods

toJSON :: AesonTag a -> Value

toEncoding :: AesonTag a -> Encoding

toJSONList :: [AesonTag a] -> Value

toEncodingList :: [AesonTag a] -> Encoding

omitField :: AesonTag a -> Bool

HasTagPrefix a => HasJSONOptions (AesonTag a)

Defined in AesonVia

Methods

getJSONOptions :: Proxy (AesonTag a) -> Options

class HasJSONOptions a where

Mostly an internal class directing constructor/field conversion.

Methods

getJSONOptions :: Proxy a -> Options

Instances

HasJSONOptions (AesonRecord a)

Defined in AesonVia

Methods

getJSONOptions :: Proxy (AesonRecord a) -> Options

HasTagPrefix a => HasJSONOptions (AesonTag a)

Defined in AesonVia

Methods

getJSONOptions :: Proxy (AesonTag a) -> Options

HasJSONOptions (AesonNewtype n o)

Defined in AesonVia

Methods

getJSONOptions :: Proxy (AesonNewtype n o) -> Options

class HasTagPrefix a where

Used with AesonTag to define a prefix to be removed from a Bounded Enum. For example, `data Foo = FooBar | FooBaz` would use the prefix Foo to yield converted string values bar and baz.

Methods

getTagPrefix :: Proxy a -> Text