Control.TimeWarp.Timed.TimedIO

Real-mode implementation of MonadTimed. Each function in inplementation refers to plain IO.

Documentation

data TimedIO a

Default implementation for IO, i.e. real mode. wait refers to threadDelay, fork refers to forkIO, and so on.

Instances

Monad TimedIO

Methods

(>>=) :: TimedIO a -> (a -> TimedIO b) -> TimedIO b

(>>) :: TimedIO a -> TimedIO b -> TimedIO b

return :: a -> TimedIO a

fail :: String -> TimedIO a

Functor TimedIO

Methods

fmap :: (a -> b) -> TimedIO a -> TimedIO b

(<$) :: a -> TimedIO b -> TimedIO a

Applicative TimedIO

Methods

pure :: a -> TimedIO a

(<*>) :: TimedIO (a -> b) -> TimedIO a -> TimedIO b

(*>) :: TimedIO a -> TimedIO b -> TimedIO b

(<*) :: TimedIO a -> TimedIO b -> TimedIO a

MonadThrow TimedIO

Methods

throwM :: Exception e => e -> TimedIO a

MonadIO TimedIO

Methods

liftIO :: IO a -> TimedIO a

MonadCatch TimedIO

Methods

catch :: Exception e => TimedIO a -> (e -> TimedIO a) -> TimedIO a

MonadMask TimedIO

Methods

mask :: ((forall a. TimedIO a -> TimedIO a) -> TimedIO b) -> TimedIO b

uninterruptibleMask :: ((forall a. TimedIO a -> TimedIO a) -> TimedIO b) -> TimedIO b

MonadTimed TimedIO

Methods

virtualTime :: TimedIO Microsecond

wait :: RelativeToNow -> TimedIO ()

fork :: TimedIO () -> TimedIO (ThreadId TimedIO)

myThreadId :: TimedIO (ThreadId TimedIO)

throwTo :: Exception e => ThreadId TimedIO -> e -> TimedIO ()

timeout :: TimeUnit t => t -> TimedIO a -> TimedIO a

MonadBaseControl IO TimedIO

Associated Types

type StM (TimedIO :: * -> *) a :: *

Methods

liftBaseWith :: (RunInBase TimedIO IO -> IO a) -> TimedIO a

restoreM :: StM TimedIO a -> TimedIO a

MonadBase IO TimedIO

Methods

liftBase :: IO α -> TimedIO α

type ThreadId TimedIO

type ThreadId TimedIO = ThreadId

type StM TimedIO a

type StM TimedIO a = a

runTimedIO :: TimedIO a -> IO a

Launches scenario using real time and threads.