ouroboros-network-testing-0.1.0.0: Common modules used for testing in ouroboros-network and ouroboros-consensus
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Network.Testing.QuickCheck

Synopsis
  • runSimGen ∷ (∀ s. Gen (IOSim s a)) → Gen a
  • monadicSim ∷ Testable a ⇒ (∀ s. PropertyM (IOSim s) a) → Property

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