Remove Effectful.STM for now
commit8057cdcf5f96170db16d14e167f259b9e7026bbd
authorAndrzej Rybczak <andrzej@rybczak.net>
dateSun 11 Jul 2021, 22:35 (5 years ago)
parentf58694c
effectful.cabal−1
@@ -98,7 +98,6 @@ library
9898 Effectful.State
9999 Effectful.State.Dynamic
100100 Effectful.State.MVar
101− Effectful.STM
102101 Effectful.Writer
103102 Effectful.Writer.Dynamic
104103 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