AArch64 | |
ppc64le | |
s390x | |
x86-64 |
- Update profunctors to version 5.5.2. 5.5.2 [2020.02.13] - ----------------- * Add `Cochoice`, `Costrong`, `Closed`, `Traversing`, and `Mapping` instances for `Cayley`. * Add `Mapping` and `Traversing` instances for `Tannen`.
- Update profunctors to version 5.5.1. 5.5.1 [2019.11.26] - ----------------- * Add `Choice`, `Cochoice`, `Closed`, `Strong`, and `Costrong` instances for `Data.Bifunctor.Sum`.
- Drop obsolete group attributes.
- Update profunctors to version 5.5. 5.5 [2019.09.06] - --------------- * Change the type of `roam` to make it actually useful. * Add a `Cochoice` instance for `Forget`.
- Update profunctors to version 5.4. 5.4 [2019.05.10] - --------------- * Add `wander`-like combinator `roam` to `Mapping`. * Remove illegal `instance Choice (Costar w)`. * Add `strong` combinator #62. * Only depend on `semigroups` before GHC 8.0. * Add `Contravariant` instances for `Star` and `Forget`.
- 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