Skip to content

Commit

Permalink
Remove unused function forAll2
Browse files Browse the repository at this point in the history
  • Loading branch information
locallycompact committed Dec 8, 2024
1 parent 9b8c189 commit d871761
Showing 1 changed file with 1 addition and 14 deletions.
15 changes: 1 addition & 14 deletions hydra-test-utils/src/Test/Hydra/Prelude.hs
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,6 @@ module Test.Hydra.Prelude (
reasonablySized,
ReasonablySized (..),
genericCoverTable,
forAll2,
pickBlind,
module Test.Hspec,
module Test.Hspec.QuickCheck,
Expand Down Expand Up @@ -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,
Expand Down Expand Up @@ -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
Expand Down

0 comments on commit d871761

Please sign in to comment.