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: 22 days 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 (over 11 years ago)
• Default Branch: master
• Last Pushed: 2020-07-02T08:50:45.000Z (over 4 years ago)
• Last Synced: 2024-04-27T03:23:35.855Z (6 months ago)
• Topics: algebraic, algebras, conversion, generics, haskell, signature
• Language: Haskell
• Homepage: http://hackage.haskell.org/package/algebraic-classes
• Size: 24.4 KB
• Stars: 10
• Watchers: 4
• 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.