Copyright	(c) Serokell 2016
License	GPL-3 (see the file LICENSE)
Maintainer	Serokell <hi@serokell.io>
Stability	experimental
Portability	POSIX, GHC
Safe Haskell	None
Language	Haskell2010

Control.TimeWarp.Timed.TimedIO

Description

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

Synopsis

Documentation

data TimedIO a Source #

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

Instances

Monad TimedIO Source #
Methods (>>=) :: TimedIO a -> (a -> TimedIO b) -> TimedIO b # (>>) :: TimedIO a -> TimedIO b -> TimedIO b # return :: a -> TimedIO a # fail :: String -> TimedIO a #
Functor TimedIO Source #
Methods fmap :: (a -> b) -> TimedIO a -> TimedIO b # (<$) :: a -> TimedIO b -> TimedIO a #
Applicative TimedIO Source #
Methods pure :: a -> TimedIO a # (<>) :: TimedIO (a -> b) -> TimedIO a -> TimedIO b # (>) :: TimedIO a -> TimedIO b -> TimedIO b # (<*) :: TimedIO a -> TimedIO b -> TimedIO a #
MonadIO TimedIO Source #
Methods liftIO :: IO a -> TimedIO a #
MonadThrow TimedIO Source #
Methods throwM :: Exception e => e -> TimedIO a #
MonadCatch TimedIO Source #
Methods catch :: Exception e => TimedIO a -> (e -> TimedIO a) -> TimedIO a #
MonadMask TimedIO Source #
Methods mask :: ((forall a. TimedIO a -> TimedIO a) -> TimedIO b) -> TimedIO b # uninterruptibleMask :: ((forall a. TimedIO a -> TimedIO a) -> TimedIO b) -> TimedIO b #
CanLog TimedIO Source #
Methods dispatchMessage :: LoggerName -> Severity -> Text -> TimedIO () #
MonadTimed TimedIO Source #
Methods virtualTime :: TimedIO Microsecond Source # currentTime :: TimedIO Microsecond Source # wait :: RelativeToNow -> TimedIO () Source # fork :: TimedIO () -> TimedIO (ThreadId TimedIO) Source # myThreadId :: TimedIO (ThreadId TimedIO) Source # throwTo :: Exception e => ThreadId TimedIO -> e -> TimedIO () Source # timeout :: TimeUnit t => t -> TimedIO a -> TimedIO a Source # forkSlave :: TimedIO () -> TimedIO (ThreadId TimedIO) Source #
MonadBase IO TimedIO Source #
Methods liftBase :: IO α -> TimedIO α #
MonadBaseControl IO TimedIO Source #
Associated Types type StM (TimedIO :: * -> ) a :: # Methods liftBaseWith :: (RunInBase TimedIO IO -> IO a) -> TimedIO a # restoreM :: StM TimedIO a -> TimedIO a #
type ThreadId TimedIO Source #
type ThreadId TimedIO = ThreadId
type StM TimedIO a Source #
type StM TimedIO a = a

runTimedIO :: TimedIO a -> IO a Source #

Launches scenario using real time and threads.