cabal-version:       2.0
name:                heyting-algebras
version:             0.2.0.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-2021 Marcin Szamotulski
category:            Math
build-type:          Simple
extra-source-files:
  ChangeLog.md
  README.md
tested-with:         GHC==8.10.4

library
  exposed-modules:     Algebra.Heyting.Layered
                       Algebra.Heyting.BoolRing
                       Algebra.Heyting.CounterExample
                       Algebra.Heyting.Properties
                       Algebra.Boolean
                       Algebra.Boolean.Free
                       Algebra.Boolean.Properties
  reexported-modules:  lattices:Algebra.Heyting
                    ,  lattices:Algebra.Heyting.Free
  build-depends:       base            >= 4.9     && < 4.16
                     , containers      >= 0.4.2   && < 0.7
                     , free-algebras   >= 0.1.0.1 && < 0.1.1.0
                     , hashable        >= 1.2.6.1 && < 1.4
                     , lattices        >= 2.0     && < 2.1
                     , 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.2
  hs-source-dirs:      src
  default-language:    Haskell2010
  default-extensions:  FlexibleInstances
                       RankNTypes
                       PackageImports
  ghc-options:        -Wall

test-suite test
  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