Hackage :: [Package]

heni-hspec: Attempt-bound Hspec evidence for Heni

[ bsd3, library, program, testing ] [ Propose Tags ] [ Report a vulnerability ]

Optional framework reporter for trustworthy named mutation evidence.

[Skip to Readme]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0.0
Change log CHANGELOG.md
Dependencies base (>=4.21.2 && <4.22), containers (>=0.7 && <0.9), heni (==0.1.0.0), heni-hspec (==0.1.0.0), hspec (>=2.11.18 && <2.12), hspec-api (>=2.11.18 && <2.12), hspec-core (>=2.11.18 && <2.12), QuickCheck (>=2.19 && <2.20), text (>=2.1.4 && <2.2) [details]
Tested with ghc ==9.12.4
License BSD-3-Clause
Copyright 2026 Nadeem Bitar
Author Nadeem Bitar
Maintainer nadeem@gmail.com
Uploaded by shinzui at 2026-10-24T23:24:32Z
Category Testing
Home page https://github.com/shinzui/heni
Bug tracker https://github.com/shinzui/heni/issues
Source repo head: git clone https://github.com/shinzui/heni.git(adapters/heni-hspec)
Distributions
Executables heni-hspec-fixture
Downloads 3 total (3 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]

Readme for heni-hspec-0.1.0.0

[back to package description]

heni-hspec

Replace Hspec.hspec with heniHspec. Use heniProperty for native QuickCheck counterexample replay; its ID must match the enclosing full example ID. Outside Heni, normal framework behavior is preserved.

Add heni-hspec ==0.1.0.0 to the test component and select "adapter": "heni-v1" in the Heni case. Complete attempt-bound records prove selected/executed IDs and named failures. Missing, stale or partial evidence cannot count as detection.

See the adapter guide and packaged test fixture for runnable examples.