d69f65d · effectful · git.iko.soy

git.iko.soy/effectful

Reexport PrimE effect in Effectful.Monad (#22)

* Reexport PrimE effect * Renamed PrimE to Prim

commitd69f65d3da6ef285de6ed9525fad2f95bd35e80e authorMann mit Hut <mmhat@users.noreply.github.com> dateMon 12 Jul 2021, 15:51 (5 years ago) parent8057cdc

2 files changed+11−7

compare with master

unifiedsplit

src/Effectful/Internal/Monad.hs+7−7 src/Effectful/Monad.hs+4

src/Effectful/Internal/Monad.hs+7−7

@@ -24,8 +24,8 @@ module Effectful.Internal.Monad

2424 , runEff

2525

2626 -- * Primitive

27− , PrimE

28− , runPrimE

27+ , Prim

28+ , runPrim

2929

3030 -- ** Unlift strategies

3131 , UnliftStrategy(..)

@@ -305,14 +305,14 @@ instance IOE :> es => MonadBaseControl IO (Eff es) where

305305-- Primitive

306306

307307-- | An effect to perform primitive state-transformer actions.

308−data PrimE :: Effect where

309− PrimE :: PrimE m r

308+data Prim :: Effect where

309+ Prim :: Prim m r

310310

311311-- | Run an 'Eff' operation with primitive state-transformer actions.

312−runPrimE :: IOE :> es => Eff (PrimE : es) a -> Eff es a

313−runPrimE = evalEffect (IdE PrimE)

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

313+runPrim = evalEffect (IdE Prim)

314314

315−instance PrimE :> es => PrimMonad (Eff es) where

315+instance Prim :> es => PrimMonad (Eff es) where

316316 type PrimState (Eff es) = PrimState IO

317317 primitive = unsafeEff_ . IO

318318

src/Effectful/Monad.hs+4

@@ -11,6 +11,10 @@ module Effectful.Monad

1111 , IOE

1212 , runEff

1313

14+ -- * Primitive actions

15+ , Prim

16+ , runPrim

17+

1418 -- ** Unlift strategies

1519 , UnliftStrategy(..)

1620 , Persistence(..)