Moduleprimitive-unlifted-2.1.0.0Haskell2010

Data.Primitive.Unlifted.MutVar.ST

datadata UnliftedMutVar_ s a (unlifted_a :: UnliftedType)

Instances3Eq, PrimUnlifted, Unlifted

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

typetype UnliftedMutVar s a = UnliftedMutVar_ s a (Unlifted a)

valuenewUnliftedMutVar :: PrimUnlifted a => a -> ST s (UnliftedMutVar s a)

valuereadUnliftedMutVar :: PrimUnlifted a => UnliftedMutVar s a -> ST s a

valuewriteUnliftedMutVar :: PrimUnlifted a => UnliftedMutVar s a -> a -> ST s ()

valuemodifyUnliftedMutVar

valuemodifyUnliftedMutVar'

valuecasUnliftedMutVar

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

valueatomicSwapUnliftedMutVar