analyse finite inhabitants of recursive type declarations

tessera.cabal

@@ -0,0 +1,63 @@
+cabal-version: 2.4
+name: tessera
+version: 0.1.0.0
+synopsis: pattern-match compiler with exhaustiveness checking and counterexample generation
+description:
+  A pattern-match compiler for algebraic data types with usefulness analysis,
+  missing-case witness generation, decision-tree compilation and execution.
+license: BSD-3-Clause
+author: james
+maintainer: james
+category: Compilers
+build-type: Simple
+
+library
+  hs-source-dirs: src
+  exposed-modules:
+    Tessera.Syntax
+    Tessera.Parser
+    Tessera.Env
+    Tessera.Check
+    Tessera.Matrix
+    Tessera.Analyze
+    Tessera.Tree
+    Tessera.Eval
+    Tessera.Serialize
+    Tessera.Graph
+  build-depends:
+    base >=4.12 && <4.13
+    , containers >=0.6 && <0.7
+    , time >=1.8 && <1.10
+  default-language: Haskell2010
+
+executable tessera
+  hs-source-dirs: app
+  main-is: Main.hs
+  build-depends:
+    base
+    , containers
+    , time
+    , directory
+    , tessera
+  default-language: Haskell2010
+
+test-suite spec
+  type: exitcode-stdio-1.0
+  hs-source-dirs: tests
+  main-is: Spec.hs
+  build-depends:
+    base
+    , containers
+    , tessera
+  default-language: Haskell2010
+
+benchmark matrix-bench
+  type: exitcode-stdio-1.0
+  hs-source-dirs: benchmarks
+  main-is: Bench.hs
+  build-depends:
+    base
+    , containers
+    , time
+    , tessera
+  default-language: Haskell2010