ImpSpec

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

https://github.com/input-output-hk/ImpSpec

LTS Haskell 24.13:0.1.0.0
Stackage Nightly 2025-10-02:0.2.0.0
Latest on Hackage:0.2.0.0

See all snapshots ImpSpec appears in

Apache-2.0 licensed by IOHK
Maintained by [email protected]
This version can be pinned in stack with:ImpSpec-0.2.0.0@sha256:35ec5401707d5cabb6e5fdb8b27d65792995fafb17f5c6aeaa0c758066d932b9,1890

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

Changes

Version history for ImpSpec

0.2.0.0

  • Add explicit forall for uniformM, uniformRM, uniformListM, uniformListRM and arbitrary

0.1.0.0

  • Initital release