Changelog for Express
=====================


v1.0.12
-------

* make ordering of `typesIn` consistent between GHC 9.6 and earlier versions

* fix a test failure on GHC 9.6 (previous GHC versions unaffected)

* drop support for GHC 8.0, GHC 7.10 and GHC 7.8.
  The current version will still work in these,
  but these are not run on CI anymore
  and future versions will no longer be tested.

* miscellaneous improvements in build and CI scripts


v1.0.10
-------

* show function-encoded Ordering case expressions exceptionally

* show function-encoded Bool case expressions exceptionally

* add `caseBool` and `caseOrdering` to `Data.Express.Fixtures`

* minor updates in Makefile and CI scripts


v1.0.8
------

* `Data.Express.Express.Derive`:
  fix generation of `-:` and `->:` in earlier GHC's.

* `Data.Express.Utils.TH`:
  add `unboundVars`, `toBounded` and `toBoundedQ`.


v1.0.6
------

* fix pretty printing of unapplied infixed variable functions:
  use `f :: ...`  instead of ``(`f`) :: ...``

* `Data.Express.Fixtures`:
  add `init'`, `div'`, `mod'`, `quot'`, `rem'`, `question` and `oo`.

* minor fixes in README


v1.0.4
------

* deeply encode `Ratio`s
* add `Express (Complex a)` instance
* add several missing `Name` instances
* `deriveName` now uses `x` for `Num` instances


v1.0.2
------

* more Express instances:
	- `Double` & `Float`
	- `Int*` types from `Data.Int`
	- `Word*` types from `Data.Word`
	- `GeneralCategory` from `Data.Char`

* minor fix in README


v1.0.0
------

This release indicates that the `Data.Express` API is now stable.

* no changes since v0.2.0 or v0.1.16.


v0.2.0
------

This release indicates that the `Data.Express` API is stable.

* no changes since v0.1.16


v0.1.16
-------

* add `five`, `six`, ... `twelve` to `Data.Express.Fixtures`.

* add `cs_` to `Data.Express.Fixtures`.

* improve backwards compatibility:
  `Data.Express.Core/Hole/Match/Map/Name/Triexpr/Utils` now work on Hugs.

* 100% Haddock coverage on most modules including REPL examples.


v0.1.14
-------

* permit and pretty-print `[<n>..<m>]` notations.

* improve default variable names when canonicalizing
	- lists are named xs, ys, xss, yss, etc.
	- functions are named f, g, h
	- before they were simply x, y, z


v0.1.12
-------

* `Data.Express.Fixtures`, add several symbols:
	- `hh` and `hhE`;
	- `four` and `zzs`;
	- `signum'` and `signumE`;
	- `compose` and `-.-`;
	- `mapE` and `map'`.

* Add the experimental `Triexpr` module, including:
	- the `Triexpr` type;
	- tests;
	- benchmarks.

* Retire Travis as the CI


v0.1.10
-------

* add the `hasHole` and `isComplete` functions
* add the `encompasses` function
* add `appendInt` to `Data.Express.Fixtures`
* add the `u-conjure` example
* the `Express` typeclass now requires `Show`
* improve examples in the `eg/` folder
* improve tests of `hasInstanceOf` and `isInstanceOf`
* improve tests
* add this changelog


v0.1.8
------

* slightly change behaviour of `canonicalVariations` and related functions.
* add more fixtures and improve fixtures' documentation
* improve Makefile and test scripts
* use GitHub actions as CI


v0.1.6
------

* add `compareLexicographically` and `compareQuickly`
* define behaviour of `canonicalVariations` for some undefined cases
* improve haddock documentation
* improve tests


v0.1.4
------

* add the `fill` and `isFun` functions
* `Data.Express.Fixtures`: more fixtures, define fixity
* add fixity for some fixtures
* improve documentation, tests and lint


v0.1.3
------

See the git commit log for v0.1.3 and previous versions.