git.iko.soy/effectful
on master help sign in
Cut depth of the deep stack in half as it's more realistic
commit0d53992fc366b56e27a810ee0be2fcdf086f0483 authorAndrzej Rybczak <andrzej@rybczak.net> dateTue 22 Jun 2021, 23:18 (5 years ago) parent2573a0a
2 files changed+28−28
compare with master
unifiedsplit
bench/Countdown.hs+18−18 bench/FileSizes.hs+10−10
bench/Countdown.hs+18−18
@@ -65,9 +65,9 @@ countdownMtl n = flip M.runState n $ programMtl
6565
6666countdownMtlDeep :: Integer -> (Integer, Integer)
6767countdownMtlDeep n = runIdentity
68− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
68+ . runR . runR . runR . runR . runR
6969 . flip M.runStateT n
70− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
70+ . runR . runR . runR . runR . runR
7171 $ programMtl
7272 where
7373 runR = flip M.runReaderT ()
@@ -90,9 +90,9 @@ countdownEffectfulStatic n = E.runEff . E.runState n $ programEffectfulStatic
9090
9191countdownEffectfulStaticDeep :: Integer -> IO (Integer, Integer)
9292countdownEffectfulStaticDeep n = E.runEff
93− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
93+ . runR . runR . runR . runR . runR
9494 . E.runState n
95− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
95+ . runR . runR . runR . runR . runR
9696 $ programEffectfulStatic
9797 where
9898 runR = E.runReader ()
@@ -115,9 +115,9 @@ countdownEffectfulMVar n = E.runEff . ME.runState n $ programEffectfulMVar
115115
116116countdownEffectfulMVarDeep :: Integer -> IO (Integer, Integer)
117117countdownEffectfulMVarDeep n = E.runEff
118− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
118+ . runR . runR . runR . runR . runR
119119 . ME.runState n
120− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
120+ . runR . runR . runR . runR . runR
121121 $ programEffectfulMVar
122122 where
123123 runR = E.runReader ()
@@ -143,18 +143,18 @@ countdownEffectfulDynMVar n = E.runEff . DE.runStateMVar n $ programEffectfulDyn
143143
144144countdownEffectfulDynPureDeep :: Integer -> IO (Integer, Integer)
145145countdownEffectfulDynPureDeep n = E.runEff
146− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
146+ . runR . runR . runR . runR . runR
147147 . DE.runState n
148− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
148+ . runR . runR . runR . runR . runR
149149 $ programEffectfulDynamic
150150 where
151151 runR = E.runReader ()
152152
153153countdownEffectfulDynMVarDeep :: Integer -> IO (Integer, Integer)
154154countdownEffectfulDynMVarDeep n = E.runEff
155− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
155+ . runR . runR . runR . runR . runR
156156 . DE.runStateMVar n
157− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
157+ . runR . runR . runR . runR . runR
158158 $ programEffectfulDynamic
159159 where
160160 runR = E.runReader ()
@@ -179,9 +179,9 @@ countdownFusedEffects n = FE.run . FE.runState n $ programFusedEffects
179179
180180countdownFusedEffectsDeep :: Integer -> (Integer, Integer)
181181countdownFusedEffectsDeep n = FE.run
182− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
182+ . runR . runR . runR . runR . runR
183183 . FE.runState n
184− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
184+ . runR . runR . runR . runR . runR
185185 $ programFusedEffects
186186 where
187187 runR = FE.runReader ()
@@ -208,9 +208,9 @@ countdownPolysemy n = P.run . P.runState n $ programPolysemy
208208
209209countdownPolysemyDeep :: Integer -> (Integer, Integer)
210210countdownPolysemyDeep n = P.run
211− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
211+ . runR . runR . runR . runR . runR
212212 . P.runState n
213− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
213+ . runR . runR . runR . runR . runR
214214 $ programPolysemy
215215 where
216216 runR = P.runReader ()
@@ -237,9 +237,9 @@ countdownEff n = L.run . L.runState n $ programEff
237237
238238countdownEffDeep :: Integer -> (Integer, Integer)
239239countdownEffDeep n = L.run
240− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
240+ . runR . runR . runR . runR . runR
241241 . L.runState n
242− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
242+ . runR . runR . runR . runR . runR
243243 $ programEff
244244 where
245245 runR = L.runReader ()
@@ -266,9 +266,9 @@ countdownFreerSimple n = FS.run . FS.runState n $ programFreerSimple
266266
267267countdownFreerSimpleDeep :: Integer -> (Integer, Integer)
268268countdownFreerSimpleDeep n = FS.run
269− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
269+ . runR . runR . runR . runR . runR
270270 . FS.runState n
271− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
271+ . runR . runR . runR . runR . runR
272272 $ programFreerSimple
273273 where
274274 runR = FS.runReader ()
bench/FileSizes.hs+10−10
@@ -124,9 +124,9 @@ effectful_calculateFileSizes =
124124
125125effectful_calculateFileSizesDeep :: [FilePath] -> IO (Int, [String])
126126effectful_calculateFileSizesDeep = E.runEff . E.runIOE
127− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
127+ . runR . runR . runR . runR . runR
128128 . effectful_runFile . effectful_runLogging
129− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
129+ . runR . runR . runR . runR . runR
130130 . effectful_program
131131 where
132132 runR = E.runReader ()
@@ -188,9 +188,9 @@ eff_calculateFileSizes =
188188
189189eff_calculateFileSizesDeep :: [FilePath] -> IO (Int, [String])
190190eff_calculateFileSizesDeep = L.runIO
191− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
191+ . runR . runR . runR . runR . runR
192192 . eff_runFile . eff_runLogging
193− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
193+ . runR . runR . runR . runR . runR
194194 . eff_program
195195 where
196196 runR = L.runReader ()
@@ -250,9 +250,9 @@ fs_calculateFileSizes =
250250
251251fs_calculateFileSizesDeep :: [FilePath] -> IO (Int, [String])
252252fs_calculateFileSizesDeep = FS.runM
253− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
253+ . runR . runR . runR . runR . runR
254254 . fs_runFile . fs_runLogging
255− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
255+ . runR . runR . runR . runR . runR
256256 . fs_program
257257 where
258258 runR = FS.runReader ()
@@ -319,9 +319,9 @@ mtl_calculateFileSizes = runFileT . runLoggingT . mtl_program
319319
320320mtl_calculateFileSizesDeep :: [FilePath] -> IO (Int, [String])
321321mtl_calculateFileSizesDeep
322− = runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
322+ = runR . runR . runR . runR . runR
323323 . runFileT . runLoggingT
324− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
324+ . runR . runR . runR . runR . runR
325325 . mtl_program
326326 where
327327 runR = flip M.runReaderT ()
@@ -379,9 +379,9 @@ poly_calculateFileSizes =
379379
380380poly_calculateFileSizesDeep :: [FilePath] -> IO (Int, [String])
381381poly_calculateFileSizesDeep = P.runM
382− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
382+ . runR . runR . runR . runR . runR
383383 . poly_runFile . poly_runLogging
384− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
384+ . runR . runR . runR . runR . runR
385385 . poly_program
386386 where
387387 runR = P.runReader ()