Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Moduleprimitive-unlifted-2.1.0.0Haskell2010

Data.Primitive.Unlifted.MVar

This module includes all the features of Control.Concurrent.MVar, except that the functions in Data.Primitive.Unlifted.Weak subsume the functionality of mkWeakMV and addMVarFinalizer, so we do not include analogues of those functions.

2 types
16 values

Packageprimitive-unlifted-2.1.0.0
Exports18
LanguageHaskell2010
LicenceBSD-3-Clause
SourceMVar.hs

datadata UnliftedMVar_ s a (unlifted_a :: UnliftedType)

Constructors

UnliftedMVar (UnliftedMVar# s unlifted_a)

Instances3Eq, PrimUnlifted, Unlifted

unlifted_a ~ Unlifted a => Eq (UnliftedMVar_ s a unlifted_a)Defined in primitive-unlifted-2.1.0.0 · Data.Primitive.Unlifted.MVar.ST
unlifted_a ~ Unlifted a => PrimUnlifted (UnliftedMVar_ s a unlifted_a)Defined in primitive-unlifted-2.1.0.0 · Data.Primitive.Unlifted.MVar.ST
type Unlifted (UnliftedMVar_ s a unlifted_a) = UnliftedMVar# s unlifted_aDefined in primitive-unlifted-2.1.0.0 · Data.Primitive.Unlifted.MVar.ST

typetype UnliftedMVar s a = UnliftedMVar_ s a (Unlifted a)

valuenewUnliftedMVar

:: (PrimUnlifted a, PrimMonad m)
=> a
-> m (UnliftedMVar (PrimState m) a)

valuenewEmptyUnliftedMVar :: PrimMonad m => m (UnliftedMVar (PrimState m) a)

valuetakeUnliftedMVar

:: (PrimMonad m, PrimUnlifted a)
=> UnliftedMVar (PrimState m) a
-> m a

valuetryTakeUnliftedMVar

:: (PrimMonad m, PrimUnlifted a)
=> UnliftedMVar (PrimState m) a
-> m (Maybe a)

valueputUnliftedMVar

:: (PrimMonad m, PrimUnlifted a)
=> UnliftedMVar (PrimState m) a
-> a
-> m ()

valuetryPutUnliftedMVar

:: (PrimMonad m, PrimUnlifted a)
=> UnliftedMVar (PrimState m) a
-> a
-> m Bool

valuereadUnliftedMVar

:: (PrimMonad m, PrimUnlifted a)
=> UnliftedMVar (PrimState m) a
-> m a

valuetryReadUnliftedMVar

:: (PrimMonad m, PrimUnlifted a)
=> UnliftedMVar (PrimState m) a
-> m (Maybe a)

valueisEmptyUnliftedMVar :: PrimMonad m => UnliftedMVar (PrimState m) a -> m Bool

valueswapUnliftedMVar

:: (PrimMonad m, PrimState m ~ RealWorld, PrimUnlifted a)
=> UnliftedMVar RealWorld a
-> a
-> m a

valuewithUnliftedMVar

:: (PrimBase m, PrimState m ~ RealWorld, PrimUnlifted a)
=> UnliftedMVar RealWorld a
-> a -> m b
-> m b

valuewithUnliftedMVarMasked

:: (PrimBase m, PrimState m ~ RealWorld, PrimUnlifted a)
=> UnliftedMVar RealWorld a
-> a -> m b
-> m b

valuemodifyUnliftedMVar

:: (PrimBase m, PrimState m ~ RealWorld, PrimUnlifted a)
=> UnliftedMVar RealWorld a
-> a -> m (a, b)
-> m b

valuemodifyUnliftedMVar_

:: (PrimBase m, PrimState m ~ RealWorld, PrimUnlifted a)
=> UnliftedMVar RealWorld a
-> a -> m a
-> m ()

valuemodifyUnliftedMVarMasked

:: (PrimBase m, PrimState m ~ RealWorld, PrimUnlifted a)
=> UnliftedMVar RealWorld a
-> a -> m (a, b)
-> m b

valuemodifyUnliftedMVarMasked_

:: (PrimBase m, PrimState m ~ RealWorld, PrimUnlifted a)
=> UnliftedMVar RealWorld a
-> a -> m a
-> m ()