0.3
- Require
bifunctors-5.2 and profunctors-5.2. Add Invariant(2) instances
for newly introduced datatypes from those packages.
- Add
ProfunctorFunctor, ProfunctorMonad, ProfunctorComonad, Mapping,
and Traversing instances for WrappedProfunctor
- Add
StateVar as a dependency. Add Invariant instances for StateVar and
SettableStateVar.
- Add
Invariant instances for URec (added to GHC.Generics in
base-4.9.0.0)
0.2.2
- Add
genericInvmap function (and make it the default implementation of
invmap for Invariant instances) on GHC 7.2 or later
- Make
Tagged instance poly-kinded
0.2.1
- Add
Foldable and Traversable instances for WrappedFunctor
- Fixed build on GHC HEAD
0.2
- Support deriving
Invariant and Invariant2 instances with Template Haskell
- Added
invmapFunctor, invmapContravariant, invmap2Bifunctor, and
invmap2Profunctor to make defining Invmap and Invmap2 instances
somewhat easier
- Added
WrappedFunctor, WrappedContravariant, WrappedBifunctor, and
WrappedProfunctor data types to allow use of invmap and invmap2 for
data types that aren't Invariant or Invariant2 instances.
- Added
Invariant instances for lazy ST, ArrowMonad, Handler,
Identity, First, Last, Alt, Proxy, ArgDescr, ArgOrder, and
OptDescr
- Added
Invariant and Invariant2 instances for data types in the array,
bifunctors, containers, profunctors, semigroups, stm, tagged,
transformers, and unordered-containers libraries
0.1.2
- Add
Invariant instances for Dual and Endo
0.1.1
- Bump
contravariant upper version bounds
0.1.0