Improved the performance of Deciding at the cost of downgrading it to Trustworthy.
Support for GHC 8
Support for transformers 0.5
1.3.3
Add instance Monoid m => Divisible (Const m)
1.3.2
Add ($<) operator
1.3.1.1
Fixed builds on GHC 7.2
1.3.1
Added Data.Functor.Contravariant.Generic on GHC 7.4+
1.3
We’ve merged the foreign-var and StateVar packages. Transferring support to StateVar.
1.2.2.1
Fixed redundant import warnings on GHC 7.10.
1.2.2
Added foreign-var support.
1.2.1
Added phantom to Data.Functor.Contravariant. This combinator was formerly called coerce in the lens package, but
GHC 7.8 added a coerce method to base with a different meaning.
Added an unsupported -f-semigroups build flag that disables support for the semigroups package.
Minor documentation improvements.
1.2.0.1
Fix build on GHC 7.0.4
1.1.1
Added Data.Functor.Contravariant.Applicative
1.0
Removed Day convolution. The right adjoint of Day convolution is in kan-extensions as the right Kan lift. Moving these there to avoid forcing orphan instances. It also rather dramatically reduces the number of extensions required.
This requires a first digit bump as it breaks several of my own packages.
0.6.1.1
Fixed issue with needing KindSignatures on older GHCs
0.6.1
Added covariant Day convolution. It isn’t contravariant, but it is inspired by the contravariant construction.
0.5.1
transformers 0.4 compatibility
0.5
Added (>$)
Added instances for GHC.Generics
0.4.4
Fixed compatibility with GHC 7.7 and tightened Safe Haskell support.
0.4.1
Added Day convolution under Data.Functor.Contravariant.Day.
0.3
Added Backwards and Reverse instances for transformers 0.3
Added instance (Functor f, Contravariant g) => Contravariant (Compose f g). (This is non-canonical, but is necessary to support other packages.)
Added Functor instances to ComposeFC and ComposeCF for use when modeling phantom type parameters caused mixing Functor + Contravariant.
