generics-sop

Version 0.2.5.0 revision 1 uploaded 2019-01-24T16:20:21.000Z by phadej.

Package meta

Synopsis

Generic Programming using True Sums of Products

Description

A library to support the definition of generic functions. Datatypes are viewed in a uniform, structured way: the choice between constructors is represented using an n-ary sum, and the arguments of each constructor are represented using an n-ary product.

The module Generics.SOP is the main module of this library and contains more detailed documentation.

Examples of using this library are provided by the following packages:

• basic-sop basic examples,

• pretty-sop generic pretty printing,

• lens-sop generically computed lenses,

• json-sop generic JSON conversions.

A detailed description of the ideas behind this library is provided by the paper:

• Edsko de Vries and Andres Löh. True Sums of Products. Workshop on Generic Programming (WGP) 2014.

Author

Edsko de Vries <edsko@well-typed.com>, Andres Löh <andres@well-typed.com>

Bug reports

n/a

Category

Generics

Copyright

n/a

Homepage

n/a

Maintainer

andres@well-typed.com

Package URL

n/a

Stability

n/a

Components

• lib:generics-sop
• test:generic-sop-examples