git.iko.soy/effectful
on master help sign in
Reexport PrimE effect in Effectful.Monad (#22)
d69f65dMann mit Hut
src/Effectful/Internal/Monad.hs+7−7
compare with master
unifiedsplit
@@ -24,8 +24,8 @@ module Effectful.Internal.Monad
24 , runEff
24 , runEff
25
25
26 -- * Primitive
26 -- * Primitive
27− , PrimE
27+ , Prim
28− , runPrimE
28+ , runPrim
29
29
30 -- ** Unlift strategies
30 -- ** Unlift strategies
31 , UnliftStrategy(..)
31 , UnliftStrategy(..)
@@ -305,14 +305,14 @@ instance IOE :> es => MonadBaseControl IO (Eff es) where
305-- Primitive
305-- Primitive
306
306
307-- | An effect to perform primitive state-transformer actions.
307-- | An effect to perform primitive state-transformer actions.
308−data PrimE :: Effect where
308+data Prim :: Effect where
309− PrimE :: PrimE m r
309+ Prim :: Prim m r
310
310
311-- | Run an 'Eff' operation with primitive state-transformer actions.
311-- | Run an 'Eff' operation with primitive state-transformer actions.
312−runPrimE :: IOE :> es => Eff (PrimE : es) a -> Eff es a
312+runPrim :: IOE :> es => Eff (Prim : es) a -> Eff es a
313−runPrimE = evalEffect (IdE PrimE)
313+runPrim = evalEffect (IdE Prim)
314
314
315−instance PrimE :> es => PrimMonad (Eff es) where
315+instance Prim :> es => PrimMonad (Eff es) where
316 type PrimState (Eff es) = PrimState IO
316 type PrimState (Eff es) = PrimState IO
317 primitive = unsafeEff_ . IO
317 primitive = unsafeEff_ . IO
318
318
src/Effectful/Monad.hs+4
@@ -11,6 +11,10 @@ module Effectful.Monad
11 , IOE
11 , IOE
12 , runEff
12 , runEff
13
13
14+ -- * Primitive actions
15+ , Prim
16+ , runPrim
17+
14 -- ** Unlift strategies
18 -- ** Unlift strategies
15 , UnliftStrategy(..)
19 , UnliftStrategy(..)
16 , Persistence(..)
20 , Persistence(..)