All Versions
Latest Version
Avg Release Cycle
64 days
Latest Release

Changelog History

  • v0.7 Changes

    • Require singletons-2.7 and GHC 8.10.
    • โž• Add experimental support for generating type-level eliminators through the deriveTypeElim and deriveTypeElimNamed functions.
    • โž• Add eliminators for All, Any, Arg, Const, Down, Dual, First, Identity, Last, Max, Min, Option, Product, Sum, and WrappedMonoid.
  • v0.6 Changes

    • Require singletons-2.6 and GHC 8.8.
  • v0.5.1 Changes

    • ๐Ÿ‘Œ Support th-abstraction- or later.
  • v0.5 Changes

    • Require singletons-2.5 and GHC 8.6.
  • v0.4.1 Changes

    • โž• Add elimVoid to Data.Eliminator.
  • v0.4 Changes

    • Require singletons-2.4 and GHC 8.4.
  • v0.3 Changes

    November 07, 2017
    • Migrate the old elimNat from Data.Eliminator (which worked over the Nat from GHC.TypeNats) to Data.Eliminator.TypeNats. There elimNat that now lives in Data.Eliminator is for an unrelated Nat data type from the singleton-nats package (which is a proper, inductively defined, Peano natural number type).
  • v0.2 Changes

    July 22, 2017
    • Introduce the Data.Eliminator.TH module, 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 (~>).
  • v0.1 Changes

    July 02, 2017
    • ๐ŸŽ‰ Initial release.