TVar -package:base

module Control.Concurrent.STM.TVar
stm, rerebase
data () => TVar a
stm Control.Concurrent.STM.TVar, unliftio UnliftIO.STM, universum Universum.Lifted.Concurrent, rebase Rebase.Prelude
Shared memory locations that support atomic memory transactions.
data TVar a
relude Relude.Lifted.Concurrent, base-prelude BasePrelude, ghc-internal GHC.Internal.Conc.Sync, effectful Effectful.Concurrent.STM, stateref Data.MRef.Instances Data.StateRef.Instances
Shared memory locations that support atomic memory transactions.
TVar :: TVar# RealWorld a -> TVar a
base-prelude BasePrelude, ghc-internal GHC.Internal.Conc.Sync, rebase Rebase.Prelude
TVAR :: ClosureType
ghc-lib-parser GHC.Exts.Heap GHC.Exts.Heap.ClosureTypes, ghc-internal GHC.Internal.ClosureTypes, ghc-heap GHC.Exts.Heap GHC.Exts.Heap.ClosureTypes
TVar :: Int -> TTerm
Agda Agda.Syntax.Treeless
module Control.Concurrent.Classy.STM.TVar
concurrency
Transactional variables, for use with MonadSTM. Deviations: There is no Eq instance for MonadSTM the TVar type. Furthermore, the newTVarIO and mkWeakTVar functions are not provided.
module Rebase.Control.Concurrent.STM.TVar
rebase
data TVar# a (b :: TYPE 'BoxedRep l)
ghc-prim GHC.Prim, ihaskell IHaskellPrelude, ghc-internal GHC.Internal.Base GHC.Internal.Exts
TVariant :: Type
haskell-gi Data.GI.CodeGen.Type Data.GI.GIR.BasicTypes
GVariant
newtype TVarId
dejafu Test.DejaFu.Types
Every TVar has a unique identifier.
TVarId :: Id -> TVarId
dejafu Test.DejaFu.Types
tVarPrimTyConKey :: Unique
ghc GHC.Builtin.Names, ghc-lib-parser GHC.Builtin.Names, breakpoint Debug.Breakpoint.GhcFacade
tVarPrimTyCon :: TyCon
ghc GHC.Builtin.Types.Prim, ghc-lib-parser GHC.Builtin.Types.Prim
tVarValue :: TVar a -> UnfoldlM STM a
deferred-folds DeferredFolds.UnfoldlM
TVar contents
tvarId :: ModelTVar n a -> TVarId
dejafu Test.DejaFu.Conc.Internal.STM
tvarRef :: ModelTVar n a -> Ref n a
dejafu Test.DejaFu.Conc.Internal.STM
tvarsOf :: ThreadAction -> Set TVarId
dejafu Test.DejaFu.Internal
Get the TVars affected by a ThreadAction.
tvarsRead :: ThreadAction -> Set TVarId
dejafu Test.DejaFu.Internal
Get the TVars a transaction read from.
tvarsWritten :: ThreadAction -> Set TVarId
dejafu Test.DejaFu.Internal
Get the TVars a transaction wrote to (or would have, if it didn't retry).
tvarName :: TyVarBndr a -> Name
free-foil Control.Monad.Foil.TH.Util
mkWeakTVar :: TVar a -> IO () -> IO (Weak (TVar a))
stm Control.Concurrent.STM.TVar
Make a Weak pointer to a TVar, using the second argument as a finalizer to run when TVar is garbage-collected
modifyTVar :: TVar a -> (a -> a) -> STM ()
stm Control.Concurrent.STM.TVar
Mutate the contents of a TVar. N.B., this version is non-strict.
modifyTVar' :: TVar a -> (a -> a) -> STM ()
stm Control.Concurrent.STM.TVar
Strict version of modifyTVar.
newTVar :: a -> STM (TVar a)
stm Control.Concurrent.STM.TVar
Create a new TVar holding a value supplied