Tool to generate a list of JSON round-trip tests of type [(String, Property)] with the given name. This depends on jsonTool and quickCheckTool.

Tool to generate a list of CBOR round-trip tests of type [(String, Property)] with the given name. This depends on cborTool and quickCheckTool.

Tool to generate a list of CBOR-to-JSON conversion tests of type [(String, Property)]. The first name must be the API being tested, and the second should be the name of the declaration to be produced. This depends on cborTool, jsonTool and quickCheckTool.

Tool to generate a list of JSON-to-CBOR conversion tests of type [(String, Property)]. The first name must be the API being tested, and the second should be the name of the declaration to be produced. This depends on cborTool, jsonTool and quickCheckTool.

Tool to generate a list of tests that the Value generic representation agrees with the type-specific JSON representation.

Tool to generate a list of tests that the Value generic representation agrees with the type-specific CBOR representation.

QuickCheck property that a Value decodes to an expected Haskell value, using fromJSONWithErrs

QuickCheck property that a Value decodes to an expected Haskell value, using fromJSONWithErrs' with the given ParseFlags

QuickCheck property that Haskell values can be encoded with toJSON and decoded with fromJSONWithErrs to get the original value

QuickCheck property that CBOR decoding is a left inverse for encoding

QuickCheck property that toJSON agrees with encoding to CBOR directly and then decoding using the schema-aware generic decoder. From this and prop_resultsMatchRoundtrip it follows that

fromJSONWithErrs . deserialiseJSONWithSchema . serialise == id

QuickCheck property that direct encoding to CBOR agrees with conversion to JSON followed by the schema-aware generic encoder. From this and prop_cborRoundtrip it follows that

deserialise . serialiseJSONWithSchema . toJSON == id