algebraic-classes

Version 0 revision 0 uploaded 2013-04-16T21:32:53.000Z 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

n/a

Category

Data

Copyright

n/a

Homepage

https://github.com/sjoerdvisscher/algebraic-classes

Maintainer

sjoerd@w3future.com

Package URL

n/a

Stability

n/a

Components

• lib:algebraic-classes