Safe Haskell	None
Language	Haskell2010

Effectful.Prim

Contents

Description

Provider of the MonadPrim instance for Eff.

Synopsis

data Prim (a :: Type -> Type) b
data PrimStateEff
runPrim :: forall (es :: [Effect]) a. (HasCallStack, IOE :> es) => Eff (Prim ': es) a -> Eff es a

Effect

data Prim (a :: Type -> Type) b Source #

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 :: forall (es :: [Effect]) a. (HasCallStack, IOE :> es) => Eff (Prim ': es) a -> Eff es a Source #

Run an Eff computation with primitive state-transformer actions.