ghc-generics-sop

Generic Programming using True Sums of Products

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: * '<<a href="https://hackage.haskell.org/package/basic-sop">https://hackage.haskell.org/package/basic-sop</a> basic-sop>' basic examples, * '<<a href="https://hackage.haskell.org/package/pretty-sop">https://hackage.haskell.org/package/pretty-sop</a> pretty-sop>' generic pretty printing, * '<<a href="https://hackage.haskell.org/package/lens-sop">https://hackage.haskell.org/package/lens-sop</a> lens-sop>' generically computed lenses, * '<<a href="https://hackage.haskell.org/package/json-sop">https://hackage.haskell.org/package/json-sop</a> 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. <<a href="http://www.andres-loeh.de/TrueSumsOfProducts">http://www.andres-loeh.de/TrueSumsOfProducts</a> True Sums of Products>. Workshop on Generic Programming (WGP) 2014. .