The acme-one package

[Tags:library, public-domain]

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
Dependencies None [details]
License 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 repository head: git clone https://github.com/ion1/acme-zero-one.git
Uploaded Sun Jun 21 23:21:52 UTC 2015 by ion
Distributions NixOS:0.0.2
Downloads 310 total (7 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
Last success reported on 2016-10-26 [all 9 reports]
Hackage Matrix CI

Modules

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Readme for acme-one

Readme for acme-one-0.0.2

acme-zero and acme-one

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.