cabal-version:       2.2
name:                chad-fast
synopsis:            Fast CHAD
version:             0.1.0.0
license:             BSD-3-Clause
license-file:        LICENSE
author:              Tom Smeding
maintainer:          tom@tomsmeding.com
build-type:          Simple

library
  exposed-modules:
    Array
    AST
    AST.Bindings
    AST.Count
    AST.Env
    AST.Pretty
    AST.Types
    AST.Weaken
    AST.Weaken.Auto
    CHAD
    CHAD.Top
    CHAD.Types
    -- Compile
    Data
    Example
    Example.Format
    ForwardAD
    ForwardAD.DualNumbers
    Interpreter
    -- Interpreter.AccumOld
    Interpreter.Rep
    Language
    Language.AST
    Lemmas
    -- PreludeCu
    Simplify
  other-modules:
  build-depends:
    base >= 4.19 && < 4.21,
    containers,
    deepseq,
    -- template-haskell,
    process,
    transformers,
    vector,
  hs-source-dirs: src
  default-language: Haskell2010
  ghc-options: -Wall

test-suite example
  type: exitcode-stdio-1.0
  main-is: example/Main.hs
  build-depends: base, chad-fast
  default-language: Haskell2010
  ghc-options: -Wall -threaded

test-suite test
  type: exitcode-stdio-1.0
  main-is: test/Main.hs
  build-depends:
    chad-fast,
    base,
    dependent-map,
    hedgehog,
  default-language: Haskell2010
  ghc-options: -Wall -threaded

benchmark bench
  type: exitcode-stdio-1.0
  main-is: bench/Main.hs
  build-depends:
    chad-fast,
    base,
    criterion,
    deepseq,
  default-language: Haskell2010
  ghc-options: -Wall -threaded