Moduleeffectful-2.7.1.0GHC2021

Effectful.Prim.IORef.Strict

Effect

1 declaration

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

Provide the ability to perform primitive state-transformer actions.

Instances2DispatchOf, StaticRep

type DispatchOf Prim = 'Static 'WithSideEffectsDefined in effectful-core-2.7.1.2 · Effectful.Internal.Monad
data StaticRep Prim
- Prim
Defined in effectful-core-2.7.1.2 · Effectful.Internal.Monad

valuerunPrim :: (HasCallStack, IOE :> es) => Eff (Prim ': es) a -> Eff es a

Run an Eff computation with primitive state-transformer actions.

8 declarations

newtypenewtype IORef a

A mutable variable in the IO monad, which evaluates its content to Weak Head Normal Form.

Instances3NFData1, Eq, NFData

valuenewIORef :: Prim :> es => a -> Eff es (IORef a)

valuereadIORef :: Prim :> es => IORef a -> Eff es a

valuewriteIORef :: Prim :> es => IORef a -> a -> Eff es ()

valuemodifyIORef :: Prim :> es => IORef a -> (a -> a) -> Eff es ()

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

valueatomicWriteIORef :: Prim :> es => IORef a -> a -> Eff es ()

valuemkWeakIORef

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