on master help sign in
Remove Effectful.STM for now
8057cdcAndrzej Rybczak
effectful.cabal−1
@@ -98,7 +98,6 @@ library
98 Effectful.State
98 Effectful.State
99 Effectful.State.Dynamic
99 Effectful.State.Dynamic
100 Effectful.State.MVar
100 Effectful.State.MVar
101− Effectful.STM
102 Effectful.Writer
101 Effectful.Writer
103 Effectful.Writer.Dynamic
102 Effectful.Writer.Dynamic
104 Effectful.Writer.MVar
103 Effectful.Writer.MVar
src/Effectful/STM.hsdeleted−20
@@ -1,20 +0,0 @@
1−module Effectful.STM
2− ( STME
3− , runSTME
4− , atomically
5− ) where
6−
7−import qualified Control.Monad.STM as S
8−
9−import Effectful.Internal.Effect
10−import Effectful.Internal.Monad
11−
12−-- | Run 'S.STM' operations using the @stm@ library.
13−data STME :: Effect where
14− STME :: STME m r
15−
16−runSTME :: IOE :> es => Eff (STME : es) a -> Eff es a
17−runSTME = evalEffect (IdE STME)
18−
19−atomically :: STME :> es => S.STM a -> Eff es a
20−atomically = unsafeEff_ . S.atomically