Add Effectful.Prim
commit50cdcbf9e0d561141da694c75f0f23cb5ec801a1
authorAndrzej Rybczak <andrzej@rybczak.net>
dateMon 26 Jul 2021, 17:03 (5 years ago)
parent04f427d
effectful-core/effectful-core.cabal+1
@@ -88,6 +88,7 @@ library
8888 Effectful.Internal.Monad
8989 Effectful.Internal.Unlift
9090 Effectful.Monad
91+ Effectful.Prim
9192 Effectful.Reader
9293 Effectful.Reader.Dynamic
9394 Effectful.State.Dynamic
effectful-core/src/Effectful/Internal/Monad.hs+1−1
@@ -319,7 +319,7 @@ runPrim :: IOE :> es => Eff (Prim : es) a -> Eff es a
319319runPrim = evalEffect (IdE Prim)
320320
321321instance Prim :> es => PrimMonad (Eff es) where
322− type PrimState (Eff es) = PrimState IO
322+ type PrimState (Eff es) = RealWorld
323323 primitive = unsafeEff_ . IO
324324
325325----------------------------------------
effectful-core/src/Effectful/Monad.hs−4
@@ -11,10 +11,6 @@ module Effectful.Monad
1111 , IOE
1212 , runEff
1313
14− -- * Primitive actions
15− , Prim
16− , runPrim
17−
1814 -- ** Unlift strategies
1915 , UnliftStrategy(..)
2016 , Persistence(..)
effectful-core/src/Effectful/Prim.hsnew file+6
@@ -0,0 +1,6 @@
1+module Effectful.Prim
2+ ( Prim
3+ , runPrim
4+ ) where
5+
6+import Effectful.Internal.Monad