zero

Semigroups with absorption

https://github.com/phaazon/zero

Version on this page:0.1.4
LTS Haskell 19.33:0.1.5
Stackage Nightly 2022-03-17:0.1.5
Latest on Hackage:0.1.5

See all snapshots zero appears in

BSD-3-Clause licensed and maintained by Dimitri Sabadie
This version can be pinned in stack with:zero-0.1.4@sha256:a64a9a295932cad47f8e73578b03b968e66c3f5e60b80688169b3e88dae257fb,1765

Module documentation for 0.1.4

Depends on 2 packages(full list with versions):
base, semigroups
Used by 1 package in lts-7.12(full list with versions):
both

Monoid is a Semigroup glued with a neutral element called mempty. In the same idea, Zero is a Semigroup glued with an absorbing element called zero.

Keep in mind that Zero requires Semigroup. If you have Semigroup defined to work with Monoid, you might end up with no way to implement Zero. That’s why the Semigroup instance for Maybe is confusing, because it relies on Monoid, and cannot be used with Zero. Success is the Zero equivalent of Maybe + Monoid.

Changes

0.1.4

  • Support for GHC 8.0.1.

0.1.3.1

  • semigrous-0.18 support.

0.1.3

  • semigroups-0.17 support.

0.1.2

  • Replace hard-coded wrappers by Data.Monoid’s ones.
  • Fixed typo.

0.1.1

  • Added Any.
  • Added success and failure.

0.1

  • Initial revision.