primitive-unlifted-2.1.0.0: Primitive GHC types with unlifted types inside
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Primitive.Unlifted.MVar

Description

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.

Documentation

data UnliftedMVar_ s a unlifted_a #

Constructors

UnliftedMVar (UnliftedMVar# s unlifted_a) 

Instances

Instances details
unlifted_a ~ Unlifted a => Eq (UnliftedMVar_ s a unlifted_a) # 
Instance details

Defined in Data.Primitive.Unlifted.MVar.ST

Methods

(==) :: UnliftedMVar_ s a unlifted_a -> UnliftedMVar_ s a unlifted_a -> Bool

(/=) :: UnliftedMVar_ s a unlifted_a -> UnliftedMVar_ s a unlifted_a -> Bool

unlifted_a ~ Unlifted a => PrimUnlifted (UnliftedMVar_ s a unlifted_a) # 
Instance details

Defined in Data.Primitive.Unlifted.MVar.ST

Associated Types

type Unlifted (UnliftedMVar_ s a unlifted_a) :: UnliftedType #

Methods

toUnlifted# :: UnliftedMVar_ s a unlifted_a -> Unlifted (UnliftedMVar_ s a unlifted_a) #

fromUnlifted# :: Unlifted (UnliftedMVar_ s a unlifted_a) -> UnliftedMVar_ s a unlifted_a #

type Unlifted (UnliftedMVar_ s a unlifted_a) # 
Instance details

Defined in Data.Primitive.Unlifted.MVar.ST

type Unlifted (UnliftedMVar_ s a unlifted_a) = UnliftedMVar# s unlifted_a

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