Safe Haskell	None
Language	Haskell2010

Control.Monad.IOSim.CommonTypes

Description

Common types shared between IOSim and IOSimPOR.

Documentation

data ThreadId Source #

Constructors

RacyThreadId [Int]
ThreadId [Int]

Instances

Instances details

Eq ThreadId Source #
Instance details Defined in Control.Monad.IOSim.CommonTypes Methods (==) ∷ ThreadId → ThreadId → Bool Source # (/=) ∷ ThreadId → ThreadId → Bool Source #
Ord ThreadId Source #
Instance details Defined in Control.Monad.IOSim.CommonTypes Methods compare ∷ ThreadId → ThreadId → Ordering Source # (<) ∷ ThreadId → ThreadId → Bool Source # (<=) ∷ ThreadId → ThreadId → Bool Source # (>) ∷ ThreadId → ThreadId → Bool Source # (>=) ∷ ThreadId → ThreadId → Bool Source # max ∷ ThreadId → ThreadId → ThreadId Source # min ∷ ThreadId → ThreadId → ThreadId Source #
Show ThreadId Source #
Instance details Defined in Control.Monad.IOSim.CommonTypes Methods showsPrec ∷ Int → ThreadId → ShowS Source # show ∷ ThreadId → String Source # showList ∷ [ThreadId] → ShowS Source #

childThreadId ∷ ThreadId → Int → ThreadId Source #

setRacyThread ∷ ThreadId → ThreadId Source #

newtype TVarId Source #

Constructors

TVarId Int

Instances

Instances details

Enum TVarId Source #
Instance details Defined in Control.Monad.IOSim.CommonTypes Methods succ ∷ TVarId → TVarId Source # pred ∷ TVarId → TVarId Source # toEnum ∷ Int → TVarId Source # fromEnum ∷ TVarId → Int Source # enumFrom ∷ TVarId → [TVarId] Source # enumFromThen ∷ TVarId → TVarId → [TVarId] Source # enumFromTo ∷ TVarId → TVarId → [TVarId] Source # enumFromThenTo ∷ TVarId → TVarId → TVarId → [TVarId] Source #
Eq TVarId Source #
Instance details Defined in Control.Monad.IOSim.CommonTypes Methods (==) ∷ TVarId → TVarId → Bool Source # (/=) ∷ TVarId → TVarId → Bool Source #
Ord TVarId Source #
Instance details Defined in Control.Monad.IOSim.CommonTypes Methods compare ∷ TVarId → TVarId → Ordering Source # (<) ∷ TVarId → TVarId → Bool Source # (<=) ∷ TVarId → TVarId → Bool Source # (>) ∷ TVarId → TVarId → Bool Source # (>=) ∷ TVarId → TVarId → Bool Source # max ∷ TVarId → TVarId → TVarId Source # min ∷ TVarId → TVarId → TVarId Source #
Show TVarId Source #
Instance details Defined in Control.Monad.IOSim.CommonTypes Methods showsPrec ∷ Int → TVarId → ShowS Source # show ∷ TVarId → String Source # showList ∷ [TVarId] → ShowS Source #

newtype TimeoutId Source #

Constructors

TimeoutId Int

Instances

Instances details

Enum TimeoutId Source #
Instance details Defined in Control.Monad.IOSim.CommonTypes Methods succ ∷ TimeoutId → TimeoutId Source # pred ∷ TimeoutId → TimeoutId Source # toEnum ∷ Int → TimeoutId Source # fromEnum ∷ TimeoutId → Int Source # enumFrom ∷ TimeoutId → [TimeoutId] Source # enumFromThen ∷ TimeoutId → TimeoutId → [TimeoutId] Source # enumFromTo ∷ TimeoutId → TimeoutId → [TimeoutId] Source # enumFromThenTo ∷ TimeoutId → TimeoutId → TimeoutId → [TimeoutId] Source #
Eq TimeoutId Source #
Instance details Defined in Control.Monad.IOSim.CommonTypes Methods (==) ∷ TimeoutId → TimeoutId → Bool Source # (/=) ∷ TimeoutId → TimeoutId → Bool Source #
Ord TimeoutId Source #
Instance details Defined in Control.Monad.IOSim.CommonTypes Methods compare ∷ TimeoutId → TimeoutId → Ordering Source # (<) ∷ TimeoutId → TimeoutId → Bool Source # (<=) ∷ TimeoutId → TimeoutId → Bool Source # (>) ∷ TimeoutId → TimeoutId → Bool Source # (>=) ∷ TimeoutId → TimeoutId → Bool Source # max ∷ TimeoutId → TimeoutId → TimeoutId Source # min ∷ TimeoutId → TimeoutId → TimeoutId Source #
Show TimeoutId Source #
Instance details Defined in Control.Monad.IOSim.CommonTypes Methods showsPrec ∷ Int → TimeoutId → ShowS Source # show ∷ TimeoutId → String Source # showList ∷ [TimeoutId] → ShowS Source #

newtype ClockId Source #

Constructors

ClockId [Int]

Instances

Instances details

Eq ClockId Source #
Instance details Defined in Control.Monad.IOSim.CommonTypes Methods (==) ∷ ClockId → ClockId → Bool Source # (/=) ∷ ClockId → ClockId → Bool Source #
Ord ClockId Source #
Instance details Defined in Control.Monad.IOSim.CommonTypes Methods compare ∷ ClockId → ClockId → Ordering Source # (<) ∷ ClockId → ClockId → Bool Source # (<=) ∷ ClockId → ClockId → Bool Source # (>) ∷ ClockId → ClockId → Bool Source # (>=) ∷ ClockId → ClockId → Bool Source # max ∷ ClockId → ClockId → ClockId Source # min ∷ ClockId → ClockId → ClockId Source #
Show ClockId Source #
Instance details Defined in Control.Monad.IOSim.CommonTypes Methods showsPrec ∷ Int → ClockId → ShowS Source # show ∷ ClockId → String Source # showList ∷ [ClockId] → ShowS Source #

newtype VectorClock Source #

Constructors

VectorClock
Fields getVectorClock ∷ Map ThreadId Int

Instances

Instances details

Show VectorClock Source #
Instance details Defined in Control.Monad.IOSim.CommonTypes Methods showsPrec ∷ Int → VectorClock → ShowS Source # show ∷ VectorClock → String Source # showList ∷ [VectorClock] → ShowS Source #

unTimeoutId ∷ TimeoutId → Int Source #

type ThreadLabel = String Source #

type TVarLabel = String Source #

data TVar s a Source #

Constructors

TVar

Fields

tvarId ∷ !TVarId
The identifier of this var.
tvarLabel ∷ !(STRef s (Maybe TVarLabel))
Label.
tvarCurrent ∷ !(STRef s a)
The var's current value
tvarUndo ∷ !(STRef s [a])
A stack of undo values. This is only used while executing a transaction.
tvarBlocked ∷ !(STRef s ([ThreadId], Set ThreadId))
Thread Ids of threads blocked on a read of this var. It is represented in reverse order of thread wakeup, without duplicates.
To avoid duplicates efficiently, the operations rely on a copy of the thread Ids represented as a set.
tvarVClock ∷ !(STRef s VectorClock)
The vector clock of the current value.
tvarTrace ∷ !(STRef s (Maybe (Maybe a → a → ST s TraceValue)))
Callback to construct a trace which will be attached to the dynamic trace.

Instances

Instances details

Eq (TVar s a) Source #
Instance details Defined in Control.Monad.IOSim.CommonTypes Methods (==) ∷ TVar s a → TVar s a → Bool Source # (/=) ∷ TVar s a → TVar s a → Bool Source #

data SomeTVar s where Source #

Constructors

SomeTVar ∷ !(TVar s a) → SomeTVar s

data Deschedule Source #

Constructors

Yield
Interruptable
Blocked
Terminated
Sleep

Instances

Instances details

Show Deschedule Source #
Instance details Defined in Control.Monad.IOSim.CommonTypes Methods showsPrec ∷ Int → Deschedule → ShowS Source # show ∷ Deschedule → String Source # showList ∷ [Deschedule] → ShowS Source #