Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data UnliftedMutVar_ s a unlifted_a Source #
UnliftedMutVar (UnliftedMutVar# s unlifted_a) |
Instances
unlifted_a ~ Unlifted a => Eq (UnliftedMutVar_ s a unlifted_a) Source # | |
Defined in Data.Primitive.Unlifted.MutVar.ST (==) :: 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 # | |
Defined in Data.Primitive.Unlifted.MutVar.ST type Unlifted (UnliftedMutVar_ s a unlifted_a) :: UnliftedType Source # 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 # | |
Defined in Data.Primitive.Unlifted.MutVar.ST |
type UnliftedMutVar s a = UnliftedMutVar_ s a (Unlifted a) Source #
newUnliftedMutVar :: PrimUnlifted a => a -> ST s (UnliftedMutVar s a) Source #
readUnliftedMutVar :: PrimUnlifted a => UnliftedMutVar s a -> ST s a Source #
writeUnliftedMutVar :: PrimUnlifted a => UnliftedMutVar s a -> a -> ST s () Source #
modifyUnliftedMutVar :: PrimUnlifted a => UnliftedMutVar s a -> (a -> a) -> ST s () Source #
modifyUnliftedMutVar' :: PrimUnlifted a => UnliftedMutVar s a -> (a -> a) -> ST s () Source #
:: 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 Source #