pact-tng.cabal

cabal-version:       3.8
name:                pact-tng
version:             5.0
-- ^ 4 digit is prerelease, 3- or 2-digit for prod release
synopsis:            Smart contract language library and REPL
description:
            Pact is a transactional, database-focused, Turing-incomplete, interpreted language for smart contracts,
            logic to be deployed and executed on a blockchain/distributed ledger. For more information see
            <http://kadena.io/pact>.
homepage:            https://github.com/kadena-io/pact-5
bug-reports:         https://github.com/kadena-io/pact-5/issues
license:             BSD-3-Clause
license-file:        LICENSE
author:              Jose Cardona
maintainer:          jose@kadena.io
copyright:           Copyright (C) 2022 Kadena
category:            Language
build-type:          Simple

extra-source-files:
    cbits/musl/libm.h
    cbits/musl/endian.h
    cbits/musl/exp_data.h
    cbits/musl/log_data.h
    cbits/musl/pow_data.h
    cbits/musl/sqrt_data.h
    docs/builtins/**/*.md

flag with-crypto
  description: Enable crypto primitives
  manual: True
  default: True

flag with-funcall-tracing
  description: Enable Tracing on user function calls
  manual: True
  default: True

flag with-native-tracing
  description: Enable Tracing on pact primitives
  manual: True
  default: True

library unsafe
  visibility: public
  hs-source-dirs: unsafe/src
  default-language: Haskell2010
  exposed-modules:
    Data.Foldable.Unsafe
    Data.List.Unsafe
  build-depends:
    , base >= 4.5 && < 5

common pact-common
  build-depends:
    , Decimal
    , attoparsec
    , base
    , base16-bytestring
    , base64-bytestring
    , bytestring
    , cereal
    , containers
    , data-default
    , deepseq
    , direct-sqlite
    , directory
    , exceptions
    , filepath
    , hashable
    , lens
    , mtl
    , pact-json
    , pact-time >= 0.3
    , parsers
    , prettyprinter
    , transformers
    , text
    , vector
    , vector-algorithms
    , megaparsec
    , cryptonite
    , memory
    , safe-exceptions
    , ralist >= 0.4.0.0
    , haskeline
    , semirings
    , utf8-string
    , exceptions
    , array
    , scientific
    , serialise
    , cborg
    , clock
    , unordered-containers
    , deriving-compat
    , ghc-bignum
    , primitive
    -- Legacy pact decoding
    , bound
    , aeson
    , trifecta
    , hashable
    -- hyperlane deps
    , binary
    , wide-word
    , ethereum
    , template-haskell
    , pact-tng:unsafe

  ghc-options: -Wall -Werror -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints
  ghc-prof-options: -fprof-auto -fprof-auto-calls
  default-language: Haskell2010
  default-extensions:
    OverloadedStrings
    DeriveGeneric
    DerivingStrategies
    ViewPatterns
    LambdaCase
    TupleSections
    BangPatterns
    ScopedTypeVariables
    FlexibleContexts
    FlexibleInstances
    NumericUnderscores
    TypeOperators

-- internal crypto lirbary
library pact-crypto
  default-language: Haskell2010
  hs-source-dirs: crypto
  build-depends:
      poly
    , mod
    , primitive
    , groups
    , base
    , semirings
    , deepseq
    , vector

  exposed-modules:
    Pact.Core.Crypto.Hash.Poseidon
    Pact.Core.Crypto.Pairing
    Pact.Core.Crypto.Pairing.Fields
  if !(flag(with-crypto))
    buildable: False

library pact-request-api
  import: pact-common
  visibility: public
  hs-source-dirs: pact-request-api
  build-depends:
      asn1-encoding
    , asn1-types
    , cereal
    , pact-tng
    , pact-tng:pact-crypto
    , yaml
  exposed-modules:
    Pact.Core.Command.Types
    Pact.Core.Command.Client
    Pact.Core.Command.Crypto
    Pact.Core.Command.RPC
    Pact.Core.Command.Util
    Pact.Core.Command.SigData
    Pact.Core.Crypto.WebAuthn.Cose.PublicKey
    Pact.Core.Crypto.WebAuthn.Cose.PublicKeyWithSignAlg
    Pact.Core.Crypto.WebAuthn.Cose.Registry
    Pact.Core.Crypto.WebAuthn.Cose.SignAlg
    Pact.Core.Crypto.WebAuthn.Cose.Verify

library
  import: pact-common
  hs-source-dirs: pact

  if (flag(with-funcall-tracing))
    cpp-options: -DWITH_FUNCALL_TRACING

  if (flag(with-native-tracing))
    cpp-options: -DWITH_NATIVE_TRACING

  if (flag(with-native-tracing) || flag(with-funcall-tracing))
    cpp-options: -DWITH_TRACING

  if (flag(with-crypto))
    build-depends: pact-tng:pact-crypto
  else
    cpp-options: -DWITHOUT_CRYPTO

  build-tool-depends:
    , alex:alex
    , happy:happy

  c-sources:
    cbits/musl/__math_invalid.c
    cbits/musl/__math_divzero.c
    cbits/musl/__math_oflow.c
    cbits/musl/__math_uflow.c
    cbits/musl/__math_xflow.c
    cbits/musl/exp.c
    cbits/musl/exp_data.c
    cbits/musl/log.c
    cbits/musl/log_data.c
    cbits/musl/pow.c
    cbits/musl/pow_data.c
    cbits/musl/sqrt.c
    cbits/musl/sqrt_data.c

  other-modules:
    -- TODO: Uncomment once this is finally fixed
    -- and stops crapping out both LSP and our CI:
    -- PackageInfo_pact_tng
    Paths_pact_tng

  exposed-modules:
    Pact.Core.Compile
    Pact.Core.Builtin
    Pact.Core.Names
    Pact.Core.Literal
    Pact.Core.Guards
    Pact.Core.Imports
    Pact.Core.DefPacts.Types
    Pact.Core.Hash
    Pact.Core.Type
    Pact.Core.Pretty
    Pact.Core.Gas
    Pact.Core.Gas.Types
    Pact.Core.Gas.TableGasModel
    Pact.Core.Gas.Utils
    Pact.Core.Info
    Pact.Core.Errors
    Pact.Core.Persistence
    Pact.Core.Persistence.Types
    Pact.Core.Persistence.Utils
    Pact.Core.Persistence.SQLite
    Pact.Core.Persistence.MockPersistence
    Pact.Core.PactValue
    Pact.Core.Debug
    Pact.Core.Capabilities
    Pact.Core.ModRefs
    Pact.Core.ChainData
    Pact.Core.Environment
    Pact.Core.Environment.Utils
    Pact.Core.Environment.Types
    Pact.Core.StableEncoding
    Pact.Core.Principal
    Pact.Core.Namespace
    Pact.Core.RuntimeParsers
    Pact.Core.Evaluate
    Pact.Core.Scheme
    Pact.Core.SPV
    Pact.Core.Repl
    Pact.Core.SizeOf
    Pact.Core.StackFrame
    Pact.Core.Legacy.LegacyCodec
    Pact.Core.Verifiers
    Pact.Core.Interpreter
    Pact.Core.DeriveConTag
    Pact.Core.Signer

     -- Syntax modules
    Pact.Core.Syntax.ParseTree
    Pact.Core.Syntax.Lexer
    Pact.Core.Syntax.LexUtils
    Pact.Core.Syntax.Parser

    -- Core IR modules
    Pact.Core.IR.Term
    Pact.Core.IR.Desugar

    Pact.Core.IR.Eval.Direct.Evaluator
    Pact.Core.IR.Eval.Direct.CoreBuiltin
    Pact.Core.IR.Eval.Direct.ReplBuiltin
    Pact.Core.IR.Eval.Direct.Types

    -- Core IR Evaluator modules
    Pact.Core.IR.Eval.Runtime
    Pact.Core.IR.Eval.Runtime.Types
    Pact.Core.IR.Eval.Runtime.Utils
    Pact.Core.IR.Eval.CEK.Evaluator
    Pact.Core.IR.Eval.CEK.Types
    Pact.Core.IR.Eval.CEK.Utils
    Pact.Core.IR.Eval.CEK.CoreBuiltin
    Pact.Core.IR.ModuleHashing
    Pact.Core.IR.ConstEval

    Pact.Core.Trans.TOps
    Pact.Core.Version

    -- Repl
    Pact.Core.Repl.Utils
    Pact.Core.Repl.Runtime.ReplBuiltin
    Pact.Core.Repl.Compile
    Pact.Core.Repl.BuiltinDocs
    Pact.Core.Repl.BuiltinDocs.Internal
    Pact.Core.Repl.UserDocs

    -- Serialization
    Pact.Core.Serialise
    Pact.Core.Serialise.LegacyPact
    Pact.Core.Serialise.LegacyPact.Types
    Pact.Core.Serialise.CBOR_V1

    -- WebAuthn
    Pact.Crypto.WebAuthn.Cose.PublicKey
    Pact.Crypto.WebAuthn.Cose.PublicKeyWithSignAlg
    Pact.Crypto.WebAuthn.Cose.Registry
    Pact.Crypto.WebAuthn.Cose.SignAlg

    -- Hyperlane
    Pact.Crypto.Hyperlane

library pact-lsp
  import: pact-common
  hs-source-dirs: pact-lsp

  exposed-modules:
    Pact.Core.LanguageServer
    Pact.Core.LanguageServer.Utils
    Pact.Core.LanguageServer.Renaming

  build-depends:
    , pact-tng
    , lsp
    , lsp-types
    , filepath

executable gasmodel
  import: pact-common
  hs-source-dirs: gasmodel

  main-is: Main.hs

  build-depends:
    , pact-tng
    , criterion
    , terminal-progress-bar
    , neat-interpolation
    , hedgehog
    , pact-tng:test-utils

  other-modules:
    Pact.Core.GasModel.BuiltinsGas
    Pact.Core.GasModel.ContractBench
    Pact.Core.GasModel.Serialization
    Pact.Core.GasModel.Utils

  ghc-options:         -Wall -threaded -rtsopts -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints
  ghc-prof-options:    -fprof-auto -fprof-auto-calls
  default-language:    Haskell2010

executable profile-tx
  import: pact-common
  hs-source-dirs: profile-tx

  main-is: ProfileTx.hs

  build-depends:
    , pact-tng
    , criterion
    , terminal-progress-bar
    , neat-interpolation

  ghc-options:         -Wall -threaded -rtsopts -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints
  ghc-prof-options:    -fprof-auto -fprof-auto-calls
  default-language:    Haskell2010

executable pact
  import: pact-common
  main-is: repl/Main.hs

  build-depends: base
               , pact-tng
               , pact-tng:pact-lsp
               , optparse-applicative
               , pact-tng:pact-request-api

  ghc-options:         -Wall -threaded -rtsopts -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints
  ghc-prof-options:    -fprof-auto -fprof-auto-calls
  default-language:    Haskell2010

  -- beware of the autogen modules. Remember to `cabal clean`!
  other-modules:
    -- TODO: Uncomment once this is finally fixed
    -- and stops crapping out both LSP and our CI,
    -- PackageInfo_pact_tng
    Paths_pact_tng

benchmark bench
  type: exitcode-stdio-1.0
  main-is: Bench.hs
  build-depends:
      base
    , containers
    , criterion
    , data-default
    , Decimal
    , filepath
    , mtl
    , pact-tng
    , text
    , deepseq
    , pact-time >= 0.3
  ghc-options: -Wall -threaded -rtsopts "-with-rtsopts=-N"
  hs-source-dirs: bench
  default-language: Haskell2010

library test-utils
  visibility: public
  hs-source-dirs: test-utils
  default-language: Haskell2010
  ghc-options:      -Wall -threaded -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints

  default-extensions:
    OverloadedStrings
    ViewPatterns
    LambdaCase
    TupleSections
    BangPatterns
    ScopedTypeVariables
    FlexibleContexts
    FlexibleInstances

  build-depends:
    , aeson
    , attoparsec
    , base
    , bound
    , bytestring
    , containers
    , data-default
    , Decimal
    , QuickCheck
    , deepseq
    , directory
    , exceptions
    , hedgehog
    , base16-bytestring
    , filepath
    , lens
    , mtl
    , text
    , transformers
    , pact-json
    , pact-tng
    , prettyprinter
    , vector
    , tasty
    , tasty-hunit
    , tasty-hedgehog
    , tasty-golden
    , serialise
    , cborg
    , groups
    , semirings
    , neat-interpolation
    , pact-tng:pact-request-api
    , pact-tng:pact-lsp
    , pact-tng:unsafe
    , lsp-test >= 0.17
    , lsp-types
    , pact-time

  exposed-modules:
    , Pact.Core.Gen
    , Pact.Core.PactDbRegression

test-suite core-tests
  main-is:          PactCoreTests.hs
  type:             exitcode-stdio-1.0
  hs-source-dirs:   pact-tests
  default-language: Haskell2010
  ghc-options:      -Wall -threaded -rtsopts -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints

  default-extensions:
    OverloadedStrings
    ViewPatterns
    LambdaCase
    TupleSections
    BangPatterns
    ScopedTypeVariables
    FlexibleContexts
    FlexibleInstances

  build-depends:
    , aeson
    , attoparsec
    , base
    , bound
    , bytestring
    , containers
    , data-default
    , Decimal
    , QuickCheck
    , deepseq
    , directory
    , exceptions
    , hedgehog
    , base16-bytestring
    , filepath
    , lens
    , mtl
    , text
    , transformers
    , pact-json
    , pact-tng
    , prettyprinter
    , vector
    , megaparsec
    , tasty
    , tasty-hunit
    , tasty-hedgehog
    , tasty-golden
    , serialise
    , cborg
    , groups
    , semirings
    , neat-interpolation
    , pact-tng:pact-request-api
    , pact-tng:pact-lsp
    , pact-tng:test-utils
    , pact-tng:unsafe
    , lsp-test >= 0.17
    , lsp-types
    , safe-exceptions
    , http-conduit
    , direct-sqlite
  other-modules:
    , Pact.Core.Test.CommandTests
    , Pact.Core.Test.ReplTests
    , Pact.Core.Test.LexerParserTests
    , Pact.Core.Test.LexerTests
    , Pact.Core.Test.PersistenceTests
    , Pact.Core.Test.SerialiseTests
    , Pact.Core.Test.LegacySerialiseTests
    , Pact.Core.Test.SizeOfTests
    , Pact.Core.Test.StaticErrorTests
    , Pact.Core.Test.ZkTests
    , Pact.Core.Test.PoseidonTests
    , Pact.Core.Test.LanguageServer
    , Pact.Core.Test.GasGolden
    , Pact.Core.Test.PrincipalTests
    , Pact.Core.Test.ConTagGolden
    , Pact.Core.Test.DocsTests
    , Pact.Core.Test.JSONRoundtripTests
    , Pact.Core.Test.LegacyDBRegression
    , Paths_pact_tng
    , Pact.Core.Test.SignatureSchemeTests
  if (flag(with-crypto))
    build-depends: pact-tng:pact-crypto


-- -- tools
-- executable pact-server
--   import: pact-common
--   hs-source-dirs: pact-server

--   main-is: Pact/Server.hs

--   build-depends:
--     , pact-tng
--     , async
--     , fast-logger
--     , filepath
--     , servant
--     , servant-server
--   ghc-options:         -Wall -threaded -rtsopts -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints
--   ghc-prof-options:    -fprof-auto -fprof-auto-calls
--   default-language:    Haskell2010