update rerefined dependency

Author: raehik

flake.lock

@@ -63,7 +63,7 @@ dependencies:
 - text-builder-linear ^>= 0.1.3
 
 # instances
-- rerefined ^>= 0.6.0
+- rerefined ^>= 0.8.0
 - vector-sized >= 1.5.0 && < 1.7
 - vector >= 0.12.3.1 && < 0.14
 

package.yaml

@@ -55,7 +55,7 @@ library
   ghc-options: -fhide-source-paths -Wall
   build-depends:
       base >=4.18 && <5
-    , rerefined >=0.6.0 && <0.7
+    , rerefined >=0.8.0 && <0.9
     , text >=2.0 && <2.2
     , text-builder-linear >=0.1.3 && <0.2
     , vector >=0.12.3.1 && <0.14
@@ -91,7 +91,7 @@ test-suite spec
     , generic-random >=1.5.0.1 && <1.6
     , hspec >=2.7 && <2.12
     , quickcheck-instances >=0.3.26 && <0.4
-    , rerefined >=0.6.0 && <0.7
+    , rerefined >=0.8.0 && <0.9
     , strongweak
     , text >=2.0 && <2.2
     , text-builder-linear >=0.1.3 && <0.2

strongweak.cabal

@@ -14,7 +14,7 @@ import Test.QuickCheck.Instances.Natural()
 
 data DS (s :: Strength)
   = DS0 (SW s Word8) (SW s Word8) Word8 (SW s Word8) (SW s Word8)
-  | DS1 (SW s (Refined (CompareValue LT Pos 100) Natural))
+  | DS1 (SW s (Refined (CompareValue RelOpLT Pos 100) Natural))
     deriving stock (Generic)
 
 deriving stock instance Eq   (DS Strong)
@@ -32,7 +32,7 @@ instance Strengthen (DS Strong) where strengthen = strengthenGeneric
 
 data DP (s :: Strength) = DP
   { dp1f0 :: SW s Word32
-  , dp1f1 :: SW s (Refined (CompareValue GT Pos 42) Natural)
+  , dp1f1 :: SW s (Refined (CompareValue RelOpGT Pos 42) Natural)
   , dp1f2 :: SW s Word8
   , dp1f3 :: Word8
   , dp1f4 :: SW s Word8