From d871761d418a5bb62b2e323516ec30e4b4c4c8e7 Mon Sep 17 00:00:00 2001 From: Daniel Firth Date: Sun, 8 Dec 2024 17:15:42 +0000 Subject: [PATCH] Remove unused function forAll2 --- hydra-test-utils/src/Test/Hydra/Prelude.hs | 15 +-------------- 1 file changed, 1 insertion(+), 14 deletions(-) diff --git a/hydra-test-utils/src/Test/Hydra/Prelude.hs b/hydra-test-utils/src/Test/Hydra/Prelude.hs index a38ce8fdea7..2b4b8a04d69 100644 --- a/hydra-test-utils/src/Test/Hydra/Prelude.hs +++ b/hydra-test-utils/src/Test/Hydra/Prelude.hs @@ -7,7 +7,6 @@ module Test.Hydra.Prelude ( reasonablySized, ReasonablySized (..), genericCoverTable, - forAll2, pickBlind, module Test.Hspec, module Test.Hspec.QuickCheck, @@ -41,7 +40,7 @@ import Test.Hspec.Api.Formatters.V1 (formatterToFormat, specdoc) import Test.Hspec.Core.Format (Format, FormatConfig (..)) import Test.Hspec.JUnit (defaultJUnitConfig, junitFormat, setJUnitConfigOutputFile) import Test.Hspec.MarkdownFormatter (markdownFormatter) -import Test.QuickCheck (Property, Testable, coverTable, forAll, forAllBlind, tabulate) +import Test.QuickCheck (Property, Testable, coverTable, forAllBlind, tabulate) import Test.QuickCheck.Monadic (PropertyM (MkPropertyM)) -- | Create a unique directory in the caonical, system-specific temporary path, @@ -210,18 +209,6 @@ genericCoverTable xs = enumerate = [minBound .. maxBound] numberOfLabels = toInteger $ length allLabels --- | Shorthand for using 2 generated values in a property. -forAll2 :: - (Testable property, Show a, Show b) => - Gen a -> - Gen b -> - ((a, b) -> property) -> - Property -forAll2 genA genB action = - forAll genA $ \a -> - forAll genB $ \b -> - action (a, b) - -- | Like 'pick' but using 'forAllBlind' under the hood. pickBlind :: Monad m => Gen a -> PropertyM m a pickBlind gen = MkPropertyM $ \k -> do