Moduleeffectful-core-2.3.0.1Haskell2010

Effectful.Prim

Provider of the MonadPrim instance for Eff.

Effect

2 declarations

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.3.0.1 · Effectful.Internal.Monad
data StaticRep Prim
- Prim
Defined in effectful-core-2.3.0.1 · Effectful.Internal.Monad

datadata PrimStateEff

PrimState token for Eff. Used instead of RealWorld to prevent the Prim effect from executing arbitrary IO actions via ioToPrim.

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

Run an Eff computation with primitive state-transformer actions.