kleene-0.2: kleene.cabal

cabal-version:      2.4
name:               kleene
version:            0.2
synopsis:           Kleene algebra
category:           Math
description:
  Kleene algebra
  .
  Think: Regular expressions
  .
  Implements ideas from /Regular-expression derivatives re-examined/ by
  Scott Owens, John Reppy and Aaron Turon
  <https://doi.org/10.1017/S0956796808007090>

homepage:           https://github.com/phadej/kleene
bug-reports:        https://github.com/phadej/kleene/issues
author:             Oleg Grenrus <oleg.grenrus@iki.fi>
maintainer:         Oleg Grenrus <oleg.grenrus@iki.fi>
license:            BSD-3-Clause
license-file:       LICENSE
build-type:         Simple
extra-source-files: CHANGELOG.md
extra-doc-files:    example.png
tested-with:
  GHC ==8.6.5
   || ==8.8.4
   || ==8.10.7
   || ==9.0.2
   || ==9.2.8
   || ==9.4.8
   || ==9.6.7
   || ==9.8.4
   || ==9.10.3
   || ==9.12.4
   || ==9.14.1

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

library
  default-language:  Haskell2010
  ghc-options:       -Wall
  hs-source-dirs:    src

  -- GHC boot libraries
  build-depends:
    , base          >=4.7.0.2  && <4.23
    , bytestring    >=0.10.8.2 && <0.13
    , containers    >=0.6.0.1  && <0.9

  -- Other dependencies
  build-depends:
    , lattices           >=2        && <2.3
    , MemoTrie           >=0.6.9    && <0.7
    , QuickCheck         >=2.16.0.0 && <2.19
    , range-set-list     >=0.1.3    && <0.2
    , regex-applicative  >=0.3.4    && <0.4
    , semigroupoids      >=5.3.2    && <6.1
    , step-function      >=0.2.1    && <0.3

  other-extensions:
    CPP
    DefaultSignatures
    DeriveFoldable
    DeriveFunctor
    DeriveTraversable
    FlexibleInstances
    FunctionalDependencies
    GADTs
    GeneralizedNewtypeDeriving
    OverloadedStrings
    StandaloneDeriving
    UndecidableInstances

  exposed-modules:
    Kleene
    Kleene.Classes
    Kleene.DFA
    Kleene.Equiv
    Kleene.ERE
    Kleene.Functor
    Kleene.Functor.NonEmpty
    Kleene.Monad
    Kleene.RE

  -- "Internal-ish" modules
  exposed-modules:
    Kleene.Internal.Functor
    Kleene.Internal.Partition
    Kleene.Internal.Pretty
    Kleene.Internal.RE
    Kleene.Internal.Sets

  x-docspec-options:
    -XOverloadedStrings --check-properties "--property-variables=c p r s t q"

test-suite kleene-utf8
  default-language: Haskell2010
  ghc-options:      -Wall
  hs-source-dirs:   tests
  type:             exitcode-stdio-1.0
  main-is:          kleene-utf8.hs
  build-depends:
    , base
    , bytestring
    , kleene

  -- test dependencies
  build-depends:
    , tasty             ^>=1.4.0.3  || ^>=1.5
    , tasty-hunit       ^>=0.10.0.3
    , tasty-quickcheck  ^>=0.11.1