| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Composite.Aeson.CoRecord
Synopsis
- type JsonFormatField e rs = Rec (JsonFormat e) rs
- class DefaultJsonFormatField (rs :: [*]) where
- fieldJsonFormat :: forall (rs :: [*]) r' (rs' :: [*]) 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)
Documentation
type JsonFormatField e rs = Rec (JsonFormat e) rs Source #
Type of records which contain JSON formats for each element of rs.
class DefaultJsonFormatField (rs :: [*]) where Source #
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 Source #
Make up a JsonFormatField for some rs where each r ~ s :-> a by using the DefaultJsonFormat instance for each a.
Instances
| DefaultJsonFormatField ([] :: [Type]) Source # | |
Defined in Composite.Aeson.CoRecord Methods defaultJsonFormatField :: JsonFormatField e [] Source # | |
| (DefaultJsonFormat a, DefaultJsonFormatField rs) => DefaultJsonFormatField ((s :-> a) ': rs) Source # | |
Defined in Composite.Aeson.CoRecord Methods defaultJsonFormatField :: JsonFormatField e ((s :-> a) ': rs) Source # | |
fieldJsonFormat :: forall (rs :: [*]) r' (rs' :: [*]) 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) Source #
Make a JsonFormat e (Field rs)