Composite.Aeson.CoRecord

Documentation

type ToJsonFormatField rs = Rec ToJson rs

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

type FromJsonFormatField e rs = Rec (FromJson e) rs

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

type JsonFormatField e rs = Rec (JsonFormat e) rs

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

class DefaultJsonFormatField (rs :: [Type]) where

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

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 ('[] :: [Type])

Defined in Composite.Aeson.CoRecord

Methods

defaultJsonFormatField :: JsonFormatField e '[]

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

Defined in Composite.Aeson.CoRecord

Methods

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

fieldToJson :: forall (rs :: [Type]) r' (rs' :: [Type]). (rs ~ (r' ': rs'), RApply rs, RMap rs, RecApplicative rs, RecWithContext rs rs, RecordToList rs', ReifyNames rs) => SumStyle -> ToJsonFormatField rs -> Field rs -> Value

Make a Field rs -> Value given how to map the sum type to JSON along with a record with encoders for each value the field could have.

fieldFromJson :: forall (rs :: [Type]) r' (rs' :: [Type]) e. (rs ~ (r' ': rs'), RApply rs, RMap rs, RecApplicative rs, RecWithContext rs rs, RecordToList rs', ReifyNames rs) => SumStyle -> FromJsonFormatField e rs -> Parse e (Field rs)

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

fieldJsonFormat :: forall (rs :: [Type]) r' (rs' :: [Type]) e. (rs ~ (r' ': rs'), RApply rs, RMap rs, RecApplicative rs, RecWithContext rs rs, RecordToList 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.