| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Primitive.Unlifted.MutVar
Documentation
data UnliftedMutVar_ s a (unlifted_a :: UnliftedType) #
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
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 :: (PrimMonad m, PrimUnlifted a) => a -> m (UnliftedMutVar (PrimState m) a) #
readUnliftedMutVar :: (PrimMonad m, PrimUnlifted a) => UnliftedMutVar (PrimState m) a -> m a #
writeUnliftedMutVar :: (PrimMonad m, PrimUnlifted a) => UnliftedMutVar (PrimState m) a -> a -> m () #
modifyUnliftedMutVar :: (PrimMonad m, PrimUnlifted a) => UnliftedMutVar (PrimState m) a -> (a -> a) -> m () #
modifyUnliftedMutVar' :: (PrimMonad m, PrimUnlifted a) => UnliftedMutVar (PrimState m) a -> (a -> a) -> m () #
Arguments
| :: (PrimMonad m, PrimUnlifted a) | |
| => UnliftedMutVar (PrimState m) a | The |
| -> a | The expected value |
| -> a | The new value to install if the 'UnliftedMutVar contains the expected value |
| -> m (Bool, a) |
atomicSwapUnliftedMutVar :: (PrimMonad m, PrimUnlifted a) => UnliftedMutVar (PrimState m) a -> a -> m a #