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

[ algebra, apache, library, testing ] [ Propose Tags ]

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


[Skip to Readme]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 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.14, 0.6.0.15
Change log changelog.md
Dependencies base (>=4.16 && <4.19), hedgehog (>=1.1.2 && <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-hedgehog
Bug tracker https://github.com/typeclasses/partial-semigroup-hedgehog/issues
Source repo head: git clone https://github.com/typeclasses/partial-semigroup-hedgehog
Uploaded by chris_martin at 2023-06-26T23:00:12Z
Distributions
Reverse Dependencies 1 direct, 1 indirect [details]
Downloads 4287 total (50 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2023-06-26 [all 1 reports]

Readme for partial-semigroup-hedgehog-0.6.0.15

[back to package description]

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