Maintained by Edward A. Kmett
This version can be pinned in stack with:
Used by 38 packages in nightly-2021-09-18(full list with versions):
adjunctions, brick, composition-extra, contravariant-extras, dejafu, dhall, discrimination, eventful-core, foldl, folds, Frames, generic-data, hasql, hasql-migration, hasql-notifications, hasql-transaction, hedgehog-fn, invariant, irc-client, jmacro-rpc, kan-extensions, lens, lens-action, lrucache, modern-uri, one-liner, opaleye, pipes-concurrency, product-profunctors, profunctors, rebase, rel8, semigroupoids, servant-checked-exceptions-core, sets, tagged-transformer, unbound-generics, varying
- Fix the build on old GHCs using
- Allow building with
- Explicitly mark modules as
- Remove the use of
Data.Functor.Contravariant.Generic. As a result, the
safeflag has been removed, as it is no longer used.
- Support building with GHC 8.6, where
Data.Functor.Contravarianthas been moved into
- Add lots of documentation explaining
- Fix some dodgy CPP usage that caused the build to fail on Eta.
- Improved the performance of
Decidingat the cost of downgrading it to
- Support for GHC 8
- Support for
instance Monoid m => Divisible (Const m)
- Fixed builds on GHC 7.2
Data.Functor.Contravariant.Genericon GHC 7.4+
- We’ve merged the
StateVarpackages. Transferring support to
- Fixed redundant import warnings on GHC 7.10.
Data.Functor.Contravariant. This combinator was formerly called
lenspackage, but GHC 7.8 added a
coercemethod to base with a different meaning.
- Added an unsupported
-f-semigroupsbuild flag that disables support for the
- Minor documentation improvements.
- Fix build on GHC 7.0.4
Dayconvolution. The right adjoint of Day convolution is in
kan-extensionsas 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
KindSignatureson older GHCs
- Added covariant
Dayconvolution. It isn’t contravariant, but it is inspired by the contravariant construction.
- Added instances for
- Fixed compatibility with GHC 7.7 and tightened
instance (Functor f, Contravariant g) => Contravariant (Compose f g). (This is non-canonical, but is necessary to support other packages.)
ComposeCFfor use when modeling phantom type parameters caused mixing