partial-semigroup-hedgehog-0.6.0.13: Property testing for partial semigroups using Hedgehog
Safe HaskellNone
LanguageHaskell2010

Test.PartialSemigroup.Hedgehog

Description

Utilities for testing partial semigroups using the hedgehog property testing library.

Synopsis
  • assoc :: (PartialSemigroup a, Eq a, Show a) => Gen a -> Property

Documentation

assoc :: (PartialSemigroup a, Eq a, Show a) => Gen a -> Property Source #

The partial semigroup associativity axiom:

For all x, y, z: If x <>? y = Just xy and y <>? z = Just yz, then x <>? yz = xy <>? z.