alg 0.2.11.0 → 0.2.12.0
raw patch · 3 files changed
+8/−3 lines, 3 filesdep +dualPVP ok
version bump matches the API change (PVP)
Dependencies added: dual
API changes (from Hackage documentation)
+ Algebra: instance Algebra.Group (k b a) => Algebra.Group (Control.Category.Dual.Dual k a b)
+ Algebra: instance GHC.Real.Integral a => Algebra.Group (Data.Semigroup.Internal.Product (GHC.Real.Ratio a))
Files
- Algebra.hs +6/−0
- Relation/Binary/Comparison.hs +0/−2
- alg.cabal +2/−1
Algebra.hs view
@@ -2,6 +2,7 @@ (+), (-), (*), (/), (×), commuteWith) where import Control.Category+import qualified Control.Category.Dual as C import Data.Functor import Data.Functor.Const import Data.Functor.Identity@@ -12,6 +13,7 @@ import Numeric.Natural import Prelude (Int, Integer) import qualified Prelude as Base+import qualified Data.Ratio as Base class Semigroup a => Abelian a @@ -95,8 +97,12 @@ instance Group b => Group (a -> b) where invert = (.) invert +deriving instance Group (k b a) => Group (C.Dual k a b)+ instance Base.Num a => Group (Sum a) where invert (Sum a) = Sum (Base.negate a) instance Base.Fractional a => Group (Product a) where invert (Product a) = Product (Base.recip a)++instance Base.Integral a => Group (Product (Base.Ratio a)) where invert = fmap Base.recip infixl 6 +, - infixl 7 ×, *, /
Relation/Binary/Comparison.hs view
@@ -1,5 +1,3 @@-{-# LANGUAGE ViewPatterns #-}- module Relation.Binary.Comparison where import Prelude (Char, Integer)
alg.cabal view
@@ -1,5 +1,5 @@ name: alg-version: 0.2.11.0+version: 0.2.12.0 synopsis: Algebraic structures -- description: license: BSD3@@ -21,6 +21,7 @@ -- other-modules: other-extensions: build-depends: base >=4.11 && <5+ , dual >=0.1 && <0.2 , util >=0.1.9 && <0.2 -- hs-source-dirs: default-language: Haskell2010