Control.Concurrent.Lifted.Fork

Generalizes forkIO to MonadIO.

Documentation

class MonadIO m => MonadFork m where

Generalize forkIO to MonadIO.

Methods

fork :: m () -> m ThreadId

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

forkOS :: m () -> m ThreadId

Instances

MonadFork IO

MonadFork m => MonadFork (IdentityT m)

MonadFork m => MonadFork (ReaderT r m)

MonadFork m => MonadFork (StateC s m)

MonadFork m => MonadFork (StateC s m)

(Monoid w, MonadFork m) => MonadFork (WriterC w m)

(Monoid w, MonadFork m) => MonadFork (WriterC w m)

(Monoid w, MonadFork m) => MonadFork (RWSC r w s m)

(Monoid w, MonadFork m) => MonadFork (RWSC r w s m)

forkFinally :: (MonadCatch m, MonadFork m) => m a -> (Either SomeException a -> m ()) -> m ThreadId

Generalized forkFinally.

forkWithUnmask :: (MonadCatch m, MonadFork m) => ((forall a. m a -> m a) -> m ()) -> m ThreadId

Generalized forkIOWithUnmask.

forkOnWithUnmask :: (MonadCatch m, MonadFork m) => Int -> ((forall a. m a -> m a) -> m ()) -> m ThreadId

Generalized forkOnWithUnmask.