Haskus.Utils.STM.Future

Future values (values that can only be set once)

Documentation

data Future a

Future value of type a

data FutureSource a

Setter for a future value

newFuture :: STM (Future a, FutureSource a)

Create a Future and its source

newFutureIO :: MonadIO m => m (Future a, FutureSource a)

newFuture in IO

waitFuture :: Future a -> STM a

Wait for a future

pollFuture :: Future a -> STM (Maybe a)

Poll a future

pollFutureIO :: MonadIO m => Future a -> m (Maybe a)

pollFuture in IO

setFuture :: a -> FutureSource a -> STM ()

Set a future

setFutureIO :: MonadIO m => a -> FutureSource a -> m ()

Set a future in IO

setFuture' :: a -> FutureSource a -> STM Bool

Set a future

Return False if it has already been set