Monadoc
The latest version of algebraic-classes is 0.9.4-1.

algebraic-classes

Version 0.7.1 revision 0 uploaded by SjoerdVisscher.

Package meta

Synopsis
Conversions between algebraic classes and F-algebras.
Description

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.

Author
Sjoerd Visscher
Bug reports
https://github.com/sjoerdvisscher/algebraic-classes/issues
Category
Data, Generics, Math
Copyright
n/a
Homepage
https://github.com/sjoerdvisscher/algebraic-classes
Maintainer
sjoerd@w3future.com
Package URL
n/a
Stability
n/a

Components