ouroboros-consensus:unstable-consensus-testlib
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Ouroboros.Consensus.QuickCheck.Extras

Synopsis

Documentation

sized1 ∷ (Int → Gen a) → Gen a Source #

unsafeMapSuchThatJust ∷ Gen (Maybe a) → Gen a Source #

A generator that checks its own satisfaction

WARNING: suchThat et al often causes a very confusing non-termination when its argument is impossible/extremely unlikely