| stm-2.1.1.2: Software Transactional Memory | Source code | Contents | Index

Control.Monad.STM

Portability | non-portable (requires STM)
Stability | experimental
Maintainer | libraries@haskell.org

Description

Software Transactional Memory: a modular composable concurrency abstraction. See

- Composable memory transactions, by Tim Harris, Simon Marlow, Simon Peyton Jones, and Maurice Herlihy, in /ACM Conference on Principles and Practice of Parallel Programming/ 2005. http://research.microsoft.com/Users/simonpj/papers/stm/index.htm

This module only defines the `STM` monad; you probably want to import Control.Concurrent.STM (which exports Control.Monad.STM).

Documentation
STM (STM)
atomically
always
alwaysSucceeds
retry
orElse

check :: Bool -> STM a | Source

catchSTM
Produced by Haddock version 2.4.2