@@ -8,12 +8,12 @@ import Data.Functor.Identity
88import qualified Control.Effect as L
99#endif
1010
11−-- effective
12−import qualified Effective as E
13−import qualified Effective.Reader as E
14−import qualified Effective.State as E
15−import qualified Effective.State.MVar as ME
16−import qualified Effective.State.Dynamic as DE
11+-- effectful
12+import qualified Effectful as E
13+import qualified Effectful.Reader as E
14+import qualified Effectful.State as E
15+import qualified Effectful.State.MVar as ME
16+import qualified Effectful.State.Dynamic as DE
1717
1818-- freer-simple
1919#ifdef VERSION_freer_simple
@@ -73,89 +73,89 @@ countdownMtlDeep n = runIdentity
7373 runR = flip M.runReaderT ()
7474
7575----------------------------------------
76−-- effective (pure)
76+-- effectful (pure)
7777
78−programEffectiveStatic :: E.State Integer E.:> es => E.Eff es Integer
79−programEffectiveStatic = do
78+programEffectfulStatic :: E.State Integer E.:> es => E.Eff es Integer
79+programEffectfulStatic = do
8080 n <- E.get @Integer
8181 if n <= 0
8282 then pure n
8383 else do
8484 E.put (n - 1)
85− programEffectiveStatic
86−{-# NOINLINE programEffectiveStatic #-}
85+ programEffectfulStatic
86+{-# NOINLINE programEffectfulStatic #-}
8787
88−countdownEffectiveStatic :: Integer -> IO (Integer, Integer)
89−countdownEffectiveStatic n = E.runEff . E.runState n $ programEffectiveStatic
88+countdownEffectfulStatic :: Integer -> IO (Integer, Integer)
89+countdownEffectfulStatic n = E.runEff . E.runState n $ programEffectfulStatic
9090
91−countdownEffectiveStaticDeep :: Integer -> IO (Integer, Integer)
92−countdownEffectiveStaticDeep n = E.runEff
91+countdownEffectfulStaticDeep :: Integer -> IO (Integer, Integer)
92+countdownEffectfulStaticDeep n = E.runEff
9393 . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
9494 . E.runState n
9595 . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
96− $ programEffectiveStatic
96+ $ programEffectfulStatic
9797 where
9898 runR = E.runReader ()
9999
100100----------------------------------------
101−-- effective (mvar)
101+-- effectful (mvar)
102102
103−programEffectiveMVar :: ME.State Integer E.:> es => E.Eff es Integer
104−programEffectiveMVar = do
103+programEffectfulMVar :: ME.State Integer E.:> es => E.Eff es Integer
104+programEffectfulMVar = do
105105 n <- ME.get @Integer
106106 if n <= 0
107107 then pure n
108108 else do
109109 ME.put (n - 1)
110− programEffectiveMVar
111−{-# NOINLINE programEffectiveMVar #-}
110+ programEffectfulMVar
111+{-# NOINLINE programEffectfulMVar #-}
112112
113−countdownEffectiveMVar :: Integer -> IO (Integer, Integer)
114−countdownEffectiveMVar n = E.runEff . ME.runState n $ programEffectiveMVar
113+countdownEffectfulMVar :: Integer -> IO (Integer, Integer)
114+countdownEffectfulMVar n = E.runEff . ME.runState n $ programEffectfulMVar
115115
116−countdownEffectiveMVarDeep :: Integer -> IO (Integer, Integer)
117−countdownEffectiveMVarDeep n = E.runEff
116+countdownEffectfulMVarDeep :: Integer -> IO (Integer, Integer)
117+countdownEffectfulMVarDeep n = E.runEff
118118 . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
119119 . ME.runState n
120120 . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
121− $ programEffectiveMVar
121+ $ programEffectfulMVar
122122 where
123123 runR = E.runReader ()
124124
125125----------------------------------------
126−-- effective (dynamic)
126+-- effectful (dynamic)
127127
128−programEffectiveDynamic :: DE.State Integer E.:> es => E.Eff es Integer
129−programEffectiveDynamic = do
128+programEffectfulDynamic :: DE.State Integer E.:> es => E.Eff es Integer
129+programEffectfulDynamic = do
130130 n <- DE.get @Integer
131131 if n <= 0
132132 then pure n
133133 else do
134134 DE.put (n - 1)
135− programEffectiveDynamic
136−{-# NOINLINE programEffectiveDynamic #-}
135+ programEffectfulDynamic
136+{-# NOINLINE programEffectfulDynamic #-}
137137
138−countdownEffectiveDynPure :: Integer -> IO (Integer, Integer)
139−countdownEffectiveDynPure n = E.runEff . DE.runState n $ programEffectiveDynamic
138+countdownEffectfulDynPure :: Integer -> IO (Integer, Integer)
139+countdownEffectfulDynPure n = E.runEff . DE.runState n $ programEffectfulDynamic
140140
141−countdownEffectiveDynMVar :: Integer -> IO (Integer, Integer)
142−countdownEffectiveDynMVar n = E.runEff . DE.runStateMVar n $ programEffectiveDynamic
141+countdownEffectfulDynMVar :: Integer -> IO (Integer, Integer)
142+countdownEffectfulDynMVar n = E.runEff . DE.runStateMVar n $ programEffectfulDynamic
143143
144−countdownEffectiveDynPureDeep :: Integer -> IO (Integer, Integer)
145−countdownEffectiveDynPureDeep n = E.runEff
144+countdownEffectfulDynPureDeep :: Integer -> IO (Integer, Integer)
145+countdownEffectfulDynPureDeep n = E.runEff
146146 . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
147147 . DE.runState n
148148 . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
149− $ programEffectiveDynamic
149+ $ programEffectfulDynamic
150150 where
151151 runR = E.runReader ()
152152
153−countdownEffectiveDynMVarDeep :: Integer -> IO (Integer, Integer)
154−countdownEffectiveDynMVarDeep n = E.runEff
153+countdownEffectfulDynMVarDeep :: Integer -> IO (Integer, Integer)
154+countdownEffectfulDynMVarDeep n = E.runEff
155155 . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
156156 . DE.runStateMVar n
157157 . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
158− $ programEffectiveDynamic
158+ $ programEffectfulDynamic
159159 where
160160 runR = E.runReader ()
161161