pirouette.cabal

cabal-version: 2.4

-- This file has been generated from package.yaml by hpack version 0.34.7.
--
-- see: https://github.com/sol/hpack

name:           pirouette
version:        2.0.0
license:        MIT
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    LICENSE
    README.md

library
  exposed-modules:
      Language.Pirouette.Example
      Language.Pirouette.Example.IsUnity
      Language.Pirouette.Example.StdLib
      Language.Pirouette.QuasiQuoter
      Language.Pirouette.QuasiQuoter.Internal
      Language.Pirouette.QuasiQuoter.Syntax
      Language.Pirouette.QuasiQuoter.ToTerm
      ListT.Weighted
      ListT.Weighted.Examples
      Pirouette
      Pirouette.Monad
      Pirouette.Monad.Maybe
      Pirouette.Runner
      Pirouette.SMT
      Pirouette.SMT.Base
      Pirouette.SMT.Constraints
      Pirouette.SMT.FromTerm
      Pirouette.SMT.Monadic
      Pirouette.Symbolic.Eval
      Pirouette.Symbolic.Eval.BranchingHelpers
      Pirouette.Symbolic.Eval.SMT
      Pirouette.Symbolic.Eval.Types
      Pirouette.Symbolic.Prover
      Pirouette.Symbolic.Prover.Runner
      Pirouette.Term.Syntax
      Pirouette.Term.Syntax.Base
      Pirouette.Term.Syntax.Pretty
      Pirouette.Term.Syntax.Pretty.Class
      Pirouette.Term.Syntax.Subst
      Pirouette.Term.Syntax.SystemF
      Pirouette.Term.TransitiveDeps
      Pirouette.Term.TypeChecker
      Pirouette.Transformations
      Pirouette.Transformations.Contextualize
      Pirouette.Transformations.Defunctionalization
      Pirouette.Transformations.ElimEvenOddMutRec
      Pirouette.Transformations.EtaExpand
      Pirouette.Transformations.Inline
      Pirouette.Transformations.Monomorphization
      Pirouette.Transformations.Prenex
      Pirouette.Transformations.Tagged
      Pirouette.Transformations.Term
      Pirouette.Transformations.Utils
      Pirouette.Utils
      PureSMT
      PureSMT.Process
      PureSMT.SExpr
      UnionFind
      UnionFind.Action
      UnionFind.Deferring
      UnionFind.Internal
      UnionFind.Monadic
  other-modules:
      Paths_pirouette
  autogen-modules:
      Paths_pirouette
  hs-source-dirs:
      src
  ghc-options: -Wall -Wno-orphans
  build-depends:
      QuickCheck
    , ansi-terminal
    , base >=4.9 && <5
    , bytestring
    , containers
    , data-default
    , deriving-compat
    , extra
    , haskell-stack-trace-plugin
    , interpolate
    , megaparsec
    , mtl >=2.2.2
    , optics-core
    , optics-th
    , parallel
    , parser-combinators
    , prettyprinter
    , raw-strings-qq
    , smtlib-backends ==0.3.*
    , smtlib-backends-z3 ==0.3.*
    , tasty
    , tasty-expected-failure
    , tasty-hunit
    , tasty-quickcheck
    , template-haskell
    , text
    , transformers
    , uniplate
  default-language: Haskell2010

test-suite spec
  type: exitcode-stdio-1.0
  main-is: Spec.hs
  other-modules:
      Language.Pirouette.ExampleSpec
      Pirouette.Symbolic.EvalSpec
      Pirouette.Symbolic.EvalUtils
      Pirouette.Symbolic.ProveSpec
      Pirouette.Symbolic.ProveSpec.Internal
      Pirouette.Symbolic.ProveSpec.NastyLists
      Pirouette.Term.Syntax.BaseSpec
      Pirouette.Term.Syntax.SystemFSpec
      Pirouette.Transformations.DefunctionalizationSpec
      Pirouette.Transformations.EtaExpandSpec
      Pirouette.Transformations.MonomorphizationSpec
      Pirouette.Transformations.PrenexSpec
      Pirouette.Transformations.TermSpec
      PureSMT.SExpr.ParsingSpec
      UnionFind.Dummy
      UnionFind.Spec
      Paths_pirouette
  autogen-modules:
      Paths_pirouette
  hs-source-dirs:
      tests/unit
  ghc-options: -threaded
  build-depends:
      QuickCheck
    , ansi-terminal
    , base >=4.9 && <5
    , bytestring
    , containers
    , data-default
    , deriving-compat
    , extra
    , haskell-stack-trace-plugin
    , interpolate
    , megaparsec
    , mtl >=2.2.2
    , optics-core
    , optics-th
    , parallel
    , parser-combinators
    , pirouette
    , prettyprinter
    , raw-strings-qq
    , smtlib-backends ==0.3.*
    , smtlib-backends-z3 ==0.3.*
    , tasty
    , tasty-expected-failure
    , tasty-hunit
    , tasty-quickcheck
    , template-haskell
    , text
    , transformers
    , uniplate
  default-language: Haskell2010