Hoogle Search

Within LTS Haskell 22.17 (ghc-9.6.4)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. newtype STM a

   base	GHC.Conc

   A monad supporting atomic memory transactions.

2. STM :: (State# RealWorld -> (# State# RealWorld, a #)) -> STM a

   base	GHC.Conc

   No documentation available.

3. newtype STM a

   base	GHC.Conc.Sync

   A monad supporting atomic memory transactions.

4. STM :: (State# RealWorld -> (# State# RealWorld, a #)) -> STM a

   base	GHC.Conc.Sync

   No documentation available.

5. module Control.Concurrent.STM

   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/

6. module Control.Monad.STM

   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.

7. data () => STM a

   stm	Control.Monad.STM

   A monad supporting atomic memory transactions.

8. module UnliftIO.STM

   Lifted version of Control.Concurrent.STM

9. data () => STM a

   unliftio	UnliftIO.STM

   A monad supporting atomic memory transactions.

10. module Control.Concurrent.STM

    No documentation available.

Page 1 of many | Next