5
-
* `UpStar` and `DownStar` have become `Star` and `Costar`. `Star` is analogous to `Kleisli`, `Costar` is analogous to `Cokleisli`.
* Split representability into sieves and representability.
* Moved `Data.Profunctor.Collage` to `semigroupoids` 5, and removed the `semigroupoids` dependency.
* Rather greatly widened the range of GHC versions we can support.
4.4.1
-------
* Using `SafeHaskell`, GHC 7.8+ `Data.Profunctor.Unsafe` now infers as `Trustworthy` and
many more modules now infer as `Safe`.
* We now build warning-free on GHC 7.10.0.20150307
4.4
-----
* Added `Coercible` constraint to (#.) and (.#) when building with GHC 7.8
* `Strong` is now a superclass of `Representable`
* Updated the URL of the "Arrows are Strong Monads" paper. The old URL is now a dead link.
4.3.2
-----
* Added some missing instances for `UpStar` and `DownStar`.
4.3
---
* Removed the non law-abiding instance for `Closed (Forget r)`
* `Forget` is `Representable`
* MINIMAL pragmas
4.2.0.1
-------
* Avoided using 'type' in the export list, as that doesn't work on 7.4.
4.2
---
* Renamed `-|` to `ProfunctorAdjunction` because GHC 7.4 still exists in the wild.
* Renamed `-/->` to `:->` for the same reason. Also the former was confusing as they conflated profunctor homomorphisms and profunctors themselves.
4.1
---
* Flipped the order of 'Procompose'
* Added the notion of Monads and Comonads on the category of profunctors.
* Added 'Cayley' which takes normal Haskell Monads and Comonads to a 'ProfunctorMonad' and 'ProfunctorComonad' respectively. Cayley is also known as the 'static arrow' construction
* Added 'Closed' which is adjoint to 'Strong'.
* Added 'Closure' which freely adjoins 'Closed' to any 'Profunctor'.
* Added 'Tambara' which freely adjoins 'Strong' to any 'Profunctor'.
* Added 'Cotambara' which freely adjoins 'Choice' to any 'Profunctor'.
* Under the new 'Procompose' the old 'Rift' is now 'Ran', and the old 'Lift' was misnamed. It is now 'Rift'
4.0.3
-----
* Added `Data.Profunctor.Lift` containing the left Kan lift of a profunctor.
4.0.2
-----
* Added `assoc` to `Data.Profunctor.Composition` so that we have all 3 associators.
4.0
---
* Merged the contents of `profunctor-extras` into `profunctors`.
3.3
---
* Added `instance Choice (Upstar f)` and introduced `Forget`.
3.2
---
* Renamed `Lenticular` and `Prismatic` to `Strong` and `Choice`, and restructured them.
3.1.3
-----
* Removed upper bounds on my own intra-package dependencies
3.1.1
-----
* Added Documentation!
* Added `Lenticular` and `Prismatic` Profunctors
3.1
---
* instance Profunctor Tagged
3.0
---
* Updated version number to match the rest of my libraries