update rerefined, strongweak

binrep.cabal

@@ -98,8 +98,8 @@ library
     , generic-type-functions >=0.1.0 && <0.2
     , ghc-bignum ==1.3.*
     , parser-combinators >=1.3.0 && <1.4
-    , rerefined >=0.6.0 && <0.7
-    , strongweak >=0.9.1 && <0.10
+    , rerefined >=0.8.0 && <0.9
+    , strongweak >=0.10.0 && <0.11
     , text >=2.0 && <2.2
     , text-builder-linear >=0.1.3 && <0.2
     , type-level-bytestrings >=0.1.0 && <0.3
@@ -151,8 +151,8 @@ test-suite spec
     , hspec >=2.7 && <2.12
     , parser-combinators >=1.3.0 && <1.4
     , quickcheck-instances >=0.3.26 && <0.4
-    , rerefined >=0.6.0 && <0.7
-    , strongweak >=0.9.1 && <0.10
+    , rerefined >=0.8.0 && <0.9
+    , strongweak >=0.10.0 && <0.11
     , text >=2.0 && <2.2
     , text-builder-linear >=0.1.3 && <0.2
     , type-level-bytestrings >=0.1.0 && <0.3
@@ -196,8 +196,8 @@ benchmark bench
     , generic-type-functions >=0.1.0 && <0.2
     , ghc-bignum ==1.3.*
     , parser-combinators >=1.3.0 && <1.4
-    , rerefined >=0.6.0 && <0.7
-    , strongweak >=0.9.1 && <0.10
+    , rerefined >=0.8.0 && <0.9
+    , strongweak >=0.10.0 && <0.11
     , text >=2.0 && <2.2
     , text-builder-linear >=0.1.3 && <0.2
     , type-level-bytestrings >=0.1.0 && <0.3

package.yaml

@@ -68,11 +68,11 @@ dependencies:
 - generic-data-functions ^>= 0.6.0
 - generic-type-asserts ^>= 0.3.0
 - generic-type-functions ^>= 0.1.0
-- strongweak ^>= 0.9.1
+- strongweak ^>= 0.10.0
 - defun-core ^>= 0.1
 
 # core instances
-- rerefined ^>= 0.6.0
+- rerefined ^>= 0.8.0
 
 # types
 - type-level-show ^>= 0.3.0

src/Binrep/Type/AsciiNat.hs

@@ -61,7 +61,7 @@ instance Predicate (AsciiNat base) where
 
 instance (KnownPredicateName (AsciiNat base), Num a, Ord a)
   => Refine (AsciiNat base) a where
-    validate = validateVia @(CompareValue GTE Pos 0)
+    validate = validateVia @(CompareValue RelOpGTE Pos 0)
 
 -- | Compare two 'AsciiNat's, ignoring base information.
 asciiNatCompare

src/Binrep/Type/Magic.hs

@@ -50,8 +50,8 @@ data Magic a where Magic :: forall {k} (a :: k). Magic a
     deriving stock (Generic, Data, Show, Eq)
 
 -- | Weaken a @'Magic' a@ to the unit '()'.
-instance Weaken (Magic a) where
-    type Weak (Magic a) = ()
+instance Weaken   (Magic a) where
+    type Weakened (Magic a) = ()
     weaken Magic = ()
 
 -- | Strengthen the unit '()' to some @'Magic' a@.