partial-semigroup-hedgehog: Property testing for partial semigroups using Hedgehog

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

Provides a Hedgehog property to check the associativity axiom for the PartialSemigroup class defined in the partial-semigroup package.


[Skip to Readme]

Properties

Versions 0.2.0.1, 0.3.0.1, 0.4.0.0, 0.4.0.1, 0.5.0.0, 0.6.0.0, 0.6.0.1, 0.6.0.4, 0.6.0.6, 0.6.0.8, 0.6.0.10, 0.6.0.12, 0.6.0.13, 0.6.0.13, 0.6.0.14, 0.6.0.15
Change log changelog.md
Dependencies base (>=4.14 && <4.18), hedgehog (>=1.0.5 && <1.3), partial-semigroup (>=0.6 && <0.7) [details]
License Apache-2.0
Copyright 2021 Mission Valley Software LLC
Author Chris Martin
Maintainer Chris Martin, Julie Moronuki
Category Algebra, Testing
Home page https://github.com/typeclasses/partial-semigroup
Bug tracker https://github.com/typeclasses/partial-semigroup/issues
Source repo head: git clone https://github.com/typeclasses/partial-semigroup
Uploaded by chris_martin at 2023-01-10T21:26:59Z

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Readme for partial-semigroup-hedgehog-0.6.0.13

[back to package description]

Provides a hedgehog property to check the associativity axiom for the PartialSemigroup class defined in the partial-semigroup package.