snarkl.cabal

name:               snarkl

-- The package version.  See the Haskell package versioning policy (PVP) 
-- for standards guiding when and how versions should be incremented.
-- http://www.haskell.org/haskellwiki/Package_versioning_policy
-- PVP summary:      +-+------- breaking API changes
--                   | | +----- non-breaking API additions
--                   | | | +--- code changes with no API change
version:            0.1.0.0
synopsis:           Snarkl: An Embedded DSL for Verifiable Computing
description:        Snarkl: An Embedded DSL for Verifiable Computing
homepage:           https://github.com/gstew5/snarkl
license:            BSD3
license-file:       LICENSE
author:             Gordon Stewart
maintainer:         gstew5@gmail.com
category:           Language
build-type:         Simple
extra-source-files: README.md
cabal-version:      >=1.10

source-repository head
  type:     git
  location: https://github.com/gstew5/snarkl

library
  ghc-options:
    -Wall -Wredundant-constraints -Werror -funbox-strict-fields
    -optc-O3

  -- -threaded
  exposed-modules:
    Control.Monad.Supply
    Control.Monad.Supply.Class
    Data.JSONLines
    Snarkl.AST
    Snarkl.AST.Expr
    Snarkl.AST.LambdaExpr
    Snarkl.AST.SyntaxMonad
    Snarkl.AST.TExpr
    Snarkl.AST.Type
    Snarkl.Backend.R1CS
    Snarkl.Backend.R1CS.Poly
    Snarkl.Backend.R1CS.R1CS
    Snarkl.CLI
    Snarkl.CLI.Common
    Snarkl.Common
    Snarkl.Compile
    Snarkl.Constraint
    Snarkl.Constraint.Constraints
    Snarkl.Constraint.Dataflow
    Snarkl.Constraint.Simplify
    Snarkl.Constraint.SimplMonad
    Snarkl.Constraint.Solve
    Snarkl.Constraint.UnionFind
    Snarkl.Errors
    Snarkl.Field
    Snarkl.Interp
    Snarkl.Language.Matrix
    Snarkl.Language.Prelude
    Snarkl.Language.Vector
    Snarkl.Toplevel

  other-modules:
    Snarkl.CLI.Compile
    Snarkl.CLI.GenWitness
    Snarkl.CLI.RunAll

  default-extensions:
    BangPatterns
    DataKinds
    DeriveDataTypeable
    DeriveGeneric
    FlexibleContexts
    FlexibleInstances
    FunctionalDependencies
    GADTs
    GeneralizedNewtypeDeriving
    KindSignatures
    LambdaCase
    MultiParamTypeClasses
    NamedFieldPuns
    OverloadedStrings
    PatternSynonyms
    PolyKinds
    RankNTypes
    RecordWildCards
    ScopedTypeVariables
    StandaloneDeriving
    TupleSections
    TypeApplications
    TypeFamilies
    TypeSynonymInstances
    UndecidableInstances

  build-depends:
      aeson
    , base                  >=4.7
    , bytestring
    , Cabal                 >=1.22
    , containers            >=0.5   && <0.7
    , directory
    , filepath
    , fin
    , galois-field          >=1.0.4
    , hspec                 >=2.0
    , lens
    , mtl                   >=2.2   && <2.3
    , optparse-applicative
    , parallel              >=3.2   && <3.3
    , process               >=1.2
    , string-conversions
    , wl-pprint-text

  hs-source-dirs:     src
  default-language:   Haskell2010

test-suite spec
  type:               exitcode-stdio-1.0
  main-is:            Spec.hs
  other-modules:
    Snarkl.Example.Basic
    Snarkl.Example.Games
    Snarkl.Example.Keccak
    Snarkl.Example.Lam
    Snarkl.Example.List
    Snarkl.Example.Matrix
    Snarkl.Example.Peano
    Snarkl.Example.Queue
    Snarkl.Example.Stack
    Snarkl.Example.Tree
    Test.ArkworksBridge
    Test.Snarkl.DataflowSpec
    Test.Snarkl.LambdaSpec
    Test.Snarkl.Unit.Programs
    Test.Snarkl.UnitSpec
    Test.UnionFindSpec

  default-extensions:
    DataKinds
    GADTs
    KindSignatures
    RankNTypes
    ScopedTypeVariables

  hs-source-dirs:     tests examples
  default-language:   Haskell2010
  build-depends:
      base          >=4.7
    , bytestring
    , Cabal         >=1.22
    , containers    >=0.5     && <0.6
    , criterion     >=1.0
    , galois-field  >=1.0.4
    , hspec         >=2.0
    , mtl           >=2.2     && <2.3
    , parallel      >=3.2     && <3.3
    , process       >=1.2
    , QuickCheck
    , snarkl        >=0.1.0.0

benchmark criterion
  type:               exitcode-stdio-1.0
  main-is:            Main.hs
  ghc-options:        -threaded -O2
  other-modules:
    Harness
    Snarkl.Example.Basic
    Snarkl.Example.Games
    Snarkl.Example.Keccak
    Snarkl.Example.Lam
    Snarkl.Example.List
    Snarkl.Example.Matrix
    Snarkl.Example.Peano
    Snarkl.Example.Queue
    Snarkl.Example.Stack
    Snarkl.Example.Tree
    Test.ArkworksBridge

  default-extensions:
    BangPatterns
    DataKinds
    FlexibleContexts
    FlexibleInstances
    GADTs
    KindSignatures
    RankNTypes
    ScopedTypeVariables
    TypeFamilies
    TypeSynonymInstances
    UndecidableInstances

  hs-source-dirs:     benchmarks examples tests
  default-language:   Haskell2010
  build-depends:
      base          >=4.7
    , bytestring
    , Cabal         >=1.22
    , containers    >=0.5     && <0.6
    , criterion     >=1.0
    , galois-field  >=1.0.4
    , hspec         >=2.0
    , mtl           >=2.2     && <2.3
    , parallel      >=3.2     && <3.3
    , process       >=1.2
    , snarkl        >=0.1.0.0

executable print-examples
  main-is:            Main.hs
  other-modules:
    Snarkl.Example.Basic
    Snarkl.Example.Games
    Snarkl.Example.Keccak
    Snarkl.Example.Lam
    Snarkl.Example.List
    Snarkl.Example.Matrix
    Snarkl.Example.Peano
    Snarkl.Example.Queue
    Snarkl.Example.Stack
    Snarkl.Example.Tree
    Test.Snarkl.Unit.Programs

  default-extensions:
    DataKinds
    GADTs
    KindSignatures
    RankNTypes
    ScopedTypeVariables

  hs-source-dirs:     print-examples examples tests
  default-language:   Haskell2010
  build-depends:
      base            >=4.7
    , containers
    , galois-field    >=1.0.4
    , hspec           >=2.0
    , snarkl          >=0.1.0.0
    , wl-pprint-text

executable snarkl
  main-is:            Main.hs
  other-modules:
    Snarkl.Example.Basic
    Snarkl.Example.Games
    Snarkl.Example.Keccak
    Snarkl.Example.Lam
    Snarkl.Example.List
    Snarkl.Example.Matrix
    Snarkl.Example.Peano
    Snarkl.Example.Queue
    Snarkl.Example.Stack
    Snarkl.Example.Tree
    Test.Snarkl.Unit.Programs

  default-extensions:
    DataKinds
    GADTs
    KindSignatures
    RankNTypes
    ScopedTypeVariables

  hs-source-dirs:     app examples tests
  default-language:   Haskell2010
  build-depends:
      base          >=4.7
    , bytestring
    , containers
    , galois-field  >=1.0.4
    , hspec         >=2.0
    , snarkl        >=0.1.0.0