# The algebraic-classes package

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.

## Properties

Versions | 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 |
---|---|

Change log | None available |

Dependencies | base (==4.6.*), syb (==0.4.*), template-haskell (==2.8.0.*) |

License | BSD3 |

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 | Sat Aug 31 14:11:48 UTC 2013 by SjoerdVisscher |

Distributions | NixOS:0.6 |

Downloads | 1634 total (72 in last 30 days) |

Status | Docs uploaded by user Build status unknown [no reports yet] |

## Modules

[Index]

## Downloads

- algebraic-classes-0.5.1.tar.gz [browse] (Cabal source package)
- Package description (included in the package)

#### Maintainers' corner

For package maintainers and hackage trustees