Safe Haskell | None |
---|---|
Language | Haskell2010 |
Control.Monad.IOSim.CommonTypes
Description
Common types shared between IOSim
and IOSimPOR
.
Documentation
Constructors
RacyThreadId [Int] | |
ThreadId [Int] |
Instances
Eq ThreadId Source # | |
Ord ThreadId Source # | |
Defined in Control.Monad.IOSim.CommonTypes | |
Show ThreadId Source # | |
Instances
Enum TVarId Source # | |
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 # | |
Ord TVarId Source # | |
Defined in Control.Monad.IOSim.CommonTypes | |
Show TVarId Source # | |
Instances
Enum TimeoutId Source # | |
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 # | |
Ord TimeoutId Source # | |
Defined in Control.Monad.IOSim.CommonTypes | |
Show TimeoutId Source # | |
newtype VectorClock Source #
Constructors
VectorClock | |
Fields |
Instances
Show VectorClock Source # | |
Defined in Control.Monad.IOSim.CommonTypes |
unTimeoutId ∷ TimeoutId → Int Source #
type ThreadLabel = String Source #
Constructors
TVar | |
Fields
|
data Deschedule Source #
Constructors
Yield | |
Interruptable | |
Blocked | |
Terminated | |
Sleep |
Instances
Show Deschedule Source # | |
Defined in Control.Monad.IOSim.CommonTypes |