Control.Concurrent.Task

Documentation

data Task a

Task result

Constructors

Task

Fields

taskStart :: MVar (Maybe (SomeException -> IO ()))

taskResult :: TaskResult a

Instances

Functor Task

data TaskException

Constructors

TaskCancelled

TaskKilled

Instances

Bounded TaskException

Enum TaskException

Eq TaskException

Ord TaskException

Read TaskException

Show TaskException

Exception TaskException

Typeable * TaskException

data TaskResult a

Constructors

TaskResult

Fields

taskResultEmpty :: IO Bool

taskResultTryRead :: IO (Maybe (Either SomeException a))

taskResultTake :: IO (Either SomeException a)

taskResultFail :: SomeException -> IO ()

Instances

Functor TaskResult

taskStarted :: Task a -> IO Bool

taskRunning :: Task a -> IO Bool

taskStopped :: Task a -> IO Bool

taskDone :: Task a -> IO Bool

taskFailed :: Task a -> IO Bool

taskCancelled :: Task a -> IO Bool

taskWaitStart :: Task a -> IO Bool

Wait until task starts or be cancelled, returns True if started

taskWait :: Task a -> IO (Either SomeException a)

Wait for task

taskKill :: Task a -> IO ()

Kill task

taskCancel :: Task a -> IO Bool

Cancel task if it is not started yet

taskStop :: Task a -> IO Bool

Cancel or kill task, returns whether it was cancelled

runTask :: (MonadCatch m, MonadIO m, MonadIO n) => (m () -> n ()) -> m a -> n (Task a)

runTask_ :: (MonadCatch m, MonadIO m, MonadIO n) => (Task a -> m () -> n ()) -> m a -> n (Task a)

runTaskTry :: (MonadCatch m, MonadIO m, MonadIO n) => (Task a -> m () -> n ()) -> m (Either SomeException a) -> n (Task a)

runTaskError :: (Show e, Error e, MonadError e m, MonadCatch m, MonadIO m, MonadIO n) => (Task a -> m () -> n ()) -> m a -> n (Task a)

forkTask :: IO a -> IO (Task a)

Run task in separate thread

tryT :: (Show e, Error e, MonadError e m) => m a -> m (Either SomeException a)