Hoogle Search

Within LTS Haskell 24.64 (ghc-9.10.3)

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

  1. inspectTVar :: forall (n :: Type -> Type) a . ModelTVar n a -> Invariant n a

    dejafu Test.DejaFu.Conc

    Read the content of a TVar. This is essentially readTVar.

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

    dejafu Test.DejaFu.Conc.Internal.Common

    No documentation available.

  3. 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.

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

    dejafu Test.DejaFu.Conc.Internal.STM

    No documentation available.

  5. OnTVar :: [TVarId] -> BlockedOn

    dejafu Test.DejaFu.Conc.Internal.Threading

    No documentation available.

  6. 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.

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

    effectful Effectful.Concurrent.STM

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

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

    effectful Effectful.Concurrent.STM

    Strict version of modifyTVar.

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

    effectful Effectful.Concurrent.STM

    Create a new TVar holding a value supplied

  10. readTVar :: TVar a -> STM a

    effectful Effectful.Concurrent.STM

    Return the current value stored in a TVar.

Page 26 of many | Previous | Next