(SingKind k1, ToJSON (Demote k1), Dict1 ToJSON f) => ToJSON (Some1 f) Source # | |
Instance details |
(SingKind k1, FromJSON (Demote k1), Dict1 FromJSON f) => FromJSON (Some1 f) Source # | |
Instance details |
(SingKind k2, SingKind k1, ToJSON (Demote k2), ToJSON (Demote k1), Dict2 ToJSON f) => ToJSON (Some2 f) Source # | |
Instance details |
(SingKind k2, SingKind k1, FromJSON (Demote k2), FromJSON (Demote k1), Dict2 FromJSON f) => FromJSON (Some2 f) Source # | |
Instance details |
(ToJSON (l a1), ToJSON (r a1)) => ToJSON (S1 l r a1) Source # | |
Instance details |
(ToJSON (l a1), ToJSON (r a1)) => ToJSON (P1 l r a1) Source # | |
Instance details |
(SingKind k3, SingKind k2, SingKind k1, ToJSON (Demote k3), ToJSON (Demote k2), ToJSON (Demote k1), Dict3 ToJSON f) => ToJSON (Some3 f) Source # | |
Instance details |
(FromJSON (l a1), FromJSON (r a1)) => FromJSON (S1 l r a1) Source # | |
Instance details |
(FromJSON (l a1), FromJSON (r a1)) => FromJSON (P1 l r a1) Source # | |
Instance details |
(SingKind k3, SingKind k2, SingKind k1, FromJSON (Demote k3), FromJSON (Demote k2), FromJSON (Demote k1), Dict3 FromJSON f) => FromJSON (Some3 f) Source # | |
Instance details |
(SingKind k4, SingKind k3, SingKind k2, SingKind k1, ToJSON (Demote k4), ToJSON (Demote k3), ToJSON (Demote k2), ToJSON (Demote k1), Dict4 ToJSON f) => ToJSON (Some4 f) Source # | |
Instance details |
(SingKind k4, SingKind k3, SingKind k2, SingKind k1, FromJSON (Demote k4), FromJSON (Demote k3), FromJSON (Demote k2), FromJSON (Demote k1), Dict4 FromJSON f) => FromJSON (Some4 f) Source # | |
Instance details |
(ToJSON (l a2 a1), ToJSON (r a2 a1)) => ToJSON (S2 l r a2 a1) Source # | |
Instance details |
(ToJSON (l a2 a1), ToJSON (r a2 a1)) => ToJSON (P2 l r a2 a1) Source # | |
Instance details |
(FromJSON (l a2 a1), FromJSON (r a2 a1)) => FromJSON (S2 l r a2 a1) Source # | |
Instance details |
(FromJSON (l a2 a1), FromJSON (r a2 a1)) => FromJSON (P2 l r a2 a1) Source # | |
Instance details |
(ToJSON (l a3 a2 a1), ToJSON (r a3 a2 a1)) => ToJSON (S3 l r a3 a2 a1) Source # | |
Instance details |
(ToJSON (l a3 a2 a1), ToJSON (r a3 a2 a1)) => ToJSON (P3 l r a3 a2 a1) Source # | |
Instance details |
(FromJSON (l a3 a2 a1), FromJSON (r a3 a2 a1)) => FromJSON (S3 l r a3 a2 a1) Source # | |
Instance details |
(FromJSON (l a3 a2 a1), FromJSON (r a3 a2 a1)) => FromJSON (P3 l r a3 a2 a1) Source # | |
Instance details |
(ToJSON (l a4 a3 a2 a1), ToJSON (r a4 a3 a2 a1)) => ToJSON (S4 l r a4 a3 a2 a1) Source # | |
Instance details |
(ToJSON (l a4 a3 a2 a1), ToJSON (r a4 a3 a2 a1)) => ToJSON (P4 l r a4 a3 a2 a1) Source # | |
Instance details |
(FromJSON (l a4 a3 a2 a1), FromJSON (r a4 a3 a2 a1)) => FromJSON (S4 l r a4 a3 a2 a1) Source # | |
Instance details |
(FromJSON (l a4 a3 a2 a1), FromJSON (r a4 a3 a2 a1)) => FromJSON (P4 l r a4 a3 a2 a1) Source # | |
Instance details |