homepage: https://github.com/andrewthad/monus#readme
changelog-type: markdown
hash: e9a809c911a60523017d7375c61b30a503eebd662af9da6bf4cb2c9a992a550d
test-bench-deps:
  tasty-smallcheck: -any
  monus: -any
  base: -any
  smallcheck: -any
  containers: -any
  tasty-quickcheck: -any
  tasty: -any
maintainer: andrew.thaddeus@gmail.com
synopsis: ''
changelog: ! '# ChangeLog'
basic-deps:
  base: ! '>=4.5 && <5'
  containers: ! '>=0.4.2.1'
all-versions:
- '0.1.0.0'
author: Andrew Martin
latest: '0.1.0.0'
description-type: markdown
description: ! '# subtraction-semigroups

'
license-name: BSD3

homepage: https://github.com/andrewthad/monus#readme
changelog-type: markdown
hash: 0a85c3758395cefca5caf596dcb223589d28e19a31690b17d0eed7be3240d4f0
test-bench-deps:
  tasty-smallcheck: -any
  monus: -any
  base: -any
  smallcheck: -any
  containers: -any
  tasty-quickcheck: -any
  tasty: -any
maintainer: andrew.thaddeus@gmail.com
synopsis: a 'Monus' is a commutative monoid that allows a notion of substraction.
changelog: ! '# ChangeLog'
basic-deps:
  base: ! '>=4.9 && <4.13'
  containers: ! '>=0.5.7.1 && <0.7.0.0'
all-versions:
- '0.1.0.0'
- '0.2.0.0'
author: Andrew Martin
latest: '0.2.0.0'
description-type: markdown
description: ! 'monus

  =====


  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


  You can read more about them here: https://en.wikipedia.org/wiki/Monus


  ## Installation


  Install with `cabal-install`'
license-name: BSD3

Update from Hackage at 2018-10-20T00:00:11Z
Update from Hackage at 2018-10-20T00:00:11Z
