-- Initial axiomatic-classes.cabal generated by cabal init.  For further 
-- documentation, see http://haskell.org/cabal/users-guide/

-- The name of the package.
name:                axiomatic-classes

-- The package version.  See the Haskell package versioning policy (PVP) 
-- for standards guiding when and how versions should be incremented.
-- http://www.haskell.org/haskellwiki/Package_versioning_policy
-- PVP summary:      +-+------- breaking API changes
--                   | | +----- non-breaking API additions
--                   | | | +--- code changes with no API change
version:             0.1.0.0

-- A short (one-line) description of the package.
synopsis:            Specify axioms for type classes and quickCheck all available instances

-- A longer description of the package.
description:         Provides a way to specify axioms for type classes
                     and to quickCheck all available instances against
                     them

-- The license under which the package is released.
license:             MIT

-- The file containing the license text.
license-file:        LICENSE

-- The package author(s).
author:              Simon Hudon

-- An email address to which users can send suggestions, bug reports, and 
-- patches.
maintainer:          simon@cse.yorku.ca

-- A copyright notice.
-- copyright:           

category:            Testing

build-type:          Simple

-- Extra files to be distributed with the package, such as examples or a 
-- README.
-- extra-source-files:  

-- Constraint on the version of Cabal needed to build this package.
cabal-version:       >=1.10

source-repository head
  type: git
  location: https://github.com/literate-unitb/axiomatic-classes.git

library
  -- Modules exported by the library.
  exposed-modules:     
      Test.QuickCheck.AxiomaticClass
      Test.QuickCheck.RandomTree
      Test.QuickCheck.Regression
      Test.QuickCheck.Shrink
      Test.QuickCheck.ZoomEq
  
  -- Modules included in this library but not exported.
  -- other-modules:       
  
  -- LANGUAGE extensions used by modules in this package.
  default-extensions:    TypeOperators, ScopedTypeVariables, TemplateHaskell, MultiParamTypeClasses, FunctionalDependencies, QuasiQuotes, DefaultSignatures, FlexibleContexts, TypeSynonymInstances, FlexibleInstances, GeneralizedNewtypeDeriving
  
  -- Other library packages from which modules are imported.
  build-depends:       
      base >=4.8 && <5
    , lens >=4.12 && <4.15
    , containers >=0.5 && <0.6
    , template-haskell >=2.10 && <2.12
    , QuickCheck >=2.8.1 && < 2.10
    , transformers >=0.4 && <0.6
    , mtl
    , th-printf
    , control-invariants
    , portable-template-haskell-lens
    , quickcheck-report
    , semigroups
    , monad-loops

  ghc-options: -W -fwarn-missing-signatures 
         -fwarn-incomplete-uni-patterns
         -fwarn-missing-methods
         -fno-ignore-asserts
         -fwarn-tabs
         -j8
  
  -- Directories containing source files.
  hs-source-dirs:      .
  
  -- Base language which the package is written in.
  default-language:    Haskell2010