cabal-version:      3.4
name:               servant-quickcheck
version:            0.1.0.0
synopsis:           QuickCheck entire APIs
description:
  This packages provides QuickCheck properties that are tested across an entire API.

license:            BSD-3-Clause
license-file:       LICENSE
author:             Julian K. Arni
maintainer:         haskell-servant-maintainers@googlegroups.com
category:           Web
build-type:         Simple
extra-source-files: CHANGELOG.yaml
tested-with:        GHC ==9.2.8 || ==9.4.8 || ==9.6.4 || ==9.8.1

source-repository head
  type:     git
  location: https://github.com/haskell-servant/servant.git
  subdir:   servant-quickcheck

flag long-tests
  description: Run more QuickCheck tests
  default:     False

library
  exposed-modules:
    Servant.QuickCheck
    Servant.QuickCheck.Internal
    Servant.QuickCheck.Internal.Equality
    Servant.QuickCheck.Internal.ErrorTypes
    Servant.QuickCheck.Internal.HasGenRequest
    Servant.QuickCheck.Internal.Predicates
    Servant.QuickCheck.Internal.QuickCheck

  ghc-options:        -Wall -Wcompat
  build-depends:
      aeson                  >=0.8    && <2.3
    , base                   >=4.9    && <4.20
    , base-compat-batteries  >=0.10.1 && <0.15
    , bytestring             >=0.10   && <0.13
    , case-insensitive       >=1.2    && <1.3
    , clock                  >=0.7    && <0.9
    , data-default-class     >=0.0    && <0.2
    , hspec                  >=2.5.6  && <2.12
    , http-client            >=0.7.0  && <0.8
    , http-media             >=0.6    && <0.9
    , http-types             >=0.8    && <0.13
    , mtl                    >=2.1    && <2.4
    , pretty                 >=1.1    && <1.2
    , process                >=1.2    && <1.7
    , QuickCheck             >=2.7    && <2.16
    , servant                >=0.18.2 && <0.21
    , servant-client         >=0.17   && <0.21
    , servant-server         >=0.17   && <0.21
    , split                  >=0.2    && <0.3
    , temporary              >=1.2    && <1.4
    , text                   >=1      && <2.2
    , time                   >=1.5    && <1.13
    , warp                   >=3.2.4  && <3.5

  hs-source-dirs:     src
  default-extensions:
    ConstraintKinds
    DataKinds
    DeriveDataTypeable
    DeriveFunctor
    DeriveGeneric
    FlexibleContexts
    FlexibleInstances
    FunctionalDependencies
    GADTs
    KindSignatures
    MultiParamTypeClasses
    NoImplicitPrelude
    OverloadedStrings
    RankNTypes
    ScopedTypeVariables
    TypeOperators

  default-language:   Haskell2010

test-suite spec
  type:               exitcode-stdio-1.0
  ghc-options:        -Wall -Wcompat -threaded
  default-language:   Haskell2010
  hs-source-dirs:     test
  main-is:            Spec.hs
  other-modules:      Servant.QuickCheck.InternalSpec
  build-tool-depends: hspec-discover:hspec-discover
  build-depends:
      aeson
    , base
    , base-compat-batteries
    , blaze-html
    , bytestring
    , hspec
    , hspec-core             >=2.5.5 && <2.12
    , http-client
    , QuickCheck
    , quickcheck-io
    , servant
    , servant-blaze
    , servant-client
    , servant-quickcheck
    , servant-server
    , transformers
    , warp

  default-extensions:
    DataKinds
    FlexibleContexts
    FlexibleInstances
    GADTs
    NoImplicitPrelude
    OverloadedStrings
    ScopedTypeVariables
    TypeOperators

  if flag(long-tests)
    cpp-options: -DLONG_TESTS

test-suite example
  type:             exitcode-stdio-1.0
  main-is:          Main.hs
  hs-source-dirs:   example
  ghc-options:      -Wall -Wcompat
  build-depends:
      base
    , hspec
    , servant-quickcheck
    , servant-server
    , text

  default-language: Haskell2010