Composite.Aeson.CoRecord

Documentation

type JsonFormatField e rs = Rec (JsonFormat e) rs

Type of records which contain JSON formats for each element of rs.

class DefaultJsonFormatField (rs :: [*]) where

Class which makes up a JsonFormatField for some rs where each r ~ s :-> a by using the DefaultJsonFormat instance for each a.

Minimal complete definition

defaultJsonFormatField

Methods

defaultJsonFormatField :: JsonFormatField e rs

Make up a JsonFormatField for some rs where each r ~ s :-> a by using the DefaultJsonFormat instance for each a.

Instances

DefaultJsonFormatField ([] *)

Methods

defaultJsonFormatField :: JsonFormatField e [*]

(DefaultJsonFormat a, DefaultJsonFormatField rs) => DefaultJsonFormatField ((:) * ((:->) s a) rs)

Methods

defaultJsonFormatField :: JsonFormatField e ((* ': (s :-> a)) rs)

fieldJsonFormat :: forall (rs :: [*]) r' (rs' :: [*]) e. (rs ~ (r' ': rs'), RecApplicative rs, RecWithContext rs rs, ReifyNames rs) => SumStyle -> JsonFormatField e rs -> JsonFormat e (Field rs)

Make a JsonFormat e (Field rs) given how to map the sum type to JSON along with a record with formatters for each value the field could have.