rere-0.1: rere.cabal

cabal-version:      2.2
name:               rere
version:            0.1
synopsis:
  Regular-expressions extended with fixpoints for context-free powers

category:           Parsing
description:
  By extending regular expressions with (explicit) fixed points
  we can recognize context-free grammars.

author:             Oleg Grenrus <oleg.grenrus@iki.fi>
maintainer:         Oleg Grenrus <oleg.grenrus@iki.fi>
license:            BSD-3-Clause
license-file:       LICENSE
extra-source-files: jsverify.json
tested-with:
  GHC ==7.0.4
   || ==7.2.2
   || ==7.4.2
   || ==7.6.3
   || ==7.8.4
   || ==7.10.3
   || ==8.0.2
   || ==8.2.2
   || ==8.4.4
   || ==8.6.5
   || ==8.8.3
   || ==8.10.1

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

flag rere-cfg
  description: CFG functionality, needs dependency on fin and vec
  default:     True
  manual:      True

flag rere-intersection
  description: Add add intersection constructor. EXPERIMENTAL
  default:     False
  manual:      True

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

  if impl(ghc >=8.10)
    ghc-options: -Wmissing-safe-haskell-mode -Winferred-safe-imports

  -- GHC boot library
  build-depends:
    , base          >=4.3.0.0  && <4.15
    , containers    ^>=0.4.0.0 || ^>=0.5.0.0 || ^>=0.6.0.1
    , parsec        ^>=3.1.12.0
    , transformers  ^>=0.3.0.0 || ^>=0.4.2.0 || ^>=0.5.2.0

  -- other dependencies
  build-depends:    QuickCheck ^>=2.13.2

  -- compat
  if !impl(ghc >=7.10)
    build-depends: void ^>=0.7.2

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

  -- expose examples first, so `cabal repl` loads them.
  exposed-modules:  RERE.Examples

  if (flag(rere-cfg) && impl(ghc >=7.8))
    exposed-modules: RERE.Examples.JSON

  exposed-modules:
    RERE
    RERE.Absurd
    RERE.CharClasses
    RERE.CharSet
    RERE.Gen
    RERE.LaTeX
    RERE.Ref
    RERE.ST
    RERE.Type
    RERE.Var

  other-modules:    RERE.Tuples

  if (flag(rere-cfg) && impl(ghc >=7.8))
    build-depends:
      , fin  ^>=0.1.1
      , vec  ^>=0.3

    exposed-modules: RERE.CFG
  else
    cpp-options:     -DRERE_NO_CFG

  if flag(rere-intersection)
    cpp-options: -DRERE_INTERSECTION

benchmark simple
  type:             exitcode-stdio-1.0
  default-language: Haskell2010
  hs-source-dirs:   bench
  main-is:          Bench.hs
  other-modules:    DerpConv
  ghc-options:      -Wall -rtsopts
  build-depends:
    , base
    , containers
    , criterion   ^>=1.5.5.0
    , derp
    , parsec
    , rere

  if !(flag(rere-cfg) && impl(ghc >=7.8))
    cpp-options:     -DRERE_NO_CFG

  if flag(rere-intersection)
    cpp-options: -DRERE_INTERSECTION

  if !impl(ghc >=7.10)
    build-depends: void ^>=0.7.2

  if !impl(ghc >=7.4)
    buildable: False

benchmark json
  type:             exitcode-stdio-1.0
  default-language: Haskell2010
  hs-source-dirs:   bench
  main-is:          JSON.hs
  other-modules:    DerpConv
  ghc-options:      -Wall -rtsopts
  build-depends:
    , aeson       ^>=1.4.6.0
    , attoparsec
    , base
    , bytestring
    , clock       ^>=0.8
    , containers
    , criterion   ^>=1.5.5.0
    , derp
    , fin
    , parsec
    , rere
    , vec

  -- extras
  -- build-depends: saison

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

  if !impl(ghc >=7.10)
    build-depends: void ^>=0.7.2

  if flag(rere-intersection)
    cpp-options: -DRERE_INTERSECTION

  if !(flag(rere-cfg) && impl(ghc >=7.8))
    buildable: False

test-suite properties
  type:             exitcode-stdio-1.0
  default-language: Haskell2010
  hs-source-dirs:   test
  main-is:          Tests.hs
  build-depends:
    , base
    , containers
    , QuickCheck
    , quickcheck-instances  ^>=0.3.22
    , rere
    , tasty                 ^>=1.2.3
    , tasty-quickcheck      ^>=0.10.1.1

  if flag(rere-intersection)
    cpp-options: -DRERE_INTERSECTION

  if !impl(ghc >=7.4)
    buildable: False