coot/free-category
1
1
Fork 0
mirror of https://github.com/coot/free-category.git synced 2024-11-24 10:57:52 +03:00
Code Issues Projects Releases Wiki Activity
Free categories, free arrows and free categories with monadic actions
176 Commits 2 Branches 8 Tags 1 MiB
Haskell 100%
99cbde985f
Go to file
Marcin Szamotulski 99cbde985f GHA: updated actions
2024-08-28 18:00:42 +02:00
.github/workflows GHA: updated actions 2024-08-28 18:00:42 +02:00
bench Removed Cat type 2019-12-05 02:20:14 +01:00
examples Tweaks 2020-10-19 18:39:42 +02:00
src/Control Export all Control.Arrow.Free.Arr constructor 2023-06-04 13:27:48 +02:00
test Support GHC: 9.0, 9.2, 9.4 2022-09-07 12:45:15 +02:00
.gitignore git-ignore: ignore .hie directories 2020-07-26 11:30:56 +02:00
.travis.yml Efficient representation of a free category (#5) 2019-08-31 08:12:21 +00:00
cabal.project Allow GHCs 9.8 and 9.10 2024-08-28 08:30:14 +02:00
ChangeLog.md Updated ChangeLog.md file 2023-06-04 13:27:48 +02:00
free-category.cabal Allow GHCs 9.8 and 9.10 2024-08-28 08:30:14 +02:00
LICENSE Initial commit 2018-08-26 19:12:12 +02:00
README.md Updated README.md file 2023-06-04 13:27:48 +02:00

README.md

Free Category

Maintainer: coot Haskell/CI

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