free-category: Free category

[ algebra, category, control, library, monads, mpl ] [ Propose Tags ]

Free categories


[Skip to Readme]
Versions 0.0.1.0
Change log ChangeLog.md
Dependencies base (>=4.9 && <5), free-algebras (>=0.0.6.0) [details]
License MPL-2.0
Copyright (c) 2018 Marcin Szamotulski
Author Marcin Szamotulski
Maintainer profunctor@pm.me
Category Algebra, Control, Monads, Category
Home page https://github.com/coot/free-category#readme
Bug tracker https://github.com/coot/free-category/issues
Source repo head: git clone https://github.com/coot/free-category
Uploaded by coot at Sat Nov 3 16:55:27 UTC 2018
Distributions
Downloads 29 total (29 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2018-11-03 [all 1 reports]
Hackage Matrix CI

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for free-category-0.0.1.0

[back to package description]

Free Category

Maintainer: coot Travis Build Status

This package introduces variouos encodings of free categories in Haskell.

Free categories are useful to model state machines in a simple yet type safe way and for that purpose Kleisli categroies are a very useful target which allows to include monadic computations. Read more here on a simple example of a finite state machine encoded using a free category using a simple GADT. Another simple example.