acme-zero: The absorbing element of package dependencies

Cabal package dependencies form a commutative monoid with an absorbing element. They satisfy the following axioms:

For all dependencies a, b and c,

(a , b) , c = a , (b , c)

In fact, the Cabal syntax does not even allow you to use the parentheses for this reason.

For all dependencies a and b,

a , b = b , a

For all dependencies a,

acme-one , a = a
a , acme-one = a

Depending on acme-one has no additional effect.

For all dependencies a,

acme-zero , a = acme-zero
a , acme-zero = acme-zero

Depending on acme-zero in addition has the same effect as only depending on acme-zero.

[Skip to Readme]

Downloads

For package maintainers and hackage trustees

Candidates

Versions [RSS]	0.0.1, 0.0.2
Dependencies	acme-zero (==0) [details]
License	LicenseRef-PublicDomain
Author	Johan Kiviniemi <devel@johan.kiviniemi.name>
Maintainer	Johan Kiviniemi <devel@johan.kiviniemi.name>
Category	ACME
Home page	https://github.com/ion1/acme-zero-one
Bug tracker	https://github.com/ion1/acme-zero-one/issues
Source repo	head: git clone https://github.com/ion1/acme-zero-one.git
Uploaded	by ion at 2015-06-21T23:21:47Z
Distributions
Downloads	1846 total (1 in the last 30 days)
Rating	2.0 (votes: 1) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs not available [build log] All reported builds failed as of 2016-10-26 [all 10 reports]

Cabal package dependencies form a commutative monoid with an absorbing element. They satisfy the following axioms:

Associativity

For all dependencies a, b and c,
```
(a , b) , c = a , (b , c)
```
In fact, the Cabal syntax does not even allow you to use the parentheses for this reason.
Commutativity

For all dependencies a and b,
```
a , b = b , a
```
Identity element

For all dependencies a,
```
acme-one , a = a
a , acme-one = a
```
Depending on acme-one has no additional effect.
Absorbing element

For all dependencies a,
```
acme-zero , a = acme-zero
a , acme-zero = acme-zero
```
Depending on acme-zero in addition has the same effect as only depending on acme-zero.