Portability | portable |
---|---|
Stability | experimental |
Maintainer | me@joelt.io |
Safe Haskell | Safe-Inferred |
Generalizes forkIO
to MonadIO.
- class MonadIO m => MonadFork m where
- forkFinally :: (MonadCatch m, MonadFork m) => m a -> (Either SomeException a -> m ()) -> m ThreadId
- forkWithUnmask :: (MonadCatch m, MonadFork m) => ((forall a. m a -> m a) -> m ()) -> m ThreadId
- forkOnWithUnmask :: (MonadCatch m, MonadFork m) => Int -> ((forall a. m a -> m a) -> m ()) -> m ThreadId
Documentation
class MonadIO m => MonadFork m whereSource
Generalize forkIO
to MonadIO
.
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 ThreadIdSource
Generalized forkFinally
.
forkWithUnmask :: (MonadCatch m, MonadFork m) => ((forall a. m a -> m a) -> m ()) -> m ThreadIdSource
Generalized forkIOWithUnmask
.
forkOnWithUnmask :: (MonadCatch m, MonadFork m) => Int -> ((forall a. m a -> m a) -> m ()) -> m ThreadIdSource
Generalized forkOnWithUnmask
.