Package Info


Semigroups with absorption


'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'.

License: BSD-3-Clause



Package Version Update ID Released Package Hub Version Platforms Subpackages
0.1.4-bp150.2.5 info GA Release 2018-08-01 15
  • AArch64
  • ghc-zero
  • ghc-zero-devel
0.1.4-bp150.2.7 info GA Release 2018-07-30 15
  • ppc64le
  • x86-64
  • ghc-zero
  • ghc-zero-devel