coot/free-category
1
1
Fork 0
mirror of https://github.com/coot/free-category.git synced 2024-09-11 14:17:30 +03:00
Code Issues Projects Releases Wiki Activity
Free categories, free arrows and free categories with monadic actions
36 Commits 2 Branches 8 Tags 1 MiB
Haskell 100%
ecc808dc7d
Go to file
Marcin Szamotulski ecc808dc7d
Stylistic changes
2019-08-24 10:28:08 +02:00
.circleci Install cachix from cachix.org 2019-01-06 15:38:40 +01:00
examples Stylistic changes 2019-08-24 10:28:08 +02:00
nix nix: ghc802 build 2018-12-16 23:12:15 +01:00
src/Control Rename: EffCategory, FreeEffCat 2019-01-26 10:53:06 +01:00
.travis.yml travis: ghc-862 2018-12-16 23:12:16 +01:00
cabal.project Lifting (#2) 2018-12-10 19:59:39 +01:00
ChangeLog.md Updated README.md and ChangeLog.md 2019-01-26 11:00:56 +01:00
default.nix Use callCabal2nix 2019-01-08 22:07:22 +01:00
free-category.cabal Updated cabal file 2019-03-12 20:05:03 +00:00
LICENSE Initial commit 2018-08-26 19:12:12 +02:00
README.md Updated README.md and ChangeLog.md 2019-01-26 11:00:56 +01:00
shell.nix nix: ghc802 build 2018-12-16 23:12:15 +01:00

README.md

Free Category

Maintainer: coot CircleCI

This package introduces variouos presentations 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. 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.

Some examples