https://github.com/sjoerdvisscher/algebraic-classes
Conversions between algebraic classes and F-algebras.
https://github.com/sjoerdvisscher/algebraic-classes
algebraic algebras conversion generics haskell signature
Last synced: 10 months ago
JSON representation
Conversions between algebraic classes and F-algebras.
- Host: GitHub
- URL: https://github.com/sjoerdvisscher/algebraic-classes
- Owner: sjoerdvisscher
- License: bsd-3-clause
- Created: 2013-04-16T21:37:19.000Z (almost 13 years ago)
- Default Branch: master
- Last Pushed: 2020-07-02T08:50:45.000Z (over 5 years ago)
- Last Synced: 2025-04-14T05:18:38.714Z (10 months ago)
- Topics: algebraic, algebras, conversion, generics, haskell, signature
- Language: Haskell
- Homepage: http://hackage.haskell.org/package/algebraic-classes
- Size: 24.4 KB
- Stars: 11
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG
- License: LICENSE
Awesome Lists containing this project
README
Algebraic classes are type classes where all the methods return a value of the same type, which is also the class parameter.
Examples from `base` are `Num` and `Monoid`.
F-algebras are functions `f a -> a`, where the functor `f` is called the signature, and the type `a` the carrier.
This package relates these 2 concepts, and can create conversions between the two using Template Haskell.
More specifically, it can generate:
* signatures from algebraic classes
* instances of algebraic classes from F-algebras.
This is useful because type classes are more commonly used in Haskell than F-algebras, but F-algebras are
easier to work with, because they are just functions.