lib:quickcheck-lockstep

Modules

• Test.QuickCheck.StateModel.Lockstep
• Test.QuickCheck.StateModel.Lockstep.Defaults
• Test.QuickCheck.StateModel.Lockstep.Op
• Test.QuickCheck.StateModel.Lockstep.Op.Identity
• Test.QuickCheck.StateModel.Lockstep.Op.SumProd
• Test.QuickCheck.StateModel.Lockstep.Run

Dependencies

• QuickCheck lib:QuickCheck ^>=2.14 || ^>=2.15
• base lib:base >=4.14 && <4.21
• constraints lib:constraints ^>=0.13 || ^>=0.14
• containers lib:containers ^>=0.6 || ^>=0.7
• mtl lib:mtl ^>=2.2 || ^>=2.3
• quickcheck-dynamic lib:quickcheck-dynamic ^>=3.4.1

Reverse dependencies

Direct only. Not exhaustive.

• quickcheck-lockstep test:test-quickcheck-lockstep