mirror of
https://github.com/haskell-effectful/effectful.git
synced 2024-11-23 14:36:11 +03:00
Cut depth of the deep stack in half as it's more realistic
This commit is contained in:
Andrzej Rybczak
parent
2573a0af68
commit
0d53992fc3
@ -65,9 +65,9 @@ countdownMtl n = flip M.runState n $ programMtl
|
||||
|
||||
countdownMtlDeep :: Integer -> (Integer, Integer)
|
||||
countdownMtlDeep n = runIdentity
|
||||
. runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
. runR . runR . runR . runR . runR
|
||||
. flip M.runStateT n
|
||||
. runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
. runR . runR . runR . runR . runR
|
||||
$ programMtl
|
||||
where
|
||||
runR = flip M.runReaderT ()
|
||||
@ -90,9 +90,9 @@ countdownEffectfulStatic n = E.runEff . E.runState n $ programEffectfulStatic
|
||||
|
||||
countdownEffectfulStaticDeep :: Integer -> IO (Integer, Integer)
|
||||
countdownEffectfulStaticDeep n = E.runEff
|
||||
. runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
. runR . runR . runR . runR . runR
|
||||
. E.runState n
|
||||
. runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
. runR . runR . runR . runR . runR
|
||||
$ programEffectfulStatic
|
||||
where
|
||||
runR = E.runReader ()
|
||||
@ -115,9 +115,9 @@ countdownEffectfulMVar n = E.runEff . ME.runState n $ programEffectfulMVar
|
||||
|
||||
countdownEffectfulMVarDeep :: Integer -> IO (Integer, Integer)
|
||||
countdownEffectfulMVarDeep n = E.runEff
|
||||
. runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
. runR . runR . runR . runR . runR
|
||||
. ME.runState n
|
||||
. runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
. runR . runR . runR . runR . runR
|
||||
$ programEffectfulMVar
|
||||
where
|
||||
runR = E.runReader ()
|
||||
@ -143,18 +143,18 @@ countdownEffectfulDynMVar n = E.runEff . DE.runStateMVar n $ programEffectfulDyn
|
||||
|
||||
countdownEffectfulDynPureDeep :: Integer -> IO (Integer, Integer)
|
||||
countdownEffectfulDynPureDeep n = E.runEff
|
||||
. runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
. runR . runR . runR . runR . runR
|
||||
. DE.runState n
|
||||
. runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
. runR . runR . runR . runR . runR
|
||||
$ programEffectfulDynamic
|
||||
where
|
||||
runR = E.runReader ()
|
||||
|
||||
countdownEffectfulDynMVarDeep :: Integer -> IO (Integer, Integer)
|
||||
countdownEffectfulDynMVarDeep n = E.runEff
|
||||
. runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
. runR . runR . runR . runR . runR
|
||||
. DE.runStateMVar n
|
||||
. runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
. runR . runR . runR . runR . runR
|
||||
$ programEffectfulDynamic
|
||||
where
|
||||
runR = E.runReader ()
|
||||
@ -179,9 +179,9 @@ countdownFusedEffects n = FE.run . FE.runState n $ programFusedEffects
|
||||
|
||||
countdownFusedEffectsDeep :: Integer -> (Integer, Integer)
|
||||
countdownFusedEffectsDeep n = FE.run
|
||||
. runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
. runR . runR . runR . runR . runR
|
||||
. FE.runState n
|
||||
. runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
. runR . runR . runR . runR . runR
|
||||
$ programFusedEffects
|
||||
where
|
||||
runR = FE.runReader ()
|
||||
@ -208,9 +208,9 @@ countdownPolysemy n = P.run . P.runState n $ programPolysemy
|
||||
|
||||
countdownPolysemyDeep :: Integer -> (Integer, Integer)
|
||||
countdownPolysemyDeep n = P.run
|
||||
. runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
. runR . runR . runR . runR . runR
|
||||
. P.runState n
|
||||
. runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
. runR . runR . runR . runR . runR
|
||||
$ programPolysemy
|
||||
where
|
||||
runR = P.runReader ()
|
||||
@ -237,9 +237,9 @@ countdownEff n = L.run . L.runState n $ programEff
|
||||
|
||||
countdownEffDeep :: Integer -> (Integer, Integer)
|
||||
countdownEffDeep n = L.run
|
||||
. runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
. runR . runR . runR . runR . runR
|
||||
. L.runState n
|
||||
. runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
. runR . runR . runR . runR . runR
|
||||
$ programEff
|
||||
where
|
||||
runR = L.runReader ()
|
||||
@ -266,9 +266,9 @@ countdownFreerSimple n = FS.run . FS.runState n $ programFreerSimple
|
||||
|
||||
countdownFreerSimpleDeep :: Integer -> (Integer, Integer)
|
||||
countdownFreerSimpleDeep n = FS.run
|
||||
. runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
. runR . runR . runR . runR . runR
|
||||
. FS.runState n
|
||||
. runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
. runR . runR . runR . runR . runR
|
||||
$ programFreerSimple
|
||||
where
|
||||
runR = FS.runReader ()
|
||||
|
||||
@ -124,9 +124,9 @@ effectful_calculateFileSizes =
|
||||
|
||||
effectful_calculateFileSizesDeep :: [FilePath] -> IO (Int, [String])
|
||||
effectful_calculateFileSizesDeep = E.runEff . E.runIOE
|
||||
. runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
. runR . runR . runR . runR . runR
|
||||
. effectful_runFile . effectful_runLogging
|
||||
. runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
. runR . runR . runR . runR . runR
|
||||
. effectful_program
|
||||
where
|
||||
runR = E.runReader ()
|
||||
@ -188,9 +188,9 @@ eff_calculateFileSizes =
|
||||
|
||||
eff_calculateFileSizesDeep :: [FilePath] -> IO (Int, [String])
|
||||
eff_calculateFileSizesDeep = L.runIO
|
||||
. runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
. runR . runR . runR . runR . runR
|
||||
. eff_runFile . eff_runLogging
|
||||
. runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
. runR . runR . runR . runR . runR
|
||||
. eff_program
|
||||
where
|
||||
runR = L.runReader ()
|
||||
@ -250,9 +250,9 @@ fs_calculateFileSizes =
|
||||
|
||||
fs_calculateFileSizesDeep :: [FilePath] -> IO (Int, [String])
|
||||
fs_calculateFileSizesDeep = FS.runM
|
||||
. runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
. runR . runR . runR . runR . runR
|
||||
. fs_runFile . fs_runLogging
|
||||
. runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
. runR . runR . runR . runR . runR
|
||||
. fs_program
|
||||
where
|
||||
runR = FS.runReader ()
|
||||
@ -319,9 +319,9 @@ mtl_calculateFileSizes = runFileT . runLoggingT . mtl_program
|
||||
|
||||
mtl_calculateFileSizesDeep :: [FilePath] -> IO (Int, [String])
|
||||
mtl_calculateFileSizesDeep
|
||||
= runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
= runR . runR . runR . runR . runR
|
||||
. runFileT . runLoggingT
|
||||
. runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
. runR . runR . runR . runR . runR
|
||||
. mtl_program
|
||||
where
|
||||
runR = flip M.runReaderT ()
|
||||
@ -379,9 +379,9 @@ poly_calculateFileSizes =
|
||||
|
||||
poly_calculateFileSizesDeep :: [FilePath] -> IO (Int, [String])
|
||||
poly_calculateFileSizesDeep = P.runM
|
||||
. runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
. runR . runR . runR . runR . runR
|
||||
. poly_runFile . poly_runLogging
|
||||
. runR . runR . runR . runR . runR . runR . runR . runR . runR . runR
|
||||
. runR . runR . runR . runR . runR
|
||||
. poly_program
|
||||
where
|
||||
runR = P.runReader ()
|
||||
|
||||
Loading…
Reference in New Issue
Block a user