lib:quickcheck-state-machine

Modules

• Test.StateMachine
• Test.StateMachine.BoxDrawer
• Test.StateMachine.ConstructorName
• Test.StateMachine.Logic
• Test.StateMachine.Parallel
• Test.StateMachine.Sequential
• Test.StateMachine.Types
• Test.StateMachine.Types.Environment
• Test.StateMachine.Types.GenSym
• Test.StateMachine.Types.History
• Test.StateMachine.Types.Rank2
• Test.StateMachine.Types.References
• Test.StateMachine.Utils
• Test.StateMachine.Z

Dependencies

• QuickCheck lib:QuickCheck >=2.9.2
• ansi-wl-pprint lib:ansi-wl-pprint >=0.6.7.3
• base lib:base >=4.7 && <5
• containers lib:containers >=0.5.7.1
• exceptions lib:exceptions >=0.8.3
• lifted-async lib:lifted-async >=0.9.3
• matrix lib:matrix >=0.3.5.0
• monad-control lib:monad-control >=1.0.2.2
• mtl lib:mtl >=2.2.1
• pretty-show lib:pretty-show >=1.7
• split lib:split >=0.2.3.3
• stm lib:stm >=2.4.4.1
• tree-diff lib:tree-diff >=0.0.1
• vector lib:vector >=0.12.0.1

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