sop-core: True Sums of Products

[ bsd3, data, library ] [ Propose Tags ] [ Report a vulnerability ]

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:

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.4.0.0, 0.5.0.0, 0.5.0.1, 0.5.0.2
Change log CHANGELOG.md
Dependencies base (>=4.9 && <4.21), deepseq (>=1.3 && <1.6) [details]
Tested with ghc ==8.0.2, ghc ==8.2.2, ghc ==8.4.4, ghc ==8.6.5, ghc ==8.8.4, ghc ==8.10.7, ghc ==9.0.2, ghc ==9.2.8, ghc ==9.4.8, ghc ==9.6.5, ghc ==9.8.2, ghc ==9.10.1
License BSD-3-Clause
Author Edsko de Vries <edsko@well-typed.com>, Andres Löh <andres@well-typed.com>
Maintainer andres@well-typed.com
Revised Revision 4 made by phadej at 2024-05-13T17:10:44Z
Category Data
Source repo head: git clone https://github.com/well-typed/generics-sop
Uploaded by AndresLoeh at 2022-01-02T15:38:34Z
Distributions Arch:0.5.0.2, Debian:0.5.0.1, Fedora:0.5.0.2, LTSHaskell:0.5.0.2, NixOS:0.5.0.2, Stackage:0.5.0.2, openSUSE:0.5.0.2
Reverse Dependencies 38 direct, 7888 indirect [details]
Downloads 26498 total (250 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2022-01-02 [all 1 reports]