Overview
Request 623834 superseded
- 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`.
* Added a true Cotambara and Copastro construction for (co)freely generating
* Engaged in a fair bit of bikeshedding about the module structure for lesser used
* Added Prep and Coprep along with witnesses to the adjunctions
* UpStar and DownStar have become Star and Costar. Star is analogous to Kleisli,
* Moved Data.Profunctor.Collage to semigroupoids 5, and removed the semigroupoids
- initial commit
- Created by psimons
- In state superseded
- Superseded by 624316
- Open review for openSUSE:Factory:Staging:adi:14
Request History
psimons created request
- 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`.
* Added a true Cotambara and Copastro construction for (co)freely generating
* Engaged in a fair bit of bikeshedding about the module structure for lesser used
* Added Prep and Coprep along with witnesses to the adjunctions
* UpStar and DownStar have become Star and Costar. Star is analogous to Kleisli,
* Moved Data.Profunctor.Collage to semigroupoids 5, and removed the semigroupoids
- initial commit
licensedigger accepted review
ok
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto added repo-checker as a reviewer
Please review build success
factory-auto accepted review
Check script succeeded
staging-bot added as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:14"
staging-bot accepted review
Picked openSUSE:Factory:Staging:adi:14
repo-checker accepted review
cycle and install check passed
dimstar accepted review
ok
superseded by 624316