| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.Primitive.Unlifted.MutVar
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 :: (PrimMonad m, PrimUnlifted a) => a -> m (UnliftedMutVar (PrimState m) a) Source #
readUnliftedMutVar :: (PrimMonad m, PrimUnlifted a) => UnliftedMutVar (PrimState m) a -> m a Source #
writeUnliftedMutVar :: (PrimMonad m, PrimUnlifted a) => UnliftedMutVar (PrimState m) a -> a -> m () Source #
modifyUnliftedMutVar :: (PrimMonad m, PrimUnlifted a) => UnliftedMutVar (PrimState m) a -> (a -> a) -> m () Source #
modifyUnliftedMutVar' :: (PrimMonad m, PrimUnlifted a) => UnliftedMutVar (PrimState m) a -> (a -> a) -> m () Source #
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 Source #