semirings 0.3.1.1 → 0.3.1.2

raw patch · 3 files changed

+60/−31 lines, 3 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

Files

• CHANGELOG.md +6/−0
• Data/Semiring.hs +53/−30
• semirings.cabal +1/−1

@@ -1,3 +1,9 @@+0.3.1.2: [2019.04.02]+---------------------+* Fix build error on windows caused by providing instances+  to POSIX types. Thanks to @Bodigrim and @CarlEdman for+  reporting this.+ 0.3.1.1: [2019.01.12] --------------------- * Fix build error caused by disabling building with containers.

@@ -140,10 +140,19 @@ import           GHC.Real (Integral, Fractional, Real, RealFrac) import           GHC.Show (Show) import           Numeric.Natural (Natural)++#ifdef mingw32_HOST_OS+#define HOST_OS_WINDOWS 1+#else+#define HOST_OS_WINDOWS 0+#endif++#if !HOST_OS_WINDOWS import           System.Posix.Types   (CCc, CDev, CGid, CIno, CMode, CNlink,    COff, CPid, CRLim, CSpeed, CSsize,    CTcflag, CUid, Fd)+#endif  infixl 7 *, `times` infixl 6 +, `plus`, -, `minus`@@ -397,26 +406,31 @@ -- convention when talking about semirings. -- -- For any type R with a 'Prelude.Num'--- instance, the additive monoid is (R, '(Prelude.+)', 0)--- and the multiplicative monoid is (R, '(Prelude.*)', 1).+-- instance, the additive monoid is (R, 'Prelude.+', 0)+-- and the multiplicative monoid is (R, 'Prelude.*', 1). -- -- For 'Prelude.Bool', the additive monoid is ('Prelude.Bool', 'Prelude.||', 'Prelude.False') -- and the multiplicative monoid is ('Prelude.Bool', 'Prelude.&&', 'Prelude.True'). -- -- Instances should satisfy the following laws: ----- [/additive identity/]---     @x '+' 'zero' = 'zero' '+' x = x@+-- [/additive left identity/]+--     @'zero' '+' x = x@+-- [/additive right identity/]+--     @x '+' 'zero' = x@ -- [/additive associativity/] --     @x '+' (y '+' z) = (x '+' y) '+' z@ -- [/additive commutativity/] --     @x '+' y = y '+' x@--- [/multiplicative identity/]---     @x '*' 'one' = 'one' '*' x = x@+-- [/multiplicative left identity/]+--     @'one' '*' x = x@    +-- [/multiplicative right identity/]+--     @x '*' 'one' = x@  -- [/multiplicative associativity/] --     @x '*' (y '*' z) = (x '*' y) '*' z@--- [/left- and right-distributivity of '*' over '+'/]+-- [/left-distributivity of '*' over '+'/] --     @x '*' (y '+' z) = (x '*' y) '+' (x '*' z)@+-- [/right-distributivity of '*' over '+'/]    --     @(x '+' y) '*' z = (x '*' z) '+' (y '*' z)@ -- [/annihilation/] --     @'zero' '*' x = x '*' 'zero' = 'zero'@@@ -685,21 +699,26 @@ deriveSemiring(CChar) deriveSemiring(IntPtr) deriveSemiring(WordPtr)-deriveSemiring(Fd)-deriveSemiring(CRLim)-deriveSemiring(CTcflag)-deriveSemiring(CSpeed)++#if !HOST_OS_WINDOWS deriveSemiring(CCc)-deriveSemiring(CUid)-deriveSemiring(CNlink)+deriveSemiring(CDev) deriveSemiring(CGid)-deriveSemiring(CSsize)-deriveSemiring(CPid)-deriveSemiring(COff)-deriveSemiring(CMode) deriveSemiring(CIno)-deriveSemiring(CDev)+deriveSemiring(CMode)+deriveSemiring(CNlink)+deriveSemiring(COff)+deriveSemiring(CPid)+deriveSemiring(CRLim)+deriveSemiring(CSpeed)+deriveSemiring(CSsize)+deriveSemiring(CTcflag)+deriveSemiring(CUid)+deriveSemiring(Fd)+#endif+ deriveSemiring(Natural)+ instance Integral a => Semiring (Ratio a) where   {-# SPECIALIZE instance Semiring Rational #-}   zero  = 0 % 1@@ -770,21 +789,25 @@ deriveRing(CChar) deriveRing(IntPtr) deriveRing(WordPtr)-deriveRing(Fd)-deriveRing(CRLim)-deriveRing(CTcflag)-deriveRing(CSpeed)+deriveRing(Natural)++#if !HOST_OS_WINDOWS deriveRing(CCc)-deriveRing(CUid)-deriveRing(CNlink)+deriveRing(CDev) deriveRing(CGid)-deriveRing(CSsize)-deriveRing(CPid)-deriveRing(COff)-deriveRing(CMode) deriveRing(CIno)-deriveRing(CDev)-deriveRing(Natural)+deriveRing(CMode)+deriveRing(CNlink)+deriveRing(COff)+deriveRing(CPid)+deriveRing(CRLim)+deriveRing(CSpeed)+deriveRing(CSsize)+deriveRing(CTcflag)+deriveRing(CUid)+deriveRing(Fd)+#endif+ instance Integral a => Ring (Ratio a) where   negate = Num.negate   {-# INLINE negate #-}

@@ -1,6 +1,6 @@ name:          semirings category:      Algebra, Data, Data Structures, Math, Maths, Mathematics-version:       0.3.1.1+version:       0.3.1.2 license:       BSD3 cabal-version: >= 1.10 license-file:  LICENSE