git.iko.soy/effects-benchmarks
on master help sign in
swap
c7e354326 ahead, 0 behind
40 files changed+1370
since splitsnapshots
unifiedsplit
.gitignore+3 LICENSE+30 README.md+388 Setup.hs+2 effects-benchmarks.cabal+82 instances/Effectful/Dynamic/Bench.hs+18 instances/Effectful/Dynamic/HTTP.hs+39 instances/Effectful/Dynamic/Stateful.hs+7 instances/Effectful/Dynamic/StatefulExcept.hs+10 instances/Effectful/Static/Bench.hs+17 instances/Effectful/Static/HTTP.hs+30 instances/Effectful/Static/Stateful.hs+7 instances/Effectful/Static/StatefulExcept.hs+10 instances/ExtEff/Bench.hs+22 instances/ExtEff/HTTP.hs+44 instances/ExtEff/Stateful.hs+7 instances/ExtEff/StatefulExcept.hs+8 instances/Freer/Bench.hs+22 instances/Freer/HTTP.hs+42 instances/Freer/Stateful.hs+7 instances/Freer/StatefulExcept.hs+10 instances/Fused/Bench.hs+21 instances/Fused/HTTP.hs+47 instances/Fused/Stateful.hs+6 instances/Fused/StatefulExcept.hs+8 instances/MTL/Bench.hs+21 instances/MTL/HTTP.hs+52 instances/MTL/Stateful.hs+6 instances/MTL/StatefulExcept.hs+7 instances/Poly/Bench.hs+22 instances/Poly/HTTP.hs+45 instances/Poly/Stateful.hs+7 instances/Poly/StatefulExcept.hs+8 instances/Shallow/Bench.hs+19 instances/Shallow/HTTP.hs+25 instances/Shallow/Stateful.hs+29 instances/Shallow/StatefulExcept.hs+37 package.yaml+37 src/Main.hs+90 stack.yaml+78
.gitignore+3
@@ -1,2 +1,5 @@
11.stack-work
22.DS_Store
3+core-html/
4+dist
5+dist-newstyle/
LICENSEnew file+30
@@ -0,0 +1,30 @@
1+Copyright Author name here (c) 2018
2+
3+All rights reserved.
4+
5+Redistribution and use in source and binary forms, with or without
6+modification, are permitted provided that the following conditions are met:
7+
8+ * Redistributions of source code must retain the above copyright
9+ notice, this list of conditions and the following disclaimer.
10+
11+ * Redistributions in binary form must reproduce the above
12+ copyright notice, this list of conditions and the following
13+ disclaimer in the documentation and/or other materials provided
14+ with the distribution.
15+
16+ * Neither the name of Author name here nor the names of other
17+ contributors may be used to endorse or promote products derived
18+ from this software without specific prior written permission.
19+
20+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
21+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
22+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
23+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
24+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
25+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
26+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
27+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
28+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
29+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
30+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
README.mdnew file+388
@@ -0,0 +1,388 @@
1+# effects-benchmarks
2+
3+
4+## Results
5+
6+<details>
7+
8+<summary>Linux – Intel(R) Core(TM) i5-10210U CPU @ 1.60GHz</summary>
9+
10+```
11+*** Time benchmarks ***
12+benchmarked Countdown/Put/fused-effects
13+time 13.54 ms (13.44 ms .. 13.67 ms)
14+ 0.999 R² (0.998 R² .. 1.000 R²)
15+mean 13.58 ms (13.54 ms .. 13.69 ms)
16+std dev 165.6 μs (94.38 μs .. 276.3 μs)
17+
18+benchmarked Countdown/Put/mtl
19+time 4.885 ms (4.777 ms .. 4.954 ms)
20+ 0.998 R² (0.993 R² .. 1.000 R²)
21+mean 4.995 ms (4.934 ms .. 5.227 ms)
22+std dev 333.6 μs (54.64 μs .. 696.6 μs)
23+variance introduced by outliers: 37% (moderately inflated)
24+
25+benchmarked Countdown/Put/polysemy
26+time 20.82 ms (20.58 ms .. 21.10 ms)
27+ 0.999 R² (0.997 R² .. 1.000 R²)
28+mean 20.82 ms (20.70 ms .. 21.00 ms)
29+std dev 359.1 μs (243.7 μs .. 578.8 μs)
30+
31+benchmarked Countdown/Put/freer-simple
32+time 20.18 ms (19.82 ms .. 20.56 ms)
33+ 0.998 R² (0.997 R² .. 0.999 R²)
34+mean 19.90 ms (19.56 ms .. 20.53 ms)
35+std dev 1.084 ms (524.8 μs .. 2.078 ms)
36+variance introduced by outliers: 22% (moderately inflated)
37+
38+benchmarked Countdown/Put/extensible-effects
39+time 22.01 ms (21.29 ms .. 22.72 ms)
40+ 0.997 R² (0.995 R² .. 0.999 R²)
41+mean 20.74 ms (19.73 ms .. 21.26 ms)
42+std dev 1.554 ms (611.3 μs .. 2.309 ms)
43+variance introduced by outliers: 30% (moderately inflated)
44+
45+benchmarked Countdown/Put/shallow
46+time 2.432 ms (2.390 ms .. 2.477 ms)
47+ 0.998 R² (0.997 R² .. 0.999 R²)
48+mean 2.439 ms (2.425 ms .. 2.456 ms)
49+std dev 47.42 μs (39.74 μs .. 62.97 μs)
50+
51+benchmarked Countdown/Put/effectful - static
52+time 555.5 μs (542.5 μs .. 567.2 μs)
53+ 0.995 R² (0.985 R² .. 1.000 R²)
54+mean 548.2 μs (544.0 μs .. 561.4 μs)
55+std dev 19.40 μs (5.420 μs .. 41.81 μs)
56+variance introduced by outliers: 12% (moderately inflated)
57+
58+benchmarked Countdown/Put/effectful - dynamic
59+time 2.729 ms (2.688 ms .. 2.777 ms)
60+ 0.998 R² (0.996 R² .. 0.999 R²)
61+mean 2.736 ms (2.722 ms .. 2.761 ms)
62+std dev 59.64 μs (42.50 μs .. 90.32 μs)
63+
64+benchmarked Countdown/Put+Exc/fused-effects
65+time 11.89 ms (11.76 ms .. 12.06 ms)
66+ 0.999 R² (0.999 R² .. 1.000 R²)
67+mean 11.93 ms (11.87 ms .. 12.05 ms)
68+std dev 199.3 μs (102.4 μs .. 324.7 μs)
69+
70+benchmarked Countdown/Put+Exc/mtl
71+time 5.196 ms (5.120 ms .. 5.299 ms)
72+ 0.998 R² (0.994 R² .. 0.999 R²)
73+mean 5.200 ms (5.169 ms .. 5.254 ms)
74+std dev 108.8 μs (69.46 μs .. 167.0 μs)
75+
76+benchmarked Countdown/Put+Exc/polysemy
77+time 29.24 ms (28.82 ms .. 29.79 ms)
78+ 0.999 R² (0.998 R² .. 1.000 R²)
79+mean 29.51 ms (29.26 ms .. 29.95 ms)
80+std dev 681.2 μs (452.7 μs .. 990.8 μs)
81+
82+benchmarked Countdown/Put+Exc/freer-simple
83+time 13.32 ms (12.65 ms .. 14.12 ms)
84+ 0.984 R² (0.974 R² .. 0.993 R²)
85+mean 11.50 ms (11.00 ms .. 11.99 ms)
86+std dev 1.209 ms (1.080 ms .. 1.435 ms)
87+variance introduced by outliers: 48% (moderately inflated)
88+
89+benchmarked Countdown/Put+Exc/extensible-effects
90+time 17.03 ms (15.01 ms .. 18.76 ms)
91+ 0.956 R² (0.928 R² .. 0.980 R²)
92+mean 13.62 ms (12.99 ms .. 14.50 ms)
93+std dev 1.750 ms (1.315 ms .. 2.083 ms)
94+variance introduced by outliers: 56% (severely inflated)
95+
96+benchmarked Countdown/Put+Exc/shallow
97+time 580.0 μs (475.1 μs .. 675.5 μs)
98+ 0.971 R² (0.958 R² .. 1.000 R²)
99+mean 573.0 μs (566.0 μs .. 584.6 μs)
100+std dev 14.90 μs (1.088 μs .. 19.80 μs)
101+
102+benchmarked Countdown/Put+Exc/effectful - static
103+time 588.1 μs (520.7 μs .. 679.1 μs)
104+ 0.974 R² (0.954 R² .. 0.998 R²)
105+mean 602.3 μs (596.0 μs .. 612.8 μs)
106+std dev 13.75 μs (5.999 μs .. 17.97 μs)
107+
108+benchmarked Countdown/Put+Exc/effectful - dynamic
109+time 2.769 ms (2.747 ms .. 2.806 ms)
110+ 0.997 R² (0.992 R² .. 1.000 R²)
111+mean 2.796 ms (2.783 ms .. 2.832 ms)
112+std dev 48.48 μs (21.03 μs .. 95.12 μs)
113+
114+benchmarked HTTP/fused-effects
115+time 1.937 ms (1.916 ms .. 1.976 ms)
116+ 0.997 R² (0.993 R² .. 1.000 R²)
117+mean 1.937 ms (1.928 ms .. 1.957 ms)
118+std dev 29.94 μs (11.47 μs .. 54.28 μs)
119+
120+benchmarked HTTP/polysemy
121+time 34.56 ms (33.19 ms .. 36.29 ms)
122+ 0.995 R² (0.992 R² .. 1.000 R²)
123+mean 33.67 ms (33.40 ms .. 34.39 ms)
124+std dev 841.1 μs (347.0 μs .. 1.492 ms)
125+
126+benchmarked HTTP/extensible-effects
127+time 19.92 ms (18.98 ms .. 21.52 ms)
128+ 0.983 R² (0.970 R² .. 0.991 R²)
129+mean 17.74 ms (16.85 ms .. 18.62 ms)
130+std dev 1.942 ms (1.676 ms .. 2.228 ms)
131+variance introduced by outliers: 48% (moderately inflated)
132+
133+benchmarked HTTP/Deep embedding
134+time 28.14 ms (25.55 ms .. 30.55 ms)
135+ 0.980 R² (0.966 R² .. 0.993 R²)
136+mean 24.73 ms (22.59 ms .. 26.22 ms)
137+std dev 3.694 ms (2.445 ms .. 4.726 ms)
138+variance introduced by outliers: 61% (severely inflated)
139+
140+benchmarking HTTP/Shallow embedding ... took 11.97 s, total 40147 iterations
141+benchmarked HTTP/Shallow embedding
142+time 22.38 μs (21.23 μs .. 23.27 μs)
143+ 0.994 R² (0.977 R² .. 0.999 R²)
144+mean 25.00 μs (24.76 μs .. 25.35 μs)
145+std dev 484.0 ns (352.7 ns .. 601.7 ns)
146+
147+benchmarked HTTP/freer-simple
148+time 19.35 ms (18.52 ms .. 20.60 ms)
149+ 0.980 R² (0.959 R² .. 0.992 R²)
150+mean 17.17 ms (16.27 ms .. 18.04 ms)
151+std dev 1.945 ms (1.653 ms .. 2.326 ms)
152+variance introduced by outliers: 45% (moderately inflated)
153+
154+benchmarking HTTP/effectful - static ... took 11.95 s, total 38223 iterations
155+benchmarked HTTP/effectful - static
156+time 25.03 μs (16.61 μs .. 35.70 μs)
157+ 0.838 R² (0.740 R² .. 0.999 R²)
158+mean 25.57 μs (24.80 μs .. 27.01 μs)
159+std dev 1.644 μs (121.0 ns .. 2.127 μs)
160+variance introduced by outliers: 18% (moderately inflated)
161+
162+benchmarked HTTP/effectful - dynamic
163+time 4.058 ms (3.662 ms .. 4.753 ms)
164+ 0.918 R² (0.847 R² .. 0.997 R²)
165+mean 3.886 ms (3.773 ms .. 4.122 ms)
166+std dev 397.4 μs (161.9 μs .. 614.5 μs)
167+variance introduced by outliers: 50% (severely inflated)
168+
169+*** Space benchmarks (these will take some time to run) ***
170+
171+Countdown
172+
173+ Case Allocated GCs
174+ fused-effects 2,512 0
175+ mtl 792 0
176+ polysemy 4,184 0
177+ freer-simple 1,120 0
178+ extensible-effects 1,264 0
179+ shallow 232 0
180+ effectful - static 4,000,488 3
181+ effectful - dynamic 14,401,376 13
182+
183+Countdown + exc
184+
185+ Case Allocated GCs
186+ fused-effects 1,080 0
187+ mtl 608 0
188+ polysemy 4,144 0
189+ freer-simple 576 0
190+ extensible-effects 688 0
191+ shallow 0 0
192+ effectful - static 4,002,080 3
193+ effectful - dynamic 14,403,832 13
194+```
195+
196+</details>
197+
198+<details>
199+
200+<summary>macOS – MacBook Pro (13-inch, 2018, Four Thunderbolt 3 Ports) – 2.3 GHz Quad-Core Intel Core i5</summary>
201+
202+```
203+*** Time benchmarks ***
204+benchmarked Countdown/Put/fused-effects
205+time 13.54 ms (13.44 ms .. 13.67 ms)
206+ 0.999 R² (0.998 R² .. 1.000 R²)
207+mean 13.58 ms (13.54 ms .. 13.69 ms)
208+std dev 165.6 μs (94.38 μs .. 276.3 μs)
209+
210+benchmarked Countdown/Put/mtl
211+time 4.885 ms (4.777 ms .. 4.954 ms)
212+ 0.998 R² (0.993 R² .. 1.000 R²)
213+mean 4.995 ms (4.934 ms .. 5.227 ms)
214+std dev 333.6 μs (54.64 μs .. 696.6 μs)
215+variance introduced by outliers: 37% (moderately inflated)
216+
217+benchmarked Countdown/Put/polysemy
218+time 20.82 ms (20.58 ms .. 21.10 ms)
219+ 0.999 R² (0.997 R² .. 1.000 R²)
220+mean 20.82 ms (20.70 ms .. 21.00 ms)
221+std dev 359.1 μs (243.7 μs .. 578.8 μs)
222+
223+benchmarked Countdown/Put/freer-simple
224+time 20.18 ms (19.82 ms .. 20.56 ms)
225+ 0.998 R² (0.997 R² .. 0.999 R²)
226+mean 19.90 ms (19.56 ms .. 20.53 ms)
227+std dev 1.084 ms (524.8 μs .. 2.078 ms)
228+variance introduced by outliers: 22% (moderately inflated)
229+
230+benchmarked Countdown/Put/extensible-effects
231+time 22.01 ms (21.29 ms .. 22.72 ms)
232+ 0.997 R² (0.995 R² .. 0.999 R²)
233+mean 20.74 ms (19.73 ms .. 21.26 ms)
234+std dev 1.554 ms (611.3 μs .. 2.309 ms)
235+variance introduced by outliers: 30% (moderately inflated)
236+
237+benchmarked Countdown/Put/shallow
238+time 2.432 ms (2.390 ms .. 2.477 ms)
239+ 0.998 R² (0.997 R² .. 0.999 R²)
240+mean 2.439 ms (2.425 ms .. 2.456 ms)
241+std dev 47.42 μs (39.74 μs .. 62.97 μs)
242+
243+benchmarked Countdown/Put/effectful - static
244+time 555.5 μs (542.5 μs .. 567.2 μs)
245+ 0.995 R² (0.985 R² .. 1.000 R²)
246+mean 548.2 μs (544.0 μs .. 561.4 μs)
247+std dev 19.40 μs (5.420 μs .. 41.81 μs)
248+variance introduced by outliers: 12% (moderately inflated)
249+
250+benchmarked Countdown/Put/effectful - dynamic
251+time 2.729 ms (2.688 ms .. 2.777 ms)
252+ 0.998 R² (0.996 R² .. 0.999 R²)
253+mean 2.736 ms (2.722 ms .. 2.761 ms)
254+std dev 59.64 μs (42.50 μs .. 90.32 μs)
255+
256+benchmarked Countdown/Put+Exc/fused-effects
257+time 11.89 ms (11.76 ms .. 12.06 ms)
258+ 0.999 R² (0.999 R² .. 1.000 R²)
259+mean 11.93 ms (11.87 ms .. 12.05 ms)
260+std dev 199.3 μs (102.4 μs .. 324.7 μs)
261+
262+benchmarked Countdown/Put+Exc/mtl
263+time 5.196 ms (5.120 ms .. 5.299 ms)
264+ 0.998 R² (0.994 R² .. 0.999 R²)
265+mean 5.200 ms (5.169 ms .. 5.254 ms)
266+std dev 108.8 μs (69.46 μs .. 167.0 μs)
267+
268+benchmarked Countdown/Put+Exc/polysemy
269+time 29.24 ms (28.82 ms .. 29.79 ms)
270+ 0.999 R² (0.998 R² .. 1.000 R²)
271+mean 29.51 ms (29.26 ms .. 29.95 ms)
272+std dev 681.2 μs (452.7 μs .. 990.8 μs)
273+
274+benchmarked Countdown/Put+Exc/freer-simple
275+time 13.32 ms (12.65 ms .. 14.12 ms)
276+ 0.984 R² (0.974 R² .. 0.993 R²)
277+mean 11.50 ms (11.00 ms .. 11.99 ms)
278+std dev 1.209 ms (1.080 ms .. 1.435 ms)
279+variance introduced by outliers: 48% (moderately inflated)
280+
281+benchmarked Countdown/Put+Exc/extensible-effects
282+time 17.03 ms (15.01 ms .. 18.76 ms)
283+ 0.956 R² (0.928 R² .. 0.980 R²)
284+mean 13.62 ms (12.99 ms .. 14.50 ms)
285+std dev 1.750 ms (1.315 ms .. 2.083 ms)
286+variance introduced by outliers: 56% (severely inflated)
287+
288+benchmarked Countdown/Put+Exc/shallow
289+time 580.0 μs (475.1 μs .. 675.5 μs)
290+ 0.971 R² (0.958 R² .. 1.000 R²)
291+mean 573.0 μs (566.0 μs .. 584.6 μs)
292+std dev 14.90 μs (1.088 μs .. 19.80 μs)
293+
294+benchmarked Countdown/Put+Exc/effectful - static
295+time 588.1 μs (520.7 μs .. 679.1 μs)
296+ 0.974 R² (0.954 R² .. 0.998 R²)
297+mean 602.3 μs (596.0 μs .. 612.8 μs)
298+std dev 13.75 μs (5.999 μs .. 17.97 μs)
299+
300+benchmarked Countdown/Put+Exc/effectful - dynamic
301+time 2.769 ms (2.747 ms .. 2.806 ms)
302+ 0.997 R² (0.992 R² .. 1.000 R²)
303+mean 2.796 ms (2.783 ms .. 2.832 ms)
304+std dev 48.48 μs (21.03 μs .. 95.12 μs)
305+
306+benchmarked HTTP/fused-effects
307+time 1.937 ms (1.916 ms .. 1.976 ms)
308+ 0.997 R² (0.993 R² .. 1.000 R²)
309+mean 1.937 ms (1.928 ms .. 1.957 ms)
310+std dev 29.94 μs (11.47 μs .. 54.28 μs)
311+
312+benchmarked HTTP/polysemy
313+time 34.56 ms (33.19 ms .. 36.29 ms)
314+ 0.995 R² (0.992 R² .. 1.000 R²)
315+mean 33.67 ms (33.40 ms .. 34.39 ms)
316+std dev 841.1 μs (347.0 μs .. 1.492 ms)
317+
318+benchmarked HTTP/extensible-effects
319+time 19.92 ms (18.98 ms .. 21.52 ms)
320+ 0.983 R² (0.970 R² .. 0.991 R²)
321+mean 17.74 ms (16.85 ms .. 18.62 ms)
322+std dev 1.942 ms (1.676 ms .. 2.228 ms)
323+variance introduced by outliers: 48% (moderately inflated)
324+
325+benchmarked HTTP/Deep embedding
326+time 28.14 ms (25.55 ms .. 30.55 ms)
327+ 0.980 R² (0.966 R² .. 0.993 R²)
328+mean 24.73 ms (22.59 ms .. 26.22 ms)
329+std dev 3.694 ms (2.445 ms .. 4.726 ms)
330+variance introduced by outliers: 61% (severely inflated)
331+
332+benchmarking HTTP/Shallow embedding ... took 11.97 s, total 40147 iterations
333+benchmarked HTTP/Shallow embedding
334+time 22.38 μs (21.23 μs .. 23.27 μs)
335+ 0.994 R² (0.977 R² .. 0.999 R²)
336+mean 25.00 μs (24.76 μs .. 25.35 μs)
337+std dev 484.0 ns (352.7 ns .. 601.7 ns)
338+
339+benchmarked HTTP/freer-simple
340+time 19.35 ms (18.52 ms .. 20.60 ms)
341+ 0.980 R² (0.959 R² .. 0.992 R²)
342+mean 17.17 ms (16.27 ms .. 18.04 ms)
343+std dev 1.945 ms (1.653 ms .. 2.326 ms)
344+variance introduced by outliers: 45% (moderately inflated)
345+
346+benchmarking HTTP/effectful - static ... took 11.95 s, total 38223 iterations
347+benchmarked HTTP/effectful - static
348+time 25.03 μs (16.61 μs .. 35.70 μs)
349+ 0.838 R² (0.740 R² .. 0.999 R²)
350+mean 25.57 μs (24.80 μs .. 27.01 μs)
351+std dev 1.644 μs (121.0 ns .. 2.127 μs)
352+variance introduced by outliers: 18% (moderately inflated)
353+
354+benchmarked HTTP/effectful - dynamic
355+time 4.058 ms (3.662 ms .. 4.753 ms)
356+ 0.918 R² (0.847 R² .. 0.997 R²)
357+mean 3.886 ms (3.773 ms .. 4.122 ms)
358+std dev 397.4 μs (161.9 μs .. 614.5 μs)
359+variance introduced by outliers: 50% (severely inflated)
360+
361+*** Space benchmarks (these will take some time to run) ***
362+
363+Countdown
364+
365+ Case Allocated GCs
366+ fused-effects 2,512 0
367+ mtl 792 0
368+ polysemy 4,184 0
369+ freer-simple 1,120 0
370+ extensible-effects 1,264 0
371+ shallow 232 0
372+ effectful - static 4,000,488 3
373+ effectful - dynamic 14,401,376 13
374+
375+Countdown + exc
376+
377+ Case Allocated GCs
378+ fused-effects 1,080 0
379+ mtl 608 0
380+ polysemy 4,144 0
381+ freer-simple 576 0
382+ extensible-effects 688 0
383+ shallow 0 0
384+ effectful - static 4,002,080 3
385+ effectful - dynamic 14,403,832 13
386+```
387+
388+</details>
Setup.hsnew file+2
@@ -0,0 +1,2 @@
1+import Distribution.Simple
2+main = defaultMain
effects-benchmarks.cabalnew file+82
@@ -0,0 +1,82 @@
1+cabal-version: 1.12
2+
3+-- This file has been generated from package.yaml by hpack version 0.34.4.
4+--
5+-- see: https://github.com/sol/hpack
6+
7+name: effects-benchmarks
8+version: 0.0.0
9+license: BSD3
10+license-file: LICENSE
11+build-type: Simple
12+
13+benchmark effects-benchmarks
14+ type: exitcode-stdio-1.0
15+ main-is: Main.hs
16+ other-modules:
17+ Effectful.Dynamic.Bench
18+ Effectful.Dynamic.HTTP
19+ Effectful.Dynamic.Stateful
20+ Effectful.Dynamic.StatefulExcept
21+ Effectful.Static.Bench
22+ Effectful.Static.HTTP
23+ Effectful.Static.Stateful
24+ Effectful.Static.StatefulExcept
25+ ExtEff.Bench
26+ ExtEff.HTTP
27+ ExtEff.Stateful
28+ ExtEff.StatefulExcept
29+ Freer.Bench
30+ Freer.HTTP
31+ Freer.Stateful
32+ Freer.StatefulExcept
33+ Fused.Bench
34+ Fused.HTTP
35+ Fused.Stateful
36+ Fused.StatefulExcept
37+ MTL.Bench
38+ MTL.HTTP
39+ MTL.Stateful
40+ MTL.StatefulExcept
41+ Poly.Bench
42+ Poly.HTTP
43+ Poly.Stateful
44+ Poly.StatefulExcept
45+ Shallow.Bench
46+ Shallow.HTTP
47+ Shallow.Stateful
48+ Shallow.StatefulExcept
49+ Paths_effects_benchmarks
50+ hs-source-dirs:
51+ instances
52+ src
53+ default-extensions:
54+ DeriveAnyClass
55+ DeriveFunctor
56+ DeriveGeneric
57+ DerivingStrategies
58+ FlexibleInstances
59+ GADTs
60+ GeneralizedNewtypeDeriving
61+ KindSignatures
62+ MultiParamTypeClasses
63+ TypeOperators
64+ UndecidableInstances
65+ DataKinds
66+ FlexibleContexts
67+ TypeApplications
68+ LambdaCase
69+ ScopedTypeVariables
70+ DerivingStrategies
71+ build-depends:
72+ base
73+ , effectful
74+ , effectful-core
75+ , extensible-effects
76+ , freer-simple
77+ , fused-effects
78+ , gauge
79+ , mtl
80+ , polysemy
81+ , weigh
82+ default-language: Haskell2010
instances/Effectful/Dynamic/Bench.hsnew file+18
@@ -0,0 +1,18 @@
1+module Effectful.Dynamic.Bench where
2+
3+import Effectful
4+import Effectful.Dynamic.HTTP
5+import Effectful.Dynamic.Stateful
6+import Effectful.Dynamic.StatefulExcept
7+import Effectful.Error.Dynamic
8+import Effectful.State.Dynamic
9+import GHC.Stack (CallStack)
10+
11+countDownBench :: Int -> (Int, Int)
12+countDownBench start = runPureEff . runLocalState start $ countDownPut
13+
14+countDownExcBench :: Int -> Either (CallStack, String) (Int, Int)
15+countDownExcBench start = runPureEff . runError . runLocalState start $ countDownExc
16+
17+httpBench :: Int -> IO Int
18+httpBench n = runEff $ runHTTP (doHTTP n)
instances/Effectful/Dynamic/HTTP.hsnew file+39
@@ -0,0 +1,39 @@
1+module Effectful.Dynamic.HTTP where
2+
3+import Control.Monad
4+import Data.Kind
5+import Effectful
6+import Effectful.Dispatch.Static
7+import Effectful.Internal.Monad
8+
9+data HTTP :: Effect where
10+ Open :: String -> HTTP m ()
11+ Close :: HTTP m ()
12+ Post :: String -> HTTP m String
13+ Get :: HTTP m String
14+
15+runHTTP :: Eff (HTTP : es) a -> Eff es a
16+runHTTP = interpret $ \_ -> \case
17+ Open _ -> pure ()
18+ Close -> pure ()
19+ Post a -> pure ("posted" <> a)
20+ Get -> pure "gotten"
21+
22+open :: HTTP :> es => String -> Eff es ()
23+open = send . Open
24+
25+close :: HTTP :> es => Eff es ()
26+close = send Close
27+
28+post :: HTTP :> es => String -> Eff es String
29+post = send . Post
30+
31+get :: HTTP :> es => Eff es String
32+get = send Get
33+
34+doHTTP :: HTTP :> es => Int -> Eff es Int
35+doHTTP n = do
36+ open "cats"
37+ replicateM_ n (get *> post "cats")
38+ close
39+ pure n
instances/Effectful/Dynamic/Stateful.hsnew file+7
@@ -0,0 +1,7 @@
1+module Effectful.Dynamic.Stateful where
2+
3+import Effectful
4+import Effectful.State.Dynamic
5+
6+countDownPut :: State Int :> es => Eff es Int
7+countDownPut = get >>= (\n -> if n < 0 then pure n else put (n - 1) *> countDownPut)
instances/Effectful/Dynamic/StatefulExcept.hsnew file+10
@@ -0,0 +1,10 @@
1+module Effectful.Dynamic.StatefulExcept where
2+
3+import Effectful
4+import Effectful.Error.Dynamic
5+import Effectful.State.Dynamic
6+
7+countDownExc :: (State Int :> es, Error String :> es) => Eff es b
8+countDownExc = go
9+ where
10+ go = get @Int >>= (\n -> if n <= 0 then throwError "what" else put @Int (n - 1) *> go)
instances/Effectful/Static/Bench.hsnew file+17
@@ -0,0 +1,17 @@
1+module Effectful.Static.Bench where
2+
3+import Effectful
4+import Effectful.Error
5+import Effectful.State.Local
6+import Effectful.Static.HTTP
7+import Effectful.Static.Stateful
8+import Effectful.Static.StatefulExcept
9+
10+countDownBench :: Int -> (Int, Int)
11+countDownBench start = runPureEff . runState start $ countDownPut
12+
13+countDownExcBench :: Int -> Either (CallStack, String) (Int, Int)
14+countDownExcBench start = runPureEff . runError . runState start $ countDownExc
15+
16+httpBench :: Int -> IO Int
17+httpBench n = runEff $ runHTTP (doHTTP n)
instances/Effectful/Static/HTTP.hsnew file+30
@@ -0,0 +1,30 @@
1+module Effectful.Static.HTTP where
2+
3+import Control.Monad
4+import Data.Kind
5+import Effectful
6+import Effectful.Dispatch.Static
7+
8+data HTTP (m :: Type -> Type) r = HTTP
9+
10+runHTTP :: Eff (HTTP : es) a -> Eff es a
11+runHTTP = evalData (DataA HTTP)
12+
13+open :: HTTP :> es => String -> Eff es ()
14+open _ = pure ()
15+
16+close :: HTTP :> es => Eff es ()
17+close = pure ()
18+
19+post :: HTTP :> es => String -> Eff es String
20+post a = pure ("posted" <> a)
21+
22+get :: HTTP :> es => Eff es String
23+get = pure "gotten"
24+
25+doHTTP :: HTTP :> es => Int -> Eff es Int
26+doHTTP n = do
27+ open "cats"
28+ replicateM_ n (get *> post "cats")
29+ close
30+ pure n
instances/Effectful/Static/Stateful.hsnew file+7
@@ -0,0 +1,7 @@
1+module Effectful.Static.Stateful where
2+
3+import Effectful
4+import Effectful.State.Local
5+
6+countDownPut :: State Int :> es => Eff es Int
7+countDownPut = get >>= (\n -> if n < 0 then pure n else put (n - 1) *> countDownPut)
instances/Effectful/Static/StatefulExcept.hsnew file+10
@@ -0,0 +1,10 @@
1+module Effectful.Static.StatefulExcept where
2+
3+import Effectful
4+import Effectful.Error
5+import Effectful.State.Local
6+
7+countDownExc :: (State Int :> es, Error String :> es) => Eff es b
8+countDownExc = go
9+ where
10+ go = get @Int >>= (\n -> if n <= 0 then throwError "what" else put @Int (n - 1) *> go)
instances/ExtEff/Bench.hsnew file+22
@@ -0,0 +1,22 @@
1+module ExtEff.Bench
2+ ( countDownBench,
3+ countDownExcBench,
4+ httpBench,
5+ )
6+where
7+
8+import Control.Eff
9+import Control.Eff.Exception
10+import Control.Eff.State.Strict
11+import ExtEff.HTTP
12+import ExtEff.Stateful
13+import ExtEff.StatefulExcept
14+
15+countDownBench :: Int -> (Int, Int)
16+countDownBench start = run . runState start $ countDownPut
17+
18+countDownExcBench :: Int -> Either String (Int, Int)
19+countDownExcBench start = run . runError . runState start $ countDownExc
20+
21+httpBench :: Int -> IO Int
22+httpBench n = runHttp (doHTTP n)
instances/ExtEff/HTTP.hsnew file+44
@@ -0,0 +1,44 @@
1+module ExtEff.HTTP where
2+
3+import Control.Eff
4+import Control.Eff.Extend
5+import Control.Monad
6+import Data.Function
7+
8+data HTTP a where
9+ Open :: String -> HTTP ()
10+ Close :: HTTP ()
11+ Post :: String -> HTTP String
12+ HGet :: HTTP String
13+
14+open' :: Member HTTP e => String -> Eff e ()
15+open' = send . Open
16+
17+close' :: Member HTTP e => Eff e ()
18+close' = send Close
19+
20+post' :: Member HTTP e => String -> Eff e String
21+post' = send . Post
22+
23+get' :: Member HTTP e => Eff e String
24+get' = send HGet
25+
26+instance Handle HTTP r b (Eff e b) where
27+ handle h q req = case req of
28+ Open _s -> h (q ^$ ())
29+ Close -> h (q ^$ ())
30+ Post s -> h (q ^$ ("posted " <> s))
31+ HGet -> h (q ^$ "contents")
32+
33+doHttp :: Eff (HTTP ': e) b -> Eff e b
34+doHttp = fix (handle_relay pure)
35+
36+runHttp :: Eff '[HTTP, Lift IO] a -> IO a
37+runHttp = runLift . doHttp
38+
39+doHTTP :: Member HTTP e => Int -> Eff e Int
40+doHTTP n = do
41+ open' "cats"
42+ replicateM_ n (get' *> post' "cats")
43+ close'
44+ pure n
instances/ExtEff/Stateful.hsnew file+7
@@ -0,0 +1,7 @@
1+module ExtEff.Stateful where
2+
3+import Control.Eff
4+import Control.Eff.State.Strict
5+
6+countDownPut :: Member (State Int) r => Eff r Int
7+countDownPut = get >>= (\n -> if n < 0 then pure n else put (n - 1) *> countDownPut)
instances/ExtEff/StatefulExcept.hsnew file+8
@@ -0,0 +1,8 @@
1+module ExtEff.StatefulExcept where
2+
3+import Control.Eff
4+import Control.Eff.Exception
5+import Control.Eff.State.Strict
6+
7+countDownExc :: (Member (State Int) r, Member (Exc String) r) => Eff r b
8+countDownExc = get @Int >>= (\n -> if n <= 0 then throwError "what" else put @Int (n - 1) *> countDownExc)
instances/Freer/Bench.hsnew file+22
@@ -0,0 +1,22 @@
1+module Freer.Bench
2+ ( countDownBench,
3+ countDownExcBench,
4+ httpBench,
5+ )
6+where
7+
8+import Control.Monad.Freer
9+import Control.Monad.Freer.Error
10+import Control.Monad.Freer.State
11+import Freer.HTTP
12+import Freer.Stateful
13+import Freer.StatefulExcept
14+
15+countDownBench :: Int -> (Int, Int)
16+countDownBench start = run . runState start $ countDownPut
17+
18+countDownExcBench :: Int -> Either String (Int, Int)
19+countDownExcBench start = run . runError . runState start $ countDownExc
20+
21+httpBench :: Int -> IO Int
22+httpBench n = runHttp (doHTTP n)
instances/Freer/HTTP.hsnew file+42
@@ -0,0 +1,42 @@
1+module Freer.HTTP where
2+
3+import Control.Monad
4+import Control.Monad.Freer
5+
6+data HTTP a where
7+ Open :: String -> HTTP ()
8+ Close :: HTTP ()
9+ Post :: String -> HTTP String
10+ HGet :: HTTP String
11+
12+open' :: Member HTTP e => String -> Eff e ()
13+open' = send . Open
14+
15+close' :: Member HTTP e => Eff e ()
16+close' = send Close
17+
18+post' :: Member HTTP e => String -> Eff e String
19+post' = send . Post
20+
21+get' :: Member HTTP e => Eff e String
22+get' = send HGet
23+
24+doHttp :: Eff (HTTP ': e) b -> Eff e b
25+doHttp =
26+ interpret
27+ ( \x -> case x of
28+ Open _ -> pure ()
29+ Close -> pure ()
30+ Post a -> pure ("posted" <> a)
31+ HGet -> pure "gotten"
32+ )
33+
34+runHttp :: Eff '[HTTP, IO] a -> IO a
35+runHttp = runM . doHttp
36+
37+doHTTP :: Member HTTP e => Int -> Eff e Int
38+doHTTP n = do
39+ open' "cats"
40+ replicateM_ n (get' *> post' "cats")
41+ close'
42+ pure n
instances/Freer/Stateful.hsnew file+7
@@ -0,0 +1,7 @@
1+module Freer.Stateful where
2+
3+import Control.Monad.Freer
4+import Control.Monad.Freer.State as State
5+
6+countDownPut :: Member (State Int) r => Eff r Int
7+countDownPut = get >>= (\n -> if n < 0 then pure n else put (n - 1) *> countDownPut)
instances/Freer/StatefulExcept.hsnew file+10
@@ -0,0 +1,10 @@
1+module Freer.StatefulExcept where
2+
3+import Control.Monad.Freer
4+import Control.Monad.Freer.Error
5+import Control.Monad.Freer.State
6+
7+countDownExc :: (Member (State Int) e, Member (Error String) e) => Eff e b
8+countDownExc = go
9+ where
10+ go = get @Int >>= (\n -> if n <= 0 then throwError "what" else put @Int (n - 1) *> go)
instances/Fused/Bench.hsnew file+21
@@ -0,0 +1,21 @@
1+module Fused.Bench
2+ ( countDownBench,
3+ countDownExcBench,
4+ httpBench,
5+ )
6+where
7+
8+import Control.Carrier.Error.Either
9+import Control.Carrier.State.Strict
10+import Fused.HTTP
11+import Fused.Stateful
12+import Fused.StatefulExcept
13+
14+countDownBench :: Int -> (Int, Int)
15+countDownBench start = run . runState start $ countDownPut
16+
17+countDownExcBench :: Int -> Either String (Int, Int)
18+countDownExcBench start = run . runError . runState start $ countDownExc
19+
20+httpBench :: Int -> IO Int
21+httpBench n = runHttp (doHTTP n)
instances/Fused/HTTP.hsnew file+47
@@ -0,0 +1,47 @@
1+module Fused.HTTP where
2+
3+import Control.Algebra
4+import Control.Carrier.Lift
5+import Control.Monad
6+import Control.Monad.IO.Class
7+import Data.Functor
8+import GHC.Generics (Generic1)
9+
10+newtype HttpC m a = HttpC {runHttpC :: m a}
11+ deriving newtype (Applicative, Functor, Monad, MonadIO)
12+
13+data HTTP (m :: * -> *) k where
14+ Open :: String -> HTTP m ()
15+ Close :: HTTP m ()
16+ Post :: String -> HTTP m String
17+ HGet :: HTTP m String
18+
19+open' :: Has HTTP sig m => String -> m ()
20+open' s = send (Open s)
21+
22+close' :: Has HTTP sig m => m ()
23+close' = send Close
24+
25+post' :: Has HTTP sig m => String -> m String
26+post' s = send (Post s)
27+
28+get' :: Has HTTP sig m => m String
29+get' = send HGet
30+
31+instance (Algebra sig m) => Algebra (HTTP :+: sig) (HttpC m) where
32+ alg hdl (L act) ctx = case act of
33+ Open _ -> pure ctx
34+ Close -> pure ctx
35+ Post s -> pure $ ctx $> ("posted " <> s)
36+ HGet -> pure $ ctx $> "lmao"
37+ alg hdl (R other) ctx = HttpC (alg (runHttpC . hdl) other ctx)
38+
39+runHttp :: HttpC (LiftC IO) a -> IO a
40+runHttp = runM . runHttpC
41+
42+doHTTP :: Has HTTP sig m => Int -> m Int
43+doHTTP n = do
44+ open' "cats"
45+ replicateM_ n (get' *> post' "cats")
46+ close'
47+ pure n
instances/Fused/Stateful.hsnew file+6
@@ -0,0 +1,6 @@
1+module Fused.Stateful where
2+
3+import Control.Effect.State
4+
5+countDownPut :: Has (State Int) sig m => m Int
6+countDownPut = get >>= (\n -> if n < 0 then pure n else put (n - 1) *> countDownPut)
instances/Fused/StatefulExcept.hsnew file+8
@@ -0,0 +1,8 @@
1+module Fused.StatefulExcept where
2+
3+import Control.Effect.Error
4+import Control.Effect.State
5+
6+countDownExc :: (Has (State Int) sig m, Has (Error String) sig m) => m a
7+countDownExc =
8+ get @Int >>= (\n -> if n <= 0 then throwError "what" else put @Int (n - 1) *> countDownExc)
instances/MTL/Bench.hsnew file+21
@@ -0,0 +1,21 @@
1+module MTL.Bench
2+ ( countDownBench,
3+ countDownExcBench,
4+ httpBench,
5+ )
6+where
7+
8+import Control.Monad.Except
9+import Control.Monad.State.Strict
10+import MTL.HTTP
11+import MTL.Stateful
12+import MTL.StatefulExcept
13+
14+countDownBench :: Int -> (Int, Int)
15+countDownBench start = flip runState start $ countDownPut
16+
17+countDownExcBench :: Int -> Either String (Int, Int)
18+countDownExcBench start = runExcept . flip runStateT start $ countDownExc
19+
20+httpBench :: Int -> IO Int
21+httpBench n = runHttp (doHTTP n)
instances/MTL/HTTP.hsnew file+52
@@ -0,0 +1,52 @@
1+module MTL.HTTP where
2+
3+import Control.Applicative
4+import Control.Monad
5+
6+data HttpM a where
7+ Pure :: a -> HttpM a
8+ Lift :: IO a -> HttpM a
9+ Then :: HttpM a -> (a -> HttpM b) -> HttpM b
10+ Open :: String -> HttpM ()
11+ Shut :: HttpM ()
12+ Post :: String -> HttpM String
13+ HGet :: HttpM String
14+
15+instance Functor HttpM where
16+ fmap = liftA
17+
18+instance Applicative HttpM where
19+ pure = Pure
20+ (<*>) = ap
21+
22+instance Monad HttpM where
23+ (>>=) = Then
24+
25+get' :: HttpM String
26+get' = HGet
27+
28+post' :: String -> HttpM String
29+post' = Post
30+
31+close' :: HttpM ()
32+close' = Shut
33+
34+open' :: String -> HttpM ()
35+open' = Open
36+
37+runHttp :: HttpM a -> IO a
38+runHttp = \case
39+ Pure x -> pure x
40+ Lift m -> m
41+ Then x f -> runHttp x >>= runHttp . f
42+ Open _ -> pure ()
43+ Shut -> pure ()
44+ Post s -> pure ("posted " <> s)
45+ HGet -> pure "lmap"
46+
47+doHTTP :: Int -> HttpM Int
48+doHTTP n = do
49+ open' "cats"
50+ replicateM_ n (get' *> post' "cats")
51+ close'
52+ pure n
instances/MTL/Stateful.hsnew file+6
@@ -0,0 +1,6 @@
1+module MTL.Stateful where
2+
3+import Control.Monad.State.Class
4+
5+countDownPut :: MonadState Int m => m Int
6+countDownPut = get >>= (\n -> if n < 0 then pure n else put (n - 1) *> countDownPut)
instances/MTL/StatefulExcept.hsnew file+7
@@ -0,0 +1,7 @@
1+module MTL.StatefulExcept where
2+
3+import Control.Monad.Error.Class
4+import Control.Monad.State.Class
5+
6+countDownExc :: (MonadState Int m, MonadError String m) => m a
7+countDownExc = get >>= (\n -> if n <= 0 then throwError "what" else put (n - 1) *> countDownExc)
instances/Poly/Bench.hsnew file+22
@@ -0,0 +1,22 @@
1+module Poly.Bench
2+ ( countDownBench,
3+ countDownExcBench,
4+ httpBench,
5+ )
6+where
7+
8+import Poly.HTTP
9+import Poly.Stateful
10+import Poly.StatefulExcept
11+import Polysemy
12+import Polysemy.Error
13+import Polysemy.State
14+
15+countDownBench :: Int -> (Int, Int)
16+countDownBench start = run . runState start $ countDownPut
17+
18+countDownExcBench :: Int -> Either String (Int, Int)
19+countDownExcBench start = run . runError . runState start $ countDownExc
20+
21+httpBench :: Int -> IO Int
22+httpBench n = runHttp (doHTTP n)
instances/Poly/HTTP.hsnew file+45
@@ -0,0 +1,45 @@
1+{-# LANGUAGE TemplateHaskell #-}
2+
3+module Poly.HTTP where
4+
5+import Control.Monad
6+import Polysemy
7+
8+type HttpM = Sem '[Http, Final IO]
9+
10+data Http (m :: * -> *) a where
11+ HOpen :: String -> Http m ()
12+ HClose :: Http m ()
13+ HPost :: String -> Http m String
14+ HGet :: Http m String
15+
16+makeSem ''Http
17+
18+open' :: Member Http r => String -> Sem r ()
19+open' = hOpen
20+
21+close' :: Member Http r => Sem r ()
22+close' = hClose
23+
24+post' :: Member Http r => String -> Sem r String
25+post' = hPost
26+
27+get' :: Member Http r => Sem r String
28+get' = hGet
29+
30+runHttp' :: Sem (Http ': r) a -> Sem r a
31+runHttp' = interpret $ \case
32+ HOpen _ -> pure ()
33+ HClose -> pure ()
34+ HPost s -> pure ("posted " <> s)
35+ HGet -> pure "contents"
36+
37+runHttp :: HttpM a -> IO a
38+runHttp = runFinal . runHttp'
39+
40+doHTTP :: Member Http r => Int -> Sem r Int
41+doHTTP n = do
42+ open' "cats"
43+ replicateM_ n (get' *> post' "cats")
44+ close'
45+ pure n
instances/Poly/Stateful.hsnew file+7
@@ -0,0 +1,7 @@
1+module Poly.Stateful where
2+
3+import Polysemy
4+import Polysemy.State
5+
6+countDownPut :: Member (State Int) r => Sem r Int
7+countDownPut = get >>= (\n -> if n < 0 then pure n else put (n - 1) *> countDownPut)
instances/Poly/StatefulExcept.hsnew file+8
@@ -0,0 +1,8 @@
1+module Poly.StatefulExcept where
2+
3+import Polysemy
4+import Polysemy.Error
5+import Polysemy.State
6+
7+countDownExc :: (Member (State Int) r, Member (Error String) r) => Sem r a
8+countDownExc = get @Int >>= (\n -> if n <= 0 then throw "what" else put @Int (n - 1) *> countDownExc)
instances/Shallow/Bench.hsnew file+19
@@ -0,0 +1,19 @@
1+module Shallow.Bench
2+ ( countDownBench,
3+ countDownExcBench,
4+ httpBench,
5+ )
6+where
7+
8+import Shallow.HTTP
9+import Shallow.Stateful
10+import Shallow.StatefulExcept
11+
12+countDownBench :: Int -> (Int, Int)
13+countDownBench = countDownPut
14+
15+countDownExcBench :: Int -> Either String (Int, Int)
16+countDownExcBench = countDownExc
17+
18+httpBench :: Int -> IO Int
19+httpBench = doHTTP
instances/Shallow/HTTP.hsnew file+25
@@ -0,0 +1,25 @@
1+module Shallow.HTTP where
2+
3+import Control.Monad
4+
5+newtype HttpM a = HttpM {runHttp :: IO a}
6+ deriving newtype (Applicative, Functor, Monad)
7+
8+get' :: HttpM String
9+get' = pure "lmao"
10+
11+post' :: String -> HttpM String
12+post' s = pure ("posted " <> s)
13+
14+close' :: HttpM ()
15+close' = pure ()
16+
17+open' :: String -> HttpM ()
18+open' _ = pure ()
19+
20+doHTTP :: Int -> IO Int
21+doHTTP n = runHttp $ do
22+ open' "cats"
23+ replicateM_ n (get' *> post' "cats")
24+ close'
25+ pure n
instances/Shallow/Stateful.hsnew file+29
@@ -0,0 +1,29 @@
1+module Shallow.Stateful where
2+
3+import Control.Monad
4+
5+newtype StateM a = StateM {unStateM :: Int -> (Int, a)}
6+
7+instance Functor StateM where
8+ fmap f (StateM a) = StateM (\n -> fmap f (a n))
9+
10+instance Applicative StateM where
11+ pure x = StateM (\n -> (n, x))
12+ (<*>) = ap
13+
14+instance Monad StateM where
15+ StateM a >>= f = StateM $ \n -> let (x, y) = a n in unStateM (f y) x
16+
17+get :: StateM Int
18+get = StateM $ \n -> (n, n)
19+
20+put :: Int -> StateM ()
21+put x = StateM (\_ -> (x, ()))
22+
23+runStateful :: Int -> StateM a -> (Int, a)
24+runStateful n (StateM f) = f $! n
25+
26+countDownPut :: Int -> (Int, Int)
27+countDownPut start = runStateful start go
28+ where
29+ go = get >>= (\n -> if n < 0 then pure n else put (n - 1) *> go)
instances/Shallow/StatefulExcept.hsnew file+37
@@ -0,0 +1,37 @@
1+module Shallow.StatefulExcept where
2+
3+import Control.Monad
4+
5+newtype StateM a = StateM {unStateM :: Int -> Either String (Int, a)}
6+
7+instance Functor StateM where
8+ fmap f (StateM a) = StateM (\n -> fmap (fmap f) (a n))
9+
10+instance Applicative StateM where
11+ pure x = StateM (\n -> Right (n, x))
12+ (<*>) = ap
13+
14+instance Monad StateM where
15+ (StateM a) >>= f =
16+ StateM
17+ ( \n -> case a n of
18+ Left s -> Left s
19+ Right (n', x) -> unStateM (f x) n'
20+ )
21+
22+get :: StateM Int
23+get = StateM (\n -> Right (n, n))
24+
25+put :: Int -> StateM ()
26+put x = StateM (\_ -> Right (x, ()))
27+
28+throw :: String -> StateM a
29+throw s = StateM (\_ -> Left s)
30+
31+runStatefulExcept :: Int -> StateM a -> Either String (Int, a)
32+runStatefulExcept n (StateM f) = f $! n
33+
34+countDownExc :: Int -> Either String (Int, Int)
35+countDownExc start = runStatefulExcept start go
36+ where
37+ go = get >>= (\n -> if n <= 0 then throw "what" else put (n - 1) *> go)
package.yamlnew file+37
@@ -0,0 +1,37 @@
1+name: effects-benchmarks
2+
3+benchmarks:
4+ effects-benchmarks:
5+ main: Main.hs
6+ dependencies:
7+ - base
8+ - polysemy
9+ - freer-simple
10+ - fused-effects
11+ - mtl
12+ - extensible-effects
13+ - gauge
14+ - weigh
15+ - effectful
16+ - effectful-core
17+ source-dirs:
18+ - instances
19+ - src
20+ default-extensions:
21+ - DeriveAnyClass
22+ - DeriveFunctor
23+ - DeriveGeneric
24+ - DerivingStrategies
25+ - FlexibleInstances
26+ - GADTs
27+ - GeneralizedNewtypeDeriving
28+ - KindSignatures
29+ - MultiParamTypeClasses
30+ - TypeOperators
31+ - UndecidableInstances
32+ - DataKinds
33+ - FlexibleContexts
34+ - TypeApplications
35+ - LambdaCase
36+ - ScopedTypeVariables
37+ - DerivingStrategies
src/Main.hsnew file+90
@@ -0,0 +1,90 @@
1+{-# LANGUAGE CPP #-}
2+{-# LANGUAGE FlexibleContexts #-}
3+{-# LANGUAGE GADTs #-}
4+
5+module Main where
6+
7+import qualified Effectful.Dynamic.Bench as EffectfulDynamic
8+import qualified Effectful.Static.Bench as EffectfulStatic
9+import qualified ExtEff.Bench as ExtEff
10+import qualified Freer.Bench as Freer
11+import qualified Fused.Bench as Fused
12+import Gauge (bench, bgroup, nf, nfAppIO)
13+import Gauge.Main (defaultMain)
14+import qualified MTL.Bench as MTL
15+import qualified Poly.Bench as Poly
16+import qualified Shallow.Bench as Shallow
17+import qualified Weigh
18+
19+wruns :: Int
20+wruns = 1
21+
22+runs :: Int
23+runs = 100000
24+
25+main :: IO ()
26+main = do
27+ putStrLn "*** Time benchmarks ***"
28+ defaultMain
29+ [ bgroup
30+ "Countdown"
31+ [ bgroup
32+ "Put"
33+ [ bench "fused-effects" (nf Fused.countDownBench runs),
34+ bench "mtl" (nf MTL.countDownBench runs),
35+ bench "polysemy" (nf Poly.countDownBench runs),
36+ bench "freer-simple" (nf Freer.countDownBench runs),
37+ bench "extensible-effects" (nf ExtEff.countDownBench runs),
38+ bench "shallow" (nf Shallow.countDownBench runs),
39+ bench "effectful - static" (nf EffectfulStatic.countDownBench runs),
40+ bench "effectful - dynamic" (nf EffectfulDynamic.countDownBench runs)
41+ ],
42+ bgroup
43+ "Put+Exc"
44+ [ bench "fused-effects" (nf Fused.countDownExcBench runs),
45+ bench "mtl" (nf MTL.countDownExcBench runs),
46+ bench "polysemy" (nf Poly.countDownExcBench runs),
47+ bench "freer-simple" (nf Freer.countDownExcBench runs),
48+ bench "extensible-effects" (nf ExtEff.countDownExcBench runs),
49+ bench "shallow" (nf Shallow.countDownExcBench runs),
50+ bench "effectful - static" (nf EffectfulStatic.countDownExcBench runs),
51+ bench "effectful - dynamic" (nf EffectfulDynamic.countDownExcBench runs)
52+ ]
53+ ],
54+ bgroup
55+ "HTTP"
56+ [ bench "fused-effects" (nfAppIO Fused.httpBench runs),
57+ bench "polysemy" (nfAppIO Poly.httpBench runs),
58+ bench "extensible-effects" (nfAppIO ExtEff.httpBench runs),
59+ bench "Deep embedding" (nfAppIO MTL.httpBench runs),
60+ bench "Shallow embedding" (nfAppIO Shallow.httpBench runs),
61+ bench "freer-simple" (nfAppIO Freer.httpBench runs),
62+ bench "effectful - static" (nfAppIO EffectfulStatic.httpBench runs),
63+ bench "effectful - dynamic" (nfAppIO EffectfulDynamic.httpBench runs)
64+ ]
65+ ]
66+
67+ putStrLn "*** Space benchmarks (these will take some time to run) ***"
68+ Weigh.mainWith $ do
69+ Weigh.wgroup "Countdown" $
70+ sequence_
71+ [ Weigh.func "fused-effects" Fused.countDownBench wruns,
72+ Weigh.func "mtl" MTL.countDownBench wruns,
73+ Weigh.func "polysemy" Poly.countDownBench wruns,
74+ Weigh.func "freer-simple" Freer.countDownBench wruns,
75+ Weigh.func "extensible-effects" ExtEff.countDownBench wruns,
76+ Weigh.func "shallow" Shallow.countDownBench wruns,
77+ Weigh.func "effectful - static" EffectfulStatic.countDownBench runs,
78+ Weigh.func "effectful - dynamic" EffectfulDynamic.countDownBench runs
79+ ]
80+ Weigh.wgroup "Countdown + exc" $
81+ sequence_
82+ [ Weigh.func "fused-effects" Fused.countDownExcBench wruns,
83+ Weigh.func "mtl" MTL.countDownExcBench wruns,
84+ Weigh.func "polysemy" Poly.countDownExcBench wruns,
85+ Weigh.func "freer-simple" Freer.countDownExcBench wruns,
86+ Weigh.func "extensible-effects" ExtEff.countDownExcBench wruns,
87+ Weigh.func "shallow" Shallow.countDownExcBench wruns,
88+ Weigh.func "effectful - static" EffectfulStatic.countDownExcBench runs,
89+ Weigh.func "effectful - dynamic" EffectfulDynamic.countDownExcBench runs
90+ ]
stack.yamlnew file+78
@@ -0,0 +1,78 @@
1+# This file was automatically generated by 'stack init'
2+#
3+# Some commonly used options have been documented as comments in this file.
4+# For advanced use and comprehensive documentation of the format, please see:
5+# https://docs.haskellstack.org/en/stable/yaml_configuration/
6+
7+# Resolver to choose a 'specific' stackage snapshot or a compiler version.
8+# A snapshot resolver dictates the compiler version and the set of packages
9+# to be used for project dependencies. For example:
10+#
11+# resolver: lts-3.5
12+# resolver: nightly-2015-09-21
13+# resolver: ghc-7.10.2
14+#
15+# The location of a snapshot can be provided as a file or url. Stack assumes
16+# a snapshot provided as a file might change, whereas a url resource does not.
17+#
18+# resolver: ./custom-snapshot.yaml
19+# resolver: https://example.com/snapshots/2018-01-01.yaml
20+resolver: lts-18.21
21+
22+# User packages to be built.
23+# Various formats can be used as shown in the example below.
24+#
25+# packages:
26+# - some-directory
27+# - https://example.com/foo/bar/baz-0.0.2.tar.gz
28+# subdirs:
29+# - auto-update
30+# - wai
31+packages:
32+ - .
33+# Dependency packages to be pulled from upstream that are not in the resolver.
34+# These entries can reference officially published versions as well as
35+# forks / in-progress versions pinned to a git hash. For example:
36+#
37+# extra-deps:
38+# - acme-missiles-0.3
39+# - git: https://github.com/commercialhaskell/stack.git
40+# commit: e7b331f14bcffb8367cd58fbfc8b40ec7642100a
41+#
42+extra-deps:
43+ - fused-effects-1.1.1.1
44+ - git: https://github.com/arybczak/effectful.git
45+ commit: 0d0283948ddd3204f69cdc60871978efe21452ae
46+ subdir: effectful
47+ - git: https://github.com/arybczak/effectful.git
48+ commit: 0d0283948ddd3204f69cdc60871978efe21452ae
49+ subdir: effectful-core
50+
51+# Override default flag values for local packages and extra-deps
52+# flags: {}
53+
54+# Extra package databases containing global packages
55+# extra-package-dbs: []
56+
57+# Control whether we use the GHC we find on the path
58+# system-ghc: true
59+#
60+# Require a specific version of stack, using version ranges
61+# require-stack-version: -any # Default
62+# require-stack-version: ">=2.3"
63+#
64+# Override the architecture used by stack, especially useful on Windows
65+# arch: i386
66+# arch: x86_64
67+#
68+# Extra directories used by stack for building
69+# extra-include-dirs: [/path/to/dir]
70+# extra-lib-dirs: [/path/to/dir]
71+#
72+# Allow a newer minor version of GHC than the snapshot specifies
73+# compiler-check: newer-minor
74+
75+ghc-options:
76+ "$everything": -O2
77+
78+rebuild-ghc-options: true