quickcheck-state-machine-0.3.1: 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 visualing a history of a parallel execution.

Synopsis

Documentation

data EventType Source #

Event invocation or response.

Constructors

Open 
Close 

data Fork a Source #

Constructors

Fork a a a 

Instances

Functor Fork Source # 

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