ImpSpec-0.1.0.0: ImpSpec.cabal
cabal-version: 1.18
name: ImpSpec
version: 0.1.0.0
license: Apache-2.0
license-file: LICENSE
maintainer: operations@iohk.io
author: IOHK
homepage: https://github.com/input-output-hk/ImpSpec
synopsis:
Imperative approach to testing stateful applications. ImpSpec is build on top of HSpec and QuickCheck
description:
Let a little imp help you discover all the bugs in your stateful Haskell program.
category: Control
build-type: Simple
extra-doc-files: CHANGELOG.md
extra-source-files: README.md
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
source-repository head
type: git
location: https://github.com/intersectmbo/cardano-ledger
subdir: libs/ImpSpec
library
exposed-modules:
Test.ImpSpec
Test.ImpSpec.Expectations
Test.ImpSpec.Expectations.Lifted
Test.ImpSpec.Main
Test.ImpSpec.Random
hs-source-dirs: src
other-modules: Test.ImpSpec.Internal
default-language: Haskell2010
ghc-options:
-Wall -Wcompat -Wincomplete-record-updates
-Wincomplete-uni-patterns -Wredundant-constraints
build-depends:
base >=4.9 && <5,
bytestring,
deepseq,
hspec,
hspec-core >=2.11,
hspec-expectations-lifted,
HUnit,
mtl,
QuickCheck,
quickcheck-transformer,
prettyprinter >=1.7,
prettyprinter-ansi-terminal >=1.1.2,
random >=1.2,
text,
unliftio
test-suite tests
type: exitcode-stdio-1.0
main-is: Main.hs
hs-source-dirs: test
other-modules: Test.Suite.ImpSpec
default-language: Haskell2010
ghc-options:
-Wall -Wcompat -Wincomplete-record-updates
-Wincomplete-uni-patterns -Wredundant-constraints
-threaded -rtsopts
build-depends:
base,
ImpSpec