lib:quickcheck-state-machine

Modules

• Test.StateMachine
• Test.StateMachine.Internal.Parallel
• Test.StateMachine.Internal.Sequential
• Test.StateMachine.Internal.Types
• Test.StateMachine.Internal.Types.Environment
• Test.StateMachine.Internal.Utils
• Test.StateMachine.Internal.Utils.BoxDrawer
• Test.StateMachine.Logic
• Test.StateMachine.TH
• Test.StateMachine.Types
• Test.StateMachine.Types.Generics
• Test.StateMachine.Types.Generics.TH
• Test.StateMachine.Types.HFunctor
• Test.StateMachine.Types.HFunctor.TH
• Test.StateMachine.Types.History
• Test.StateMachine.Types.References
• Test.StateMachine.Z

Dependencies

• QuickCheck lib:QuickCheck >=2.9.2
• ansi-wl-pprint lib:ansi-wl-pprint >=0.6.7.3
• async lib:async >=2.1.1.1
• base lib:base >=4.7 && <5
• containers lib:containers >=0.5.7.1
• lifted-async lib:lifted-async >=0.9.3
• lifted-base lib:lifted-base >=0.2.3.11
• monad-control lib:monad-control >=1.0.2.2
• mtl lib:mtl >=2.2.1
• quickcheck-with-counterexamples lib:quickcheck-with-counterexamples >=1.0
• random lib:random >=1.1
• stm lib:stm >=2.4.4.1
• template-haskell lib:template-haskell >=2.11.1.0
• th-abstraction lib:th-abstraction >=0.2.6.0

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• libraft test:raft-test
• quickcheck-state-machine test:quickcheck-state-machine-test
• quickcheck-state-machine test:test