contravariant

Contravariant functors http://github.com/ekmett/contravariant/

Version on this page:1.3.3
LTS Haskell 8.6:1.4
Stackage Nightly 2017-03-28:1.4
Latest on Hackage:1.4
BSD3 licensed by Edward A. Kmett

Contravariant functors

Changes

1.4

  • 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.
comments powered byDisqus