Safe Haskell	None
Language	Haskell2010

Control.Monad.Class.MonadFork

Contents

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 ()
class MonadThread m => MonadFork m where
- forkIO :: m () -> m ( ThreadId m)
- forkIOWithUnmask :: (( forall a. m a -> m a) -> m ()) -> m ( ThreadId m)
- throwTo :: Exception e => ThreadId m -> e -> m ()
- killThread :: ThreadId m -> m ()
- yield :: m ()
labelThisThread :: MonadThread m => String -> m ()
fork :: MonadFork m => m () -> m ( ThreadId m)
forkWithUnmask :: MonadFork m => (( forall a. m a -> m a) -> m ()) -> m ( ThreadId 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 #

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 # forkIOWithUnmask :: (( forall a. IO a -> IO 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 # forkIOWithUnmask :: (( forall a. ReaderT e m a -> ReaderT e m 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 #

Apply the label to the current thread

Deprecated API

Deprecated: use forkIO

forkWithUnmask :: MonadFork m => (( forall a. m a -> m a) -> m ()) -> m ( ThreadId m) Source #

Deprecated: use forkIO