AArch64 | |
ppc64le | |
s390x | |
x86-64 |
- 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