By: Tom Sydney Kerckhove <syd@cs-syd.eu>
Test the library code that no test reached The weeder check reported 89 weeds: exported code that, with the test suites counted as users, nothing used at all. Most of it is now covered. * Autodocodec.CodecSpec is new, for the value codecs and combinators that had no test: the match-choices family, the bounded string and number codecs, the unbounded integer and natural codecs, codecViaAeson and the HashMap instance. * Autodocodec.Nix.ExpressionSpec is new, for the expression renderer and the deprecated aliases that keep the old names working. * The object-schema, object-chunk and plain-text renderers in autodocodec-schema and autodocodec-yaml now have the golden tests their value-level counterparts already had, and the yaml config-file readers are read back through a real file. * Types with laws get eqSpec/ordSpec rather than being exercised by accident. Two instances in MultipartSpec went the other way: Show and Eq for Tmp and Mem were there for instances whose constraint is on MultipartResult tag, not on tag, so nothing needed them.