partial-semigroup

A partial binary associative operator

https://github.com/chris-martin/partial-semigroup

Version on this page:0.5.0.0
LTS Haskell 22.44:0.6.0.2@rev:1
Stackage Nightly 2023-12-26:0.6.0.2@rev:1
Latest on Hackage:0.6.0.2@rev:1

See all snapshots partial-semigroup appears in

Apache-2.0 licensed and maintained by Chris Martin
This version can be pinned in stack with:partial-semigroup-0.5.0.0@sha256:4a1e16c4cf8e7ead80c44e2d1e3fa789d62f4afc8a0aad525f0f5efb1532a349,5076

Module documentation for 0.5.0.0

  • Data
    • Data.PartialSemigroup
      • Data.PartialSemigroup.Generics
Depends on 1 package(full list with versions):
base

A partial semigroup is like a semigroup, but the operator is partial. We represent this in Haskell as a total function (<>?) :: a -> a -> Maybe a.

The partial-semigroup-hedgehog companion package provides support for checking the partial semigroup associativity axiom using the hedgehog package.