stock-0.1.0.0: CHANGELOG.md

# Changelog

## 0.1.0.0

Initial release.

* A GHC type-checker plugin that synthesizes class instances for the
  `Stock` / `Stock1` / `Stock2` newtype wrappers, used through `DerivingVia`
  — no `Generic`, no hand-written boilerplate.
* Built-in classes — `Stock`: `Eq`, `Ord`, `Show`, `Read`, `Semigroup`,
  `Monoid`, `Enum`, `Bounded`, `Ix`, `Generic`; `Stock1`: `Functor`,
  `Contravariant`, `Foldable`, `Applicative`, `Generic1`, `Eq1`, `Ord1`,
  `Show1`, `Read1`, `Traversable`, `TestEquality`, `TestCoercion`;
  `Stock2`: `Bifunctor`, `Bifoldable`,
  `Eq2`, `Ord2`, `Show2`, `Read2`, `Category`, `Bitraversable`.
  `Traversable`/`Bitraversable` are synthesized at the wrapper and used
  directly or via the one-liner `traverse g = fmap unStock1 . traverse g
  . Stock1` (a bare `deriving via` can't coerce them onto your type — the
  result `f (t b)` puts the wrapper under an abstract applicative).
* Extensible: satellite packages add new classes with no configuration
  change, via `DeriveStock` instances on the `Stock.Derive` SDK.
* Per-field deriving modifiers via `Stock.Override`: `deriving C via Stock
  (Override T cfg)` (or the type-first synonym `Overriding T cfg`) rewrites
  individual fields' types during synthesis (per-field `DerivingVia`,
  zero-cost). Fields are addressed by name, type, or position (`At`); each
  modifier is pinned (`Sum Int`) or broadcast to the field's own type (`Sum`).
  The same `-fplugin Stock` also lowers a lowercase surface —
  `Override T [ x via Sum, C at 0 via Product ]` — to that marker form at
  parse time.
* Synthesized instances verified against GHC's stock-derived twins and
  benchmarked to identical performance; all evidence passes `-dcore-lint`.
  `Eq`/`Ord`/`Enum`/`Functor`/`Bounded`/`Foldable` optimise to
  byte-identical Core (machine-checked with `inspection-testing`);
  `Traversable`/`Bitraversable` are byte-identical to the natural
  hand-written definition. `Read` (and `Read1`) build `readPrec` as GHC's
  derived `Read` does, so they are byte-faithful including the order of
  ambiguous infix parses.
* Tested on GHC 9.6, 9.8, 9.10, 9.12 and 9.14 (`stock-deepseq`: 9.8+).