packages feed

alg 0.2.6.0 → 0.2.7.0

raw patch · 4 files changed

+8/−7 lines, 4 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

+ Relation.Binary.Comparison: instance Relation.Binary.Comparison.PartialEq a => Relation.Binary.Comparison.PartialEq (GHC.Real.Ratio a)

Files

Algebra.hs view
@@ -1,6 +1,3 @@-{-# LANGUAGE FlexibleContexts #-}-{-# LANGUAGE FlexibleInstances #-}- module Algebra (Semigroup (..), Monoid (mempty), Group (..), Abelian, Idempotent,                 (+), (-), (*), (/), (×), commuteWith) where 
Data/BitSet.hs view
@@ -1,5 +1,3 @@-{-# LANGUAGE FlexibleInstances #-}- module Data.BitSet where  import Control.Applicative
Relation/Binary/Comparison.hs view
@@ -1,4 +1,4 @@-{-# LANGUAGE FlexibleContexts, FlexibleInstances #-}+{-# LANGUAGE ViewPatterns #-}  module Relation.Binary.Comparison where @@ -16,6 +16,7 @@ import Data.Maybe import Data.Monoid (Sum (..)) import Data.Ord (Down (..), Ordering (..))+import Data.Ratio import Data.Word import Numeric.Natural @@ -270,3 +271,6 @@  instance {-# OVERLAPPABLE #-} Ord a => Semigroup (Max a) where Max a <> Max b = Max (max a b) instance {-# OVERLAPPABLE #-} Ord a => Semigroup (Min a) where Min a <> Min b = Min (min a b)++instance PartialEq a => PartialEq (Ratio a) where+    (≡) = (≡) `on` liftA2 (,) numerator denominator
alg.cabal view
@@ -1,5 +1,5 @@ name:                alg-version:             0.2.6.0+version:             0.2.7.0 synopsis:            Algebraic structures -- description:          license:             BSD3@@ -29,6 +29,8 @@                      , PartialTypeSignatures                      , TypeOperators                      , PolyKinds+                     , FlexibleContexts+                     , FlexibleInstances                      , StandaloneDeriving                      , GeneralizedNewtypeDeriving   ghc-options:         -Wall -Wcompat -Wredundant-constraints -Wno-partial-type-signatures