STM -package:stm
A monad supporting atomic memory transactions.
A monad supporting atomic memory transactions.
A monad supporting atomic memory transactions.
Classy software transactional memory.
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.
A single statement, as in do-notation.
Are we in a do expression or a monad comprehension?
This datatype is only used to report this context to the user in error
messages.
Pattern of a do-stmt, list comprehension, pattern guard, etc
A statement, representing both a stmt in a
do-expression, an ordinary qual in a list
comprehension, as well as a stmt in a pattern guard.