tinycheck-0.1.0.0: tinycheck.cabal

cabal-version: 3.0
name: tinycheck
version: 0.1.0.0
synopsis: A lightweight enumeration-based property testing library
description:
  Tinycheck is a deterministic property testing library.
  Instead of random generation, test cases are produced by exhaustive,
  fairly-interleaved enumeration.  It integrates with the Tasty test
  framework via "Test.Tasty.TinyCheck".

license: BSD-3-Clause
license-file: LICENSE
author: Manuel Bärenz
maintainer: programming@manuelbaerenz.de
build-type: Simple
extra-doc-files:
  CHANGELOG.md
  README.md

tested-with:
  ghc ==9.4
  ghc ==9.6
  ghc ==9.8
  ghc ==9.10
  ghc ==9.12

flag dev
  description: Enable stricter warnings for development
  default: False
  manual: True

common opts
  ghc-options: -Wall

  if flag(dev)
    ghc-options: -Werror
  default-extensions:
    DataKinds
    DefaultSignatures
    DerivingStrategies
    DerivingVia
    LambdaCase
    ScopedTypeVariables
    TypeApplications
    TypeFamilies

  default-language: GHC2021
  build-depends: base >=4.17 && <4.22

common test-opts
  import: opts
  build-depends: tasty >=1.5 && <1.6

library
  import: opts
  exposed-modules:
    Data.TestCases
    Test.Tasty.TinyCheck

  build-depends:
    generics-sop >=0.5 && <0.6,
    tagged >=0.8 && <0.9,
    tasty >=1.5 && <1.6,

  hs-source-dirs: src

test-suite tinycheck-test
  import: test-opts
  type: exitcode-stdio-1.0
  hs-source-dirs: test
  main-is: Main.hs
  other-modules:
    Test.Base
    Test.Combinators
    Test.Generic
    Test.HybridSort
    Test.Strings

  build-depends: tinycheck

test-suite example-colour
  import: opts
  type: exitcode-stdio-1.0
  hs-source-dirs: examples
  main-is: Colour.hs
  build-depends: tinycheck

test-suite example-tree
  import: test-opts
  type: exitcode-stdio-1.0
  hs-source-dirs: examples
  main-is: Tree.hs
  build-depends: tinycheck