alg 0.2.12.0 → 0.2.13.0

raw patch · 3 files changed

+5/−7 lines, 3 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

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))

+ Algebra: instance forall k1 k2 (k3 :: k1 -> k2 -> *) (b :: k1) (a :: k2). Algebra.Group (k3 b a) => Algebra.Group (Control.Category.Dual.Dual k3 a b)

+ Relation.Binary.Comparison: EQ :: Ordering

+ Relation.Binary.Comparison: GT :: Ordering

+ Relation.Binary.Comparison: LT :: Ordering

+ Relation.Binary.Comparison: [unLexical] :: Lexical a -> a

+ Relation.Binary.Comparison: data Ordering

- Relation.Binary.Comparison: infix 4 ≡

+ Relation.Binary.Comparison: infix 4 ≥

Files

Algebra.hs +2/−4
Relation/Binary/Comparison.hs +2/−2
alg.cabal +1/−1

Algebra.hs view

@@ -99,10 +99,8 @@  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+instance {-# OVERLAPPABLE #-} Base.Num a => Group (Sum a) where invert (Sum a) = Sum (Base.negate a)+instance {-# OVERLAPPABLE #-} Base.Fractional a => Group (Product a) where invert (Product a) = Product (Base.recip a)  infixl 6 +, - infixl 7 ×, *, /

Relation/Binary/Comparison.hs view

@@ -1,4 +1,4 @@-module Relation.Binary.Comparison where+module Relation.Binary.Comparison (module Relation.Binary.Comparison, Ordering (..)) where  import Prelude (Char, Integer) import qualified Prelude@@ -251,7 +251,7 @@ instance (Eq a) => Eq (Lexical (Maybe a)) instance (Ord a) => Ord (Lexical (Maybe a)) -newtype Lexical a = Lexical a deriving (PartialEq, Semigroup, Monoid, Group)+newtype Lexical a = Lexical { unLexical :: a } deriving (PartialEq, Semigroup, Monoid, Group)  instance PartialEq a => PartialEq (Maybe a) where (≡) = (≡) `on` maybe (Left ()) Right instance Preord a => Preord (Maybe a) where (≤) = (≤) `on` maybe (Left ()) Right

alg.cabal view

@@ -1,5 +1,5 @@ name:                alg-version:             0.2.12.0+version:             0.2.13.0 synopsis:            Algebraic structures -- description:          license:             BSD3