| AArch64 | |
| ppc64le | |
| s390x | |
| x86-64 |
- Use https URL to refer to bugs.opensuse.org.
- Cosmetic: replace tabs with blanks, strip trailing white space, and update copyright headers with spec-cleaner.
- Update profunctors to version 5.3.
5.3 [2018.07.02]
- ---------------
* Generalize the types of `(#.)` and `(.#)`. Before, they were:
```haskell
(#.) :: (Profunctor p, Coercible c b) => (b -> c) -> p a b -> p a c
(.#) :: (Profunctor p, Coercible b a) => p b c -> (a -> b) -> p a c
```
Now, they are:
```haskell
(#.) :: (Profunctor p, Coercible c b) => q b c -> p a b -> p a c
(.#) :: (Profunctor p, Coercible b a) => p b c -> q a b -> p a c
```
* Drop support for GHC < 7.8.
* Add a `Profunctor` instance for `Data.Bifunctor.Sum`.
- Update profunctors to version 5.2.2 revision 1. * Add `Semigroup` instances for `Closure` and `Tambara` * Allow `base-orphans-0.6`. * Add `Traversing` instance for `Forget` * Add `Traversing` and `Mapping` instances for `Procompose` * Add `Category` instance for `Star` * Add `mapCayley` to `Data.Profunctor.Cayley` * Add `pastro` and `unpastro` to `Data.Profunctor.Strong`. * Add `dimapWandering`, `lmapWandering`, and `rmapWandering` to `Data.Profunctor.Traversing` * Add documentation stating the laws for various profunctors. * Introduce the `Data.Profunctor.Yoneda` module.
- Update to version 5.2 revision 1 with cabal2obs.
- Update to version 5.2 revision 0 with cabal2obs.
- update to 5.2
* Renamed Cotambara to TambaraChoice and Pastro to PastroChoice.
* Added a true Cotambara and Copastro construction for (co)freely generating
costrength, along with CotambaraSum and CopastroSum variants.
* Engaged in a fair bit of bikeshedding about the module structure for lesser used
modules in this package.
- update to 5.1.2 * Added Prep and Coprep along with witnesses to the adjunctions Prep -| Star : [Hask,Hask] -> Prof and Coprep -| Costar : [Hask,Hask]^op -> Prof.
- update to 5.1.1 * Add proper support for GHC 7.0+. * instance Costrong (Cokleisli f). * instance Cochoice (Star f). * Changed the instance for Cochoice (Costar f). * MINIMAL pragma for Costrong and Cochoice. * More Costrong and Cochoice instances. * 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.
- initial commit