name: signed-multiset version: 0.1 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/, 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 COPYRIGHT library exposed-modules: Data.SignedMultiset other-modules: Data.SignedMultiset.Show, Data.SignedMultiset.Read build-depends: base >= 4 && < 5, containers >= 0.4 hs-source-dirs: src default-language: Haskell98