name:                smallcheck-laws
version:             0.1
x-revision: 1
synopsis:            SmallCheck properties for standard type classes
description:
  Automatic `smallcheck` properties and `tasty` runners for:
  .
  - Monoid laws.
  .
  - Functor laws.
  .
  - Applicative laws.
  .
  - Monad laws.
  .
  Use the @<https://hackage.haskell.org/package/tasty Tasty>@ modules for
  preassembled tasty runners, your data types need to be instances of
  @<https://hackage.haskell.org/package/smallcheck-1.1.1/docs/Test-SmallCheck-Series.html#t:Serial Serial>@.
  For more granular control on how the
  @<https://hackage.haskell.org/package/smallcheck SmallCheck>@
  @<https://hackage.haskell.org/package/smallcheck-1.1.1/docs/Test-SmallCheck-Series.html#t:Series Series>@
  are created use the modules under @Test.SmallCheck.Laws@.
license:             BSD3
license-file:        LICENSE
author:              Danny Navarro
maintainer:          j@dannynavarro.net
category:            Testing
build-type:          Simple
cabal-version:       >=1.10
extra-source-files:  README.md CHANGELOG.md
                     stack.yaml

source-repository head
  type: git
  location: git://github.com/jdnavarro/smallcheck-laws.git

library
  ghc-options:         -Wall
  default-language:    Haskell2010
  exposed-modules:     Test.SmallCheck.Laws.Applicative,
                       Test.SmallCheck.Laws.Functor,
                       Test.SmallCheck.Laws.Monad,
                       Test.SmallCheck.Laws.Monoid,
                       Test.Tasty.SmallCheck.Laws.Applicative,
                       Test.Tasty.SmallCheck.Laws.Functor,
                       Test.Tasty.SmallCheck.Laws.Monad,
                       Test.Tasty.SmallCheck.Laws.Monoid
  build-depends:       base >=4.6 && <4.9,
                       smallcheck >=1.1.1,
                       smallcheck-series >=0.3,
                       tasty >=0.10,
                       tasty-smallcheck >=0.8
  if impl(ghc < 7.10)
     build-depends: transformers >=0.3.0.0

  if impl(ghc < 7.8)
     build-depends: tagged >=0.7.2

test-suite tasty
  default-language:    Haskell2010
  type:                exitcode-stdio-1.0
  hs-source-dirs:      tests
  main-is:             tasty.hs
  ghc-options:         -Wall -threaded
  build-depends:       base >=4.6 && <4.9,
                       smallcheck >=1.1,
                       tasty >=0.10,
                       smallcheck-laws

  if impl(ghc < 7.8)
     build-depends: tagged >=0.7.2