Copyright | (C) 2017 ATS Advanced Telematic Systems GmbH |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Stevan Andjelkovic <stevan.andjelkovic@here.com> |
Stability | provisional |
Portability | non-portable (GHC extensions) |
Safe Haskell | None |
Language | Haskell2010 |
This module contains the notion of a history of an execution of a (parallel) program.
Synopsis
- newtype History cmd resp = History {}
- type History' cmd resp = [(Pid, HistoryEvent cmd resp)]
- newtype Pid = Pid {}
- data HistoryEvent cmd resp
- data Operation cmd resp
- makeOperations :: History' cmd resp -> [Operation cmd resp]
- interleavings :: [(Pid, HistoryEvent cmd resp)] -> Forest (Operation cmd resp)
Documentation
type History' cmd resp = [(Pid, HistoryEvent cmd resp)] Source #
data HistoryEvent cmd resp Source #
Instances
(Eq (cmd Concrete), Eq (resp Concrete)) => Eq (HistoryEvent cmd resp) Source # | |
Defined in Test.StateMachine.Types.History (==) :: HistoryEvent cmd resp -> HistoryEvent cmd resp -> Bool # (/=) :: HistoryEvent cmd resp -> HistoryEvent cmd resp -> Bool # | |
(Show (cmd Concrete), Show (resp Concrete)) => Show (HistoryEvent cmd resp) Source # | |
Defined in Test.StateMachine.Types.History showsPrec :: Int -> HistoryEvent cmd resp -> ShowS # show :: HistoryEvent cmd resp -> String # showList :: [HistoryEvent cmd resp] -> ShowS # |
data Operation cmd resp Source #
An operation packs up an invocation event with its corresponding response event.
makeOperations :: History' cmd resp -> [Operation cmd resp] Source #
interleavings :: [(Pid, HistoryEvent cmd resp)] -> Forest (Operation cmd resp) Source #
Given a history, return all possible interleavings of invocations and corresponding response events.