yaya-hedgehog 0.3.0.0 → 0.3.0.1

raw patch · 2 files changed

+54/−15 lines, 2 filesdep ~yayaPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: yaya

API changes (from Hackage documentation)

Files

• tests/Test/Retrofit.hs +51/−12
• yaya-hedgehog.cabal +3/−3

@@ -6,30 +6,69 @@ module Test.Retrofit (tests) where  import safe "base" Data.Bool (Bool)-import safe "base" Data.Eq (Eq)+import safe "base" Data.Eq (Eq ((==))) import safe "base" Data.Int (Int)+import safe "base" Data.Ord (Ord (compare)) import safe "base" System.IO (IO)-import safe "base" Text.Show (Show)+import safe "base" Text.Read+  ( Read (readListPrec, readPrec),+    readListPrecDefault,+  )+import safe "base" Text.Show (Show (showsPrec))+import safe "deriving-compat" Data.Eq.Deriving (deriveEq1)+import safe "deriving-compat" Data.Ord.Deriving (deriveOrd1)+import safe "deriving-compat" Text.Read.Deriving (deriveRead1)+import safe "deriving-compat" Text.Show.Deriving (deriveShow1) import safe "hedgehog" Hedgehog (checkParallel, discover)-import safe "yaya" Yaya.Retrofit (defaultRules, extractPatternFunctor)+import safe "yaya" Yaya.Retrofit+  ( defaultRules,+    extractPatternFunctor,+    recursiveCompare,+    recursiveEq,+    recursiveShowsPrec,+    steppableReadPrec,+  )  data DExpr   = Lit Int   | Add DExpr DExpr   | Mult DExpr DExpr-  deriving stock (Eq, Show)  extractPatternFunctor defaultRules ''DExpr --- -- | This can be derived in this case, but we want to ensure we could define it--- --   if necessary.--- instance Eq DExpr where---   (==) = recursiveEq+deriving stock instance (Eq a) => Eq (DExprF a) --- -- | This can be derived in this case, but we want to ensure we could define it--- --   if necessary.--- instance Show DExpr where---   showsPrec = recursiveShowsPrec+deriving stock instance (Ord a) => Ord (DExprF a)++deriving stock instance (Read a) => Read (DExprF a)++deriving stock instance (Show a) => Show (DExprF a)++deriveEq1 ''DExprF+deriveOrd1 ''DExprF+deriveRead1 ''DExprF+deriveShow1 ''DExprF++-- | This can be derived in this case, but we want to ensure we could define it+--   if necessary.+instance Eq DExpr where+  (==) = recursiveEq++-- | This can be derived in this case, but we want to ensure we could define it+--   if necessary.+instance Ord DExpr where+  compare = recursiveCompare++-- | This can be derived in this case, but we want to ensure we could define it+--   if necessary.+instance Read DExpr where+  readPrec = steppableReadPrec+  readListPrec = readListPrecDefault++-- | This can be derived in this case, but we want to ensure we could define it+--   if necessary.+instance Show DExpr where+  showsPrec = recursiveShowsPrec  tests :: IO Bool tests = checkParallel $$discover

@@ -1,7 +1,7 @@ cabal-version:  3.0  name:        yaya-hedgehog-version:     0.3.0.0+version:     0.3.0.1 synopsis:    Hedgehog testing support for the Yaya recursion scheme              library. description: If you use Yaya in your own code and have tests written@@ -160,7 +160,7 @@   build-depends:     deriving-compat ^>= {0.5.9, 0.6},     hedgehog ^>= {1.0, 1.1, 1.2, 1.4},-    yaya ^>= {0.6.0},+    yaya ^>= {0.5.1, 0.6.0},   ghc-options:     -trust adjunctions     -trust array@@ -220,7 +220,7 @@   build-depends:     deriving-compat ^>= {0.5.9, 0.6},     hedgehog ^>= {1.0, 1.1, 1.2, 1.4},-    yaya ^>= {0.6.0},+    yaya ^>= {0.5.1, 0.6.0},     yaya-hedgehog,   ghc-options:     -rtsopts