Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Monad.Class.MonadFork

Description

A generalisation of Control.Concurrent API to both IO and IOSim.

Synopsis

class (Monad m, Eq (ThreadId m), Ord (ThreadId m), Show (ThreadId m)) => MonadThread m where
- type ThreadId m :: Type
- myThreadId :: m (ThreadId m)
- labelThread :: ThreadId m -> String -> m ()
labelThisThread :: MonadThread m => String -> m ()
class MonadThread m => MonadFork m where
- forkIO :: m () -> m (ThreadId m)
- forkOn :: Int -> m () -> m (ThreadId m)
- forkIOWithUnmask :: ((forall a. m a -> m a) -> m ()) -> m (ThreadId m)
- forkFinally :: m a -> (Either SomeException a -> m ()) -> m (ThreadId m)
- throwTo :: Exception e => ThreadId m -> e -> m ()
- killThread :: ThreadId m -> m ()
- yield :: m ()

Documentation

Associated Types

Methods

Instances details

MonadThread IO Source #
Instance details Defined in Control.Monad.Class.MonadFork Associated Types type ThreadId IO Source # Methods myThreadId :: IO (ThreadId IO) Source # labelThread :: ThreadId IO -> String -> IO () Source #
MonadThread m => MonadThread (ReaderT r m) Source #
Instance details Defined in Control.Monad.Class.MonadFork Associated Types type ThreadId (ReaderT r m) Source # Methods myThreadId :: ReaderT r m (ThreadId (ReaderT r m)) Source # labelThread :: ThreadId (ReaderT r m) -> String -> ReaderT r m () Source #

Apply the label to the current thread

Minimal complete definition

Methods

forkIOWithUnmask :: ((forall a. m a -> m a) -> m ()) -> m (ThreadId m) Source #

Instances details

MonadFork IO Source #
Instance details Defined in Control.Monad.Class.MonadFork Methods forkIO :: IO () -> IO (ThreadId IO) Source # forkOn :: Int -> IO () -> IO (ThreadId IO) Source # forkIOWithUnmask :: ((forall a. IO a -> IO a) -> IO ()) -> IO (ThreadId IO) Source # forkFinally :: IO a -> (Either SomeException a -> IO ()) -> IO (ThreadId IO) Source # throwTo :: Exception e => ThreadId IO -> e -> IO () Source # killThread :: ThreadId IO -> IO () Source # yield :: IO () Source #
MonadFork m => MonadFork (ReaderT e m) Source #
Instance details Defined in Control.Monad.Class.MonadFork Methods forkIO :: ReaderT e m () -> ReaderT e m (ThreadId (ReaderT e m)) Source # forkOn :: Int -> ReaderT e m () -> ReaderT e m (ThreadId (ReaderT e m)) Source # forkIOWithUnmask :: ((forall a. ReaderT e m a -> ReaderT e m a) -> ReaderT e m ()) -> ReaderT e m (ThreadId (ReaderT e m)) Source # forkFinally :: ReaderT e m a -> (Either SomeException a -> ReaderT e m ()) -> ReaderT e m (ThreadId (ReaderT e m)) Source # throwTo :: Exception e0 => ThreadId (ReaderT e m) -> e0 -> ReaderT e m () Source # killThread :: ThreadId (ReaderT e m) -> ReaderT e m () Source # yield :: ReaderT e m () Source #