semilattices 0.0.0.0 → 0.0.0.1
raw patch · 3 files changed
+10/−2 lines, 3 filesPVP: minor bump suggested
API additions: PVP suggests at least a minor version bump
API changes (from Hackage documentation)
+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower (Data.Monoid.Endo a)
+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower (Data.Monoid.First a)
+ Data.Semilattice.Lower: instance Data.Semilattice.Lower.Lower (Data.Monoid.Last a)
Files
- ChangeLog.md +5/−0
- semilattices.cabal +2/−2
- src/Data/Semilattice/Lower.hs +3/−0
ChangeLog.md view
@@ -1,3 +1,8 @@+# 0.0.0.1++Add `Lower` instances for some `Data.Monoid` types.++ # 0.0.0.0 Initial release on hackage.
semilattices.cabal view
@@ -1,5 +1,5 @@ name: semilattices-version: 0.0.0.0+version: 0.0.0.1 synopsis: Semilattices description: Join- and meet-semilattices, with optional upper and lower bounds, and a variety of instances for each. homepage: https://github.com/robrix/semilattices@@ -7,7 +7,7 @@ license-file: LICENSE author: Rob Rix maintainer: rob.rix@me.com-copyright: 2017 Rob Rix+copyright: 2017-2018 Rob Rix category: Algebra, Data, Data Structures, Math build-type: Simple cabal-version: >=1.10
src/Data/Semilattice/Lower.hs view
@@ -122,6 +122,9 @@ instance Lower a => Lower (Product a) where lowerBound = Product lowerBound instance Lower a => Lower (Sum a) where lowerBound = Sum lowerBound instance Lower a => Lower (Dual a) where lowerBound = Dual lowerBound+instance Lower (Endo a) where lowerBound = Endo id+instance Lower (Monoid.First a) where lowerBound = mempty+instance Lower (Monoid.Last a) where lowerBound = mempty -- Data.Proxy instance Lower (Proxy a)