Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

Exact lookup

1. IInspectTVar :: ModelTVar n a -> (a -> IAction n) -> IAction (n :: Type -> Type)

   dejafu	Test.DejaFu.Conc.Internal.Common

   No documentation available.

2. data ModelTVar (n :: Type -> Type) a

   dejafu	Test.DejaFu.Conc.Internal.STM

   A TVar is modelled as a unique ID and a reference holding a value.

3. ModelTVar :: TVarId -> Ref n a -> ModelTVar (n :: Type -> Type) a

   dejafu	Test.DejaFu.Conc.Internal.STM

   No documentation available.

4. OnTVar :: [TVarId] -> BlockedOn

   dejafu	Test.DejaFu.Conc.Internal.Threading

   No documentation available.

5. mkWeakTVar :: forall (es :: [Effect]) a . (HasCallStack, Concurrent :> es) => TVar a -> Eff es () -> Eff es (Weak (TVar a))

   effectful	Effectful.Concurrent.STM

   Lifted mkWeakTVar. Note: the finalizer will run a cloned environment, so any changes it makes to thread local data will not be visible outside of it.

6. modifyTVar :: TVar a -> (a -> a) -> STM ()

   effectful	Effectful.Concurrent.STM

   Mutate the contents of a TVar. N.B., this version is non-strict.

7. modifyTVar' :: TVar a -> (a -> a) -> STM ()

   effectful	Effectful.Concurrent.STM

   Strict version of modifyTVar.

8. newTVar :: a -> STM (TVar a)

   effectful	Effectful.Concurrent.STM

   Create a new TVar holding a value supplied

9. readTVar :: TVar a -> STM a

   effectful	Effectful.Concurrent.STM

   Return the current value stored in a TVar.

10. swapTVar :: TVar a -> a -> STM a

    effectful	Effectful.Concurrent.STM

    Swap the contents of a TVar for a new value.

Page 41 of many | Previous | Next