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

Copyright(C) 2017 ATS Advanced Telematic Systems GmbH
LicenseBSD-style (see the file LICENSE)
MaintainerMats Daniel Gustafsson <daniel@advancedtelematic.com>
Stabilityprovisional
Portabilitynon-portable (GHC extensions)
Safe HaskellNone
LanguageHaskell2010

Test.StateMachine.BoxDrawer

Description

This module contains functions for visualing a history of a parallel execution.

Synopsis

Documentation

data EventType Source #

Event invocation or response.

Constructors

Open 
Close 
Instances
Show EventType Source # 
Instance details

Defined in Test.StateMachine.BoxDrawer

Methods

showsPrec :: Int -> EventType -> ShowS #

show :: EventType -> String #

showList :: [EventType] -> ShowS #

data Fork a Source #

Constructors

Fork a a a 
Instances
Functor Fork Source # 
Instance details

Defined in Test.StateMachine.BoxDrawer

Methods

fmap :: (a -> b) -> Fork a -> Fork b #

(<$) :: a -> Fork b -> Fork a #

exec :: [(EventType, Pid)] -> Fork [String] -> Doc Source #

Given a history, and output from processes generate Doc with boxes