quickcheck-state-machine-0.3.1: Test monadic programs using state machine based models

Signatures

Modules

• Test
  •  Test.StateMachine
    • Internal
      • 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