Control.Concurrent.Async.Lifted.Safe

Contents

• Asynchronous actions
  • Spawning
  • Spawning with automatic cancelation
  • Quering Asyncs
  • STM operations
  • Waiting for multiple Asyncs
  • Linking
• Convenient utilities

Description

Synopsis

• data Async a :: * -> *
• class (StM m a ~ a) => Pure m a
• type Forall p = (p A, p B)
• async :: forall m a. (MonadBaseControl IO m, Forall (Pure m)) => m a -> m (Async a)
• asyncBound :: forall m a. (MonadBaseControl IO m, Forall (Pure m)) => m a -> m (Async a)
• asyncOn :: forall m a. (MonadBaseControl IO m, Forall (Pure m)) => Int -> m a -> m (Async a)
• asyncWithUnmask :: forall m a. (MonadBaseControl IO m, Forall (Pure m)) => ((forall b. m b -> m b) -> m a) -> m (Async a)
• asyncOnWithUnmask :: forall m a. (MonadBaseControl IO m, Forall (Pure m)) => Int -> ((forall b. m b -> m b) -> m a) -> m (Async a)
• withAsync :: forall m a b. (MonadBaseControl IO m, Forall (Pure m)) => m a -> (Async a -> m b) -> m b
• withAsyncBound :: forall m a b. (MonadBaseControl IO m, Forall (Pure m)) => m a -> (Async a -> m b) -> m b
• withAsyncOn :: forall m a b. (MonadBaseControl IO m, Forall (Pure m)) => Int -> m a -> (Async a -> m b) -> m b
• withAsyncWithUnmask :: forall m a b. (MonadBaseControl IO m, Forall (Pure m)) => ((forall c. m c -> m c) -> m a) -> (Async a -> m b) -> m b
• withAsyncOnWithUnmask :: forall m a b. (MonadBaseControl IO m, Forall (Pure m)) => Int -> ((forall c. m c -> m c) -> m a) -> (Async a -> m b) -> m b
• wait :: forall m a. (MonadBaseControl IO m, Forall (Pure m)) => Async a -> m a
• poll :: forall m a. (MonadBaseControl IO m, Forall (Pure m)) => Async a -> m (Maybe (Either SomeException a))
• waitCatch :: forall m a. (MonadBaseControl IO m, Forall (Pure m)) => Async a -> m (Either SomeException a)
• cancel :: MonadBase IO m => Async a -> m ()
• cancelWith :: (MonadBase IO m, Exception e) => Async a -> e -> m ()
• asyncThreadId :: Async a -> ThreadId
• waitSTM :: Async a -> STM a
• pollSTM :: Async a -> STM (Maybe (Either SomeException a))
• waitCatchSTM :: Async a -> STM (Either SomeException a)
• waitAny :: forall m a. (MonadBaseControl IO m, Forall (Pure m)) => [Async a] -> m (Async a, a)
• waitAnyCatch :: forall m a. (MonadBaseControl IO m, Forall (Pure m)) => [Async a] -> m (Async a, Either SomeException a)
• waitAnyCancel :: forall m a. (MonadBaseControl IO m, Forall (Pure m)) => [Async a] -> m (Async a, a)
• waitAnyCatchCancel :: forall m a. (MonadBaseControl IO m, Forall (Pure m)) => [Async a] -> m (Async a, Either SomeException a)
• waitEither :: forall m a b. (MonadBaseControl IO m, Forall (Pure m)) => Async a -> Async b -> m (Either a b)
• waitEitherCatch :: forall m a b. (MonadBaseControl IO m, Forall (Pure m)) => Async a -> Async b -> m (Either (Either SomeException a) (Either SomeException b))
• waitEitherCancel :: forall m a b. (MonadBaseControl IO m, Forall (Pure m)) => Async a -> Async b -> m (Either a b)
• waitEitherCatchCancel :: forall m a b. (MonadBaseControl IO m, Forall (Pure m)) => Async a -> Async b -> m (Either (Either SomeException a) (Either SomeException b))
• waitEither_ :: MonadBaseControl IO m => Async a -> Async b -> m ()
• waitBoth :: forall m a b. (MonadBaseControl IO m, Forall (Pure m)) => Async a -> Async b -> m (a, b)
• link :: MonadBase IO m => Async a -> m ()
• link2 :: MonadBase IO m => Async a -> Async b -> m ()
• race :: forall m a b. (MonadBaseControl IO m, Forall (Pure m)) => m a -> m b -> m (Either a b)
• race_ :: forall m a b. (MonadBaseControl IO m, Forall (Pure m)) => m a -> m b -> m ()
• concurrently :: forall m a b. (MonadBaseControl IO m, Forall (Pure m)) => m a -> m b -> m (a, b)
• mapConcurrently :: (Traversable t, MonadBaseControl IO m, Forall (Pure m)) => (a -> m b) -> t a -> m (t b)
• data Concurrently m a where
  • Concurrently :: Forall (Pure m) => {
    • runConcurrently :: m a
    } -> Concurrently m a

Asynchronous actions

Spawning

Spawning with automatic cancelation

Quering Asyncs

STM operations

Waiting for multiple Asyncs

Linking

Convenient utilities

  (page1, page2, page3) <- runConcurrently $ (,,)
    <$> Concurrently (getURL "url1")
    <*> Concurrently (getURL "url2")
    <*> Concurrently (getURL "url3")