pi-eta-epsilon.cabal

name:                pi-eta-epsilon
version:             0.0.1
synopsis:            An implementation of the paper, "The Two Dualities of Computation: Negative and Fractional Types" by Roshan James and Amr Saby
homepage:            https://github.com/dmwit/pi-eta-epsilon
license:             BSD3
license-file:        LICENSE
author:              Daniel Wagner, Jonathan Fischoff, Drew Day
maintainer:          daniel@wagner-home.com
category:            Language
build-type:          Simple
cabal-version:       >=1.8

library
  exposed-modules:  Language.PiEtaEpsilon,
                    Language.PiEtaEpsilon.Evaluator,
                    Language.PiEtaEpsilon.Parser.Type,
                    Language.PiEtaEpsilon.Parser.Value,
                    Language.PiEtaEpsilon.QuasiQuoter,
                    Language.PiEtaEpsilon.Syntax
  hs-source-dirs:   src
  build-depends:    base >= 3 && < 5,
                    ghc-prim >= 0.2 && < 0.3,
                    logict >= 0.5 && < 0.6,
                    mtl >= 2.0 && < 2.3,
                    parsec >= 3.0 && < 3.2,
                    QuickCheck >= 2.4 && < 2.5,
                    template-haskell >= 2.6 && < 2.8,
                    transformers >= 0.2 && < 0.4,
                    unification-fd >= 0.7 && < 0.8,
                    BNFC-meta >= 0.3 && < 0.4,
                    doctest >= 0.6 && < 0.8,
                    test-framework-quickcheck2 >= 0.2 && < 0.3,
                    test-framework-hunit >= 0.2 && < 0.3,
                    test-framework >= 0.6 && < 0.7,
                    checkers >= 0.2 && < 0.4,
                    DebugTraceHelpers >= 0.12 && < 1.0,
                    Shellac-haskeline >= 0.2 && < 0.3,
                    Shellac >= 0.9 && < 0.10,
                    containers >= 0.4 && < 0.5,
                    split >= 0.1 && < 0.2,
                    data-default


test-suite tests
   hs-source-dirs:  src, tests
   type:            exitcode-stdio-1.0
   main-is:         Main.hs
   build-depends:   base >= 3 && < 5,
                    checkers >= 0.2 && < 0.4,
                    DebugTraceHelpers >= 0.12 && < 1.0,
                    HUnit >= 1.2 && < 1.3,
                    test-framework-quickcheck2 >= 0.2 && < 0.3,
                    test-framework-hunit >= 0.2 && < 0.3,
                    test-framework >= 0.6 && < 0.7,
                    ghc-prim >= 0.2 && < 0.3,
                    logict >= 0.5 && < 0.6,
                    mtl >= 2.0 && < 2.3,
                    parsec >= 3.0 && < 3.2,
                    QuickCheck >= 2.4 && < 2.5,
                    template-haskell >= 2.6 && < 2.8,
                    transformers >= 0.2 && < 0.4,
                    unification-fd >= 0.7 && < 0.8,
                    BNFC-meta >= 0.3 && < 0.4,
                    concatenative >= 1.0 && < 1.1,
                    data-default,
                    split >= 0.1 && < 0.2,
                    Shellac-haskeline >= 0.2 && < 0.3,
                    Shellac >= 0.9 && < 0.10,
                    containers >= 0.4 && < 0.5

test-suite doctests
   type:            exitcode-stdio-1.0
   hs-source-dirs:  tests
   main-is:         doctests.hs
   ghc-options:     -threaded
   build-depends:   base >= 3 && < 5,
                    doctest >= 0.6 && < 0.8