The algebraic-classes package

[Tags: bsd3, library]

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:

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

Versions0, 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
Dependenciesbase (==4.6.*), syb (==0.4.*), template-haskell (==2.8.0.*)
LicenseBSD3
AuthorSjoerd Visscher
Maintainersjoerd@w3future.com
CategoryData, Generics, Math
Home pagehttps://github.com/sjoerdvisscher/algebraic-classes
Bug trackerhttps://github.com/sjoerdvisscher/algebraic-classes/issues
Upload dateSat Aug 31 14:11:48 UTC 2013
Uploaded bySjoerdVisscher
Downloads583 total (100 in last 30 days)

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees