ImpSpec: Imperative approach to testing stateful applications. ImpSpec is build on top of HSpec and QuickCheck

[ apache, control, library ] [ Propose Tags ] [ Report a vulnerability ]

Let a little imp help you discover all the bugs in your stateful Haskell program.


[Skip to Readme]

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.9 && <5), bytestring, deepseq, hspec, hspec-core (>=2.11), hspec-expectations-lifted, HUnit, mtl, prettyprinter (>=1.7), prettyprinter-ansi-terminal (>=1.1.2), QuickCheck, quickcheck-transformer, random (>=1.2), text, unliftio [details]
Tested with ghc ==8.2.2, ghc ==8.4.4, ghc ==8.6.5, ghc ==8.8.4, ghc ==8.10.7, ghc ==9.0.2, ghc ==9.2.8, ghc ==9.4.8, ghc ==9.6.6, ghc ==9.8.2, ghc ==9.10.1
License Apache-2.0
Author IOHK
Maintainer operations@iohk.io
Category Control
Home page https://github.com/input-output-hk/ImpSpec
Source repo head: git clone https://github.com/intersectmbo/cardano-ledger(libs/ImpSpec)
Uploaded by lehins at 2024-11-19T17:51:00Z
Distributions
Downloads 18 total (18 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2024-11-19 [all 1 reports]

Readme for ImpSpec-0.1.0.0

[back to package description]

ImpSpec

Imperative specification.

Let a little imp help you discover all the bugs in your stateful Haskell program.

Overview

ImpSpec is a testing library that is build on top of hspec and QuickCheck. It was designed for easier testing of stateful applications.

Status

Github Actions Coveralls Hackage Nightly LTS
Build Status Coverage Status Hackage Nightly LTS