Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Control.Concurrent.STM.Stats
Documentation
atomicallyNamed :: String -> STM a -> IO a #
atomically :: STM a -> IO a #
getSTMStats :: IO (Map String (Int, Int)) #
dumpSTMStats :: IO () #
Instances
Alternative STM | |
Applicative STM | |
Functor STM | |
Monad STM | |
MonadPlus STM | |
MonadCatch STM | |
MonadThrow STM | |
Defined in Control.Monad.Catch | |
MonadBaseControl STM STM | |
MArray TArray e STM | |
Defined in Control.Concurrent.STM.TArray Methods getBounds :: Ix i => TArray i e -> STM (i, i) getNumElements :: Ix i => TArray i e -> STM Int newArray :: Ix i => (i, i) -> e -> STM (TArray i e) newArray_ :: Ix i => (i, i) -> STM (TArray i e) unsafeNewArray_ :: Ix i => (i, i) -> STM (TArray i e) unsafeRead :: Ix i => TArray i e -> Int -> STM e unsafeWrite :: Ix i => TArray i e -> Int -> e -> STM () | |
Monoid a => Monoid (STM a) | |
Semigroup a => Semigroup (STM a) | |
RandomGen g => FrozenGen (TGen g) STM | Since: random-1.2.1 |
Defined in System.Random.Stateful Associated Types type MutableGen (TGen g) STM = (g :: Type) # | |
RandomGen g => StatefulGen (TGenM g) STM | Since: random-1.2.1 |
Defined in System.Random.Stateful Methods uniformWord32R :: Word32 -> TGenM g -> STM Word32 # uniformWord64R :: Word64 -> TGenM g -> STM Word64 # uniformWord8 :: TGenM g -> STM Word8 # uniformWord16 :: TGenM g -> STM Word16 # uniformWord32 :: TGenM g -> STM Word32 # uniformWord64 :: TGenM g -> STM Word64 # uniformShortByteString :: Int -> TGenM g -> STM ShortByteString # | |
RandomGen r => RandomGenM (TGenM r) r STM | |
Defined in System.Random.Stateful Methods applyRandomGenM :: (r -> (a, r)) -> TGenM r -> STM a # | |
type StM STM a | |
Defined in Control.Monad.Trans.Control | |
type MutableGen (TGen g) STM | |
Defined in System.Random.Stateful |
Instances
Eq (TVar a) | |
PrimUnlifted (TVar a) | |
Defined in Data.Primitive.Unlifted.Class Associated Types type Unlifted (TVar a) :: UnliftedType # | |
type Unlifted (TVar a) | |
Defined in Data.Primitive.Unlifted.Class |
Instances
MArray TArray e STM | |
Defined in Control.Concurrent.STM.TArray Methods getBounds :: Ix i => TArray i e -> STM (i, i) getNumElements :: Ix i => TArray i e -> STM Int newArray :: Ix i => (i, i) -> e -> STM (TArray i e) newArray_ :: Ix i => (i, i) -> STM (TArray i e) unsafeNewArray_ :: Ix i => (i, i) -> STM (TArray i e) unsafeRead :: Ix i => TArray i e -> Int -> STM e unsafeWrite :: Ix i => TArray i e -> Int -> e -> STM () | |
Ix i => Eq (TArray i e) | |
registerDelay :: Int -> IO (TVar Bool) #
readTVarIO :: TVar a -> IO a #
modifyTVar' :: TVar a -> (a -> a) -> STM () #
flushTBQueue :: TBQueue a -> STM [a] #
isEmptyTBQueue :: TBQueue a -> STM Bool #
isFullTBQueue :: TBQueue a -> STM Bool #
lengthTBQueue :: TBQueue a -> STM Natural #
newTBQueue :: Natural -> STM (TBQueue a) #
peekTBQueue :: TBQueue a -> STM a #
readTBQueue :: TBQueue a -> STM a #
tryPeekTBQueue :: TBQueue a -> STM (Maybe a) #
tryReadTBQueue :: TBQueue a -> STM (Maybe a) #
unGetTBQueue :: TBQueue a -> a -> STM () #
writeTBQueue :: TBQueue a -> a -> STM () #
cloneTChan :: TChan a -> STM (TChan a) #
isEmptyTChan :: TChan a -> STM Bool #
newBroadcastTChan :: STM (TChan a) #
tryPeekTChan :: TChan a -> STM (Maybe a) #
tryReadTChan :: TChan a -> STM (Maybe a) #
unGetTChan :: TChan a -> a -> STM () #
writeTChan :: TChan a -> a -> STM () #
isEmptyTMVar :: TMVar a -> STM Bool #
newEmptyTMVar :: STM (TMVar a) #
tryPutTMVar :: TMVar a -> a -> STM Bool #
tryReadTMVar :: TMVar a -> STM (Maybe a) #
tryTakeTMVar :: TMVar a -> STM (Maybe a) #
writeTMVar :: TMVar a -> a -> STM () #
isEmptyTQueue :: TQueue a -> STM Bool #
peekTQueue :: TQueue a -> STM a #
readTQueue :: TQueue a -> STM a #
tryPeekTQueue :: TQueue a -> STM (Maybe a) #
tryReadTQueue :: TQueue a -> STM (Maybe a) #
unGetTQueue :: TQueue a -> a -> STM () #
writeTQueue :: TQueue a -> a -> STM () #
modifyTVar :: TVar a -> (a -> a) -> STM () #
mkWeakTVar :: TVar a -> IO () -> IO (Weak (TVar a)) #
newTMVarIO :: a -> IO (TMVar a) #
newEmptyTMVarIO :: IO (TMVar a) #
mkWeakTMVar :: TMVar a -> IO () -> IO (Weak (TMVar a)) #
newTChanIO :: IO (TChan a) #
newBroadcastTChanIO :: IO (TChan a) #
newTQueueIO :: IO (TQueue a) #
newTBQueueIO :: Natural -> IO (TBQueue a) #
flushTQueue :: TQueue a -> STM [a] #