acme-one (empty) → 0.0.1

raw patch · 4 files changed

+125/−0 lines, 4 filessetup-changed

Files

• LICENSE.md +8/−0
• README.md +49/−0
• Setup.hs +2/−0
• acme-one.cabal +66/−0

@@ -0,0 +1,8 @@+[![CC0](http://i.creativecommons.org/p/zero/1.0/88x31.png)](http://creativecommons.org/publicdomain/zero/1.0/)++To the extent possible under law, Johan Kiviniemi has waived all copyright and+related or neighboring rights to `acme-zero` and `acme-one`. This work is+published from: Suomi.++* [Human-readable-summary of CC0](http://creativecommons.org/publicdomain/zero/1.0/)+* [CC0 1.0 legal code](http://creativecommons.org/publicdomain/zero/1.0/legalcode)

@@ -0,0 +1,49 @@+# `acme-zero` and `acme-one`++[Cabal][cabal] package dependencies form a commutative monoid with an absorbing+element. They satisfy the following axioms:++[cabal]: https://www.haskell.org/cabal/users-guide/developing-packages.html++* **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 , acme-one = a+  ```++  Depending on [`acme-one`][acme-one] has no additional effect.++* **Absorbing element**++  For all dependencies `a`,++  ```+  acme-zero , a = a , acme-zero = acme-zero+  ```++  Depending on [`acme-zero`][acme-zero] in addition has the same effect as+  *only* depending on `acme-zero`.++[acme-one]:  https://hackage.haskell.org/package/acme-one+[acme-zero]: https://hackage.haskell.org/package/acme-zero

@@ -0,0 +1,2 @@+import Distribution.Simple+main = defaultMain

@@ -0,0 +1,66 @@+name: acme-one+version: 0.0.1+synopsis: The identity element of package dependencies+description:+  <https://www.haskell.org/cabal/users-guide/developing-packages.html 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 , acme-one = a+  @+  .+  Depending on @<https://hackage.haskell.org/package/acme-one acme-one>@ has no+  additional effect.+  .+  [Absorbing element]+  .+  For all dependencies @a@,+  .+  @+  acme-zero , a = a , acme-zero = acme-zero+  @+  .+  Depending on @<https://hackage.haskell.org/package/acme-zero acme-zero>@ in+  addition has the same effect as /only/ depending on @acme-zero@.+license: PublicDomain+license-file: LICENSE.md+author: Johan Kiviniemi <devel@johan.kiviniemi.name>+maintainer: Johan Kiviniemi <devel@johan.kiviniemi.name>+stability: provisional+homepage: https://github.com/ion1/acme-zero-one+bug-reports: https://github.com/ion1/acme-zero-one/issues+category: ACME+build-type: Simple+extra-source-files: README.md+cabal-version: >= 1.10++source-repository head+  type: git+  location: https://github.com/ion1/acme-zero-one.git++library+  default-language: Haskell2010