Effectful.Prim.IORef.Strict

Lifted Data.IORef.Strict.

Since: 2.4.0.0

Effect

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

Provide the ability to perform primitive state-transformer actions.

Instances

type DispatchOf Prim

Defined in Effectful.Internal.Monad

type DispatchOf Prim = 'Static 'WithSideEffects

data StaticRep Prim

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.

IORef

data IORef' a

A strict (WHNF) variant of IORef.

Instances

NFData1 IORef'

Defined in Data.IORef.Strict

Methods

liftRnf :: (a -> ()) -> IORef' a -> ()

NFData (IORef' a)

Defined in Data.IORef.Strict

Methods

rnf :: IORef' a -> ()

Eq (IORef' a)

Defined in Data.IORef.Strict

Methods

(==) :: IORef' a -> IORef' a -> Bool

(/=) :: IORef' a -> IORef' a -> Bool

newIORef' :: Prim :> es => a -> Eff es (IORef' a)

Lifted newIORef'.

readIORef' :: Prim :> es => IORef' a -> Eff es a

Lifted readIORef'.

writeIORef' :: Prim :> es => IORef' a -> a -> Eff es ()

Lifted writeIORef'.

modifyIORef' :: Prim :> es => IORef' a -> (a -> a) -> Eff es ()

Lifted modifyIORef'.

atomicModifyIORef' :: Prim :> es => IORef' a -> (a -> (a, b)) -> Eff es b

Lifted atomicModifyIORef'.

atomicWriteIORef' :: Prim :> es => IORef' a -> a -> Eff es ()

Lifted atomicWriteIORef'.

mkWeakIORef' :: (HasCallStack, Prim :> es) => IORef' a -> Eff es () -> Eff es (Weak (IORef' a))

Lifted mkWeakIORef'.

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