semiring-num 0.9.0.0 → 0.9.0.1

raw patch · 2 files changed

+7/−6 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• semiring-num.cabal +1/−1
• src/Data/Semiring.hs +6/−5

@@ -1,5 +1,5 @@ name:                semiring-num-version:             0.9.0.0+version:             0.9.0.1 synopsis:            Basic semiring class and instances description:         Adds a basic semiring class homepage:            https://github.com/oisdk/semiring-num

@@ -91,9 +91,10 @@ -- @'zero' '<.>' a = a '<.>' 'zero' = 'zero'@ -- -- An ordered semiring follows the laws:--- @x '<=' y => x '<+>' z '<=' y '<+>' z@--- @x '<=' y => x '<+>' z '<=' y '<+>' z@--- @'zero' '<=' z '&&' x '<=' y => x '<.>' z '<=' y '<.>' z '&&' z '<.>' x '<=' z '<.>' y@+--+-- @x '<=' y => x '<+>' z '<=' y '<+>' z+--x '<=' y => x '<+>' z '<=' y '<+>' z+--'zero' '<=' z '&&' x '<=' y => x '<.>' z '<=' y '<.>' z '&&' z '<.>' x '<=' z '<.>' y@ class Semiring a  where     -- | The identity of '<+>'.     zero@@ -358,7 +359,7 @@ -- min-plus semiring. It is a semiring where: -- -- @'<+>'  = 'min'---'zero' = ∞ -- represented by 'Nothing'+--'zero' = ∞ --'<.>'  = '<+>' --'one'  = 'zero'@ --@@ -378,7 +379,7 @@ -- or max-plus semiring. It is a semiring where: -- -- @'<+>'  = 'max'---'zero' = -∞ -- represented by 'Nothing'+--'zero' = -∞ --'<.>'  = '<+>' --'one'  = 'zero'@ --