primitive-unlifted-1.0.0.0: Primitive GHC types with unlifted types inside
Safe HaskellNone
LanguageHaskell2010

Data.Primitive.Unlifted.MutVar

Documentation

data UnliftedMutVar_ s a unlifted_a Source #

Constructors

UnliftedMutVar (UnliftedMutVar# s unlifted_a) 

Instances

Instances details
unlifted_a ~ Unlifted a => Eq (UnliftedMutVar_ s a unlifted_a) Source # 
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) Source # 
Instance details

Defined in Data.Primitive.Unlifted.MutVar.ST

Associated Types

type Unlifted (UnliftedMutVar_ s a unlifted_a) :: TYPE 'UnliftedRep Source #

Methods

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

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

type Unlifted (UnliftedMutVar_ s a unlifted_a) Source # 
Instance details

Defined in Data.Primitive.Unlifted.MutVar.ST

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

casUnliftedMutVar Source #

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)