mirror of
https://github.com/coot/free-category.git
synced 2024-11-22 16:22:05 +03:00
Free categories, free arrows and free categories with monadic actions
f6eb1fae64
Co-authored-by: Manuel Bärenz <m.baerenz@sonnen.de> Co-authored-by: Marcin Szamotulski <profunctor@pm.me> |
||
|---|---|---|
| .github/workflows | ||
| bench | ||
| examples | ||
| nix | ||
| src/Control | ||
| test | ||
| .gitignore | ||
| .travis.yml | ||
| cabal.project | ||
| ChangeLog.md | ||
| default.nix | ||
| free-category.cabal | ||
| LICENSE | ||
| README.md | ||
Free Category
This package contains efficient implementations of free categories. There are various representations available:
- real-time queues (C. Okasaki 'Pure Functional Data Structures')
- type aligned lists
- continuation passing style (Church encoding)
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 categories are a very useful target which
allows to include monadic computations. This package contains a useful
generalisation of Kleisli categories captured by EffectCategory class
(categories with effects), and a (free) transformer which lifts a category to
a category with effects.
Benchmarks
Check performance characteristics of various representations:
Resources
- LoginStateMachine:
based on State Machines All The Way
Down by Edwin Bradly, 2017.
You can run it with
cabal new-run examples:login-state-machine. - Read more here on a simple example of a finite state machine encoded using a free category using a simple GADT.
- Another example.
- Blog post on Kleisli categories.