ouroboros-consensus-0.18.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.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