algebraic-classes: Conversions between algebraic classes and F-algebras.

[ bsd3, data, generics, library, math ] [ Propose Tags ] [ Report a vulnerability ]

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

Maintainer's Corner

Package maintainers

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]