cabal-version: 3.0
name: quickcheck-state-machine
version: 0.10.1
synopsis: Test monadic programs using state machine based models
description:
See README at <https://github.com/stevana/quickcheck-state-machine#readme>
homepage: https://github.com/stevana/quickcheck-state-machine#readme
license: BSD-3-Clause
license-file: LICENSE
author: Stevan Andjelkovic
maintainer: Stevan Andjelkovic <stevan.andjelkovic@strath.ac.uk>
copyright:
Copyright (C) 2017-2018, ATS Advanced Telematic Systems GmbH;
2018-2019, HERE Europe B.V.;
2019-2024, Stevan Andjelkovic.
category: Testing
build-type: Simple
extra-doc-files:
CHANGELOG.md
CONTRIBUTING.md
README.md
tested-with:
GHC ==8.8.4 || ==8.10.7 || ==9.2.8 || ==9.4.8 || ==9.6.5 || ==9.8.2
-- Due to `tree-diff` being `GPL`, this library makes use of an interface
-- (@CanDiff@) to diff models. This can be implemented with the vendored
-- tree-diff or with the upstream one, but we only provide the former in the
-- main library of the package below. See
-- https://github.com/stevana/quickcheck-state-machine#readme for how to depend
-- on either version.
library no-vendored-treediff
visibility: public
hs-source-dirs: src
ghc-options: -Wall
exposed-modules:
Test.StateMachine
Test.StateMachine.BoxDrawer
Test.StateMachine.ConstructorName
Test.StateMachine.Diffing
Test.StateMachine.DotDrawing
Test.StateMachine.Labelling
Test.StateMachine.Lockstep.Auxiliary
Test.StateMachine.Lockstep.NAry
Test.StateMachine.Lockstep.Simple
Test.StateMachine.Logic
Test.StateMachine.Parallel
Test.StateMachine.Sequential
Test.StateMachine.Types
Test.StateMachine.Types.Environment
Test.StateMachine.Types.GenSym
Test.StateMachine.Types.History
Test.StateMachine.Types.Rank2
Test.StateMachine.Types.References
Test.StateMachine.Utils
Test.StateMachine.Z
-- GHC boot library dependencies:
-- (https://gitlab.haskell.org/ghc/ghc/-/blob/master/packages)
build-depends:
, base >=4.10 && <5
, containers >=0.5.7.1 && <0.8
, directory >=1.0.0.0 && <1.4
, exceptions >=0.8.3 && <0.11
, filepath >=1.0 && <1.6
, mtl >=2.2.1 && <2.4
, text >=1.2.3.1 && <2.2
, time >=1.7 && <1.15
build-depends:
, graphviz >=2999.20.0.3 && <2999.21
, pretty-show >=1.6.16 && <1.11
, prettyprinter ^>=1.7.1
, prettyprinter-ansi-terminal ^>=1.1.3
, QuickCheck >=2.12 && <2.16
, random >=1.1 && <1.3
, sop-core >=0.5.0.2 && <0.6
, split >=0.2.3.5 && <0.3
, unliftio >=0.2.7.0 && <0.3
default-language: Haskell2010
library
hs-source-dirs: tree-diff
ghc-options: -Wall
exposed-modules:
Test.StateMachine.TreeDiff
Test.StateMachine.TreeDiff.Class
Test.StateMachine.TreeDiff.Diffing
Test.StateMachine.TreeDiff.Expr
Test.StateMachine.TreeDiff.List
Test.StateMachine.TreeDiff.Pretty
Test.StateMachine.TreeDiff.Tree
reexported-modules:
Test.StateMachine,
Test.StateMachine.BoxDrawer,
Test.StateMachine.ConstructorName,
Test.StateMachine.Diffing,
Test.StateMachine.DotDrawing,
Test.StateMachine.Labelling,
Test.StateMachine.Lockstep.Auxiliary,
Test.StateMachine.Lockstep.NAry,
Test.StateMachine.Lockstep.Simple,
Test.StateMachine.Logic,
Test.StateMachine.Parallel,
Test.StateMachine.Sequential,
Test.StateMachine.Types,
Test.StateMachine.Types.Environment,
Test.StateMachine.Types.GenSym,
Test.StateMachine.Types.History,
Test.StateMachine.Types.Rank2,
Test.StateMachine.Types.References,
Test.StateMachine.Utils,
Test.StateMachine.Z
-- GHC boot library dependencies:
-- (https://gitlab.haskell.org/ghc/ghc/-/blob/master/packages)
build-depends:
, base
, containers
, text
, time
build-depends:
, prettyprinter
, prettyprinter-ansi-terminal
, QuickCheck
, sop-core
-- tree-diff dependencies:
build-depends:
, base-compat >=0.9.3 && <0.15
, bytestring >=0.10.4.0 && <0.13
, generics-sop >=0.3.1.0 && <0.6
, MemoTrie >=0.6.8 && <0.7
, pretty >=1.1.1.1 && <1.2
, quickcheck-state-machine:no-vendored-treediff
, vector >=0.12.0.1 && <0.14
default-language: Haskell2010
test-suite test
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: Spec.hs
build-depends:
, array >=0.5.4.0 && <0.6
, base
, bifunctors >=5.5.7 && <5.7
, bytestring
, containers
, directory
, doctest >=0.16.2 && <0.23
, filelock >=0.1.1.4 && <0.2
, filepath
, hashable >=1.3.0.0 && <1.6
, hashtables >=1.2.3.4 && <1.4
, http-client >=0.6.4.1 && <0.8
, monad-logger >=0.3.32 && <0.4
, mtl
, network >=3.1.1.1 && <3.3
, persistent >=2.10.5.2 && <2.15
, persistent-postgresql >=2.10.1.2 && <2.14
, persistent-sqlite >=2.10.6.2 && <2.14
, postgresql-simple >=0.6.2 && <0.8
, pretty-show
, process
, QuickCheck
, quickcheck-instances >=0.3.22 && <0.4
, quickcheck-state-machine
, random
, resource-pool >=0.2.3.2 && <0.5
, resourcet >=1.2.3 && <1.4
, servant-client >=0.16.0.1 && <0.21
, servant-server >=0.16.2 && <0.21
, split >=0.2.3.5 && <0.3
, stm >=2.5.0.0 && <2.6
, strict >=0.3.2 && <0.6
, string-conversions >=0.4.0.1 && <0.5
, tasty >=1.2.3 && <1.6
, tasty-hunit >=0.10.0.2 && <0.11
, tasty-quickcheck >=0.10.1.1 && <0.12
, text
, unliftio
, unliftio-core >=0.1.2.0 && <0.3
, vector
, warp >=3.3.9 && <3.5
other-modules:
Bookstore
CircularBuffer
Cleanup
CrudWebserverDb
DieHard
Echo
ErrorEncountered
Hanoi
IORefs
MemoryReference
Mock
Overflow
ProcessRegistry
Schema
ShrinkingProps
SQLite
TicketDispenser
UnionFind
ghc-options:
-threaded -rtsopts -with-rtsopts=-N -fno-ignore-asserts -Wall
default-language: Haskell2010
source-repository head
type: git
location: https://github.com/stevana/quickcheck-state-machine
source-repository this
type: git
location: https://github.com/stevana/quickcheck-state-machine
tag: v0.10.1