Effectful.Prim

Provider of the MonadPrim instance for Eff.

Effect

data Prim :: Effect

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

data PrimStateEff

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

Handlers

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

Run an Eff computation with primitive state-transformer actions.