| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.Primitive.Unlifted.MutVar.ST
Documentation
data UnliftedMutVar_ s a unlifted_a Source #
Constructors
| UnliftedMutVar (UnliftedMutVar# s unlifted_a) |
Instances
| unlifted_a ~ Unlifted a => Eq (UnliftedMutVar_ s a unlifted_a) Source # | |
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 # | |
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 # | |
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 #
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 Source #