cabal-version: 1.12

-- This file has been generated from package.yaml by hpack version 0.35.0.
--
-- see: https://github.com/sol/hpack

name:           signed-multiset
version:        0.5
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
author:         Stefan Holdermans, Johannes Riecken
maintainer:     stefan@holdermans.nl
copyright:      (c) 2012-2023 Stefan Holdermans
license:        BSD3
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    AUTHORS
    CHANGELOG
    COPYRIGHT

library
  exposed-modules:
      Data.SignedMultiset
      Data.SignedMultiset.Read
      Data.SignedMultiset.Show
  other-modules:
      Paths_signed_multiset
  hs-source-dirs:
      src
  ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints
  build-depends:
      base >=4.7 && <5
    , containers
  default-language: Haskell2010