Control.Monad.Class.MonadFork

Documentation

class (Monad m, Eq (ThreadId m), Ord (ThreadId m), Show (ThreadId m)) => MonadThread m where

Associated Types

type ThreadId m :: Type

Methods

myThreadId :: m (ThreadId m)

labelThread :: ThreadId m -> String -> m ()

Instances

MonadThread IO

Defined in Control.Monad.Class.MonadFork

Associated Types

type ThreadId IO

Methods

myThreadId :: IO (ThreadId IO)

labelThread :: ThreadId IO -> String -> IO ()

MonadThread m => MonadThread (ReaderT r m)

Defined in Control.Monad.Class.MonadFork

Associated Types

type ThreadId (ReaderT r m)

Methods

myThreadId :: ReaderT r m (ThreadId (ReaderT r m))

labelThread :: ThreadId (ReaderT r m) -> String -> ReaderT r m ()

labelThisThread :: MonadThread m => String -> m ()

Apply the label to the current thread

class MonadThread m => MonadFork m where

Minimal complete definition

forkIO, forkOn, forkIOWithUnmask, throwTo, yield

Methods

forkIO :: m () -> m (ThreadId m)

forkOn :: Int -> 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 ()

Instances

MonadFork IO

Defined in Control.Monad.Class.MonadFork

Methods

forkIO :: IO () -> IO (ThreadId IO)

forkOn :: Int -> IO () -> IO (ThreadId IO)

forkIOWithUnmask :: ((forall a. IO a -> IO a) -> IO ()) -> IO (ThreadId IO)

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

killThread :: ThreadId IO -> IO ()

yield :: IO ()

MonadFork m => MonadFork (ReaderT e m)

Defined in Control.Monad.Class.MonadFork

Methods

forkIO :: ReaderT e m () -> ReaderT e m (ThreadId (ReaderT e m))

forkOn :: Int -> ReaderT e m () -> ReaderT e m (ThreadId (ReaderT e m))

forkIOWithUnmask :: ((forall a. ReaderT e m a -> ReaderT e m a) -> ReaderT e m ()) -> ReaderT e m (ThreadId (ReaderT e m))

throwTo :: Exception e0 => ThreadId (ReaderT e m) -> e0 -> ReaderT e m ()

killThread :: ThreadId (ReaderT e m) -> ReaderT e m ()

yield :: ReaderT e m ()