profunctors 5 → 5.0.0.1

raw patch · 3 files changed

+6/−2 lines, 3 files

Files

CHANGELOG.markdown +4/−0
profunctors.cabal +1/−1
src/Data/Profunctor/Sieve.hs +1/−1

CHANGELOG.markdown view

@@ -1,3 +1,7 @@+5.0.0.1+-------+* Documentation fix+ 5 - * `UpStar` and `DownStar` have become `Star` and `Costar`. `Star` is analogous to `Kleisli`, `Costar` is analogous to `Cokleisli`.

profunctors.cabal view

@@ -1,6 +1,6 @@ name:          profunctors category:      Control, Categories-version:       5+version:       5.0.0.1 license:       BSD3 cabal-version: >= 1.10 license-file:  LICENSE

src/Data/Profunctor/Sieve.hs view

@@ -54,7 +54,7 @@   sieve = (Const .) . runForget   {-# INLINE sieve #-} --- | A 'Profunctor' @p@ is a 'Sieve' __on__ @f@ if it is a subprofunctor of @'Costar' f@.+-- | A 'Profunctor' @p@ is a 'Cosieve' __on__ @f@ if it is a subprofunctor of @'Costar' f@. -- -- That is to say it is a subset of @Hom(f-,=)@ closed under 'lmap' and 'rmap'. --