5
-----
* Move `Data.Functor.Kan.Rift` to `Data.Functor.Day.Curried`
4.2.3
-----
* Builds clean on GHC 7.10
4.2.2
-----
* `semigroupoids` 5 support
4.2.1
---
* Add `liftRift` and `lowerRift`
4.2
---
* Remove pointed dependency
4.1.1
---
* Added `Applicative` instance for `Day`
* Added `Typeable` instance for `Codensity`
4.1.0.1
----
* Added `tagged` dependency
4.1
---
* Moved co- and contra- variant `Day` convolution from `contravariant` to here. Day convolution is intimately connected to `Rift`.
4.0.3
-----
* Added `liftCoT0M`, `liftCoT1M`, `diter` and `dctrlM` for using `CoT w m` to model a state machine with states in `w` and effects in `m`.
4.0.2
-----
* Made fixes necessary to work around changes in `ImpredicativeTypes` for GHC 7.8.1rc2
4.0.1
-----
* Bug fix so we can compile on GHC 7.4
4.0
---
* Removed `keys` dependency
* Now compatible with `adjunctions` 4.0
3.7
---
* Moved all the `Yoneda` variants around again.
* Improved haddocks
3.6.2
-----
* Added `Data.Functor.Contravariant.Yoneda` to complete the set of Yoneda embeddings/reductions.
3.6.1
-----
* Added several missing isomorphisms
3.6
---
* `instance Monad m => MonadSpec (Yoneda m)`
3.5.1
-----
* Fixed a bug in the signature for `composedRepToCodensity`.
3.5
---
* More combinators for `Rift`/`Lift`.
* Added combinators for working with representable functors rather than just adjoint functors.
* Split `Data.Functor.KanExtension` into `Data.Functor.Kan.Ran` and `Data.Functor.Kan.Lan`
* Split `Data.Functor.KanLift` into `Data.Functor.Kan.Rift` and `Data.Functor.Kan.Lift`
* Moved from `Data.Functor.Yoneda.Contravariant` to `Data.Functor.Yoneda.Reduction` adopting terminology from Todd Trimble.
* Added various missing isomorphisms.
* Greatly improved the Haddocks for this package stating laws and derivations where we can (especially for 'Rift' and 'Ran').
3.3
---
* Rift is now `Applicative`. Added `rap`.
3.2
---
* Added right and left Kan lifts under `Data.Functor.KanLift`.
* Decreased reliance on the `Composition` class where unnecessary in the API
3.1.2
-----
* Marked modules `Trustworthy` as required for `SafeHaskell` in the presence of these extensions.
3.1.1
-----
* Refactored build system
* IRC build-bot notification
* Removed upper bounds on dependencies on my other packages
3.1
---
* Moved `Control.Monad.Free.Church` over to the `free` package instead and removed it from `kan-extensions`