From fadaca38e1ca72f6ca7ed93bf0f150da091282f9 Mon Sep 17 00:00:00 2001
From: Oleg Grenrus <oleg.grenrus@iki.fi>
Date: Wed, 24 Apr 2024 16:08:19 +0300
Subject: [PATCH] Use quanified superclass of Eq1/Ord1 to derive instance when
 available

The laws of Eq1/Ord1, i.e. `eq1 = liftEq (==) = (==)` guarantee
that this change should be non-breaking (though observable).
---
 src/Data/Fix.hs | 29 ++++++++++++++++++++++++++++-
 1 file changed, 28 insertions(+), 1 deletion(-)

diff --git a/src/Data/Fix.hs b/src/Data/Fix.hs
index d26129b..2d484a3 100644
--- a/src/Data/Fix.hs
+++ b/src/Data/Fix.hs
@@ -9,6 +9,7 @@
 {-# LANGUAGE UndecidableInstances      #-}
 
 #define HAS_POLY_TYPEABLE MIN_VERSION_base(4,7,0)
+#define HAS_QUANTIFIED_FUNCTOR_CLASSES MIN_VERSION_base(4,18,0)
 
 #if HAS_POLY_TYPEABLE
 {-# LANGUAGE StandaloneDeriving        #-}
@@ -97,7 +98,7 @@ import Prelude (const, error, undefined)
 
 import Control.Monad        (liftM)
 import Data.Function        (on)
-import Data.Functor.Classes (Eq1, Ord1, Read1, Show1, compare1, eq1, readsPrec1, showsPrec1)
+import Data.Functor.Classes (Eq1, Ord1, Read1, Show1, readsPrec1, showsPrec1)
 import Data.Hashable        (Hashable (..))
 import Data.Hashable.Lifted (Hashable1, hashWithSalt1)
 import Data.Typeable        (Typeable)
@@ -114,6 +115,10 @@ import Data.Data (Data)
 import Data.Data
 #endif
 
+#if !HAS_QUANTIFIED_FUNCTOR_CLASSES
+import Data.Functor.Classes (compare1, eq1)
+#endif
+
 -- $setup
 -- >>> :set -XDeriveFunctor
 -- >>> import Prelude
@@ -191,10 +196,24 @@ unwrapFix = unFix
 -------------------------------------------------------------------------------
 
 instance Eq1 f => Eq (Fix f) where
+#if HAS_QUANTIFIED_FUNCTOR_CLASSES
+    Fix a == Fix b = a == b
+#else
     Fix a == Fix b = eq1 a b
+#endif
 
 instance Ord1 f => Ord (Fix f) where
+#if HAS_QUANTIFIED_FUNCTOR_CLASSES
+    compare (Fix a) (Fix b) = compare a b
+    min (Fix a) (Fix b) = Fix (min a b)
+    max (Fix a) (Fix b) = Fix (max a b)
+    Fix a >= Fix b = a >= b
+    Fix a > Fix b = a > b
+    Fix a < Fix b = a < b
+    Fix a <= Fix b = a <= b
+#else
     compare (Fix a) (Fix b) = compare1 a b
+#endif
 
 instance Show1 f => Show (Fix f) where
     showsPrec d (Fix a) =
@@ -216,10 +235,18 @@ instance Read1 f => Read (Fix f) where
 instance Hashable1 f => Hashable (Fix f) where
     hashWithSalt salt = hashWithSalt1 salt . unFix
 
+-------------------------------------------------------------------------------
+-- deepseq
+-------------------------------------------------------------------------------
+
 #if MIN_VERSION_deepseq(1,4,3)
 instance NFData1 f => NFData (Fix f) where
+#if MIN_VERSION_deepseq(1,5,0)
+    rnf (Fix a) = rnf a 
+#else
     rnf = rnf1 . unFix
 #endif
+#endif
 
 -------------------------------------------------------------------------------
 -- Typeable and Data