Stephen Compall 2b23b41391 JSON decoding support for GenMap (#5223) ... * add GenMap to the "all types" test generators * report bad GenMap format with DeserializationError, not MatchError * document GenMap JSON * notes on missing features * enable -Xsource:2.13 in transaction * make an Order instance for Value resolvable, but unimplemented * use the skeleton from SValue ordering to make a Value ordering skeleton * add Party Order * add Order instance for SortedLookupList * add Order for FrontStack, deriving everything * factor the Order lookup, and tie a knot in the recursive Value instances * we're going to need this Iterator thing again * replacing Order#contramap with version that supports equalIsNatural * use new equalBy, orderBy for FrontStack, SortedLookupList, ImmArray * _2 comparator, upgrade Name Equal to an Order * incorporate lookup for enums, variants into Value order; record/struct cases * Enum/Variant comparison * looking up the singleton implicitly won't work for non-`object`s, alas * test Order laws for values of all primitive types * test Order laws for record and variant types * test Order laws for enum types * test that enum strings are not compared * use checkLaws for Value Equal as well * test that enums match order to constructor rank * factor genAddend and genAddendNoListMap * reintroduce Order for TypedValueGenerators * more addend order * record, variant order cases * record cons order * deriving Order while decoding from JSON * make ApiCodecCompressed's Cid codec based on the typeclass * test how the Value ordering and the underlying projected value orderings line up - hint: they don't, yet - this is also a template for how we'll check the fidelity with SValue ordering * test how the Value ordering and SValue ordering line up - hint: they don't, yet * typed Arbitrarys have access to Order * produce proper ValueGenMap * inj requires Order, sometimes - we encode this as "all the time" but there is a type-level unification approach to remove this requirement in some cases * make inj a function * test that order doesn't matter for JSON decoder * use Utf8 order for TVG text; don't pretend that base equal works * sort JSON GenMaps, and check for duplicates * make injarb use IntroCtx * remove stray import * Order instances for Bytes, Hash, AbsoluteContractId * require Order[Cid] to decode JSON to LF values * clean up map reordering test * remove unused Instant instance * fake Order instance no longer needed, valid instance defined * test parity of global AbsoluteContractId order and SContractId order * bazel fmt * test AbsoluteContractId Order lawfulness * test duplicate key detection CHANGELOG_BEGIN - [JSON API] Prepare full support for the planned GenMap primitive type. See `issue #5031 <https://github.com/digital-asset/daml/issues/5031>`_. CHANGELOG_END		2020-05-05 10:27:37 -04:00
..
src	JSON decoding support for GenMap (#5223)	2020-05-05 10:27:37 -04:00
BUILD.bazel	Organize maven coordinates (#5272)	2020-04-01 11:41:18 +02:00