switch QuickCheck imports from hiding to implicit

Author: fraser-iohk

ouroboros-consensus-cardano/src/unstable-cardano-testlib/Test/Consensus/Cardano/Generators.hs

@@ -59,7 +59,7 @@ import Test.Consensus.Byron.Generators ()
 import Test.Consensus.Protocol.Serialisation.Generators ()
 import Test.Consensus.Shelley.Generators
 import Test.Consensus.Shelley.MockCrypto (CanMock)
-import Test.QuickCheck hiding (Some (..))
+import Test.QuickCheck (Arbitrary (..), Gen, choose, elements, frequency, oneof, vectorOf)
 import Test.Util.Orphans.Arbitrary ()
 import Test.Util.Serialisation.Roundtrip
   ( Coherent (..)

ouroboros-consensus/test/consensus-test/Test/Consensus/HardFork/Forecast.hs

@@ -56,9 +56,23 @@ import Ouroboros.Consensus.HardFork.History.Util
 import Ouroboros.Consensus.Ledger.Tables.Combinators (K2 (..))
 import Ouroboros.Consensus.Util (Some (..), repeatedly, splits)
 import Test.Consensus.HardFork.Infra
-import Test.QuickCheck hiding (Some (..))
+import Test.QuickCheck
+  ( Arbitrary (..)
+  , Gen
+  , Property
+  , choose
+  , conjoin
+  , counterexample
+  , elements
+  , oneof
+  , property
+  , shrinkList
+  , sized
+  , tabulate
+  , (===)
+  )
 import Test.Tasty
-import Test.Tasty.QuickCheck hiding (Some (..))
+import Test.Tasty.QuickCheck (testProperty)
 import Test.Util.QuickCheck
 
 tests :: TestTree

ouroboros-consensus/test/storage-test/Test/Ouroboros/Storage/LedgerDB/StateMachine.hs

@@ -89,7 +89,7 @@ import qualified Test.QuickCheck as QC
 import qualified Test.QuickCheck.Monadic as QC
 import Test.QuickCheck.StateModel
 import Test.Tasty
-import Test.Tasty.QuickCheck hiding (Some (..))
+import Test.Tasty.QuickCheck (frequency, tabulate, testProperty)
 import Test.Util.TestBlock hiding
   ( TestBlock
   , TestBlockCodecConfig