Control.TimeWarp.Timed.TimedT

This module contains pure implementation of MonadTimed.

Documentation

data TimedT m a

Instances

MonadTrans TimedT

Methods

lift :: Monad m => m a -> TimedT m a

MonadState s m => MonadState s (TimedT m)

Methods

get :: TimedT m s

put :: s -> TimedT m ()

state :: (s -> (a, s)) -> TimedT m a

Monad (TimedT m)

Methods

(>>=) :: TimedT m a -> (a -> TimedT m b) -> TimedT m b

(>>) :: TimedT m a -> TimedT m b -> TimedT m b

return :: a -> TimedT m a

fail :: String -> TimedT m a

Functor (TimedT m)

Methods

fmap :: (a -> b) -> TimedT m a -> TimedT m b

(<$) :: a -> TimedT m b -> TimedT m a

Applicative (TimedT m)

Methods

pure :: a -> TimedT m a

(<*>) :: TimedT m (a -> b) -> TimedT m a -> TimedT m b

(*>) :: TimedT m a -> TimedT m b -> TimedT m b

(<*) :: TimedT m a -> TimedT m b -> TimedT m a

MonadIO m => MonadIO (TimedT m)

Methods

liftIO :: IO a -> TimedT m a

MonadThrow m => MonadThrow (TimedT m)

When non-main thread dies from uncaught exception, this is reported via logger (see WithNamedLogger). ThreadKilled exception is reported with Debug severity, and other exceptions with Warn severity. Uncaught exception in main thread (the one isn't produced by fork) is propagaded outside of the monad.

Methods

throwM :: Exception e => e -> TimedT m a

MonadCatch m => MonadCatch (TimedT m)

Methods

catch :: Exception e => TimedT m a -> (e -> TimedT m a) -> TimedT m a

(MonadIO m, MonadCatch m) => MonadMask (TimedT m)

This instance is incorrect, i.e. mask and uninterruptibleMask do nothing for now.

Methods

mask :: ((forall a. TimedT m a -> TimedT m a) -> TimedT m b) -> TimedT m b

uninterruptibleMask :: ((forall a. TimedT m a -> TimedT m a) -> TimedT m b) -> TimedT m b

CanLog m => CanLog (TimedT m)

Methods

dispatchMessage :: LoggerName -> Severity -> Text -> TimedT m ()

HasLoggerName (TimedT m)

Methods

getLoggerName :: TimedT m LoggerName

modifyLoggerName :: (LoggerName -> LoggerName) -> TimedT m a -> TimedT m a

(CanLog m, MonadIO m, MonadThrow m, MonadCatch m) => MonadTimed (TimedT m)

Methods

virtualTime :: TimedT m Microsecond

currentTime :: TimedT m Microsecond

wait :: RelativeToNow -> TimedT m ()

fork :: TimedT m () -> TimedT m (ThreadId (TimedT m))

myThreadId :: TimedT m (ThreadId (TimedT m))

throwTo :: Exception e => ThreadId (TimedT m) -> e -> TimedT m ()

timeout :: TimeUnit t => t -> TimedT m a -> TimedT m a

forkSlave :: TimedT m () -> TimedT m (ThreadId (TimedT m))

type ThreadId (TimedT m)

type ThreadId (TimedT m) = PureThreadId

data PureThreadId

Analogy to ThreadId for emulation.

Instances

Eq PureThreadId

Methods

(==) :: PureThreadId -> PureThreadId -> Bool

(/=) :: PureThreadId -> PureThreadId -> Bool

Ord PureThreadId

Methods

compare :: PureThreadId -> PureThreadId -> Ordering

(<) :: PureThreadId -> PureThreadId -> Bool

(<=) :: PureThreadId -> PureThreadId -> Bool

(>) :: PureThreadId -> PureThreadId -> Bool

(>=) :: PureThreadId -> PureThreadId -> Bool

max :: PureThreadId -> PureThreadId -> PureThreadId

min :: PureThreadId -> PureThreadId -> PureThreadId

Show PureThreadId

Methods

showsPrec :: Int -> PureThreadId -> ShowS

show :: PureThreadId -> String

showList :: [PureThreadId] -> ShowS

runTimedT :: (MonadIO m, MonadCatch m) => TimedT m a -> m a

Launches the scenario emulating threads and time. Finishes when no more active threads remain.

defaultLoggerName :: LoggerName

Name which is used by logger (see WithNamedLogger) if no other one was specified.