Generic Programming using True Sums of Products
Clone or download
Latest commit 53154df Nov 28, 2018
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
generics-sop Regenerate .travis.yml Nov 28, 2018
sop-core Regenerate .travis.yml Nov 28, 2018
.gitignore Ignore .ghc.environment files Jul 31, 2017
.travis.yml Regenerate .travis.yml Nov 28, 2018
README.md Add badges to README. Mar 9, 2018
cabal.project Rename to sop-core Sep 18, 2018

README.md

generics-sop

Build Status Hackage

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.

This is the development repository. For releases, look on Hackage.

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: