quickcheck-state-machine-0.0.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.Internal.Utils.BoxDrawer

Description

This module contains functions for drawing the history for the parallelProperty.

Synopsis

Documentation

data EventType Source #

Constructors

Open 
Close 

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

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