Exinst.Aeson

This module exports FromJSON and ToJSON instances for Some1, Some2, Some3 and Some4 from Exinst, provided situable Dict1, Dict2, Dict3 and Dict4 instances are available.

See the README file in the exinst package for more general documentation: https://hackage.haskell.org/package/exinst#readme

Orphan instances

(SingKind k1, FromJSON (Demote k1), Dict1 FromJSON f) => FromJSON (Some1 f)

Methods

parseJSON :: Value -> Parser (Some1 f)

parseJSONList :: Value -> Parser [Some1 f]

(SingKind k1, ToJSON (Demote k1), Dict1 ToJSON f) => ToJSON (Some1 f)

Methods

toJSON :: Some1 f -> Value

toEncoding :: Some1 f -> Encoding

toJSONList :: [Some1 f] -> Value

toEncodingList :: [Some1 f] -> Encoding

(SingKind k2, SingKind k1, FromJSON (Demote k2), FromJSON (Demote k1), Dict2 FromJSON f) => FromJSON (Some2 f)

Methods

parseJSON :: Value -> Parser (Some2 f)

parseJSONList :: Value -> Parser [Some2 f]

(SingKind k2, SingKind k1, ToJSON (Demote k2), ToJSON (Demote k1), Dict2 ToJSON f) => ToJSON (Some2 f)

Methods

toJSON :: Some2 f -> Value

toEncoding :: Some2 f -> Encoding

toJSONList :: [Some2 f] -> Value

toEncodingList :: [Some2 f] -> Encoding

(SingKind k3, SingKind k2, SingKind k1, FromJSON (Demote k3), FromJSON (Demote k2), FromJSON (Demote k1), Dict3 FromJSON f) => FromJSON (Some3 f)

Methods

parseJSON :: Value -> Parser (Some3 f)

parseJSONList :: Value -> Parser [Some3 f]

(FromJSON (l a1), FromJSON (r a1)) => FromJSON (P1 l r a1)

Methods

parseJSON :: Value -> Parser (P1 l r a1)

parseJSONList :: Value -> Parser [P1 l r a1]

(FromJSON (l a1), FromJSON (r a1)) => FromJSON (S1 l r a1)

Methods

parseJSON :: Value -> Parser (S1 l r a1)

parseJSONList :: Value -> Parser [S1 l r a1]

(SingKind k3, SingKind k2, SingKind k1, ToJSON (Demote k3), ToJSON (Demote k2), ToJSON (Demote k1), Dict3 ToJSON f) => ToJSON (Some3 f)

Methods

toJSON :: Some3 f -> Value

toEncoding :: Some3 f -> Encoding

toJSONList :: [Some3 f] -> Value

toEncodingList :: [Some3 f] -> Encoding

(ToJSON (l a1), ToJSON (r a1)) => ToJSON (P1 l r a1)

Methods

toJSON :: P1 l r a1 -> Value

toEncoding :: P1 l r a1 -> Encoding

toJSONList :: [P1 l r a1] -> Value

toEncodingList :: [P1 l r a1] -> Encoding

(ToJSON (l a1), ToJSON (r a1)) => ToJSON (S1 l r a1)

Methods

toJSON :: S1 l r a1 -> Value

toEncoding :: S1 l r a1 -> Encoding

toJSONList :: [S1 l r a1] -> Value

toEncodingList :: [S1 l r a1] -> Encoding

(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)

Methods

parseJSON :: Value -> Parser (Some4 f)

parseJSONList :: Value -> Parser [Some4 f]

(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)

Methods

toJSON :: Some4 f -> Value

toEncoding :: Some4 f -> Encoding

toJSONList :: [Some4 f] -> Value

toEncodingList :: [Some4 f] -> Encoding

(FromJSON (l a2 a1), FromJSON (r a2 a1)) => FromJSON (P2 l r a2 a1)

Methods

parseJSON :: Value -> Parser (P2 l r a2 a1)

parseJSONList :: Value -> Parser [P2 l r a2 a1]

(FromJSON (l a2 a1), FromJSON (r a2 a1)) => FromJSON (S2 l r a2 a1)

Methods

parseJSON :: Value -> Parser (S2 l r a2 a1)

parseJSONList :: Value -> Parser [S2 l r a2 a1]

(ToJSON (l a2 a1), ToJSON (r a2 a1)) => ToJSON (P2 l r a2 a1)

Methods

toJSON :: P2 l r a2 a1 -> Value

toEncoding :: P2 l r a2 a1 -> Encoding

toJSONList :: [P2 l r a2 a1] -> Value

toEncodingList :: [P2 l r a2 a1] -> Encoding

(ToJSON (l a2 a1), ToJSON (r a2 a1)) => ToJSON (S2 l r a2 a1)

Methods

toJSON :: S2 l r a2 a1 -> Value

toEncoding :: S2 l r a2 a1 -> Encoding

toJSONList :: [S2 l r a2 a1] -> Value

toEncodingList :: [S2 l r a2 a1] -> Encoding

(FromJSON (l a3 a2 a1), FromJSON (r a3 a2 a1)) => FromJSON (P3 l r a3 a2 a1)

Methods

parseJSON :: Value -> Parser (P3 l r a3 a2 a1)

parseJSONList :: Value -> Parser [P3 l r a3 a2 a1]

(FromJSON (l a3 a2 a1), FromJSON (r a3 a2 a1)) => FromJSON (S3 l r a3 a2 a1)

Methods

parseJSON :: Value -> Parser (S3 l r a3 a2 a1)

parseJSONList :: Value -> Parser [S3 l r a3 a2 a1]

(ToJSON (l a3 a2 a1), ToJSON (r a3 a2 a1)) => ToJSON (P3 l r a3 a2 a1)

Methods

toJSON :: P3 l r a3 a2 a1 -> Value

toEncoding :: P3 l r a3 a2 a1 -> Encoding

toJSONList :: [P3 l r a3 a2 a1] -> Value

toEncodingList :: [P3 l r a3 a2 a1] -> Encoding

(ToJSON (l a3 a2 a1), ToJSON (r a3 a2 a1)) => ToJSON (S3 l r a3 a2 a1)

Methods

toJSON :: S3 l r a3 a2 a1 -> Value

toEncoding :: S3 l r a3 a2 a1 -> Encoding

toJSONList :: [S3 l r a3 a2 a1] -> Value

toEncodingList :: [S3 l r a3 a2 a1] -> Encoding

(FromJSON (l a4 a3 a2 a1), FromJSON (r a4 a3 a2 a1)) => FromJSON (P4 l r a4 a3 a2 a1)

Methods

parseJSON :: Value -> Parser (P4 l r a4 a3 a2 a1)

parseJSONList :: Value -> Parser [P4 l r a4 a3 a2 a1]

(FromJSON (l a4 a3 a2 a1), FromJSON (r a4 a3 a2 a1)) => FromJSON (S4 l r a4 a3 a2 a1)

Methods

parseJSON :: Value -> Parser (S4 l r a4 a3 a2 a1)

parseJSONList :: Value -> Parser [S4 l r a4 a3 a2 a1]

(ToJSON (l a4 a3 a2 a1), ToJSON (r a4 a3 a2 a1)) => ToJSON (P4 l r a4 a3 a2 a1)

Methods

toJSON :: P4 l r a4 a3 a2 a1 -> Value

toEncoding :: P4 l r a4 a3 a2 a1 -> Encoding

toJSONList :: [P4 l r a4 a3 a2 a1] -> Value

toEncodingList :: [P4 l r a4 a3 a2 a1] -> Encoding

(ToJSON (l a4 a3 a2 a1), ToJSON (r a4 a3 a2 a1)) => ToJSON (S4 l r a4 a3 a2 a1)

Methods

toJSON :: S4 l r a4 a3 a2 a1 -> Value

toEncoding :: S4 l r a4 a3 a2 a1 -> Encoding

toJSONList :: [S4 l r a4 a3 a2 a1] -> Value

toEncodingList :: [S4 l r a4 a3 a2 a1] -> Encoding