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.