coot/free-category
1
1
Fork 0
mirror of https://github.com/coot/free-category.git synced 2024-10-26 15:15:00 +03:00
Code Issues Projects Releases Wiki Activity

README.md - some edits

Browse Source
This commit is contained in:
Marcin Szamotulski 2019-08-31 12:40:00 +02:00
parent 97cfd5c551
commit 559f9fb404
No known key found for this signature in database
GPG Key ID: 788D56E52D63FAA4
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
README.md
View File

@ -2,9 +2,12 @@
[![Maintainer: coot](https://img.shields.io/badge/maintainer-coot-lightgrey.svg)](http://github.com/coot)
[![CircleCI](https://circleci.com/gh/coot/free-category/tree/master.svg?style=svg)](https://circleci.com/gh/coot/free-category/tree/master)
This package contains efficient free category using realtime
queues (C. Okasaki 'Pure Functional Data Structures') and another one using CPS
style. Also free arrows and free Kleisli categories are included.
This package contains efficient free categories. There are two presentations:
* using realtime queues (C. Okasaki 'Pure Functional Data Structures')
* using 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