lib:quickcheck-state-machine

Modules

• Test.StateMachine
• Test.StateMachine.BoxDrawer
• Test.StateMachine.ConstructorName
• Test.StateMachine.DotDrawing
• Test.StateMachine.Labelling
• Test.StateMachine.Lockstep.Auxiliary
• Test.StateMachine.Lockstep.NAry
• Test.StateMachine.Lockstep.Simple
• Test.StateMachine.Logic
• Test.StateMachine.Parallel
• Test.StateMachine.Sequential
• Test.StateMachine.TreeDiff
• Test.StateMachine.TreeDiff.Class
• Test.StateMachine.TreeDiff.Expr
• Test.StateMachine.TreeDiff.List
• Test.StateMachine.TreeDiff.Pretty
• Test.StateMachine.TreeDiff.Tree
• 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

• MemoTrie lib:MemoTrie >=0.6.8 && <0.7
• QuickCheck lib:QuickCheck >=2.12 && <2.15
• ansi-wl-pprint lib:ansi-wl-pprint >=0.6.7.3 && <1.1
• base lib:base >=4.10 && <5
• base-compat lib:base-compat >=0.9.3 && <0.14
• bytestring lib:bytestring >=0.10.4.0 && <0.12
• containers lib:containers >=0.5.7.1 && <0.7
• directory lib:directory >=1.0.0.0 && <1.4
• exceptions lib:exceptions >=0.8.3 && <0.11
• filepath lib:filepath >=1.0 && <1.5
• generic-data lib:generic-data >=0.3.0.0 && <1.2
• generics-sop lib:generics-sop >=0.3.1.0 && <0.6
• graphviz lib:graphviz >=2999.20.0.3 && <2999.21
• mtl lib:mtl >=2.2.1 && <2.4
• pretty lib:pretty >=1.1.1.1 && <1.2
• pretty-show lib:pretty-show >=1.6.16 && <1.11
• process lib:process >=1.2.0.0 && <1.7
• random lib:random >=1.1 && <1.3
• sop-core lib:sop-core >=0.5.0.2 && <0.6
• split lib:split >=0.2.3.5 && <0.3
• text lib:text >=1.2.3.1 && <2.1
• time lib:time >=1.7 && <1.13
• unliftio lib:unliftio >=0.2.7.0 && <0.3
• vector lib:vector >=0.12.0.1 && <0.14

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
• roboservant lib:roboservant
• roboservant test:roboservant-test