| Download Now: Paper [PDF] Distribution [replib-0.2.tgz] Haskell Workshop 2006 Presentation [HW06.pdf] |
RepLib:
A library for derivable type classes |
| Links: GHC Haskell.org |
Abstract: Some type class instances can be automatically derived from the structure of types. As a result, the Haskell language includes the "deriving" mechanism to automatic generates such instances for a small number of built-in type classes. In this paper, we present RepLib, a GHC library that enables a similar mechanism for arbitrary type classes. Users of RepLib can define the relationship between the structure of a datatype and the associated instance declaration by a normal Haskell functions that pattern-matches a representation types. Furthermore, operations defined in this manner are extensible---instances for specific types not defined by type structure may also be incorporated. Finally, this library also supports the definition of operations defined by parameterized types. |
| Last
modified: 9/7/06 |
Maintainer:
Stephanie Weirich |