name: heyting-algebras
version: 0.0.1.0
synopsis: Heyting and Boolean algebras
description:
This package provides Heyting and Boolean operations together
with various constructions of Heyting algebras.
license: MPL-2.0
license-file: LICENSE
author: Marcin Szamotulski
maintainer: profunctor@pm.me
copyright: (c) 2018 Marcin Szamotulski
category: Math
build-type: Simple
extra-source-files: ChangeLog.md
cabal-version: >=1.10
tested-with: GHC==8.2.2, GHC==8.4.3
flag export-properties
description:
Export quickcheck properties from library; this adds QuickCheck
as a dependency.
manual: True
default: False
library
exposed-modules: Algebra.Heyting
Algebra.Heyting.Free
Algebra.Heyting.Layered
Algebra.Boolean
Algebra.Boolean.Free
-- other-modules:
-- other-extensions:
build-depends: base >= 4.9 && < 4.13
, containers >= 0.4.2 && < 0.7
, free-algebras >= 0.0.4 && < 0.0.6
, hashable >= 1.2.6.1 && < 1.3
, lattices >= 1.0 && < 1.11
, 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
ghc-options: -Wall
if flag(export-properties)
build-depends:
QuickCheck >= 2.10 && < 2.13
cpp-options:
-DEXPORT_PROPERTIES
test-suite heyting-algebras-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
source-repository head
type: git
location: https://github.com/coot/heyting-algebras