cabal-version:      >= 1.10
name:               lattices
version:            1.7.1.1
x-revision: 3

category:           Math
license:            BSD3
license-File:       LICENSE
author:             Maximilian Bolingbroke <batterseapower@hotmail.com>
maintainer:         Oleg Grenrus <oleg.grenrus@iki.fi>
homepage:           http://github.com/phadej/lattices/
bug-reports:        http://github.com/phadej/lattices/issues
copyright:          (C) 2010-2015 Maximilian Bolingbroke
build-type:         Simple
extra-source-files: README.md CHANGELOG.md
tested-with:        GHC==7.4.2, GHC==7.6.3, GHC==7.8.4, GHC==7.10.3, GHC==8.0.2, GHC==8.2.2, GHC==8.4.3, GHC==8.6.1
synopsis:           Fine-grained library for constructing and manipulating lattices
description:
  In mathematics, a lattice is a partially ordered set in which every two
  elements @x@ and @y@ have a unique supremum (also called a least upper bound, join, or @x /\\ y@)
  and a unique infimum (also called a greatest lower bound, meet, or @x \\/ y@).
  .
  This package provide type-classes for different lattice types, as well
  as a class for the partial order.

source-repository head
  type: git
  location: git://github.com/phadej/lattices.git

library
  exposed-modules:  Algebra.Enumerable,
                    Algebra.Lattice,
                    Algebra.Lattice.Divisibility,
                    Algebra.Lattice.Dropped,
                    Algebra.Lattice.Free,
                    Algebra.Lattice.Levitated,
                    Algebra.Lattice.Lexicographic,
                    Algebra.Lattice.Lifted,
                    Algebra.Lattice.Op,
                    Algebra.Lattice.Ordered,
                    Algebra.PartialOrd,
                    Algebra.PartialOrd.Instances

  build-depends:    base                       >= 4.5     && < 4.15,
                    base-compat                >= 0.9.3   && < 0.12,
                    containers                 >= 0.4.2.1 && < 0.7,
                    deepseq                    >= 1.3.0.0 && < 1.5,
                    hashable                   >= 1.2.6.1 && < 1.4,
                    tagged                     >= 0.8.5   && < 0.9,
                    unordered-containers       >= 0.2.6.0 && < 0.3,
                    semigroupoids              >= 5.2.2   && < 5.4,
                    universe-base              >= 1.0     && < 1.2,
                    universe-reverse-instances >= 1.0     && < 1.2
  hs-source-dirs:   src
  ghc-options:      -Wall
  default-language: Haskell2010

  if !impl(ghc >= 8.0)
    build-depends:  semigroups                 >= 0.18.3 && < 0.20

  if !impl(ghc >= 7.10)
    build-depends:   void                       >= 0.7  && < 0.8,
                     transformers               >= 0.3  && < 0.6

  if impl(ghc >= 7.4 && < 7.5)
    build-depends:  ghc-prim

test-suite test
  type:                exitcode-stdio-1.0
  main-is:             Tests.hs
  hs-source-dirs:      test
  ghc-options:         -Wall
  default-language:    Haskell2010
  build-depends:       base,
                       base-compat,
                       tasty                >= 0.10  && < 1.3,
                       tasty-quickcheck     >= 0.8   && < 0.11,
                       QuickCheck           >= 2.10  && <2.14,
                       quickcheck-instances >=0.3.16 && <0.4,
                       universe-instances-base >= 1.0 && <1.2,
                       lattices,
                       containers,
                       transformers,
                       unordered-containers

  if !impl(ghc >= 8.0)
    build-depends:  semigroups