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