sop-core-0.5.0.2: True Sums of Products

# sop-core-0.5.0.2: True Sums of Products

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:

- Edsko de Vries and Andres Löh. True Sums of Products. Workshop on Generic Programming (WGP) 2014.

Modules

sop-core-0.5.0.2

- Data
  Submodules
  - Data.SOP
    Submodules
    - Data.SOP.BasicFunctors
    - Data.SOP.Classes
    - Data.SOP.Constraint
    - Data.SOP.Dict
    - Data.SOP.NP
    - Data.SOP.NS
    - Data.SOP.Sing