# 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.

Versions [faq] | 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 |
---|---|

Change log | CHANGELOG |

Dependencies | base (>=4.10 && <4.14), syb (==0.7.*), template-haskell (>=2.12 && <2.16) [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 |

Source repo | head: git clone git://github.com/sjoerdvisscher/algebraic-classes.git |

Uploaded | by SjoerdVisscher at 2020-01-06T14:29:17Z |

Distributions | NixOS:0.9.4 |

Downloads | 12206 total (303 in the last 30 days) |

Rating | (no votes yet) [estimated by Bayesian average] |

Your Rating | |

Status | Docs not available [build log] All reported builds failed as of 2020-01-06 [all 3 reports] |

## Modules

*Data*- Data.Algebra
- Data.Algebra.Internal
- Data.Algebra.TH

- Data.Algebra

## Downloads

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