signed-multiset: Multisets with negative membership.
Multisets (or bags) are sets in which elements may occur more than once. The number of times an element occurs in a multiset is called its multiplicity.
This package provides an efficient implementation of so-called signed multisets (also known as hybrid sets or shadow sets), which generalise multisets by allowing for negative membership. That is, elements in a signed multiset can have negative multiplicities.
See also: Wayne D. Blizard. Negative membership. Notre Dame Journal of Formal Logic, 31(3):346--368, 1990.
Downloads
- signed-multiset-0.3.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.1, 0.2, 0.2.0.1, 0.3, 0.3.0.1, 0.4, 0.5 |
---|---|
Change log | CHANGELOG |
Dependencies | base (>=4.5 && <4.6), containers (>=0.4.2 && <0.5) [details] |
Tested with | ghc ==7.4.1 |
License | BSD-3-Clause |
Copyright | (c) 2012 Stefan Holdermans |
Author | Stefan Holdermans |
Maintainer | stefan@vectorfabrics.com |
Category | Data Structures |
Bug tracker | mailto:stefan@vectorfabrics.com |
Uploaded | by StefanHoldermans at 2012-04-25T12:40:16Z |
Distributions | NixOS:0.5 |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Downloads | 4418 total (34 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user Build status unknown [no reports yet] |