STM is:exact

A monad supporting atomic memory transactions.

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. https://www.microsoft.com/en-us/research/publication/composable-memory-transactions/

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. https://www.microsoft.com/en-us/research/publication/composable-memory-transactions/

This module only defines the STM monad; you probably want to import Control.Concurrent.STM (which exports Control.Monad.STM). Note that invariant checking (namely the always and alwaysSucceeds functions) has been removed. See ticket #14324 and the removal proposal. Existing users are encouraged to encapsulate their STM operations in safe abstractions which can perform the invariant checking without help from the runtime system.

A monad supporting atomic memory transactions.

Lifted version of Control.Concurrent.STM

A monad supporting atomic memory transactions.

Classy software transactional memory.

Lifted Control.Concurrent.STM.

A monad supporting atomic memory transactions.

An STM transaction was executed, possibly waking up some threads.

MonadSTM testing implementation, internal types and definitions. This module is NOT considered to form part of the public interface of this library.