Changelog for contravariant-1.1
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.
- Fixed issue with needing
KindSignatures on older GHCs
- Added covariant
Day convolution. It isn't contravariant, but it is inspired by the contravariant construction.
transformers 0.4 compatibility
- Added instances for
- Fixed compatibility with GHC 7.7 and tightened
Safe Haskell support.
Day convolution under
Reverse instances for
instance (Functor f, Contravariant g) => Contravariant (Compose f g). (This is non-canonical, but is necessary to support other packages.)
Functor instances to
ComposeCF for use when modeling phantom type parameters caused mixing