Test.QuickCheck.Lens

Documentation

_InsufficientCoverage :: Prism' Result (Int, [(String, Int)], String)

_NoExpectedFailure :: Prism' Result (Int, [(String, Int)], String)

_Failure :: Prism' Result (Int, Int, Int, Int, QCGen, Int, String, Maybe AnException, [(String, Int)], String)

_GaveUp :: Prism' Result (Int, [(String, Int)], String)

_Success :: Prism' Result (Int, [(String, Int)], String)

pairs :: Iso (s0, s1, s2, s3, s4, s5, s6, s7, s8, s9) (t0, t1, t2, t3, t4, t5, t6, t7, t8, t9) ((s0, s1, s2, s3, s4), (s5, s6, s7, s8, s9)) ((t0, t1, t2, t3, t4), (t5, t6, t7, t8, t9))

argReplay :: Lens' Args (Maybe (QCGen, Int))

argMaxSuccess :: Lens' Args Int

argMaxDiscardRatio :: Lens' Args Int

argMaxSize :: Lens' Args Int

argChatty :: Lens' Args Bool

type Failure = (Int, Int, Int, Int, QCGen, Int, String, Maybe AnException, [(String, Int)], String)

resNumTests :: Lens' Result Int

resLabels :: Lens' Result [(String, Int)]

resOutput :: Lens' Result String

resNumShrinks :: Lens' Failure Int

resNumShrinkTries :: Lens' Failure Int

resNumShrinkFinal :: Lens' Failure Int

resUsedSeed :: Lens' Failure QCGen

resUsedSize :: Lens' Failure Int

resReason :: Lens' Failure String

resTheException :: Lens' Failure (Maybe AnException)