Moduleeffectful-core-2.7.1.2GHC2021

Effectful.Prim

Provider of the MonadPrim instance for Eff.

Contents

Synopsis

Effect

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

datadata PrimStateEff

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

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

Run an Eff computation with primitive state-transformer actions.