cabal-version:  2.2
name:           monus
version:        0.2.0.0
synopsis:       a 'Monus' is a commutative monoid that allows a notion of substraction.
category:       Data
description:    A 'Monus' is a commutative monoid that allows a notion of substraction,
                with the following laws:
                .
                x <> (y - x) = y <> (x - y)
                .
                (x - y) - z = x - (y <> z)
                .
                x - x = mempty
                .
                mempty - x = mempty
homepage:       https://github.com/andrewthad/monus#readme
bug-reports:    https://github.com/andrewthad/monus/issues
author:         Andrew Martin
maintainer:     andrew.thaddeus@gmail.com
copyright:      2018 Andrew Martin
license:        BSD-3-Clause
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    ChangeLog.md
    README.md

source-repository head
  type: git
  location: https://github.com/andrewthad/monus

library
  exposed-modules:
    Data.Monoid.Monus
    Data.Monoid.Monus.Generic
    Data.Map.Annihilate
  hs-source-dirs: src
  build-depends:
    , base >=4.9 && < 4.13
    , containers >= 0.5.7.1 && < 0.7.0.0
  default-language: Haskell2010

test-suite test
  type: exitcode-stdio-1.0
  main-is: Main.hs
  hs-source-dirs: test
  ghc-options: -threaded -rtsopts -with-rtsopts=-N
  build-depends:
    , base
    , containers
    , smallcheck
    , monus
    , tasty
    , tasty-smallcheck
    , tasty-quickcheck
  default-language: Haskell2010