io-sim-0.2.0.0: A pure simulator for monadic concurrency with STM
Safe HaskellNone
LanguageHaskell2010

Control.Monad.IOSim.CommonTypes

Description

Common types shared between IOSim and IOSimPOR.

Documentation

newtype TVarId Source #

Constructors

TVarId Int 

Instances

Instances details
Enum TVarId Source # 
Instance details

Defined in Control.Monad.IOSim.CommonTypes

Eq TVarId Source # 
Instance details

Defined in Control.Monad.IOSim.CommonTypes

Methods

(==)TVarIdTVarIdBool Source #

(/=)TVarIdTVarIdBool Source #

Ord TVarId Source # 
Instance details

Defined in Control.Monad.IOSim.CommonTypes

Show TVarId Source # 
Instance details

Defined in Control.Monad.IOSim.CommonTypes

newtype ClockId Source #

Constructors

ClockId [Int] 

Instances

Instances details
Eq ClockId Source # 
Instance details

Defined in Control.Monad.IOSim.CommonTypes

Methods

(==)ClockIdClockIdBool Source #

(/=)ClockIdClockIdBool Source #

Ord ClockId Source # 
Instance details

Defined in Control.Monad.IOSim.CommonTypes

Show ClockId Source # 
Instance details

Defined in Control.Monad.IOSim.CommonTypes

newtype VectorClock Source #

Constructors

VectorClock 

Instances

Instances details
Show VectorClock Source # 
Instance details

Defined in Control.Monad.IOSim.CommonTypes

data TVar s a Source #

Constructors

TVar 

Fields

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 #

Instances

Instances details
Show Deschedule Source # 
Instance details

Defined in Control.Monad.IOSim.CommonTypes