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

Data.Primitive.Unlifted.MutVar

Documentation

data UnliftedMutVar_ s a unlifted_a #

Constructors

UnliftedMutVar (UnliftedMutVar# s unlifted_a) 

Instances

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

Defined in Data.Primitive.Unlifted.MutVar.ST

Methods

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

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

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

Defined in Data.Primitive.Unlifted.MutVar.ST

Associated Types

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

Methods

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

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

type Unlifted (UnliftedMutVar_ s a unlifted_a) # 
Instance details

Defined in Data.Primitive.Unlifted.MutVar.ST

type Unlifted (UnliftedMutVar_ s a unlifted_a) = UnliftedMutVar# s unlifted_a

modifyUnliftedMutVar :: (PrimMonad m, PrimUnlifted a) => UnliftedMutVar (PrimState m) a -> (a -> a) -> m () #

modifyUnliftedMutVar' :: (PrimMonad m, PrimUnlifted a) => UnliftedMutVar (PrimState m) a -> (a -> a) -> m () #

casUnliftedMutVar #

Arguments

:: (PrimMonad m, PrimUnlifted a) 
=> UnliftedMutVar (PrimState m) a

The UnliftedMutVar_ on which to operate

-> a

The expected value

-> a

The new value to install if the 'UnliftedMutVar contains the expected value

-> m (Bool, a)