ouroboros-network-testing-0.1.0.1: Common modules used for testing in ouroboros-network and ouroboros-consensus
Safe Haskell None
Language Haskell2010

Ouroboros.Network.Testing.QuickCheck

Synopsis

Documentation

runSimGen :: ( forall 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 => ( forall 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