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