cabal-version: 1.12

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

name:           syntax-tree
version:        0.1.0.1
synopsis:       Typed ASTs
description:    Please see the README on GitHub at <https://github.com/lamdu/syntax-tree#readme>
category:       Algorithms, Compilers/Interpreters, Language, Logic, Unification
homepage:       https://github.com/lamdu/syntax-tree#readme
bug-reports:    https://github.com/lamdu/syntax-tree/issues
author:         Yair Chuchem
maintainer:     yairchu@gmail.com
copyright:      2018 Yair Chuchem"
license:        BSD3
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    README.md
    ChangeLog.md

source-repository head
  type: git
  location: https://github.com/lamdu/syntax-tree

library
  exposed-modules:
      AST
      AST.Class.Apply
      AST.Class.Foldable
      AST.Class.Functor
      AST.Class.Has
      AST.Class.HasPlain
      AST.Class.Infer
      AST.Class.Infer.Env
      AST.Class.Infer.Infer1
      AST.Class.Infer.InferOf
      AST.Class.Monad
      AST.Class.Nodes
      AST.Class.Pointed
      AST.Class.Recursive
      AST.Class.Traversable
      AST.Class.Unify
      AST.Class.ZipMatch
      AST.Combinator.ANode
      AST.Combinator.Compose
      AST.Combinator.Flip
      AST.Diff
      AST.Infer
      AST.Infer.Blame
      AST.Infer.ScopeLevel
      AST.Infer.Term
      AST.Knot
      AST.Knot.Ann
      AST.Knot.Ann.Arbitrary
      AST.Knot.Functor
      AST.Knot.Prune
      AST.Knot.Pure
      AST.Recurse
      AST.Term.App
      AST.Term.FuncType
      AST.Term.Lam
      AST.Term.Let
      AST.Term.Map
      AST.Term.NamelessScope
      AST.Term.NamelessScope.InvDeBruijn
      AST.Term.Nominal
      AST.Term.Row
      AST.Term.Scheme
      AST.Term.Scheme.AlphaEq
      AST.Term.TypedLam
      AST.Term.TypeSig
      AST.Term.Var
      AST.TH.Apply
      AST.TH.Foldable
      AST.TH.Functor
      AST.TH.HasPlain
      AST.TH.Nodes
      AST.TH.Pointed
      AST.TH.Traversable
      AST.TH.ZipMatch
      AST.Unify
      AST.Unify.Apply
      AST.Unify.Binding
      AST.Unify.Binding.Save
      AST.Unify.Binding.ST
      AST.Unify.Binding.ST.Load
      AST.Unify.Constraints
      AST.Unify.Error
      AST.Unify.Generalize
      AST.Unify.Lookup
      AST.Unify.New
      AST.Unify.Occurs
      AST.Unify.QuantifiedVar
      AST.Unify.Term
      Data.Functor.Product.PolyKinds
      Data.Functor.Sum.PolyKinds
  other-modules:
      AST.TH.Internal.Instances
      AST.TH.Internal.Utils
  hs-source-dirs:
      src
  default-extensions: ConstraintKinds DataKinds DeriveGeneric DerivingStrategies GADTs LambdaCase MultiParamTypeClasses RankNTypes ScopedTypeVariables StandaloneDeriving TupleSections TypeApplications TypeOperators TypeFamilies NoImplicitPrelude
  ghc-options: -fexpose-all-unfoldings -Wall -Wnoncanonical-monad-instances -Wcompat -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints
  ghc-prof-options: -fexpose-all-unfoldings
  build-depends:
      QuickCheck
    , array
    , base >=4.9 && <5
    , base-compat
    , binary
    , constraints
    , containers
    , deepseq
    , generic-constraints
    , generic-data
    , lattices
    , lens
    , monad-st
    , mtl
    , pretty
    , show-combinators
    , template-haskell
    , th-abstraction >=0.3
    , transformers
  default-language: Haskell2010

test-suite syntax-tree-test
  type: exitcode-stdio-1.0
  main-is: Spec.hs
  other-modules:
      LangA
      LangA.Pure
      LangB
      ReadMeExamples
      TypeLang
      TypeLang.Pure
  hs-source-dirs:
      test
  default-extensions: ConstraintKinds DataKinds DeriveGeneric DerivingStrategies GADTs LambdaCase MultiParamTypeClasses RankNTypes ScopedTypeVariables StandaloneDeriving TupleSections TypeApplications TypeOperators TypeFamilies
  ghc-options: -Wall -Wcompat -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      base >=4.9 && <5
    , constraints
    , containers
    , generic-constraints
    , generic-data
    , lattices
    , lens
    , monad-st
    , mtl
    , pretty
    , syntax-tree
    , text
    , transformers
  default-language: Haskell2010

benchmark syntax-tree-bench
  type: exitcode-stdio-1.0
  main-is: Benchmark.hs
  other-modules:
      LangB
      TypeLang
      TypeLang.Pure
  hs-source-dirs:
      test
  default-extensions: ConstraintKinds DataKinds DeriveGeneric DerivingStrategies GADTs LambdaCase MultiParamTypeClasses RankNTypes ScopedTypeVariables StandaloneDeriving TupleSections TypeApplications TypeOperators TypeFamilies
  ghc-options: -O2 -Wall -Wnoncanonical-monad-instances -Wcompat -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints
  build-depends:
      base >=4.9 && <5
    , constraints
    , containers
    , criterion
    , generic-constraints
    , generic-data
    , lattices
    , lens
    , monad-st
    , mtl
    , pretty
    , syntax-tree
    , transformers
  default-language: Haskell2010