0.8 [2021.03.12]
- Require
singletons-base-3.0
and GHC 9.0.
- Remove eliminators for
Data.Semigroup.Option
, which is deprecated as of
base-4.15.0.0
.
0.7 [2020.03.25]
- 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
.
0.6 [2019.08.27]
- Require
singletons-2.6
and GHC 8.8.
0.5.1 [2019.04.26]
- Support
th-abstraction-0.3.0.0
or later.
0.5 [2018.09.18]
- Require
singletons-2.5
and GHC 8.6.
0.4.1 [2018.02.13]
- Add
elimVoid
to Data.Eliminator
.
0.4 [2018.01.09]
- Require
singletons-2.4
and GHC 8.4.
0.3 [2017-11-07]
- 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).
0.2 [2017-07-22]
- 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
(~>)
.
0.1 [2017-07-02]