generics-sop: Generic Programming using True Sums of Products
This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.
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.
Properties
Versions | 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.1, 0.5.1.2, 0.5.1.3, 0.5.1.4 |
---|---|
Change log | CHANGELOG.md |
Dependencies | base (>=4.9 && <4.17), ghc-prim (>=0.3 && <0.9), sop-core (>=0.5.0 && <0.5.1), template-haskell (>=2.8 && <2.19), th-abstraction (>=0.4 && <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 |
Category | Generics |
Source repo | head: git clone https://github.com/well-typed/generics-sop |
Uploaded | by AndresLoeh at 2022-01-02T15:27:50Z |
Modules
[Index] [Quick Jump]
Downloads
- generics-sop-0.5.1.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
Package maintainers
For package maintainers and hackage trustees