Copyright	(C) 2017 ATS Advanced Telematic Systems GmbH
License	BSD-style (see the file LICENSE)
Maintainer	Stevan Andjelkovic <stevan.andjelkovic@strath.ac.uk>
Stability	provisional
Portability	non-portable (GHC extensions)
Safe Haskell	None
Language	Haskell2010

Test.StateMachine.Types.History

Description

This module contains the notion of a history of an execution of a (parallel) program.

Synopsis

newtype History (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) = History {
- unHistory :: History' cmd resp
}
type History' (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) = [(Pid, HistoryEvent cmd resp)]
newtype Pid = Pid {
- unPid :: Int
}
data HistoryEvent (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type)
- = Invocation !(cmd Concrete) !(Set Var)
- | Response !(resp Concrete)
- | Exception !String
data Operation (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type)
- = Operation (cmd Concrete) (resp Concrete) Pid
- | Crash (cmd Concrete) String Pid
makeOperations :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type). History' cmd resp -> [Operation cmd resp]
interleavings :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type). History' cmd resp -> Forest (Operation cmd resp)
operationsPath :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type). Forest (Operation cmd resp) -> [Operation cmd resp]
completeHistory :: (cmd Concrete -> resp Concrete) -> History cmd resp -> History cmd resp

Documentation

newtype History (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) Source #

Constructors

History
Fields unHistory :: History' cmd resp

Instances details

(Show (cmd Concrete), Show (resp Concrete)) => Show (History cmd resp) Source #
Instance details Defined in Test.StateMachine.Types.History Methods showsPrec :: Int -> History cmd resp -> ShowS # show :: History cmd resp -> String # showList :: [History cmd resp] -> ShowS #
(Eq (cmd Concrete), Eq (resp Concrete)) => Eq (History cmd resp) Source #
Instance details Defined in Test.StateMachine.Types.History Methods (==) :: History cmd resp -> History cmd resp -> Bool # (/=) :: History cmd resp -> History cmd resp -> Bool #

type History' (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) = [(Pid, HistoryEvent cmd resp)] Source #

Constructors

Pid
Fields unPid :: Int

Instances details

Show Pid Source #
Instance details Defined in Test.StateMachine.Types.History Methods showsPrec :: Int -> Pid -> ShowS # show :: Pid -> String # showList :: [Pid] -> ShowS #
Eq Pid Source #
Instance details Defined in Test.StateMachine.Types.History Methods (==) :: Pid -> Pid -> Bool # (/=) :: Pid -> Pid -> Bool #
Ord Pid Source #
Instance details Defined in Test.StateMachine.Types.History Methods compare :: Pid -> Pid -> Ordering # (<) :: Pid -> Pid -> Bool # (<=) :: Pid -> Pid -> Bool # (>) :: Pid -> Pid -> Bool # (>=) :: Pid -> Pid -> Bool # max :: Pid -> Pid -> Pid # min :: Pid -> Pid -> Pid #

data HistoryEvent (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) Source #

Constructors

Invocation !(cmd Concrete) !(Set Var)
Response !(resp Concrete)
Exception !String

Instances details

(Show (cmd Concrete), Show (resp Concrete)) => Show (HistoryEvent cmd resp) Source #
Instance details Defined in Test.StateMachine.Types.History Methods showsPrec :: Int -> HistoryEvent cmd resp -> ShowS # show :: HistoryEvent cmd resp -> String # showList :: [HistoryEvent cmd resp] -> ShowS #
(Eq (cmd Concrete), Eq (resp Concrete)) => Eq (HistoryEvent cmd resp) Source #
Instance details Defined in Test.StateMachine.Types.History Methods (==) :: HistoryEvent cmd resp -> HistoryEvent cmd resp -> Bool # (/=) :: HistoryEvent cmd resp -> HistoryEvent cmd resp -> Bool #

data Operation (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type) Source #

An operation packs up an invocation event with its corresponding response event.

Constructors

Operation (cmd Concrete) (resp Concrete) Pid
Crash (cmd Concrete) String Pid

Instances details

(Show (cmd Concrete), Show (resp Concrete)) => Show (Operation cmd resp) Source #
Instance details Defined in Test.StateMachine.Types.History Methods showsPrec :: Int -> Operation cmd resp -> ShowS # show :: Operation cmd resp -> String # showList :: [Operation cmd resp] -> ShowS #

makeOperations :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type). History' cmd resp -> [Operation cmd resp] Source #

Given a sequential history, group invocation and response events into operations.

interleavings :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type). History' cmd resp -> Forest (Operation cmd resp) Source #

Given a parallel history, return all possible interleavings of invocations and corresponding response events.

operationsPath :: forall (cmd :: (Type -> Type) -> Type) (resp :: (Type -> Type) -> Type). Forest (Operation cmd resp) -> [Operation cmd resp] Source #