cabal-version:   3.0
name:            quickcheck-state-machine
version:         0.8.0
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-2023, 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.7 || ==9.6.3

library
  hs-source-dirs:   src
  ghc-options:      -Wall
  exposed-modules:
    Test.StateMachine
    Test.StateMachine.BoxDrawer
    Test.StateMachine.ConstructorName
    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.TreeDiff
    Test.StateMachine.TreeDiff.Class
    Test.StateMachine.TreeDiff.Expr
    Test.StateMachine.TreeDiff.List
    Test.StateMachine.TreeDiff.Pretty
    Test.StateMachine.TreeDiff.Tree
    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

  other-modules:    Paths_quickcheck_state_machine
  autogen-modules:  Paths_quickcheck_state_machine

  -- 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.7
    , directory   >=1.0.0.0 && <1.4
    , exceptions  >=0.8.3   && <0.11
    , filepath    >=1.0     && <1.5
    , mtl         >=2.2.1   && <2.4
    , process     >=1.2.0.0 && <1.7
    , text        >=1.2.3.1 && <2.1
    , time        >=1.7     && <1.13

  build-depends:
    , ansi-wl-pprint  >=0.6.7.3     && <1.1
    , generic-data    >=0.3.0.0     && <1.2
    , graphviz        >=2999.20.0.3 && <2999.21
    , pretty-show     >=1.6.16      && <1.11
    , QuickCheck      >=2.12        && <2.15
    , 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

  -- tree-diff dependencies:
  build-depends:
    , base-compat   >=0.9.3    && <0.14
    , bytestring    >=0.10.4.0 && <0.12
    , generics-sop  >=0.3.1.0  && <0.6
    , MemoTrie      >=0.6.8    && <0.7
    , pretty        >=1.1.1.1  && <1.2
    , 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:
    , aeson                     >=1.4.6.0  && <2.3
    , 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.5
    , 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.2
    , persistent                >=2.10.5.2 && <2.15
    , persistent-postgresql     >=2.10.1.2 && <2.14
    , persistent-sqlite         >=2.10.6.2 && <2.14
    , persistent-template       >=2.8.2.3  && <2.13
    , 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                   >=0.16.2   && <0.21
    , 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.11
    , text
    , unliftio
    , unliftio-core             >=0.1.2.0  && <0.3
    , vector
    , wai                       >=3.2.2.1  && <3.3
    , warp                      >=3.3.9    && <3.4

  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