ouroboros-network-testing-0.6.1.0: Common modules used for testing in ouroboros-network and ouroboros-consensus
Safe HaskellSafe-Inferred
LanguageHaskell2010

Ouroboros.Network.Testing.QuickCheck

Synopsis

Documentation

runSimGen ∷ (∀ s. Gen (IOSim s a)) → Gen a Source #

IOSim analogue of runSTGen

runSTGen  :: (forall s. Gen (ST    s a)) -> Gen a
runSimGen :: (forall s. Gen (IOSim s a)) -> Gen a

monadicSim ∷ Testable a ⇒ (∀ s. PropertyM (IOSim s) a) → Property Source #

IOSim analogue of monadicST

monadicST  :: Testable a => (forall s. PropertyM (ST    s) a) -> Property
monadicSim :: Testable a => (forall s. PropertyM (IOSim s) a) -> Property