# 0.3
* Change types of `open` and `close` to take `NthPatFind` and `NamePatFind` instead of generic patterns, update call sites.
* Add newtype wrappers and Monoid instances for `NthPatFind` and `NamePatFind`
* Change `isTerm` to return `All` instead of `Bool`
# 0.2
* Incorporating some of the extras/oversights from
[clash-lib Unbound.Generics.LocallyNameless.Extra](https://github.com/clash-lang/clash-compiler/blob/master/clash-lib/src/Unbound/Generics/LocallyNameless/Extra.hs)
* Make `Embed` an instance of `Ord`
* `NFData` instances (see below)
* Re-implement `freshen'` and `gfreshen` using a free monad to give
GHC a chance to inline it all away. This changes the type of
`gfreshen`. Major version bump.
* Expose `FFM`, `liftFFM` and `retractFFM`
* Provide `NFData` instances for all the combinators.
Depend on 'deepseq'
* Start benchmarking some of the operations (particularly `unbind`).
# 0.1.2.1
* Fix ghc-7.10 build.
* Haddock cleanup.
# 0.1.2
* Added `IsEmbed` typeclass
* Depend on 'profunctors'
* Changed `embed` and `unembed` to work over any `IsEmbed` type.
* Added `Shift` type for shifting the scope of embedded terms out one level.
# 0.1.1
* Added `isNullDisjointSet` function.
* Implement a TH `makeClosedAlpha` splice for constructing trivial leaf instances.
# 0.1
* Add `acompare` functiona and `acompare'` method to `Alpha` typeclass. (christiaanb)
Handwritten `Alpha` instances will need to define this additional
method now. Major version bump.
# 0.0.3
* Add 'name2Integer' method (christiaanb)
* Export internal type-directed `gaeq`, `gopen`, `gclose`, etc
functions from `Unbound.Generics.LocallyNameless.Alpha`.
Allows definitions like:
instance Alpha Term where
aeq' _ (Prim t1 _dk1) (Prim t2 _dk2) = t1 == t2
aeq' c t1 t2 = gaeq c (from t1) (from t2)
# 0.0.2.1
* Unconditionally add ErrorT and ExceptT instances using transformers-compat (bergmark)
# 0.0.2
* Add 'Rec' pattern and 'TRec' term combinators.
* Alpha instance for '()'
# 0.0.1
* Add 'lunbind2' function.
* Doc updates.
* Switch from 'HUnit' to 'Tasty' for testing.
# 0.0.0.90
* Initial (re-)implementation effort.