Apache-2.0 licensed and maintained by Chris Martin

Module documentation for

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.

Depends on 1 package:
Used by 1 package:
comments powered byDisqus