-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Concurrent Haskell in ST
--   
--   Concurrent Haskell in ST
@package concurrent-st
@version 0.1


-- | This module provides a way to use concurrent haskell inside of
--   <a>ST</a>. Using these function subverts the usual guarentee we have
--   that <a>ST</a> is deterministic.
module Control.Concurrent.ST
data ThreadId s
ThreadId :: ThreadId# -> ThreadId s

-- | Creates a new thread to run the <a>ST</a> computation passed as the
--   argument. Since using the <a>ThreadId</a> often leads to
--   non-determinism, the function <a>forkST_</a> is typically to be
--   preferred.
forkST :: ST s () -> ST s (ThreadId s)

-- | Creates a new thread to run the <a>ST</a> computation and discard the
--   <a>ThreadId</a>.
forkST_ :: ST s () -> ST s ()
data MVar s a
newEmptyMVar :: ST s (MVar s a)
newMVar :: a -> ST s (MVar s a)
takeMVar :: MVar s a -> ST s a
putMVar :: MVar s a -> a -> ST s ()
readMVar :: MVar s a -> ST s a
tryTakeMVar :: MVar s a -> ST s (Maybe a)
tryPutMVar :: MVar s a -> a -> ST s Bool
isEmptyMVar :: MVar s a -> ST s Bool
tryReadMVar :: MVar s a -> ST s (Maybe a)
instance GHC.Classes.Eq (Control.Concurrent.ST.MVar s a)