Use Max and Min rather than our own newtype

Feb 9, 2022, 1:06 AM

ZTIPFONRTUAADKBLS55ZRQ45MBZC3X36O2H4L7SD55R7ZMJ46DVAC

Dependencies

edit in src/Math/ParetoFront.hs at line 16

[2.197]

[3.75]

import Data.Semigroup(Max(..), Min(..))
edit in src/Math/ParetoFront.hs at line 37

[2.254]→[2.254:314](∅→∅)

newtype OrdDebatable a = OrdDebatable a deriving (Ord, Eq)
replacement in src/Math/ParetoFront.hs at line 38

[2.315]→[2.315:430](∅→∅)

instance Ord a => Debatable (OrdDebatable a) where
weigh (OrdDebatable a) (OrdDebatable b) = case compare a b of

[2.315]

[2.430]

instance Ord a => Debatable (Min a) where
weigh (Min a) (Min b) = case compare a b of
replacement in src/Math/ParetoFront.hs at line 44

[2.489]→[2.489:719](∅→∅)

deriving via OrdDebatable Int instance Debatable Int
deriving via OrdDebatable Integer instance Debatable Integer
deriving via OrdDebatable Double instance Debatable Double
deriving via OrdDebatable Float instance Debatable Float

[2.489]

[2.719]

deriving via Min Int instance Debatable Int
deriving via Min Integer instance Debatable Integer
deriving via Min Double instance Debatable Double
deriving via Min Float instance Debatable Float
deriving via Min (Down a) instance Ord a => Debatable (Max a)