@hackage / sop-core

True Sums of Products

Latest0.5.0.2

About

Metadata

  • Last updated , by EdskoDeVries
  • License BSD-3-Clause

  • Maintained by: andres@well-typed.com

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 9.12.1
  2. 9.10.1
  3. 9.8.4
  4. 9.6.6
  5. 9.4.4
  6. 9.2.7
  7. 9.0.2
  8. 8.10.7
  9. 8.8.4
  10. 8.6.5
  11. 8.4.4
  12. 8.2.2
  13. 8.0.2

Readme

Implementation of n-ary sums and n-ary products.

The module Data.SOP is the main module of this library and contains more detailed documentation.

The main use case of this package is to serve as the core of generics-sop.

A detailed description of the ideas behind this library is provided by the paper: