Effectful.ST

This modules provides the STE effect; a way to run the effect purely, with Prim, or with IOE; and functions for lifting abstract and concrete state-transformer actions into Eff.

Effect

data STE s :: Effect

An effect for delimited primitive state-transformer actions.

Instances

type DispatchOf (STE s)

Defined in Effectful.ST

type DispatchOf (STE s) = 'Static 'NoSideEffects

data StaticRep (STE s)

Defined in Effectful.ST

data StaticRep (STE s) = STERep

Handlers

runSTE :: (forall s. Eff (STE s ': es) a) -> Eff es a

Run an Eff computation with primitive state-transformer actions purely.

steAsPrim :: Prim :> es => Eff (STE (PrimState (Eff es)) ': es) a -> Eff es a

Interpret STE as Prim.

steAsIOE :: IOE :> es => Eff (STE RealWorld ': es) a -> Eff es a

Interpret STE as IOE.

Operations

Prim to STE

primToSTE :: (PrimBase m, STE s :> es, PrimState m ~ s) => m a -> Eff es a

Lift a primitive state-transformer action with STE.

stToSTE :: STE s :> es => ST s a -> Eff es a

Lift a strict ST action with STE.

stToSTE' :: STE s :> es => ST s a -> Eff es a

Lift a lazy ST action with STE.

ioToSTE :: STE RealWorld :> es => IO a -> Eff es a

Lift an IO action with STE.

Prim to IOE

primToIOE :: (PrimBase m, IOE :> es, PrimState m ~ RealWorld) => m a -> Eff es a

Lift a primitive state-transformer action with IOE.

stToIOE :: IOE :> es => ST RealWorld a -> Eff es a

Lift a strict ST action with IOE.

stToIOE' :: IOE :> es => ST RealWorld a -> Eff es a

Lift a lazy ST action with IOE.