git.iko.soy/effectful
on master help sign in
Add Effectful.Prim
50cdcbfAndrzej Rybczak
effectful-core/effectful-core.cabal+1
compare with master
unifiedsplit
@@ -88,6 +88,7 @@ library
88 Effectful.Internal.Monad
88 Effectful.Internal.Monad
89 Effectful.Internal.Unlift
89 Effectful.Internal.Unlift
90 Effectful.Monad
90 Effectful.Monad
91+ Effectful.Prim
91 Effectful.Reader
92 Effectful.Reader
92 Effectful.Reader.Dynamic
93 Effectful.Reader.Dynamic
93 Effectful.State.Dynamic
94 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
319runPrim = evalEffect (IdE Prim)
319runPrim = evalEffect (IdE Prim)
320
320
321instance Prim :> es => PrimMonad (Eff es) where
321instance Prim :> es => PrimMonad (Eff es) where
322− type PrimState (Eff es) = PrimState IO
322+ type PrimState (Eff es) = RealWorld
323 primitive = unsafeEff_ . IO
323 primitive = unsafeEff_ . IO
324
324
325----------------------------------------
325----------------------------------------
effectful-core/src/Effectful/Monad.hs−4
@@ -11,10 +11,6 @@ module Effectful.Monad
11 , IOE
11 , IOE
12 , runEff
12 , runEff
13
13
14− -- * Primitive actions
15− , Prim
16− , runPrim
17−
18 -- ** Unlift strategies
14 -- ** Unlift strategies
19 , UnliftStrategy(..)
15 , UnliftStrategy(..)
20 , Persistence(..)
16 , 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