name: signed-multiset version: 0.3 cabal-version: >= 1.14 build-type: Simple license: BSD3 license-file: LICENSE copyright: (c) 2012 Stefan Holdermans author: Stefan Holdermans maintainer: stefan@vectorfabrics.com stability: provisional bug-reports: mailto:stefan@vectorfabrics.com synopsis: Multisets with negative membership. description: 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. category: Data Structures tested-with: GHC == 7.4.1 extra-source-files: AUTHORS CHANGELOG COPYRIGHT library exposed-modules: Data.SignedMultiset other-modules: Data.SignedMultiset.Show, Data.SignedMultiset.Read build-depends: base == 4.5.*, containers >= 0.4.2 && < 0.5 hs-source-dirs: src default-language: Haskell98