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.
Since version 0.4.0.0, this package is now based on
sop-core
. The core package
contains all the functionality of n-ary sums and products, whereas this
package provides the datatype-generic programming support on top.
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.
Versions [faq] | 0.1.0.0, 0.1.0.1, 0.1.0.2, 0.1.0.3, 0.1.0.4, 0.1.1, 0.1.1.1, 0.1.1.2, 0.2.0.0, 0.2.1.0, 0.2.2.0, 0.2.3.0, 0.2.4.0, 0.2.5.0, 0.3.0.0, 0.3.1.0, 0.3.2.0, 0.4.0.0, 0.4.0.1, 0.5.0.0, 0.5.1.0, 0.5.1.1 (info) |
---|---|
Change log | CHANGELOG.md |
Dependencies | base (>=4.9 && <4.15), ghc-prim (>=0.3 && <0.7), sop-core (==0.5.0.*), template-haskell (>=2.8 && <2.17), th-abstraction (>=0.3 && <0.5) [details] |
License | BSD-3-Clause |
Author | Edsko de Vries <edsko@well-typed.com>, Andres Löh <andres@well-typed.com> |
Maintainer | andres@well-typed.com |
Revised | Revision 1 made by phadej at 2020-10-02T13:11:08Z |
Category | Generics |
Source repo | head: git clone https://github.com/well-typed/generics-sop |
Uploaded | by AndresLoeh at 2020-03-29T10:15:59Z |
Distributions | Arch:0.5.1.1, Debian:0.3.2.0, Fedora:0.5.1.0, LTSHaskell:0.4.0.1, NixOS:0.5.1.1, Stackage:0.4.0.1 |
Downloads | 34838 total (429 in the last 30 days) |
Rating | 2.75 (votes: 8) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2020-03-29 [all 1 reports] |
Modules
[Index] [Quick Jump]
Downloads
- generics-sop-0.5.1.0.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.