git.iko.soy/effectful
on master help sign in
Cut depth of the deep stack in half as it's more realistic
0d53992Andrzej Rybczak
bench/Countdown.hs+18−18
compare with master
unifiedsplit
@@ -65,9 +65,9 @@ countdownMtl n = flip M.runState n $ programMtl
65
65
66countdownMtlDeep :: Integer -> (Integer, Integer)
66countdownMtlDeep :: Integer -> (Integer, Integer)
67countdownMtlDeep n = runIdentity
67countdownMtlDeep n = runIdentity
68− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
68+ . runR . runR . runR . runR . runR
69 . flip M.runStateT n
69 . flip M.runStateT n
70− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
70+ . runR . runR . runR . runR . runR
71 $ programMtl
71 $ programMtl
72 where
72 where
73 runR = flip M.runReaderT ()
73 runR = flip M.runReaderT ()
@@ -90,9 +90,9 @@ countdownEffectfulStatic n = E.runEff . E.runState n $ programEffectfulStatic
90
90
91countdownEffectfulStaticDeep :: Integer -> IO (Integer, Integer)
91countdownEffectfulStaticDeep :: Integer -> IO (Integer, Integer)
92countdownEffectfulStaticDeep n = E.runEff
92countdownEffectfulStaticDeep n = E.runEff
93− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
93+ . runR . runR . runR . runR . runR
94 . E.runState n
94 . E.runState n
95− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
95+ . runR . runR . runR . runR . runR
96 $ programEffectfulStatic
96 $ programEffectfulStatic
97 where
97 where
98 runR = E.runReader ()
98 runR = E.runReader ()
@@ -115,9 +115,9 @@ countdownEffectfulMVar n = E.runEff . ME.runState n $ programEffectfulMVar
115
115
116countdownEffectfulMVarDeep :: Integer -> IO (Integer, Integer)
116countdownEffectfulMVarDeep :: Integer -> IO (Integer, Integer)
117countdownEffectfulMVarDeep n = E.runEff
117countdownEffectfulMVarDeep n = E.runEff
118− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
118+ . runR . runR . runR . runR . runR
119 . ME.runState n
119 . ME.runState n
120− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
120+ . runR . runR . runR . runR . runR
121 $ programEffectfulMVar
121 $ programEffectfulMVar
122 where
122 where
123 runR = E.runReader ()
123 runR = E.runReader ()
@@ -143,18 +143,18 @@ countdownEffectfulDynMVar n = E.runEff . DE.runStateMVar n $ programEffectfulDyn
143
143
144countdownEffectfulDynPureDeep :: Integer -> IO (Integer, Integer)
144countdownEffectfulDynPureDeep :: Integer -> IO (Integer, Integer)
145countdownEffectfulDynPureDeep n = E.runEff
145countdownEffectfulDynPureDeep n = E.runEff
146− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
146+ . runR . runR . runR . runR . runR
147 . DE.runState n
147 . DE.runState n
148− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
148+ . runR . runR . runR . runR . runR
149 $ programEffectfulDynamic
149 $ programEffectfulDynamic
150 where
150 where
151 runR = E.runReader ()
151 runR = E.runReader ()
152
152
153countdownEffectfulDynMVarDeep :: Integer -> IO (Integer, Integer)
153countdownEffectfulDynMVarDeep :: Integer -> IO (Integer, Integer)
154countdownEffectfulDynMVarDeep n = E.runEff
154countdownEffectfulDynMVarDeep n = E.runEff
155− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
155+ . runR . runR . runR . runR . runR
156 . DE.runStateMVar n
156 . DE.runStateMVar n
157− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
157+ . runR . runR . runR . runR . runR
158 $ programEffectfulDynamic
158 $ programEffectfulDynamic
159 where
159 where
160 runR = E.runReader ()
160 runR = E.runReader ()
@@ -179,9 +179,9 @@ countdownFusedEffects n = FE.run . FE.runState n $ programFusedEffects
179
179
180countdownFusedEffectsDeep :: Integer -> (Integer, Integer)
180countdownFusedEffectsDeep :: Integer -> (Integer, Integer)
181countdownFusedEffectsDeep n = FE.run
181countdownFusedEffectsDeep n = FE.run
182− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
182+ . runR . runR . runR . runR . runR
183 . FE.runState n
183 . FE.runState n
184− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
184+ . runR . runR . runR . runR . runR
185 $ programFusedEffects
185 $ programFusedEffects
186 where
186 where
187 runR = FE.runReader ()
187 runR = FE.runReader ()
@@ -208,9 +208,9 @@ countdownPolysemy n = P.run . P.runState n $ programPolysemy
208
208
209countdownPolysemyDeep :: Integer -> (Integer, Integer)
209countdownPolysemyDeep :: Integer -> (Integer, Integer)
210countdownPolysemyDeep n = P.run
210countdownPolysemyDeep n = P.run
211− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
211+ . runR . runR . runR . runR . runR
212 . P.runState n
212 . P.runState n
213− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
213+ . runR . runR . runR . runR . runR
214 $ programPolysemy
214 $ programPolysemy
215 where
215 where
216 runR = P.runReader ()
216 runR = P.runReader ()
@@ -237,9 +237,9 @@ countdownEff n = L.run . L.runState n $ programEff
237
237
238countdownEffDeep :: Integer -> (Integer, Integer)
238countdownEffDeep :: Integer -> (Integer, Integer)
239countdownEffDeep n = L.run
239countdownEffDeep n = L.run
240− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
240+ . runR . runR . runR . runR . runR
241 . L.runState n
241 . L.runState n
242− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
242+ . runR . runR . runR . runR . runR
243 $ programEff
243 $ programEff
244 where
244 where
245 runR = L.runReader ()
245 runR = L.runReader ()
@@ -266,9 +266,9 @@ countdownFreerSimple n = FS.run . FS.runState n $ programFreerSimple
266
266
267countdownFreerSimpleDeep :: Integer -> (Integer, Integer)
267countdownFreerSimpleDeep :: Integer -> (Integer, Integer)
268countdownFreerSimpleDeep n = FS.run
268countdownFreerSimpleDeep n = FS.run
269− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
269+ . runR . runR . runR . runR . runR
270 . FS.runState n
270 . FS.runState n
271− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
271+ . runR . runR . runR . runR . runR
272 $ programFreerSimple
272 $ programFreerSimple
273 where
273 where
274 runR = FS.runReader ()
274 runR = FS.runReader ()
bench/FileSizes.hs+10−10
@@ -124,9 +124,9 @@ effectful_calculateFileSizes =
124
124
125effectful_calculateFileSizesDeep :: [FilePath] -> IO (Int, [String])
125effectful_calculateFileSizesDeep :: [FilePath] -> IO (Int, [String])
126effectful_calculateFileSizesDeep = E.runEff . E.runIOE
126effectful_calculateFileSizesDeep = E.runEff . E.runIOE
127− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
127+ . runR . runR . runR . runR . runR
128 . effectful_runFile . effectful_runLogging
128 . effectful_runFile . effectful_runLogging
129− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
129+ . runR . runR . runR . runR . runR
130 . effectful_program
130 . effectful_program
131 where
131 where
132 runR = E.runReader ()
132 runR = E.runReader ()
@@ -188,9 +188,9 @@ eff_calculateFileSizes =
188
188
189eff_calculateFileSizesDeep :: [FilePath] -> IO (Int, [String])
189eff_calculateFileSizesDeep :: [FilePath] -> IO (Int, [String])
190eff_calculateFileSizesDeep = L.runIO
190eff_calculateFileSizesDeep = L.runIO
191− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
191+ . runR . runR . runR . runR . runR
192 . eff_runFile . eff_runLogging
192 . eff_runFile . eff_runLogging
193− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
193+ . runR . runR . runR . runR . runR
194 . eff_program
194 . eff_program
195 where
195 where
196 runR = L.runReader ()
196 runR = L.runReader ()
@@ -250,9 +250,9 @@ fs_calculateFileSizes =
250
250
251fs_calculateFileSizesDeep :: [FilePath] -> IO (Int, [String])
251fs_calculateFileSizesDeep :: [FilePath] -> IO (Int, [String])
252fs_calculateFileSizesDeep = FS.runM
252fs_calculateFileSizesDeep = FS.runM
253− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
253+ . runR . runR . runR . runR . runR
254 . fs_runFile . fs_runLogging
254 . fs_runFile . fs_runLogging
255− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
255+ . runR . runR . runR . runR . runR
256 . fs_program
256 . fs_program
257 where
257 where
258 runR = FS.runReader ()
258 runR = FS.runReader ()
@@ -319,9 +319,9 @@ mtl_calculateFileSizes = runFileT . runLoggingT . mtl_program
319
319
320mtl_calculateFileSizesDeep :: [FilePath] -> IO (Int, [String])
320mtl_calculateFileSizesDeep :: [FilePath] -> IO (Int, [String])
321mtl_calculateFileSizesDeep
321mtl_calculateFileSizesDeep
322− = runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
322+ = runR . runR . runR . runR . runR
323 . runFileT . runLoggingT
323 . runFileT . runLoggingT
324− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
324+ . runR . runR . runR . runR . runR
325 . mtl_program
325 . mtl_program
326 where
326 where
327 runR = flip M.runReaderT ()
327 runR = flip M.runReaderT ()
@@ -379,9 +379,9 @@ poly_calculateFileSizes =
379
379
380poly_calculateFileSizesDeep :: [FilePath] -> IO (Int, [String])
380poly_calculateFileSizesDeep :: [FilePath] -> IO (Int, [String])
381poly_calculateFileSizesDeep = P.runM
381poly_calculateFileSizesDeep = P.runM
382− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
382+ . runR . runR . runR . runR . runR
383 . poly_runFile . poly_runLogging
383 . poly_runFile . poly_runLogging
384− . runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
384+ . runR . runR . runR . runR . runR
385 . poly_program
385 . poly_program
386 where
386 where
387 runR = P.runReader ()
387 runR = P.runReader ()