ouroboros-network-testing
Safe HaskellNone
LanguageHaskell2010

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