coot/free-category
1
1
Fork 0
mirror of https://github.com/coot/free-category.git synced 2024-11-23 09:55:43 +03:00
Code Issues Projects Releases Wiki Activity

Added links to benchmarks to the readme file

Browse Source
This commit is contained in:
Marcin Szamotulski 2019-09-01 14:06:10 +02:00
parent 238f95cb4d
commit c28e07f47f
No known key found for this signature in database
GPG Key ID: 788D56E52D63FAA4
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
README.md
View File

@ -16,6 +16,14 @@ generalisation of `Kliesli` categories captured by `EffCategory` class
(effectful categories), and a (free) transformer which lifts a category to
an effectful one.
## Benchmarks
Check performence characteristics of various presentations free categories:
* [raport-O0](./bench/raport-O0.html)
* [raport-O1](./bench/raport-O1.html)
* [raport-O2](./bench/raport-O2.html)
## Some examples
* [LoginStateMachine](https://github.com/coot/free-category/blob/master/examples/src/LoginStateMachine.hs):
based on [State Machines All The Way