The signed-multiset package
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.
Properties
| Versions | 0.1, 0.2, 0.2.0.1, 0.3, 0.3.0.1 |
|---|---|
| Dependencies | base (≥4.5.0 & <4.7), containers (≥0.4.2 & <0.6) |
| License | BSD3 |
| Copyright | (c) 2012 Stefan Holdermans |
| Author | Stefan Holdermans |
| Maintainer | stefan@vectorfabrics.com |
| Stability | provisional |
| Category | Data Structures |
| Bug tracker | mailto:stefan@vectorfabrics.com |
| Upload date | Tue Mar 19 21:06:45 UTC 2013 |
| Uploaded by | StefanHoldermans |
| Built on | ghc-7.6 |
Modules
Downloads
- signed-multiset-0.3.0.1.tar.gz (Cabal source package)
- package description (included in the package)