Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Data.Primitive.Unlifted.MutVar.ST
Documentation
data UnliftedMutVar_ s a unlifted_a #
Constructors
UnliftedMutVar (UnliftedMutVar# s unlifted_a) |
Instances
unlifted_a ~ Unlifted a => Eq (UnliftedMutVar_ s a unlifted_a) # | |
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) # | |
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) # | |
Defined in Data.Primitive.Unlifted.MutVar.ST |
type UnliftedMutVar s a = UnliftedMutVar_ s a (Unlifted a) #
newUnliftedMutVar :: PrimUnlifted a => a -> ST s (UnliftedMutVar s a) #
readUnliftedMutVar :: PrimUnlifted a => UnliftedMutVar s a -> ST s a #
writeUnliftedMutVar :: PrimUnlifted a => UnliftedMutVar s a -> a -> ST s () #
modifyUnliftedMutVar :: PrimUnlifted a => UnliftedMutVar s a -> (a -> a) -> ST s () #
modifyUnliftedMutVar' :: PrimUnlifted a => UnliftedMutVar s a -> (a -> a) -> ST s () #
Arguments
:: PrimUnlifted a | |
=> UnliftedMutVar s a | The |
-> a | The expected value |
-> a | The new value to install if the 'UnliftedMutVar contains the expected value |
-> ST s (Bool, a) |
atomicSwapUnliftedMutVar :: PrimUnlifted a => UnliftedMutVar s a -> a -> ST s a #