https://github.com/coot/free-algebras

Free Algebras in Haskell
https://github.com/coot/free-algebras

algebra free haskell-library math

Last synced: 11 months ago
JSON representation

Free Algebras in Haskell

• Host: GitHub
• URL: https://github.com/coot/free-algebras
• Owner: coot
• License: mpl-2.0
• Created: 2018-07-15T10:05:44.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2023-06-04T10:59:48.000Z (about 3 years ago)
• Last Synced: 2024-04-26T16:46:00.719Z (about 2 years ago)
• Topics: algebra, free, haskell-library, math
• Language: Haskell
• Homepage: https://hackage.haskell.org/package/free-algebras
• Size: 330 KB
• Stars: 32
• Watchers: 5
• Forks: 1
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • Changelog: ChangeLog.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Free Algebras

[![Maintainer: coot](https://img.shields.io/badge/maintainer-coot-lightgrey.svg?style=for-the-badge)](http://github.com/coot)

[![Haskell CI](https://img.shields.io/github/actions/workflow/status/coot/free-algebras/ci.yaml?branch=master&label=Build&style=for-the-badge)](https://github.com/coot/free-algebras/actions/workflows/ci.yaml)

Universal algebra approach (which is compatible with categorical approach) to

free algebras (including higher order structures like functors, applicative

functors or monads).  Mathematical introduction alongside with some of the

Haskell ideas is desribed in a [blog](https://coot.me/posts/free-monads.html)

post.

Examples:

---------

* [TCP as a free monad](https://github.com/coot/free-algebras/blob/master/examples/src/Network/TCP.hs)

* [free categories](https://coot.me/posts/kleisli-categories-and-free-monads.html)

* [free categories with monadic effects](https://coot.me/posts/categories-with-monadic-effects.html)

* [free category package](https://hackage.haskell.org/package/free-category)