ttie.cabal

name: ttie
version: 0.1.0
cabal-version: >=1.8
build-type: Simple
license: BSD3
description: 

library
  ghc-options: -Wall
  build-depends:
    base >= 4.7,
    parsec >= 3,
    transformers,
    mtl >= 2.2,
    template-haskell >= 2.8,
    containers >= 0.5
  exposed-modules:
    Util.MyPrelude
    Util.Parser
    Util.PrettyM
    Util.WLPPrint
    Util.Tagged.Map
    Util.Tagged.Seq
    Util.Tagged.Var
    Names
    Substitution
    Tokenizer
    Syntax
    TcMonad
    EqZipper
    Eval
    Typing
  other-modules:
    Util.Tagged.Internal
  hs-source-dirs: src

executable ttie
  main-is: src/Main.hs
  build-depends:
    ttie,
    optparse-applicative,
    base >= 4.7,
    transformers,
    mtl >= 2.2,
    containers >= 0.5,
    lens-simple >= 0.1,
    filepath >= 1.4,
    directory >= 1.2

test-suite tests
  type: exitcode-stdio-1.0
  main-is: src/Tests.hs
  build-depends:
    ttie,
    tasty,
    base >= 4.7,
    parsec >= 3,
    transformers,
    mtl >= 2.2,
    containers >= 0.5