acme-one: The identity element of package dependencies

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] [Publish]

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.


[Skip to Readme]

Properties

Versions 0.0.1, 0.0.2, 0.0.2
Change log None available
Dependencies None [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:20:26Z

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Readme for acme-one-0.0.2

[back to package description]

acme-zero and acme-one

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