BSD-3-Clause licensed by Edward A. Kmett
This version can be pinned in stack with:adjunctions-4.3@sha256:f88c4f5440736d64ad6a478e9feccc116727b5dc616fc6535cfe64ff75a2e980,2168
Module documentation for 4.3
- Control
- Control.Comonad
- Control.Comonad.Representable
- Control.Comonad.Trans
- Control.Monad
- Control.Monad.Representable
- Control.Monad.Trans
- Data
Depends on 15 packages
(full list with versions):
array,
base,
comonad,
containers,
contravariant,
distributive,
free,
mtl,
profunctors,
semigroupoids,
semigroups,
tagged,
transformers,
transformers-compat,
void adjunctions
This package provides adjunctions for Haskell.
Contact Information
Contributions and bug reports are welcome!
Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net.
-Edward Kmett
4.3
- Removed a spurious superclass constraint for
Applicative (StoreT g w)
- GHC 8 support
comonad
5 support
4.2.2
4.2.1
semigroupoids
5 support.
profunctors
5 support.
4.2
contravariant
1.0 support. Day
convolution moves to kan-extensions
.
4.0.3
- Silenced
Control.Monad.Instances
deprecation warnings on GHC 7.8
4.0.2
- Added
mfixRep
to make it easier to define representable MonadFix
instances.
- Added
mzipRep
and mzipWithRep
to make it easier to define representable MonadZip
instances.
- Added
duplicateRepBy
, extendRepBy
and extractRepBy
to make it easier to pick your own Monoid
.
- Minor documentation fixes.
4.0.1
- Increased lower bound on
contravariant
to match the actual requirement.
4.0
- Merged the contents of
representable-functors
.
- Removed the dependency on
keys
.
- Moved
Data.Functor.Contravariant.Representable
to Data.Functor.Contravariant.Rep
and made the API mimic Data.Profunctor.Rep
.
- Moved
Data.Functor.Representable
to Data.Functor.Rep
and made the API mimic Data.Profunctor.Rep
.
- Added
Tagged
and Proxy
instances for Data.Functor.Rep.Representable
- Added a
Proxy
instance for Data.Functor.Contravariant.Rep.Representable
3.2.1.1
- Updated the
array
dependency
3.2.1
- Marked modules appropriately
Trustworthy
.
3.2
- Updated to
representable-functors
3.1, which changed the API for contravariant representable functors.