Safe Haskell	Safe-Inferred
Language	Haskell2010

Effectful.Prim

Contents

Description

Provider of the MonadPrim instance for Eff.

Synopsis

Effect

Provide the ability to perform primitive state-transformer actions.

Instances details

type DispatchOf Prim Source #
Instance details Defined in Effectful.Internal.Monad type DispatchOf Prim = 'Static 'WithSideEffects
data StaticRep Prim Source #
Instance details Defined in Effectful.Internal.Monad data StaticRep Prim = Prim

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 Source #

Run an Eff computation with primitive state-transformer actions.