- Migrate the old
Data.Eliminator(which worked over the
elimNatthat now lives in
Data.Eliminatoris for an unrelated
Natdata type from the
singleton-natspackage (which is a proper, inductively defined, Peano natural number type).
- Introduce the
Data.Eliminator.THmodule, which provides functionality for generating eliminator functions using Template Haskell. Currently, only simple algebraic data types that do not use polymorphic recursion are supported.
- All eliminators now use predicates with
- Initial release.