Safe Haskell	None
Language	Haskell2010

Effectful.Prim.IORef.Strict

Contents

Description

Since: 2.4.0.0

Synopsis

data Prim (a :: Type -> Type) b
runPrim :: forall (es :: [Effect]) a. (HasCallStack, IOE :> es) => Eff (Prim ': es) a -> Eff es a
data IORef' a
newIORef' :: forall (es :: [Effect]) a. Prim :> es => a -> Eff es (IORef' a)
readIORef' :: forall (es :: [Effect]) a. Prim :> es => IORef' a -> Eff es a
writeIORef' :: forall (es :: [Effect]) a. Prim :> es => IORef' a -> a -> Eff es ()
modifyIORef' :: forall (es :: [Effect]) a. Prim :> es => IORef' a -> (a -> a) -> Eff es ()
atomicModifyIORef' :: forall (es :: [Effect]) a b. Prim :> es => IORef' a -> (a -> (a, b)) -> Eff es b
atomicWriteIORef' :: forall (es :: [Effect]) a. Prim :> es => IORef' a -> a -> Eff es ()
mkWeakIORef' :: forall (es :: [Effect]) a. (HasCallStack, Prim :> es) => IORef' a -> Eff es () -> Eff es (Weak (IORef' a))

Effect

data Prim (a :: Type -> Type) b #

Provide the ability to perform primitive state-transformer actions.

Instances details

type DispatchOf Prim
Instance details Defined in Effectful.Internal.Monad type DispatchOf Prim = 'Static 'WithSideEffects
data StaticRep Prim
Instance details Defined in Effectful.Internal.Monad data StaticRep Prim = Prim

Handlers

runPrim :: forall (es :: [Effect]) a. (HasCallStack, IOE :> es) => Eff (Prim ': es) a -> Eff es a #

Run an Eff computation with primitive state-transformer actions.

data IORef' a #

A strict (WHNF) variant of IORef.

Instances details

NFData1 IORef'
Instance details Defined in Data.IORef.Strict Methods liftRnf :: (a -> ()) -> IORef' a -> () #
NFData (IORef' a)
Instance details Defined in Data.IORef.Strict Methods rnf :: IORef' a -> () #
Eq (IORef' a)
Instance details Defined in Data.IORef.Strict Methods (==) :: IORef' a -> IORef' a -> Bool # (/=) :: IORef' a -> IORef' a -> Bool #

newIORef' :: forall (es :: [Effect]) a. Prim :> es => a -> Eff es (IORef' a) Source #

Lifted newIORef'.

readIORef' :: forall (es :: [Effect]) a. Prim :> es => IORef' a -> Eff es a Source #

writeIORef' :: forall (es :: [Effect]) a. Prim :> es => IORef' a -> a -> Eff es () Source #

modifyIORef' :: forall (es :: [Effect]) a. Prim :> es => IORef' a -> (a -> a) -> Eff es () Source #

atomicModifyIORef' :: forall (es :: [Effect]) a b. Prim :> es => IORef' a -> (a -> (a, b)) -> Eff es b Source #

atomicWriteIORef' :: forall (es :: [Effect]) a. Prim :> es => IORef' a -> a -> Eff es () Source #

mkWeakIORef' :: forall (es :: [Effect]) a. (HasCallStack, Prim :> es) => IORef' a -> Eff es () -> Eff es (Weak (IORef' a)) Source #

Note: the finalizer will run a cloned environment, so any changes it makes to thread local data will not be visible outside of it.