-
Notifications
You must be signed in to change notification settings - Fork 178
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Define a common set of benchmarks for fold functions, usable for all structures - Set, Map, IntSet, IntMap, Seq, Tree.
- Loading branch information
Showing
8 changed files
with
211 additions
and
33 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,142 @@ | ||
| {-# LANGUAGE BangPatterns #-} | ||
| {-# LANGUAGE RankNTypes #-} | ||
| {-# LANGUAGE ScopedTypeVariables #-} | ||
|
|
||
| module Utils.Fold | ||
| ( foldBenchmarks | ||
| , foldWithKeyBenchmarks | ||
| ) where | ||
|
|
||
| import Control.Monad.Trans.State.Strict | ||
| import Prelude hiding (Foldable(..)) | ||
| import Test.Tasty.Bench (Benchmark, bench, defaultMain, whnf, nf) | ||
| import qualified GHC.Exts | ||
|
|
||
| -- | Benchmarks for folds on a structure of @Int@s. | ||
|
|
||
| -- See Note [Choice of benchmarks] | ||
| foldBenchmarks | ||
| :: forall f. | ||
| (forall b. (Int -> b -> b) -> b -> f -> b) | ||
| -> (forall b. (b -> Int -> b) -> b -> f -> b) | ||
| -> (forall b. (Int -> b -> b) -> b -> f -> b) | ||
| -> (forall b. (b -> Int -> b) -> b -> f -> b) | ||
| -> (forall m. Monoid m => (Int -> m) -> f -> m) | ||
| -> f | ||
| -> [Benchmark] | ||
| foldBenchmarks foldr foldl foldr' foldl' foldMap xs = | ||
| [-- foldr | ||
| bench "foldr_skip" $ whnf (foldr (\_ z -> z) ()) xs | ||
| , bench "foldr_cpsSum" $ whnf foldr_cpsSum xs | ||
| , bench "foldr_cpsOneShotSum" $ whnf foldr_cpsOneShotSum xs | ||
| , bench "foldr_traverseSum" $ whnf foldr_traverseSum xs | ||
|
|
||
| -- foldl | ||
| , bench "foldl_skip" $ whnf (foldl (\z _ -> z) ()) xs | ||
| , bench "foldl_cpsSum" $ whnf foldl_cpsSum xs | ||
| , bench "foldl_cpsOneShotSum" $ whnf foldl_cpsOneShotSum xs | ||
| , bench "foldl_traverseSum" $ whnf foldl_traverseSum xs | ||
|
|
||
| -- foldr' | ||
| , bench "foldr'_sum" $ whnf (foldr' (+) 0) xs | ||
|
|
||
| -- foldl' | ||
| , bench "foldl'_sum" $ whnf (foldl' (+) 0) xs | ||
|
|
||
| -- foldMap | ||
| , bench "foldMap_seq" $ whnf (foldMap (\_ -> Unit ())) xs | ||
| , bench "foldMap_traverseSum" $ whnf foldMap_traverseSum xs | ||
| ] | ||
| where | ||
| foldr_cpsSum :: f -> Int | ||
| foldr_cpsSum xs = foldr (\x k !acc -> k (x + acc)) id xs 0 | ||
|
|
||
| foldr_cpsOneShotSum :: f -> Int | ||
| foldr_cpsOneShotSum xs = | ||
| foldr (\x k -> GHC.Exts.oneShot (\ !acc -> k (x + acc))) id xs 0 | ||
|
|
||
| foldr_traverseSum :: f -> Int | ||
| foldr_traverseSum xs = | ||
| execState (foldr (\x z -> modify' (+x) *> z) (pure ()) xs) 0 | ||
|
|
||
| foldl_cpsSum :: f -> Int | ||
| foldl_cpsSum xs = foldl (\k x !acc -> k (x + acc)) id xs 0 | ||
|
|
||
| foldl_cpsOneShotSum :: f -> Int | ||
| foldl_cpsOneShotSum xs = | ||
| foldl (\k x -> GHC.Exts.oneShot (\ !acc -> k (x + acc))) id xs 0 | ||
|
|
||
| foldl_traverseSum :: f -> Int | ||
| foldl_traverseSum xs = | ||
| execState (foldl (\z x -> modify' (+x) *> z) (pure ()) xs) 0 | ||
|
|
||
| foldMap_traverseSum :: f -> Int | ||
| foldMap_traverseSum xs = | ||
| execState (runEffect (foldMap (\x -> Effect (modify' (+x))) xs)) 0 | ||
| {-# INLINE foldBenchmarks #-} | ||
|
|
||
| -- | Benchmarks for folds on a structure of @Int@ keys and @Int@ values. | ||
| foldWithKeyBenchmarks | ||
| :: (forall b. (Int -> Int -> b -> b) -> b -> f -> b) | ||
| -> (forall b. (b -> Int -> Int -> b) -> b -> f -> b) | ||
| -> (forall b. (Int -> Int -> b -> b) -> b -> f -> b) | ||
| -> (forall b. (b -> Int -> Int -> b) -> b -> f -> b) | ||
| -> (forall m. Monoid m => (Int -> Int -> m) -> f -> m) | ||
| -> f | ||
| -> [Benchmark] | ||
| foldWithKeyBenchmarks | ||
| foldrWithKey foldlWithKey foldrWithKey' foldlWithKey' foldMapWithKey = | ||
| foldBenchmarks | ||
| (\f -> foldrWithKey (\k x z -> f (k + x) z)) | ||
| (\f -> foldlWithKey (\z k x -> f z (k + x))) | ||
| (\f -> foldrWithKey' (\k x z -> f (k + x) z)) | ||
| (\f -> foldlWithKey' (\z k x -> f z (k + x))) | ||
| (\f -> foldMapWithKey (\k x -> f (k + x))) | ||
| {-# INLINE foldWithKeyBenchmarks #-} | ||
|
|
||
| newtype Effect f = Effect { runEffect :: f () } | ||
|
|
||
| instance Applicative f => Semigroup (Effect f) where | ||
| Effect f1 <> Effect f2 = Effect (f1 *> f2) | ||
|
|
||
| instance Applicative f => Monoid (Effect f) where | ||
| mempty = Effect (pure ()) | ||
|
|
||
| newtype Unit = Unit () | ||
|
|
||
| instance Semigroup Unit where | ||
| (<>) = seq | ||
|
|
||
| instance Monoid Unit where | ||
| mempty = Unit () | ||
|
|
||
|
|
||
| -- Note [Choice of benchmarks] | ||
| -- ~~~~~~~~~~~~~~~~~~~~~~~~~~~ | ||
| -- | ||
| -- foldr_skip, foldl_skip | ||
| -- Simplest folds that visit every element. In practice: | ||
| -- * Worst case for lazy folds like `foldr (&&) True` | ||
| -- * Data.Foldable.toList | ||
| -- | ||
| -- foldr_cpsSum, foldr_cpsOneShotSum, foldl_cpsSum, foldl_cpsOneShotSum | ||
| -- The well-known foldl'-via-foldr pattern. GHC.Exts.oneShot is used to help | ||
| -- GHC with optimizations. In practice: | ||
| -- * Used for early-return with an accumulator | ||
| -- * Used by the foldl library | ||
| -- | ||
| -- foldr_traverseSum, foldr_traverseSum | ||
| -- Folding with an effect. In practice: | ||
| -- * Folds defined using foldr, such as Data.Foldable.traverse_ and friends | ||
| -- | ||
| -- foldl', foldr' | ||
| -- Strict folds. | ||
| -- | ||
| -- foldMap_seq | ||
| -- Simplest fold that visits every element. In practice: | ||
| -- * Worst case for lazy folds defined using foldMap, such as | ||
| -- Data.Foldable.any, Data.Foldable.find, etc. | ||
| -- | ||
| -- foldMap_traverseSum | ||
| -- Folding with an effect. In practice: | ||
| -- * With the lens library, using traverseOf_ on a foldMap based fold. |
Oops, something went wrong.