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

**This is a package candidate release!** Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain]

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

[Skip to ReadMe]

## Properties

Versions | 0.1.0.0, 0.2.0.0, 0.2.0.0 |
---|---|

Change log | ChangeLog.md |

Dependencies | base (>=4.9 && <4.13), containers (>=0.5.7.1 && <0.7.0.0) [details] |

License | BSD-3-Clause |

Copyright | 2018 Andrew Martin |

Author | Andrew Martin |

Maintainer | andrew.thaddeus@gmail.com |

Category | Data |

Home page | https://github.com/andrewthad/monus#readme |

Bug tracker | https://github.com/andrewthad/monus/issues |

Source repository | head: git clone https://github.com/andrewthad/monus |

Uploaded | Fri Oct 19 23:52:24 UTC 2018 by chessai |

## Modules

[Index]

## Downloads

- monus-0.2.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)

#### Maintainers' corner

For package maintainers and hackage trustees