- Invert dependency between
comonad
anddistributive
- Drop support for GHC < 8.6
- Add
Generic
,Generic1
instances where possible - Stop exporting
Control.Comonad
from all theControl.Comonad.Foo
modules to match style with the upcomingmtl
release. - Add
Eq(1)
,Ord(1)
,Read(1)
, andShow(1)
instances forEnvT
.
- Explicitly mark modules as Safe or Trustworthy
- The build-type has been changed from
Custom
toSimple
. To achieve this, thedoctests
test suite has been removed in favor of usingcabal-docspec
to run the doctests.
- Move
FunctorWithIndex (TracedT m w)
instance fromlens
. This instance depends on theindexed-traversable
package. This can be disabled using the flag of the same name.
- Achieve forward compatibility with GHC proposal 229.
- Raised the minimum
semigroups
version to 0.16.2. In addition, the package will only be required at all for GHCs before 8.0. - Drop the
contravariant
flag fromcomonad.cabal
, ascomonad
no longer depends on thecontravariant
library.
- Add
Comonad
instances forTagged s
withs
of any kind. Before the change,s
had to be of kind*
. - Allow
containers-0.6
.
- Don't enable
Safe
on GHC 7.2.
- Support
doctest-0.12
- Revamp
Setup.hs
to usecabal-doctest
. This makes it build withCabal-1.25
, and makes thedoctest
s work withcabal new-build
and sandboxes.
- Removed module
Data.Functor.Coproduct
in favor of thetransformers
package'sData.Functor.Sum
. n.b. Compatibility with older versions oftransformers
is possible usingtransformers-compat
. - Add
Comonad
instance forData.Functor.Sum.Sum
- GHC 8 compatibility
- Compiles warning-free on GHC 7.10
- Use CPP
Trustworthy
fixes for GHC 7.2
- Re-export
(Data.Functor.$>)
rather than supply our own on GHC 7.8+ - Better SafeHaskell support.
instance Monoid m => ComonadTraced m ((->) m)
- Added a
MINIMAL
pragma toComonad
. - Added
DefaultSignatures
support forComonadApply
on GHC 7.2+
- Added Kenneth Foner's fixed point as
kfix
.
- Add
Comonad
andComonadEnv
instances forArg e
fromsemigroups 0.16.3
which can be used to extract the argmin or argmax.
contravariant
1.0 support
- Added flags that supply unsupported build modes that can be convenient for sandbox users.
transformers 0.4
compatibility
- Fixed the 'Typeable' instance for 'Cokleisli on GHC 7.8.1
- Fixes to avoid warnings on GHC 7.8.1
- Merged the contents of
comonad-transformers
andcomonads-fd
into this package.
- Added
instance Comonad (Tagged s)
.
- Trustworthy or Safe depending on GHC version
- GHC 7.7 HEAD compatibility
- Updated build system