coot/free-category
1
1
Fork 0
mirror of https://github.com/coot/free-category.git synced 2024-08-16 09:30:46 +03:00
Code Issues Projects Releases Wiki Activity

Updated README file

Browse Source
This commit is contained in:
Marcin Szamotulski 2019-10-07 00:06:53 +01:00
parent a87f3afe0e
commit 8501043e10
1 changed files with 12 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
README.md
View File

@ -4,25 +4,26 @@
This package contains efficient free categories. There are a few presentations based on:
* realtime queues (C. Okasaki 'Pure Functional Data Structures')
* real-time queues (C. Okasaki 'Pure Functional Data Structures')
* type aligned lists
* continuation passing style
Free arrows and free Kleisli categories are also included.
Free categories are useful to model state machines in a simple yet type safe
manner. For that purpose `Kleisli` categroies are a very useful target which
allows to include monadic computations. This packge contains a useful
generalisation of `Kliesli` categories captured by `EffCategory` class
(effectful categories), and a (free) transformer which lifts a category to
an effectful one.
manner. For that purpose `Kleisli` categories are a very useful target which
allows to include monadic computations. This package contains a useful
generalisation of `Kliesli` categories captured by `EffectCategory` class
(categories with effects), and a (free) transformer which lifts a category to
a category with effects.
## Benchmarks
Check performence characteristics of various presentations free categories:
Check performance characteristics of various presentations free categories:
* [report-O0](/bench/raport-O0.md)
* [report-O1](/bench/raport-O1.md)
* [report-O2](/bench/raport-O2.md)
* [report-O0](/bench/report-O0.md)
* [report-O1](/bench/report-O1.md)
* [report-O2](/bench/report-O2.md)
## Some examples
* [LoginStateMachine](https://github.com/coot/free-category/blob/master/examples/src/LoginStateMachine.hs):
@ -34,4 +35,4 @@ Check performence characteristics of various presentations free categories:
using a simple GADT.
* Another
[example](https://github.com/coot/free-algebras/blob/master/examples/src/Control/Category/Free.hs).
* [Blog post](https://coot.me/posts/kleisli-categories-and-free-monads.html) on Keleisli categories.
* [Blog post](https://coot.me/posts/kleisli-categories-and-free-monads.html) on Kleisli categories.