Marcin Szamotulski
c5d626e3a5
Removed Cat type
...
It's not performing as good as 'Queue' or 'ListTr'.
2019-12-05 02:20:14 +01:00
Marcin Szamotulski
b929077597
Include more benchmarks
...
When length of morphisms increases the 'Queue' type shows its strengths.
2019-10-06 13:11:45 +01:00
Marcin Szamotulski
131fd47651
Renamed arr family of function to lift
...
e.g. arrC -> liftC, arrCat -> liftCat
'arr' is used in 'Arrow' class and we use 'lift' prefix in
'AlgebraFree2' class, thus lift prefix seems more appropriate.
2019-09-08 21:08:52 +02:00
Marcin Szamotulski
2545d97eb0
Renamed foldCat as foldNatCat
2019-09-08 21:08:52 +02:00
Marcin Szamotulski
2e29c220a0
Added Queue category instance benchmarks
2019-09-07 09:58:45 +02:00
Marcin Szamotulski
6786025a6f
Removed CatL
...
Other presentations have better performance, not need to explode the
API.
2019-09-03 06:45:16 +00:00
Marcin Szamotulski
238f95cb4d
Renamed Cat -> CatL, CatR -> Cat
...
This way it is more obvious which of the categories is the fastest.
I might remove `CatR` later.
2019-09-01 14:20:29 +02:00
Marcin Szamotulski
5eb3fbd101
criterion benchmarks
2019-09-01 14:19:59 +02:00