@hackage generics-sop0.2.2.0
Generic Programming using True Sums of Products
Installation
Tested Compilers
Dependencies (4)
- base >=4.6 && <5
- ghc-prim >=0.3 && <0.6
- tagged >=0.7 && <0.9
- template-haskell >=2.8 && <2.12 Show all…
Dependents (102)
@hackage/Cabal, @hackage/vinyl-generics, @hackage/hermes, @hackage/getopt-generics, @hackage/web3-polkadot, @hackage/fs-sim, Show all…
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-sopbasic examples,pretty-sopgeneric pretty printing,lens-sopgenerically computed lenses,json-sopgeneric 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.