Safe Haskell	None
Language	Haskell2010

Control.Monad.IOSim.Types

Synopsis

newtype IOSim s a = IOSim {
- unIOSim :: forall r. (a -> SimA s r) -> SimA s r
}
runIOSim :: IOSim s a -> SimA s a
traceM :: Typeable a => a -> IOSim s ()
traceSTM :: Typeable a => a -> STMSim s ()
liftST :: ST s a -> IOSim s a
data SimA s a where
- Return :: a -> SimA s a
- Say :: String -> SimA s b -> SimA s b
- Output :: Dynamic -> SimA s b -> SimA s b
- LiftST :: ST s a -> (a -> SimA s b) -> SimA s b
- GetMonoTime :: ( Time -> SimA s b) -> SimA s b
- GetWallTime :: ( UTCTime -> SimA s b) -> SimA s b
- SetWallTime :: UTCTime -> SimA s b -> SimA s b
- UnshareClock :: SimA s b -> SimA s b
- NewTimeout :: DiffTime -> ( Timeout ( IOSim s) -> SimA s b) -> SimA s b
- UpdateTimeout :: Timeout ( IOSim s) -> DiffTime -> SimA s b -> SimA s b
- CancelTimeout :: Timeout ( IOSim s) -> SimA s b -> SimA s b
- Throw :: SomeException -> SimA s a
- Catch :: Exception e => SimA s a -> (e -> SimA s a) -> (a -> SimA s b) -> SimA s b
- Evaluate :: a -> (a -> SimA s b) -> SimA s b
- Fork :: IOSim s () -> ( ThreadId -> SimA s b) -> SimA s b
- GetThreadId :: ( ThreadId -> SimA s b) -> SimA s b
- LabelThread :: ThreadId -> String -> SimA s b -> SimA s b
- Atomically :: STM s a -> (a -> SimA s b) -> SimA s b
- ThrowTo :: SomeException -> ThreadId -> SimA s a -> SimA s a
- SetMaskState :: MaskingState -> IOSim s a -> (a -> SimA s b) -> SimA s b
- GetMaskState :: ( MaskingState -> SimA s b) -> SimA s b
- YieldSim :: SimA s a -> SimA s a
- ExploreRaces :: SimA s b -> SimA s b
- Fix :: (x -> IOSim s x) -> (x -> SimA s r) -> SimA s r
type StepId = ( ThreadId , Int )
type STMSim = STM
newtype STM s a = STM {
- unSTM :: forall r. (a -> StmA s r) -> StmA s r
}
runSTM :: STM s a -> StmA s a
data StmA s a where
- ReturnStm :: a -> StmA s a
- ThrowStm :: SomeException -> StmA s a
- NewTVar :: Maybe String -> x -> ( TVar s x -> StmA s b) -> StmA s b
- LabelTVar :: String -> TVar s a -> StmA s b -> StmA s b
- ReadTVar :: TVar s a -> (a -> StmA s b) -> StmA s b
- WriteTVar :: TVar s a -> a -> StmA s b -> StmA s b
- Retry :: StmA s b
- OrElse :: StmA s a -> StmA s a -> (a -> StmA s b) -> StmA s b
- SayStm :: String -> StmA s b -> StmA s b
- OutputStm :: Dynamic -> StmA s b -> StmA s b
- TraceTVar :: forall s a b. TVar s a -> ( Maybe a -> a -> ST s TraceValue ) -> StmA s b -> StmA s b
data StmTxResult s a
- = StmTxCommitted a [ SomeTVar s] [ SomeTVar s] [ SomeTVar s] [ Dynamic ] [ String ] TVarId
- | StmTxBlocked [ SomeTVar s]
- | StmTxAborted [ SomeTVar s] SomeException
data StmStack s b a where
- AtomicallyFrame :: StmStack s a a
- OrElseLeftFrame :: StmA s a -> (a -> StmA s b) -> Map TVarId ( SomeTVar s) -> [ SomeTVar s] -> [ SomeTVar s] -> StmStack s b c -> StmStack s a c
- OrElseRightFrame :: (a -> StmA s b) -> Map TVarId ( SomeTVar s) -> [ SomeTVar s] -> [ SomeTVar s] -> StmStack s b c -> StmStack s a c
data family Timeout (m :: Type -> Type )
newtype TimeoutException = TimeoutException TimeoutId
setCurrentTime :: UTCTime -> IOSim s ()
unshareClock :: IOSim s ()
data ScheduleControl
- = ControlDefault
- | ControlAwait [ ScheduleMod ]
- | ControlFollow [ StepId ] [ ScheduleMod ]
data ScheduleMod = ScheduleMod {
- scheduleModTarget :: StepId
- scheduleModControl :: ScheduleControl
- scheduleModInsertion :: [ StepId ]
}
data ExplorationOptions = ExplorationOptions {
- explorationScheduleBound :: Int
- explorationBranching :: Int
- explorationStepTimelimit :: Maybe Int
- explorationReplay :: Maybe ScheduleControl
}
type ExplorationSpec = ExplorationOptions -> ExplorationOptions
withScheduleBound :: Int -> ExplorationSpec
withBranching :: Int -> ExplorationSpec
withStepTimelimit :: Int -> ExplorationSpec
withReplay :: ScheduleControl -> ExplorationSpec
stdExplorationOptions :: ExplorationOptions
newtype EventlogEvent = EventlogEvent String
newtype EventlogMarker = EventlogMarker String
data SimEventType
- = EventSimStart ScheduleControl
- | EventSay String
- | EventLog Dynamic
- | EventMask MaskingState
- | EventThrow SomeException
- | EventThrowTo SomeException ThreadId
- | EventThrowToBlocked
- | EventThrowToWakeup
- | EventThrowToUnmasked ( Labelled ThreadId )
- | EventThreadForked ThreadId
- | EventThreadFinished
- | EventThreadUnhandled SomeException
- | EventTxCommitted [ Labelled TVarId ] [ Labelled TVarId ] ( Maybe Effect)
- | EventTxAborted ( Maybe Effect)
- | EventTxBlocked [ Labelled TVarId ] ( Maybe Effect)
- | EventTxWakeup [ Labelled TVarId ]
- | EventTimerCreated TimeoutId TVarId Time
- | EventTimerUpdated TimeoutId Time
- | EventTimerCancelled TimeoutId
- | EventTimerExpired TimeoutId
- | EventThreadSleep
- | EventThreadWake
- | EventDeschedule Deschedule
- | EventFollowControl ScheduleControl
- | EventAwaitControl StepId ScheduleControl
- | EventPerformAction StepId
- | EventReschedule ScheduleControl
- | EventUnblocked [ ThreadId ]
data SimEvent
- = SimEvent {
  - seTime :: ! Time
  - seThreadId :: ! ThreadId
  - seThreadLabel :: !( Maybe ThreadLabel )
  - seType :: ! SimEventType
  }
- | SimPOREvent {
  - seTime :: ! Time
  - seThreadId :: ! ThreadId
  - seStep :: ! Int
  - seThreadLabel :: !( Maybe ThreadLabel )
  - seType :: ! SimEventType
  }
- | SimRacesFound [ ScheduleControl ]
data SimResult a
- = MainReturn ! Time a ![ Labelled ThreadId ]
- | MainException ! Time SomeException ![ Labelled ThreadId ]
- | Deadlock ! Time ![ Labelled ThreadId ]
- | Loop
type SimTrace a = Trace ( SimResult a) SimEvent
data Trace a b where
- pattern Trace :: Time -> ThreadId -> Maybe ThreadLabel -> SimEventType -> SimTrace a -> SimTrace a
- pattern SimTrace :: Time -> ThreadId -> Maybe ThreadLabel -> SimEventType -> SimTrace a -> SimTrace a
- pattern SimPORTrace :: Time -> ThreadId -> Int -> Maybe ThreadLabel -> SimEventType -> SimTrace a -> SimTrace a
- pattern TraceMainReturn :: Time -> a -> [ Labelled ThreadId ] -> SimTrace a
- pattern TraceMainException :: Time -> SomeException -> [ Labelled ThreadId ] -> SimTrace a
- pattern TraceDeadlock :: Time -> [ Labelled ThreadId ] -> SimTrace a
- pattern TraceRacesFound :: [ ScheduleControl ] -> SimTrace a -> SimTrace a
- pattern TraceLoop :: SimTrace a
ppTrace :: Show a => SimTrace a -> String
ppTrace_ :: SimTrace a -> String
ppSimEvent :: Int -> Int -> Int -> SimEvent -> String
ppDebug :: SimTrace a -> x -> x
type TraceEvent = SimEventType
data Labelled a = Labelled {
- l_labelled :: !a
- l_label :: !( Maybe String )
}
data ThreadId
- = RacyThreadId [ Int ]
- | ThreadId [ Int ]
childThreadId :: ThreadId -> Int -> ThreadId
setRacyThread :: ThreadId -> ThreadId
newtype TVarId = TVarId Int
newtype TimeoutId = TimeoutId Int
newtype ClockId = ClockId [ Int ]
newtype VectorClock = VectorClock {
- getVectorClock :: Map ThreadId Int
}
unTimeoutId :: TimeoutId -> Int
type ThreadLabel = String
type TVarLabel = String
data TVar s a = TVar {
- tvarId :: ! TVarId
- tvarLabel :: !( STRef s ( Maybe TVarLabel ))
- tvarCurrent :: !( STRef s a)
- tvarUndo :: !( STRef s [a])
- tvarBlocked :: !( STRef s ([ ThreadId ], Set ThreadId ))
- tvarVClock :: !( STRef s VectorClock )
- tvarTrace :: !( STRef s ( Maybe ( Maybe a -> a -> ST s TraceValue )))
}
data SomeTVar s where
- SomeTVar :: !( TVar s a) -> SomeTVar s
data Deschedule
- = Yield
- | Interruptable
- | Blocked
- | Terminated
- | Sleep
type SimM s = IOSim s
type SimSTM = STM

Documentation

newtype IOSim s a Source #

Constructors

IOSim
Fields unIOSim :: forall r. (a -> SimA s r) -> SimA s r

Instances

Instances details

Monad ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods (>>=) :: IOSim s a -> (a -> IOSim s b) -> IOSim s b Source # (>>) :: IOSim s a -> IOSim s b -> IOSim s b Source # return :: a -> IOSim s a Source #
Functor ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods fmap :: (a -> b) -> IOSim s a -> IOSim s b Source # (<$) :: a -> IOSim s b -> IOSim s a Source #
MonadFix ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods mfix :: (a -> IOSim s a) -> IOSim s a Source #
MonadFail ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods fail :: String -> IOSim s a Source #
Applicative ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods pure :: a -> IOSim s a Source # (<>) :: IOSim s (a -> b) -> IOSim s a -> IOSim s b Source # liftA2 :: (a -> b -> c) -> IOSim s a -> IOSim s b -> IOSim s c Source # (>) :: IOSim s a -> IOSim s b -> IOSim s b Source # (<*) :: IOSim s a -> IOSim s b -> IOSim s a Source #
MonadThrow ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods throwM :: Exception e => e -> IOSim s a Source #
MonadCatch ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods catch :: Exception e => IOSim s a -> (e -> IOSim s a) -> IOSim s a Source #
MonadMask ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods mask :: (( forall a. IOSim s a -> IOSim s a) -> IOSim s b) -> IOSim s b Source # uninterruptibleMask :: (( forall a. IOSim s a -> IOSim s a) -> IOSim s b) -> IOSim s b Source # generalBracket :: IOSim s a -> (a -> ExitCase b -> IOSim s c) -> (a -> IOSim s b) -> IOSim s (b, c) Source #
MonadAsync ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Associated Types type Async ( IOSim s) = (async :: Type -> Type ) Source # Methods async :: IOSim s a -> IOSim s ( Async ( IOSim s) a) Source # asyncThreadId :: Async ( IOSim s) a -> ThreadId ( IOSim s) Source # withAsync :: IOSim s a -> ( Async ( IOSim s) a -> IOSim s b) -> IOSim s b Source # waitSTM :: Async ( IOSim s) a -> STM ( IOSim s) a Source # pollSTM :: Async ( IOSim s) a -> STM ( IOSim s) ( Maybe ( Either SomeException a)) Source # waitCatchSTM :: Async ( IOSim s) a -> STM ( IOSim s) ( Either SomeException a) Source # waitAnySTM :: [ Async ( IOSim s) a] -> STM ( IOSim s) ( Async ( IOSim s) a, a) Source # waitAnyCatchSTM :: [ Async ( IOSim s) a] -> STM ( IOSim s) ( Async ( IOSim s) a, Either SomeException a) Source # waitEitherSTM :: Async ( IOSim s) a -> Async ( IOSim s) b -> STM ( IOSim s) ( Either a b) Source # waitEitherSTM_ :: Async ( IOSim s) a -> Async ( IOSim s) b -> STM ( IOSim s) () Source # waitEitherCatchSTM :: Async ( IOSim s) a -> Async ( IOSim s) b -> STM ( IOSim s) ( Either ( Either SomeException a) ( Either SomeException b)) Source # waitBothSTM :: Async ( IOSim s) a -> Async ( IOSim s) b -> STM ( IOSim s) (a, b) Source # wait :: Async ( IOSim s) a -> IOSim s a Source # poll :: Async ( IOSim s) a -> IOSim s ( Maybe ( Either SomeException a)) Source # waitCatch :: Async ( IOSim s) a -> IOSim s ( Either SomeException a) Source # cancel :: Async ( IOSim s) a -> IOSim s () Source # cancelWith :: Exception e => Async ( IOSim s) a -> e -> IOSim s () Source # uninterruptibleCancel :: Async ( IOSim s) a -> IOSim s () Source # waitAny :: [ Async ( IOSim s) a] -> IOSim s ( Async ( IOSim s) a, a) Source # waitAnyCatch :: [ Async ( IOSim s) a] -> IOSim s ( Async ( IOSim s) a, Either SomeException a) Source # waitAnyCancel :: [ Async ( IOSim s) a] -> IOSim s ( Async ( IOSim s) a, a) Source # waitAnyCatchCancel :: [ Async ( IOSim s) a] -> IOSim s ( Async ( IOSim s) a, Either SomeException a) Source # waitEither :: Async ( IOSim s) a -> Async ( IOSim s) b -> IOSim s ( Either a b) Source # waitEitherCatch :: Async ( IOSim s) a -> Async ( IOSim s) b -> IOSim s ( Either ( Either SomeException a) ( Either SomeException b)) Source # waitEitherCancel :: Async ( IOSim s) a -> Async ( IOSim s) b -> IOSim s ( Either a b) Source # waitEitherCatchCancel :: Async ( IOSim s) a -> Async ( IOSim s) b -> IOSim s ( Either ( Either SomeException a) ( Either SomeException b)) Source # waitEither_ :: Async ( IOSim s) a -> Async ( IOSim s) b -> IOSim s () Source # waitBoth :: Async ( IOSim s) a -> Async ( IOSim s) b -> IOSim s (a, b) Source # race :: IOSim s a -> IOSim s b -> IOSim s ( Either a b) Source # race_ :: IOSim s a -> IOSim s b -> IOSim s () Source # concurrently :: IOSim s a -> IOSim s b -> IOSim s (a, b) Source # concurrently_ :: IOSim s a -> IOSim s b -> IOSim s () Source # asyncWithUnmask :: (( forall b. IOSim s b -> IOSim s b) -> IOSim s a) -> IOSim s ( Async ( IOSim s) a) Source #
MonadDelay ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods threadDelay :: DiffTime -> IOSim s () Source #
MonadTimer ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Associated Types data Timeout ( IOSim s) Source # Methods newTimeout :: DiffTime -> IOSim s ( Timeout ( IOSim s)) Source # readTimeout :: Timeout ( IOSim s) -> STM ( IOSim s) TimeoutState Source # updateTimeout :: Timeout ( IOSim s) -> DiffTime -> IOSim s () Source # cancelTimeout :: Timeout ( IOSim s) -> IOSim s () Source # awaitTimeout :: Timeout ( IOSim s) -> STM ( IOSim s) Bool Source # registerDelay :: DiffTime -> IOSim s ( TVar ( IOSim s) Bool ) Source # timeout :: DiffTime -> IOSim s a -> IOSim s ( Maybe a) Source #
MonadMonotonicTime ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods getMonotonicTime :: IOSim s Time Source #
MonadTime ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods getCurrentTime :: IOSim s UTCTime Source #
MonadSTM ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Associated Types type STM ( IOSim s) = (stm :: Type -> Type ) Source # type TVar ( IOSim s) :: Type -> Type Source # type TMVar ( IOSim s) :: Type -> Type Source # type TQueue ( IOSim s) :: Type -> Type Source # type TBQueue ( IOSim s) :: Type -> Type Source # Methods atomically :: HasCallStack => STM ( IOSim s) a -> IOSim s a Source # newTVar :: a -> STM ( IOSim s) ( TVar ( IOSim s) a) Source # readTVar :: TVar ( IOSim s) a -> STM ( IOSim s) a Source # writeTVar :: TVar ( IOSim s) a -> a -> STM ( IOSim s) () Source # retry :: STM ( IOSim s) a Source # orElse :: STM ( IOSim s) a -> STM ( IOSim s) a -> STM ( IOSim s) a Source # modifyTVar :: TVar ( IOSim s) a -> (a -> a) -> STM ( IOSim s) () Source # modifyTVar' :: TVar ( IOSim s) a -> (a -> a) -> STM ( IOSim s) () Source # stateTVar :: TVar ( IOSim s) s0 -> (s0 -> (a, s0)) -> STM ( IOSim s) a Source # swapTVar :: TVar ( IOSim s) a -> a -> STM ( IOSim s) a Source # check :: Bool -> STM ( IOSim s) () Source # newTMVar :: a -> STM ( IOSim s) ( TMVar ( IOSim s) a) Source # newEmptyTMVar :: STM ( IOSim s) ( TMVar ( IOSim s) a) Source # takeTMVar :: TMVar ( IOSim s) a -> STM ( IOSim s) a Source # tryTakeTMVar :: TMVar ( IOSim s) a -> STM ( IOSim s) ( Maybe a) Source # putTMVar :: TMVar ( IOSim s) a -> a -> STM ( IOSim s) () Source # tryPutTMVar :: TMVar ( IOSim s) a -> a -> STM ( IOSim s) Bool Source # readTMVar :: TMVar ( IOSim s) a -> STM ( IOSim s) a Source # tryReadTMVar :: TMVar ( IOSim s) a -> STM ( IOSim s) ( Maybe a) Source # swapTMVar :: TMVar ( IOSim s) a -> a -> STM ( IOSim s) a Source # isEmptyTMVar :: TMVar ( IOSim s) a -> STM ( IOSim s) Bool Source # newTQueue :: STM ( IOSim s) ( TQueue ( IOSim s) a) Source # readTQueue :: TQueue ( IOSim s) a -> STM ( IOSim s) a Source # tryReadTQueue :: TQueue ( IOSim s) a -> STM ( IOSim s) ( Maybe a) Source # peekTQueue :: TQueue ( IOSim s) a -> STM ( IOSim s) a Source # tryPeekTQueue :: TQueue ( IOSim s) a -> STM ( IOSim s) ( Maybe a) Source # writeTQueue :: TQueue ( IOSim s) a -> a -> STM ( IOSim s) () Source # isEmptyTQueue :: TQueue ( IOSim s) a -> STM ( IOSim s) Bool Source # newTBQueue :: Natural -> STM ( IOSim s) ( TBQueue ( IOSim s) a) Source # readTBQueue :: TBQueue ( IOSim s) a -> STM ( IOSim s) a Source # tryReadTBQueue :: TBQueue ( IOSim s) a -> STM ( IOSim s) ( Maybe a) Source # peekTBQueue :: TBQueue ( IOSim s) a -> STM ( IOSim s) a Source # tryPeekTBQueue :: TBQueue ( IOSim s) a -> STM ( IOSim s) ( Maybe a) Source # flushTBQueue :: TBQueue ( IOSim s) a -> STM ( IOSim s) [a] Source # writeTBQueue :: TBQueue ( IOSim s) a -> a -> STM ( IOSim s) () Source # lengthTBQueue :: TBQueue ( IOSim s) a -> STM ( IOSim s) Natural Source # isEmptyTBQueue :: TBQueue ( IOSim s) a -> STM ( IOSim s) Bool Source # isFullTBQueue :: TBQueue ( IOSim s) a -> STM ( IOSim s) Bool Source # newTVarIO :: a -> IOSim s ( TVar ( IOSim s) a) Source # readTVarIO :: TVar ( IOSim s) a -> IOSim s a Source # newTMVarIO :: a -> IOSim s ( TMVar ( IOSim s) a) Source # newEmptyTMVarIO :: IOSim s ( TMVar ( IOSim s) a) Source # newTQueueIO :: IOSim s ( TQueue ( IOSim s) a) Source # newTBQueueIO :: Natural -> IOSim s ( TBQueue ( IOSim s) a) Source #
MonadLabelledSTM ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods labelTVar :: TVar ( IOSim s) a -> String -> STM ( IOSim s) () Source # labelTMVar :: TMVar ( IOSim s) a -> String -> STM ( IOSim s) () Source # labelTQueue :: TQueue ( IOSim s) a -> String -> STM ( IOSim s) () Source # labelTBQueue :: TBQueue ( IOSim s) a -> String -> STM ( IOSim s) () Source # labelTVarIO :: TVar ( IOSim s) a -> String -> IOSim s () Source # labelTMVarIO :: TMVar ( IOSim s) a -> String -> IOSim s () Source # labelTQueueIO :: TQueue ( IOSim s) a -> String -> IOSim s () Source # labelTBQueueIO :: TBQueue ( IOSim s) a -> String -> IOSim s () Source #
MonadInspectSTM ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Associated Types type InspectMonad ( IOSim s) :: Type -> Type Source # Methods inspectTVar :: proxy ( IOSim s) -> TVar ( IOSim s) a -> InspectMonad ( IOSim s) a Source # inspectTMVar :: proxy ( IOSim s) -> TMVar ( IOSim s) a -> InspectMonad ( IOSim s) ( Maybe a) Source #
MonadTraceSTM ( IOSim s) Source #	This instance adds a trace when a variable was written, just after the stm transaction was committed. Traces the first value using dynamic tracing, like `traceM` does, i.e. with `EventDynamic` ; the string is traced using `EventSay` .
Instance details Defined in Control.Monad.IOSim.Types Methods traceTVar :: proxy ( IOSim s) -> TVar ( IOSim s) a -> ( Maybe a -> a -> InspectMonad ( IOSim s) TraceValue ) -> STM ( IOSim s) () Source # traceTMVar :: proxy ( IOSim s) -> TMVar ( IOSim s) a -> ( Maybe ( Maybe a) -> Maybe a -> InspectMonad ( IOSim s) TraceValue ) -> STM ( IOSim s) () Source # traceTQueue :: proxy ( IOSim s) -> TQueue ( IOSim s) a -> ( Maybe [a] -> [a] -> InspectMonad ( IOSim s) TraceValue ) -> STM ( IOSim s) () Source # traceTBQueue :: proxy ( IOSim s) -> TBQueue ( IOSim s) a -> ( Maybe [a] -> [a] -> InspectMonad ( IOSim s) TraceValue ) -> STM ( IOSim s) () Source # traceTVarIO :: proxy ( IOSim s) -> TVar ( IOSim s) a -> ( Maybe a -> a -> InspectMonad ( IOSim s) TraceValue ) -> IOSim s () Source # traceTMVarIO :: proxy ( IOSim s) -> TMVar ( IOSim s) a -> ( Maybe ( Maybe a) -> Maybe a -> InspectMonad ( IOSim s) TraceValue ) -> IOSim s () Source # traceTQueueIO :: proxy ( IOSim s) -> TQueue ( IOSim s) a -> ( Maybe [a] -> [a] -> InspectMonad ( IOSim s) TraceValue ) -> IOSim s () Source # traceTBQueueIO :: proxy ( IOSim s) -> TBQueue ( IOSim s) a -> ( Maybe [a] -> [a] -> InspectMonad ( IOSim s) TraceValue ) -> IOSim s () Source #
MonadThrow ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods throwIO :: Exception e => e -> IOSim s a Source # bracket :: IOSim s a -> (a -> IOSim s b) -> (a -> IOSim s c) -> IOSim s c Source # bracket_ :: IOSim s a -> IOSim s b -> IOSim s c -> IOSim s c Source # finally :: IOSim s a -> IOSim s b -> IOSim s a Source #
MonadCatch ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods catch :: Exception e => IOSim s a -> (e -> IOSim s a) -> IOSim s a Source # catchJust :: Exception e => (e -> Maybe b) -> IOSim s a -> (b -> IOSim s a) -> IOSim s a Source # try :: Exception e => IOSim s a -> IOSim s ( Either e a) Source # tryJust :: Exception e => (e -> Maybe b) -> IOSim s a -> IOSim s ( Either b a) Source # handle :: Exception e => (e -> IOSim s a) -> IOSim s a -> IOSim s a Source # handleJust :: Exception e => (e -> Maybe b) -> (b -> IOSim s a) -> IOSim s a -> IOSim s a Source # onException :: IOSim s a -> IOSim s b -> IOSim s a Source # bracketOnError :: IOSim s a -> (a -> IOSim s b) -> (a -> IOSim s c) -> IOSim s c Source # generalBracket :: IOSim s a -> (a -> ExitCase b -> IOSim s c) -> (a -> IOSim s b) -> IOSim s (b, c) Source #
MonadMask ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods mask :: (( forall a. IOSim s a -> IOSim s a) -> IOSim s b) -> IOSim s b Source # uninterruptibleMask :: (( forall a. IOSim s a -> IOSim s a) -> IOSim s b) -> IOSim s b Source # mask_ :: IOSim s a -> IOSim s a Source # uninterruptibleMask_ :: IOSim s a -> IOSim s a Source #
MonadMaskingState ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods getMaskingState :: IOSim s MaskingState Source #
MonadEvaluate ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods evaluate :: a -> IOSim s a Source #
MonadTest ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods exploreRaces :: IOSim s () Source #
MonadSay ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods say :: String -> IOSim s () Source #
MonadST ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods withLiftST :: ( forall s0. ( forall a. ST s0 a -> IOSim s a) -> b) -> b Source #
MonadThread ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Associated Types type ThreadId ( IOSim s) Source # Methods myThreadId :: IOSim s ( ThreadId ( IOSim s)) Source # labelThread :: ThreadId ( IOSim s) -> String -> IOSim s () Source #
MonadFork ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods forkIO :: IOSim s () -> IOSim s ( ThreadId ( IOSim s)) Source # forkIOWithUnmask :: (( forall a. IOSim s a -> IOSim s a) -> IOSim s ()) -> IOSim s ( ThreadId ( IOSim s)) Source # throwTo :: Exception e => ThreadId ( IOSim s) -> e -> IOSim s () Source # killThread :: ThreadId ( IOSim s) -> IOSim s () Source # yield :: IOSim s () Source #
MonadEventlog ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods traceEventIO :: String -> IOSim s () Source # traceMarkerIO :: String -> IOSim s () Source #
Semigroup a => Semigroup ( IOSim s a) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods (<>) :: IOSim s a -> IOSim s a -> IOSim s a Source # sconcat :: NonEmpty ( IOSim s a) -> IOSim s a Source # stimes :: Integral b => b -> IOSim s a -> IOSim s a Source #
Monoid a => Monoid ( IOSim s a) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods mempty :: IOSim s a Source # mappend :: IOSim s a -> IOSim s a -> IOSim s a Source # mconcat :: [ IOSim s a] -> IOSim s a Source #
type Async ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types type Async ( IOSim s)
data Timeout ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types data Timeout ( IOSim s) = Timeout !( TVar s TimeoutState ) !( TVar s Bool ) ! TimeoutId \| NegativeTimeout ! TimeoutId
type TBQueue ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types type TBQueue ( IOSim s)
type TQueue ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types type TQueue ( IOSim s)
type TMVar ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types type TMVar ( IOSim s) = TMVarDefault ( IOSim s)
type TVar ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types type TVar ( IOSim s) = TVar s
type STM ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types type STM ( IOSim s) = STM s
type InspectMonad ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types type InspectMonad ( IOSim s) = ST s
type ThreadId ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types type ThreadId ( IOSim s) = ThreadId

runIOSim :: IOSim s a -> SimA s a Source #

traceM :: Typeable a => a -> IOSim s () Source #

traceSTM :: Typeable a => a -> STMSim s () Source #

liftST :: ST s a -> IOSim s a Source #

data SimA s a where Source #

Constructors

Return :: a -> SimA s a
Say :: String -> SimA s b -> SimA s b
Output :: Dynamic -> SimA s b -> SimA s b
LiftST :: ST s a -> (a -> SimA s b) -> SimA s b
GetMonoTime :: ( Time -> SimA s b) -> SimA s b
GetWallTime :: ( UTCTime -> SimA s b) -> SimA s b
SetWallTime :: UTCTime -> SimA s b -> SimA s b
UnshareClock :: SimA s b -> SimA s b
NewTimeout :: DiffTime -> ( Timeout ( IOSim s) -> SimA s b) -> SimA s b
UpdateTimeout :: Timeout ( IOSim s) -> DiffTime -> SimA s b -> SimA s b
CancelTimeout :: Timeout ( IOSim s) -> SimA s b -> SimA s b
Throw :: SomeException -> SimA s a
Catch :: Exception e => SimA s a -> (e -> SimA s a) -> (a -> SimA s b) -> SimA s b
Evaluate :: a -> (a -> SimA s b) -> SimA s b
Fork :: IOSim s () -> ( ThreadId -> SimA s b) -> SimA s b
GetThreadId :: ( ThreadId -> SimA s b) -> SimA s b
LabelThread :: ThreadId -> String -> SimA s b -> SimA s b
Atomically :: STM s a -> (a -> SimA s b) -> SimA s b
ThrowTo :: SomeException -> ThreadId -> SimA s a -> SimA s a
SetMaskState :: MaskingState -> IOSim s a -> (a -> SimA s b) -> SimA s b
GetMaskState :: ( MaskingState -> SimA s b) -> SimA s b
YieldSim :: SimA s a -> SimA s a
ExploreRaces :: SimA s b -> SimA s b
Fix :: (x -> IOSim s x) -> (x -> SimA s r) -> SimA s r

type StepId = ( ThreadId , Int ) Source #

type STMSim = STM Source #

newtype STM s a Source #

Constructors

STM
Fields unSTM :: forall r. (a -> StmA s r) -> StmA s r

Instances

Instances details

Monad ( STM s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods (>>=) :: STM s a -> (a -> STM s b) -> STM s b Source # (>>) :: STM s a -> STM s b -> STM s b Source # return :: a -> STM s a Source #
Functor ( STM s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods fmap :: (a -> b) -> STM s a -> STM s b Source # (<$) :: a -> STM s b -> STM s a Source #
MonadFail ( STM s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods fail :: String -> STM s a Source #
Applicative ( STM s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods pure :: a -> STM s a Source # (<>) :: STM s (a -> b) -> STM s a -> STM s b Source # liftA2 :: (a -> b -> c) -> STM s a -> STM s b -> STM s c Source # (>) :: STM s a -> STM s b -> STM s b Source # (<*) :: STM s a -> STM s b -> STM s a Source #
Alternative ( STM s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods empty :: STM s a Source # (<\|>) :: STM s a -> STM s a -> STM s a Source # some :: STM s a -> STM s [a] Source # many :: STM s a -> STM s [a] Source #
MonadPlus ( STM s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods mzero :: STM s a Source # mplus :: STM s a -> STM s a -> STM s a Source #
MonadThrow ( STM s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods throwM :: Exception e => e -> STM s a Source #
MonadThrow ( STM s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods throwIO :: Exception e => e -> STM s a Source # bracket :: STM s a -> (a -> STM s b) -> (a -> STM s c) -> STM s c Source # bracket_ :: STM s a -> STM s b -> STM s c -> STM s c Source # finally :: STM s a -> STM s b -> STM s a Source #
MonadSay ( STMSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods say :: String -> STMSim s () Source #

runSTM :: STM s a -> StmA s a Source #

data StmA s a where Source #

Constructors

ReturnStm :: a -> StmA s a
ThrowStm :: SomeException -> StmA s a
NewTVar :: Maybe String -> x -> ( TVar s x -> StmA s b) -> StmA s b
LabelTVar :: String -> TVar s a -> StmA s b -> StmA s b
ReadTVar :: TVar s a -> (a -> StmA s b) -> StmA s b
WriteTVar :: TVar s a -> a -> StmA s b -> StmA s b
Retry :: StmA s b
OrElse :: StmA s a -> StmA s a -> (a -> StmA s b) -> StmA s b
SayStm :: String -> StmA s b -> StmA s b
OutputStm :: Dynamic -> StmA s b -> StmA s b
TraceTVar :: forall s a b. TVar s a -> ( Maybe a -> a -> ST s TraceValue ) -> StmA s b -> StmA s b

data StmTxResult s a Source #

Constructors

StmTxCommitted	A committed transaction reports the vars that were written (in order of first write) so that the scheduler can unblock other threads that were blocked in STM transactions that read any of these vars. It reports the vars that were read, so we can update vector clocks appropriately. The third list of vars is ones that were created during this transaction. This is useful for an implementation of `traceTVar` . It also includes the updated TVarId name supply.
Fields a [ SomeTVar s] written tvars [ SomeTVar s] read tvars [ SomeTVar s] created tvars [ Dynamic ] [ String ] TVarId
StmTxBlocked [ SomeTVar s]	A blocked transaction reports the vars that were read so that the scheduler can block the thread on those vars.
StmTxAborted [ SomeTVar s] SomeException	An aborted transaction reports the vars that were read so that the vector clock can be updated.

data StmStack s b a where Source #

Constructors

AtomicallyFrame :: StmStack s a a	Executing in the context of a top level `atomically` .
OrElseLeftFrame :: StmA s a -> (a -> StmA s b) -> Map TVarId ( SomeTVar s) -> [ SomeTVar s] -> [ SomeTVar s] -> StmStack s b c -> StmStack s a c	Executing in the context of the left hand side of an `orElse`
OrElseRightFrame :: (a -> StmA s b) -> Map TVarId ( SomeTVar s) -> [ SomeTVar s] -> [ SomeTVar s] -> StmStack s b c -> StmStack s a c	Executing in the context of the right hand side of an `orElse`

data family Timeout (m :: Type -> Type ) Source #

Instances

Instances details

data Timeout IO
Instance details Defined in Control.Monad.Class.MonadTimer data Timeout IO = TimeoutIO !( TVar TimeoutState ) ! TimeoutKey
data Timeout ( IOSim s) Source #
Instance details Defined in Control.Monad.IOSim.Types data Timeout ( IOSim s) = Timeout !( TVar s TimeoutState ) !( TVar s Bool ) ! TimeoutId \| NegativeTimeout ! TimeoutId
newtype Timeout ( ReaderT r m)
Instance details Defined in Control.Monad.Class.MonadTimer newtype Timeout ( ReaderT r m) = TimeoutR { unTimeoutR :: Timeout m }
newtype Timeout ( StateT s m)
Instance details Defined in Control.Monad.Class.MonadTimer newtype Timeout ( StateT s m) = TimeoutS { unTimeoutS :: Timeout m }
newtype Timeout ( WriterT w m)
Instance details Defined in Control.Monad.Class.MonadTimer newtype Timeout ( WriterT w m) = TimeoutW { unTimeoutW :: Timeout m }
newtype Timeout ( RWST r w s m)
Instance details Defined in Control.Monad.Class.MonadTimer newtype Timeout ( RWST r w s m) = TimeoutRWS { unTimeoutRWS :: Timeout m }

newtype TimeoutException Source #

Constructors

TimeoutException TimeoutId

Instances

Instances details

Eq TimeoutException Source #
Instance details Defined in Control.Monad.IOSim.Types Methods (==) :: TimeoutException -> TimeoutException -> Bool Source # (/=) :: TimeoutException -> TimeoutException -> Bool Source #
Show TimeoutException Source #
Instance details Defined in Control.Monad.IOSim.Types Methods showsPrec :: Int -> TimeoutException -> ShowS Source # show :: TimeoutException -> String Source # showList :: [ TimeoutException ] -> ShowS Source #
Exception TimeoutException Source #
Instance details Defined in Control.Monad.IOSim.Types Methods toException :: TimeoutException -> SomeException Source # fromException :: SomeException -> Maybe TimeoutException Source # displayException :: TimeoutException -> String Source #

setCurrentTime :: UTCTime -> IOSim s () Source #

Set the current wall clock time for the thread's clock domain.

unshareClock :: IOSim s () Source #

Put the thread into a new wall clock domain, not shared with the parent thread. Changing the wall clock time in the new clock domain will not affect the other clock of other threads. All threads forked by this thread from this point onwards will share the new clock domain.

data ScheduleControl Source #

Constructors

ControlDefault	default scheduling mode
ControlAwait [ ScheduleMod ]	if the current control is `ControlAwait` , the normal scheduling will proceed, until the thread found in the first `ScheduleMod` reaches the given step. At this point the thread is put to sleep, until after all the steps are followed.
ControlFollow [ StepId ] [ ScheduleMod ]	follow the steps then continue with schedule modifications. This control is set by `followControl` when `controlTargets` returns true.

Instances

Instances details

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

data ScheduleMod Source #

Constructors

ScheduleMod

Fields

scheduleModTarget :: StepId

Step at which the ScheduleMod is activated.
scheduleModControl :: ScheduleControl

ScheduleControl at the activation step. It is needed by extendScheduleControl when combining the discovered schedule with the initial one.
scheduleModInsertion :: [ StepId ]

Series of steps which are executed at the target step. This *includes* the target step, not necessarily as the last step.

Instances

Instances details

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

data ExplorationOptions Source #

Constructors

ExplorationOptions
Fields explorationScheduleBound :: Int explorationBranching :: Int explorationStepTimelimit :: Maybe Int explorationReplay :: Maybe ScheduleControl

Instances

Instances details

Show ExplorationOptions Source #
Instance details Defined in Control.Monad.IOSim.Types Methods showsPrec :: Int -> ExplorationOptions -> ShowS Source # show :: ExplorationOptions -> String Source # showList :: [ ExplorationOptions ] -> ShowS Source #

type ExplorationSpec = ExplorationOptions -> ExplorationOptions Source #

withScheduleBound :: Int -> ExplorationSpec Source #

withBranching :: Int -> ExplorationSpec Source #

withStepTimelimit :: Int -> ExplorationSpec Source #

withReplay :: ScheduleControl -> ExplorationSpec Source #

stdExplorationOptions :: ExplorationOptions Source #

newtype EventlogEvent Source #

Wrapper for Eventlog events so they can be retrieved from the trace with selectTraceEventsDynamic .

Constructors

EventlogEvent String

newtype EventlogMarker Source #

Wrapper for Eventlog markers so they can be retrieved from the trace with selectTraceEventsDynamic .

Constructors

EventlogMarker String

data SimEventType Source #

Constructors

EventSimStart ScheduleControl
EventSay String
EventLog Dynamic
EventMask MaskingState
EventThrow SomeException
EventThrowTo SomeException ThreadId
EventThrowToBlocked
EventThrowToWakeup
EventThrowToUnmasked ( Labelled ThreadId )
EventThreadForked ThreadId
EventThreadFinished
EventThreadUnhandled SomeException
EventTxCommitted [ Labelled TVarId ] [ Labelled TVarId ] ( Maybe Effect)
EventTxAborted ( Maybe Effect)
EventTxBlocked [ Labelled TVarId ] ( Maybe Effect)
EventTxWakeup [ Labelled TVarId ]
EventTimerCreated TimeoutId TVarId Time
EventTimerUpdated TimeoutId Time
EventTimerCancelled TimeoutId
EventTimerExpired TimeoutId
EventThreadSleep
EventThreadWake
EventDeschedule Deschedule
EventFollowControl ScheduleControl
EventAwaitControl StepId ScheduleControl
EventPerformAction StepId
EventReschedule ScheduleControl
EventUnblocked [ ThreadId ]

Instances

Instances details

Show SimEventType Source #
Instance details Defined in Control.Monad.IOSim.Types Methods showsPrec :: Int -> SimEventType -> ShowS Source # show :: SimEventType -> String Source # showList :: [ SimEventType ] -> ShowS Source #

data SimEvent Source #

Trace is a recursive data type, it is the trace of a IOSim computation. The trace will contain information about thread sheduling, blocking on TVar s, and other internal state changes of IOSim . More importantly it also supports traces generated by the computation with say (which corresponds to using putStrLn in IO ), traceEventM , or dynamically typed traces with traceM (which generalise the base library traceM )

It also contains information on races discovered.

See also: traceEvents , traceResult , selectTraceEvents , selectTraceEventsDynamic and printTraceEventsSay .

Constructors

SimEvent
Fields seTime :: ! Time seThreadId :: ! ThreadId seThreadLabel :: !( Maybe ThreadLabel ) seType :: ! SimEventType
SimPOREvent
Fields seTime :: ! Time seThreadId :: ! ThreadId seStep :: ! Int seThreadLabel :: !( Maybe ThreadLabel ) seType :: ! SimEventType
SimRacesFound [ ScheduleControl ]

Instances

Instances details

Show SimEvent Source #
Instance details Defined in Control.Monad.IOSim.Types Methods showsPrec :: Int -> SimEvent -> ShowS Source # show :: SimEvent -> String Source # showList :: [ SimEvent ] -> ShowS Source #
Generic SimEvent Source #
Instance details Defined in Control.Monad.IOSim.Types Associated Types type Rep SimEvent :: Type -> Type Source # Methods from :: SimEvent -> Rep SimEvent x Source # to :: Rep SimEvent x -> SimEvent Source #
type Rep SimEvent Source #
Instance details Defined in Control.Monad.IOSim.Types type Rep SimEvent = D1 (' MetaData "SimEvent" "Control.Monad.IOSim.Types" "io-sim-0.2.0.0-G47lzFOFdKi874hOfjQqmW" ' False ) ( C1 (' MetaCons "SimEvent" ' PrefixI ' True ) (( S1 (' MetaSel (' Just "seTime") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Time ) :: S1 (' MetaSel (' Just "seThreadId") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ThreadId )) :: ( S1 (' MetaSel (' Just "seThreadLabel") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Maybe ThreadLabel )) :: S1 (' MetaSel (' Just "seType") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 SimEventType ))) :+: ( C1 (' MetaCons "SimPOREvent" ' PrefixI ' True ) (( S1 (' MetaSel (' Just "seTime") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Time ) :: S1 (' MetaSel (' Just "seThreadId") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ThreadId )) :: ( S1 (' MetaSel (' Just "seStep") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Int ) :: ( S1 (' MetaSel (' Just "seThreadLabel") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Maybe ThreadLabel )) :*: S1 (' MetaSel (' Just "seType") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 SimEventType )))) :+: C1 (' MetaCons "SimRacesFound" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 [ ScheduleControl ]))))

data SimResult a Source #

Constructors

MainReturn ! Time a ![ Labelled ThreadId ]
MainException ! Time SomeException ![ Labelled ThreadId ]
Deadlock ! Time ![ Labelled ThreadId ]
Loop

Instances

Instances details

Show a => Show ( SimResult a) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods showsPrec :: Int -> SimResult a -> ShowS Source # show :: SimResult a -> String Source # showList :: [ SimResult a] -> ShowS Source #

type SimTrace a = Trace ( SimResult a) SimEvent Source #

data Trace a b where Source #

A cons list with polymorphic nil , thus an octopus.

Trace Void a is an infinite stream
Trace () a is isomorphic to [a]

Usually used with a being a non empty sum type.

Bundled Patterns

pattern Trace :: Time -> ThreadId -> Maybe ThreadLabel -> SimEventType -> SimTrace a -> SimTrace a	Deprecated: Use `SimTrace` instead.
pattern SimTrace :: Time -> ThreadId -> Maybe ThreadLabel -> SimEventType -> SimTrace a -> SimTrace a
pattern SimPORTrace :: Time -> ThreadId -> Int -> Maybe ThreadLabel -> SimEventType -> SimTrace a -> SimTrace a
pattern TraceMainReturn :: Time -> a -> [ Labelled ThreadId ] -> SimTrace a
pattern TraceMainException :: Time -> SomeException -> [ Labelled ThreadId ] -> SimTrace a
pattern TraceDeadlock :: Time -> [ Labelled ThreadId ] -> SimTrace a
pattern TraceRacesFound :: [ ScheduleControl ] -> SimTrace a -> SimTrace a
pattern TraceLoop :: SimTrace a

Instances

Instances details

Bitraversable Trace Source #
Instance details Defined in Data.List.Trace Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> Trace a b -> f ( Trace c d) Source #
Bifoldable Trace Source #
Instance details Defined in Data.List.Trace Methods bifold :: Monoid m => Trace m m -> m Source # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> Trace a b -> m Source # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> Trace a b -> c Source # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> Trace a b -> c Source #
Bifunctor Trace Source #
Instance details Defined in Data.List.Trace Methods bimap :: (a -> b) -> (c -> d) -> Trace a c -> Trace b d Source # first :: (a -> b) -> Trace a c -> Trace b c Source # second :: (b -> c) -> Trace a b -> Trace a c Source #
Monoid a => Monad ( Trace a) Source #
Instance details Defined in Data.List.Trace Methods (>>=) :: Trace a a0 -> (a0 -> Trace a b) -> Trace a b Source # (>>) :: Trace a a0 -> Trace a b -> Trace a b Source # return :: a0 -> Trace a a0 Source #
Functor ( Trace a) Source #
Instance details Defined in Data.List.Trace Methods fmap :: (a0 -> b) -> Trace a a0 -> Trace a b Source # (<$) :: a0 -> Trace a b -> Trace a a0 Source #
Monoid a => MonadFix ( Trace a) Source #
Instance details Defined in Data.List.Trace Methods mfix :: (a0 -> Trace a a0) -> Trace a a0 Source #
Monoid a => MonadFail ( Trace a) Source #
Instance details Defined in Data.List.Trace Methods fail :: String -> Trace a a0 Source #
Monoid a => Applicative ( Trace a) Source #
Instance details Defined in Data.List.Trace Methods pure :: a0 -> Trace a a0 Source # (<>) :: Trace a (a0 -> b) -> Trace a a0 -> Trace a b Source # liftA2 :: (a0 -> b -> c) -> Trace a a0 -> Trace a b -> Trace a c Source # (>) :: Trace a a0 -> Trace a b -> Trace a b Source # (<*) :: Trace a a0 -> Trace a b -> Trace a a0 Source #
Eq a => Eq1 ( Trace a) Source #
Instance details Defined in Data.List.Trace Methods liftEq :: (a0 -> b -> Bool ) -> Trace a a0 -> Trace a b -> Bool Source #
Ord a => Ord1 ( Trace a) Source #
Instance details Defined in Data.List.Trace Methods liftCompare :: (a0 -> b -> Ordering ) -> Trace a a0 -> Trace a b -> Ordering Source #
Show a => Show1 ( Trace a) Source #
Instance details Defined in Data.List.Trace Methods liftShowsPrec :: ( Int -> a0 -> ShowS ) -> ([a0] -> ShowS ) -> Int -> Trace a a0 -> ShowS Source # liftShowList :: ( Int -> a0 -> ShowS ) -> ([a0] -> ShowS ) -> [ Trace a a0] -> ShowS Source #
Monoid a => Alternative ( Trace a) Source #
Instance details Defined in Data.List.Trace Methods empty :: Trace a a0 Source # (<\|>) :: Trace a a0 -> Trace a a0 -> Trace a a0 Source # some :: Trace a a0 -> Trace a [a0] Source # many :: Trace a a0 -> Trace a [a0] Source #
Monoid a => MonadPlus ( Trace a) Source #
Instance details Defined in Data.List.Trace Methods mzero :: Trace a a0 Source # mplus :: Trace a a0 -> Trace a a0 -> Trace a a0 Source #
( Eq b, Eq a) => Eq ( Trace a b) Source #
Instance details Defined in Data.List.Trace Methods (==) :: Trace a b -> Trace a b -> Bool Source # (/=) :: Trace a b -> Trace a b -> Bool Source #
( Ord b, Ord a) => Ord ( Trace a b) Source #
Instance details Defined in Data.List.Trace Methods compare :: Trace a b -> Trace a b -> Ordering Source # (<) :: Trace a b -> Trace a b -> Bool Source # (<=) :: Trace a b -> Trace a b -> Bool Source # (>) :: Trace a b -> Trace a b -> Bool Source # (>=) :: Trace a b -> Trace a b -> Bool Source # max :: Trace a b -> Trace a b -> Trace a b Source # min :: Trace a b -> Trace a b -> Trace a b Source #
( Show b, Show a) => Show ( Trace a b) Source #
Instance details Defined in Data.List.Trace Methods showsPrec :: Int -> Trace a b -> ShowS Source # show :: Trace a b -> String Source # showList :: [ Trace a b] -> ShowS Source #
Semigroup a => Semigroup ( Trace a b) Source #
Instance details Defined in Data.List.Trace Methods (<>) :: Trace a b -> Trace a b -> Trace a b Source # sconcat :: NonEmpty ( Trace a b) -> Trace a b Source # stimes :: Integral b0 => b0 -> Trace a b -> Trace a b Source #
Monoid a => Monoid ( Trace a b) Source #
Instance details Defined in Data.List.Trace Methods mempty :: Trace a b Source # mappend :: Trace a b -> Trace a b -> Trace a b Source # mconcat :: [ Trace a b] -> Trace a b Source #

ppTrace :: Show a => SimTrace a -> String Source #

Pretty print simulation trace.

ppTrace_ :: SimTrace a -> String Source #

Like ppTrace but does not show the result value.

ppSimEvent Source #

Arguments

:: Int	width of the time
-> Int	width of thread id
-> Int	width of thread label
-> SimEvent
-> String

ppDebug :: SimTrace a -> x -> x Source #

Trace each event using trace ; this is useful when a trace ends with a pure error, e.g. an assertion.

type TraceEvent = SimEventType Source #

Deprecated: Use SimEventType instead.

data Labelled a Source #

Constructors

Labelled
Fields l_labelled :: !a l_label :: !( Maybe String )

Instances

Instances details

Eq a => Eq ( Labelled a) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods (==) :: Labelled a -> Labelled a -> Bool Source # (/=) :: Labelled a -> Labelled a -> Bool Source #
Ord a => Ord ( Labelled a) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods compare :: Labelled a -> Labelled a -> Ordering Source # (<) :: Labelled a -> Labelled a -> Bool Source # (<=) :: Labelled a -> Labelled a -> Bool Source # (>) :: Labelled a -> Labelled a -> Bool Source # (>=) :: Labelled a -> Labelled a -> Bool Source # max :: Labelled a -> Labelled a -> Labelled a Source # min :: Labelled a -> Labelled a -> Labelled a Source #
Show a => Show ( Labelled a) Source #
Instance details Defined in Control.Monad.IOSim.Types Methods showsPrec :: Int -> Labelled a -> ShowS Source # show :: Labelled a -> String Source # showList :: [ Labelled a] -> ShowS Source #
Generic ( Labelled a) Source #
Instance details Defined in Control.Monad.IOSim.Types Associated Types type Rep ( Labelled a) :: Type -> Type Source # Methods from :: Labelled a -> Rep ( Labelled a) x Source # to :: Rep ( Labelled a) x -> Labelled a Source #
type Rep ( Labelled a) Source #
Instance details Defined in Control.Monad.IOSim.Types type Rep ( Labelled a) = D1 (' MetaData "Labelled" "Control.Monad.IOSim.Types" "io-sim-0.2.0.0-G47lzFOFdKi874hOfjQqmW" ' False ) ( C1 (' MetaCons "Labelled" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "l_labelled") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 a) :*: S1 (' MetaSel (' Just "l_label") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Maybe String ))))

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 #

type SimM s = IOSim s Source #

Deprecated: Use IOSim

type SimSTM = STM Source #

Deprecated: Use STMSim