generics-sop

Generic Programming using True Sums of Products

Version on this page:	0.1.0.4
LTS Haskell 20.23:	0.5.1.3
Stackage Nightly 2023-05-31:	0.5.1.3
Latest on Hackage:	0.5.1.3

See all snapshots generics-sop appears in

BSD-3-Clause licensed by Edsko de Vries, Andres Löh

Maintained by edsko@well-typed.com

This version can be pinned in stack with:generics-sop-0.1.0.4@sha256:d1c36b049dba0c7029f43aec28b15bff2fafd5af0a8c3270600b20deb7c916e3,3567

Module documentation for 0.1.0.4

Generics
- Generics.SOP
  - Generics.SOP.BasicFunctors
  - Generics.SOP.Classes
  - Generics.SOP.Constraint
  - Generics.SOP.GGP
  - Generics.SOP.Instances
  - Generics.SOP.Metadata
  - Generics.SOP.NP
  - Generics.SOP.NS
  - Generics.SOP.Sing
  - Generics.SOP.TH
  - Generics.SOP.Universe

Depends on 3 packages(full list with versions):

base, ghc-prim, template-haskell

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