name:                heyting-algebras
version:             0.0.2.0
synopsis:            Heyting and Boolean algebras
description:
  This package provides Heyting and Boolean operations together
  with various constructions of Heyting algebras.
license:             BSD3
license-file:        LICENSE
author:              Marcin Szamotulski
maintainer:          profunctor@pm.me
copyright:           (c) 2018-2019 Marcin Szamotulski
category:            Math
build-type:          Simple
extra-source-files:
  ChangeLog.md
  README.md
cabal-version:       >=1.10
tested-with:         GHC==8.0.2, GHC==8.2.2, GHC==8.4.4, GHC==8.6.3

library
  exposed-modules:     Algebra.Heyting
                       Algebra.Heyting.Free
                       Algebra.Heyting.Layered
                       Algebra.Heyting.BoolRing
                       Algebra.Heyting.CounterExample
                       Algebra.Heyting.Properties
                       Algebra.Boolean
                       Algebra.Boolean.Free
                       Algebra.Boolean.Properties
  build-depends:       base           >= 4.9      && < 4.13
                     , containers     >= 0.4.2    && < 0.7
                     , free-algebras  >= 0.0.4    && < 0.0.8
                     , hashable       >= 1.2.6.1  && < 1.3
                     , lattices       >= 1.0      && < 1.8
                     , semiring-simple >= 1.0     && < 1.2
                     , tagged         >= 0.8.5    && < 0.9
                     , unordered-containers
                                      >= 0.2.6.0  && < 0.3
                     , universe-base  >= 1.0      && < 1.1
  hs-source-dirs:      src
  default-language:    Haskell2010
  default-extensions:  FlexibleInstances
                       RankNTypes
                       PackageImports
  ghc-options:        -Wall

test-suite tests
  type:                exitcode-stdio-1.0
  hs-source-dirs:      test
  main-is:             Main.hs
  build-depends:       base
                     , containers
                     , lattices
                     , universe-base
                     , QuickCheck
                     , heyting-algebras
                     , tasty
                     , tasty-quickcheck
  default-language:    Haskell2010
  default-extensions:  FlexibleInstances
                     , TypeApplications
  ghc-options:       -threaded -rtsopts -with-rtsopts=-N

source-repository head
  type:     git
  location: https://github.com/coot/heyting-algebras