TVar is:exact

data TVar a

base GHC.Conc GHC.Conc.Sync, relude Relude.Lifted.Concurrent, base-prelude BasePrelude, effectful Effectful.Concurrent.STM, ghc-internal GHC.Internal.Conc.Sync, stateref Data.MRef.Instances Data.StateRef.Instances

Shared memory locations that support atomic memory transactions.

TVar :: TVar# RealWorld a -> TVar a

base GHC.Conc GHC.Conc.Sync, base-prelude BasePrelude, ghc-internal GHC.Internal.Conc.Sync, rebase Rebase.Prelude

module Control.Concurrent.STM.TVar

stm, rerebase

data () => TVar a

stm Control.Concurrent.STM.TVar, unliftio UnliftIO.STM, rebase Rebase.Prelude

Shared memory locations that support atomic memory transactions.

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