Mu.Adapter.Json

Just import the module and you can turn any value with a ToSchema and FromSchema from and to JSON values.

Orphan instances

ToSchemalessValue Value

Methods

toSchemalessValue :: Value -> FieldValue

ToSchemalessTerm Value

Methods

toSchemalessTerm :: Value -> Term

(ToJSONKey (FieldValue sch k), ToJSON (FieldValue sch v)) => ToJSON (FieldValue sch ('TMap k v))

Methods

toJSON :: FieldValue sch ('TMap k v) -> Value

toEncoding :: FieldValue sch ('TMap k v) -> Encoding

toJSONList :: [FieldValue sch ('TMap k v)] -> Value

toEncodingList :: [FieldValue sch ('TMap k v)] -> Encoding

ToJSON (FieldValue sch t) => ToJSON (FieldValue sch ('TList t))

Methods

toJSON :: FieldValue sch ('TList t) -> Value

toEncoding :: FieldValue sch ('TList t) -> Encoding

toJSONList :: [FieldValue sch ('TList t)] -> Value

toEncodingList :: [FieldValue sch ('TList t)] -> Encoding

ToJSON (FieldValue sch t) => ToJSON (FieldValue sch ('TOption t))

Methods

toJSON :: FieldValue sch ('TOption t) -> Value

toEncoding :: FieldValue sch ('TOption t) -> Encoding

toJSONList :: [FieldValue sch ('TOption t)] -> Value

toEncodingList :: [FieldValue sch ('TOption t)] -> Encoding

ToJSON (Term sch (sch :/: t)) => ToJSON (FieldValue sch ('TSchematic t :: FieldTypeB Type typeName))

Methods

toJSON :: FieldValue sch ('TSchematic t) -> Value

toEncoding :: FieldValue sch ('TSchematic t) -> Encoding

toJSONList :: [FieldValue sch ('TSchematic t)] -> Value

toEncodingList :: [FieldValue sch ('TSchematic t)] -> Encoding

ToJSON t => ToJSON (FieldValue sch ('TPrimitive t :: FieldTypeB Type typeName))

Methods

toJSON :: FieldValue sch ('TPrimitive t) -> Value

toEncoding :: FieldValue sch ('TPrimitive t) -> Encoding

toJSONList :: [FieldValue sch ('TPrimitive t)] -> Value

toEncodingList :: [FieldValue sch ('TPrimitive t)] -> Encoding

ToJSON (FieldValue sch ('TNull :: FieldTypeB Type typeName))

Methods

toJSON :: FieldValue sch 'TNull -> Value

toEncoding :: FieldValue sch 'TNull -> Encoding

toJSONList :: [FieldValue sch 'TNull] -> Value

toEncodingList :: [FieldValue sch 'TNull] -> Encoding

ToJSONUnion sch us => ToJSON (FieldValue sch ('TUnion us))

Methods

toJSON :: FieldValue sch ('TUnion us) -> Value

toEncoding :: FieldValue sch ('TUnion us) -> Encoding

toJSONList :: [FieldValue sch ('TUnion us)] -> Value

toEncodingList :: [FieldValue sch ('TUnion us)] -> Encoding

ToJSON (FieldValue sch t) => ToJSON (Term sch ('DSimple t :: TypeDefB Type typeName fieldName))

Methods

toJSON :: Term sch ('DSimple t) -> Value

toEncoding :: Term sch ('DSimple t) -> Encoding

toJSONList :: [Term sch ('DSimple t)] -> Value

toEncodingList :: [Term sch ('DSimple t)] -> Encoding

ToJSONFields sch args => ToJSON (Term sch ('DRecord name args))

Methods

toJSON :: Term sch ('DRecord name args) -> Value

toEncoding :: Term sch ('DRecord name args) -> Encoding

toJSONList :: [Term sch ('DRecord name args)] -> Value

toEncodingList :: [Term sch ('DRecord name args)] -> Encoding

ToJSONEnum choices => ToJSON (Term sch ('DEnum name choices :: TypeDefB Type typeName fieldName))

Methods

toJSON :: Term sch ('DEnum name choices) -> Value

toEncoding :: Term sch ('DEnum name choices) -> Encoding

toJSONList :: [Term sch ('DEnum name choices)] -> Value

toEncodingList :: [Term sch ('DEnum name choices)] -> Encoding

ToJSONKey t => ToJSONKey (FieldValue sch ('TPrimitive t :: FieldTypeB Type typeName))

Methods

toJSONKey :: ToJSONKeyFunction (FieldValue sch ('TPrimitive t))

toJSONKeyList :: ToJSONKeyFunction [FieldValue sch ('TPrimitive t)]

(FromJSONKey (FieldValue sch k), FromJSON (FieldValue sch v), Ord (FieldValue sch k)) => FromJSON (FieldValue sch ('TMap k v))

Methods

parseJSON :: Value -> Parser (FieldValue sch ('TMap k v))

parseJSONList :: Value -> Parser [FieldValue sch ('TMap k v)]

FromJSON (FieldValue sch t) => FromJSON (FieldValue sch ('TList t))

Methods

parseJSON :: Value -> Parser (FieldValue sch ('TList t))

parseJSONList :: Value -> Parser [FieldValue sch ('TList t)]

FromJSON (FieldValue sch t) => FromJSON (FieldValue sch ('TOption t))

Methods

parseJSON :: Value -> Parser (FieldValue sch ('TOption t))

parseJSONList :: Value -> Parser [FieldValue sch ('TOption t)]

FromJSON (Term sch (sch :/: t)) => FromJSON (FieldValue sch ('TSchematic t :: FieldTypeB Type typeName))

Methods

parseJSON :: Value -> Parser (FieldValue sch ('TSchematic t))

parseJSONList :: Value -> Parser [FieldValue sch ('TSchematic t)]

FromJSON t => FromJSON (FieldValue sch ('TPrimitive t :: FieldTypeB Type typeName))

Methods

parseJSON :: Value -> Parser (FieldValue sch ('TPrimitive t))

parseJSONList :: Value -> Parser [FieldValue sch ('TPrimitive t)]

FromJSON (FieldValue sch ('TNull :: FieldTypeB Type typeName))

Methods

parseJSON :: Value -> Parser (FieldValue sch 'TNull)

parseJSONList :: Value -> Parser [FieldValue sch 'TNull]

FromJSONUnion sch us => FromJSON (FieldValue sch ('TUnion us))

Methods

parseJSON :: Value -> Parser (FieldValue sch ('TUnion us))

parseJSONList :: Value -> Parser [FieldValue sch ('TUnion us)]

FromJSON (FieldValue sch t) => FromJSON (Term sch ('DSimple t :: TypeDefB Type typeName fieldName))

Methods

parseJSON :: Value -> Parser (Term sch ('DSimple t))

parseJSONList :: Value -> Parser [Term sch ('DSimple t)]

FromJSONFields sch args => FromJSON (Term sch ('DRecord name args))

Methods

parseJSON :: Value -> Parser (Term sch ('DRecord name args))

parseJSONList :: Value -> Parser [Term sch ('DRecord name args)]

FromJSONEnum choices => FromJSON (Term sch ('DEnum name choices :: TypeDefB Type typeName fieldName))

Methods

parseJSON :: Value -> Parser (Term sch ('DEnum name choices))

parseJSONList :: Value -> Parser [Term sch ('DEnum name choices)]

FromJSONKey t => FromJSONKey (FieldValue sch ('TPrimitive t :: FieldTypeB Type typeName))

Methods

fromJSONKey :: FromJSONKeyFunction (FieldValue sch ('TPrimitive t))

fromJSONKeyList :: FromJSONKeyFunction [FieldValue sch ('TPrimitive t)]

(ToSchema sch sty a, ToJSON (Term sch (sch :/: sty))) => ToJSON (WithSchema sch sty a)

Methods

toJSON :: WithSchema sch sty a -> Value

toEncoding :: WithSchema sch sty a -> Encoding

toJSONList :: [WithSchema sch sty a] -> Value

toEncodingList :: [WithSchema sch sty a] -> Encoding

(FromSchema sch sty a, FromJSON (Term sch (sch :/: sty))) => FromJSON (WithSchema sch sty a)

Methods

parseJSON :: Value -> Parser (WithSchema sch sty a)

parseJSONList :: Value -> Parser [WithSchema sch sty a]