keelung.cabal

cabal-version: 1.12

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

name:           keelung
version:        0.26.1
synopsis:       DSL for creating zero-knowledge proofs
description:    Please see the README on GitHub at <https://github.com/btq-ag/keelung#readme>
category:       Cryptography
homepage:       https://github.com/btq-ag/keelung#readme
bug-reports:    https://github.com/btq-ag/keelung/issues
author:         BTQ AG
maintainer:     BTQ AG
copyright:      2022-2023 BTQ AG
license:        Apache-2.0
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    README.md
    ChangeLog.md

source-repository head
  type: git
  location: https://github.com/btq-ag/keelung

library
  exposed-modules:
      Keelung
      Keelung.CircuitFormat
      Keelung.Constraint.R1C
      Keelung.Constraint.R1CS
      Keelung.Data.Bits
      Keelung.Data.FieldInfo
      Keelung.Data.N
      Keelung.Data.Polynomial
      Keelung.Data.Struct
      Keelung.Error
      Keelung.Field
      Keelung.Heap
      Keelung.Monad
      Keelung.Options
      Keelung.Prof
      Keelung.Snarkjs
      Keelung.Syntax
      Keelung.Syntax.Counters
      Keelung.Syntax.Encode
      Keelung.Syntax.Encode.Syntax
  other-modules:
      Paths_keelung
  hs-source-dirs:
      src
  default-extensions:
      ImportQualifiedPost
  ghc-options: -Wall -Werror=incomplete-patterns -fno-warn-orphans
  build-depends:
      QuickCheck
    , aeson
    , array
    , attoparsec
    , base >=4.7 && <5
    , bytestring
    , cereal
    , containers
    , deepseq
    , directory
    , galois-field
    , groups
    , mtl
    , optparse-applicative
    , process
    , random
    , semirings
    , vector
    , wl-pprint-text
  default-language: Haskell2010

test-suite keelung-test
  type: exitcode-stdio-1.0
  main-is: Main.hs
  other-modules:
      Test.Monad
      Test.Snarkjs
      Test.VarLayout
      Keelung
      Keelung.CircuitFormat
      Keelung.Constraint.R1C
      Keelung.Constraint.R1CS
      Keelung.Data.Bits
      Keelung.Data.FieldInfo
      Keelung.Data.N
      Keelung.Data.Polynomial
      Keelung.Data.Struct
      Keelung.Error
      Keelung.Field
      Keelung.Heap
      Keelung.Monad
      Keelung.Options
      Keelung.Prof
      Keelung.Snarkjs
      Keelung.Syntax
      Keelung.Syntax.Counters
      Keelung.Syntax.Encode
      Keelung.Syntax.Encode.Syntax
      Paths_keelung
  hs-source-dirs:
      test/
      src/
  default-extensions:
      ImportQualifiedPost
  ghc-options: -Wall -Werror=incomplete-patterns -fno-warn-orphans -Wall -Werror=incomplete-patterns -fno-warn-orphans
  build-depends:
      HUnit
    , QuickCheck
    , aeson
    , array
    , attoparsec
    , base >=4.7 && <5
    , bytestring
    , cereal
    , containers
    , deepseq
    , directory
    , galois-field
    , groups
    , hspec
    , hspec-expectations-lifted
    , keelung
    , mtl
    , optparse-applicative
    , process
    , quickcheck-transformer
    , random
    , semirings
    , vector
    , wl-pprint-text
  default-language: Haskell2010