@hackage monus0.2.0.0

a 'Monus' is a commutative monoid that allows a notion of substraction.

Categories
License
BSD-3-Clause
Maintainer
andrew.thaddeus@gmail.com
Links
Versions
- 0.2.0.0 Fri, 19 Oct 2018
- 0.1.0.0 Fri, 19 Oct 2018

Installation
In your cabal file:
Dependencies (2)
- base >=4.9 && <4.13
- containers >=0.5.7.1 && <0.7.0.0
Dependents (0)

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