algebraic-classes: Conversions between algebraic classes and F-algebras.
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.
Downloads
- algebraic-classes-0.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0, 0.1, 0.2, 0.2.1, 0.3, 0.3.1, 0.3.2, 0.4, 0.5, 0.5.1, 0.5.2, 0.6, 0.7, 0.7.1, 0.8, 0.9, 0.9.1, 0.9.2, 0.9.3, 0.9.4 |
---|---|
Dependencies | base (>=4.6 && <4.7), syb (>=0.4 && <0.5), template-haskell (>=2.8.0 && <2.8.1) [details] |
License | BSD-3-Clause |
Author | Sjoerd Visscher |
Maintainer | sjoerd@w3future.com |
Category | Data, Generics, Math |
Home page | https://github.com/sjoerdvisscher/algebraic-classes |
Bug tracker | https://github.com/sjoerdvisscher/algebraic-classes/issues |
Uploaded | by SjoerdVisscher at 2013-04-16T23:26:32Z |
Distributions | |
Reverse Dependencies | 2 direct, 0 indirect [details] |
Downloads | 15209 total (62 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user Build status unknown [no reports yet] |