name:                semilattices
version:             0.0.0.5
synopsis:            Semilattices
description:         Join- and meet-semilattices, with optional upper and lower bounds, and a variety of instances for each.
homepage:            https://github.com/robrix/semilattices
license:             BSD3
license-file:        LICENSE
author:              Rob Rix
maintainer:          rob.rix@me.com
copyright:           2017-2024 Rob Rix
category:            Algebra, Data, Data Structures, Math
build-type:          Simple
cabal-version:       >=1.10

extra-source-files:
  README.md
  ChangeLog.md

tested-with:
  GHC   == 8.2.2
  GHC   == 8.4.4
  GHC   == 8.6.5
  GHC   == 8.8.1
  GHCJS == 8.4.0

library
  exposed-modules:
    Data.Semilattice.Bound
    Data.Semilattice.Join
    Data.Semilattice.Lower
    Data.Semilattice.Meet
    Data.Semilattice.Order
    Data.Semilattice.Tumble
    Data.Semilattice.Upper
  build-depends:
      base >=4.9 && <5
    , containers >=0.5 && <0.7
    , unordered-containers >=0.2 && <0.3
  hs-source-dirs:      src
  default-language:    Haskell2010
  ghc-options:
    -Weverything
    -Wno-all-missed-specialisations
    -Wno-implicit-prelude
    -Wno-missed-specialisations
    -Wno-missing-import-lists
    -Wno-missing-local-signatures
    -Wno-monomorphism-restriction
    -Wno-name-shadowing
    -Wno-safe
    -Wno-unsafe
  if (impl(ghc >= 8.6))
    ghc-options: -Wno-star-is-type
  if (impl(ghc >= 8.8))
    ghc-options: -Wno-missing-deriving-strategies
  if (impl(ghc >= 8.10))
    ghc-options: -Wno-missing-safe-haskell-mode
  if (impl(ghc >= 9.2))
    ghc-options: -Wno-missing-kind-signatures

test-suite doctests
  type:                exitcode-stdio-1.0
  hs-source-dirs:      test
  main-is:             Doctests.hs
  default-language:    Haskell2010
  build-depends:
      base
    , doctest >= 0.7 && < 1.0
    , QuickCheck >= 2.7 && < 3
    , quickcheck-instances == 0.3.*

source-repository head
  type:     git
  location: https://github.com/robrix/semilattices