generics-sop: Generic Programming using True Sums of Products

[ bsd3, generics, library ] [ Propose Tags ]

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 detailed description of the ideas behind this library is provided by the paper:

Downloads

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'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 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, 0.5.1.2, 0.5.1.3, 0.5.1.4 (info)
Change log CHANGELOG.md
Dependencies base (>=4.6 && <4.10), ghc-prim (>=0.3 && <0.6), tagged (>=0.7 && <0.9), template-haskell (>=2.8 && <2.13), transformers (>=0.3 && <0.6), transformers-compat (>=0.3 && <0.6) [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 HerbertValerioRiedel at 2017-05-18T16:08:20Z
Category Generics
Source repo head: git clone https://github.com/well-typed/generics-sop
Uploaded by AndresLoeh at 2017-02-02T13:08:59Z
Distributions Arch:0.5.1.3, Debian:0.5.1.0, Fedora:0.5.1.3, LTSHaskell:0.5.1.3, NixOS:0.5.1.3, Stackage:0.5.1.4
Reverse Dependencies 74 direct, 7813 indirect [details]
Downloads 50596 total (255 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 2017-02-02 [all 1 reports]