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

Versions0.1.0.0, 0.2.0.0, 0.2.0.0
Change logChangeLog.md
Dependenciesbase (>=4.9 && <4.13), containers (>=0.5.7.1 && <0.7.0.0) [details]
LicenseBSD-3-Clause
Copyright2018 Andrew Martin
AuthorAndrew Martin
Maintainerandrew.thaddeus@gmail.com
CategoryData
Home pagehttps://github.com/andrewthad/monus#readme
Bug trackerhttps://github.com/andrewthad/monus/issues
Source repositoryhead: git clone https://github.com/andrewthad/monus
UploadedFri Oct 19 23:52:24 UTC 2018 by chessai

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees


Readme for monus-0.2.0.0

[back to package description]

monus

A 'Monus' is a commutative monoid that allows a notion of substraction, with the following laws:

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

Installation

Install with cabal-install