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

Data.Primitive.Unlifted.MutVar.ST

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) :: UnliftedType 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

modifyUnliftedMutVar :: PrimUnlifted a => UnliftedMutVar s a -> (a -> a) -> ST s () Source #

casUnliftedMutVar Source #

Arguments

:: PrimUnlifted a 
=> UnliftedMutVar s a

The UnliftedMutVar_ on which to operate

-> a

The expected value

-> a

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

-> ST s (Bool, a)