cleveland-0.1.0: cleveland.cabal

cabal-version: 2.0

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

name:           cleveland
version:        0.1.0
synopsis:       Testing framework for Morley.
description:    This package provides an eDSL for testing contracts written in Michelson, Morley or Lorentz. These tests can be run on an emulated environment or on a real network.
category:       Blockchain
homepage:       https://gitlab.com/morley-framework/morley
bug-reports:    https://gitlab.com/morley-framework/morley/-/issues
author:         Serokell, Tocqueville Group
maintainer:     Serokell <hi@serokell.io>
copyright:      2020 Tocqueville Group
license:        MIT
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    test/fixtures/addrValue.txt
    test/fixtures/addrValue.txt.license
    test/fixtures/intValue.txt
    test/fixtures/intValue.txt.license
extra-doc-files:
    README.md
    CHANGES.md

source-repository head
  type: git
  location: git@gitlab.com:morley-framework/morley.git

library
  exposed-modules:
      Hedgehog.Gen.Michelson
      Hedgehog.Gen.Michelson.Typed
      Hedgehog.Gen.Michelson.Untyped
      Hedgehog.Gen.Morley.Micheline
      Hedgehog.Gen.Tezos.Address
      Hedgehog.Gen.Tezos.Core
      Hedgehog.Gen.Tezos.Crypto
      Hedgehog.Gen.Tezos.Crypto.BLS12381
      Hedgehog.Gen.Tezos.Crypto.Ed25519
      Hedgehog.Gen.Tezos.Crypto.P256
      Hedgehog.Gen.Tezos.Crypto.Secp256k1
      Hedgehog.Gen.Tezos.Crypto.Timelock
      Test.Cleveland
      Test.Cleveland.Doc
      Test.Cleveland.Doc.Common
      Test.Cleveland.Doc.Lorentz
      Test.Cleveland.Doc.Michelson
      Test.Cleveland.Ingredients
      Test.Cleveland.Instances
      Test.Cleveland.Internal.Abstract
      Test.Cleveland.Internal.Actions
      Test.Cleveland.Internal.Client
      Test.Cleveland.Internal.Exceptions
      Test.Cleveland.Internal.Hedgehog
      Test.Cleveland.Internal.Pure
      Test.Cleveland.Internal.Scenario
      Test.Cleveland.Lorentz
      Test.Cleveland.Lorentz.Consumer
      Test.Cleveland.Lorentz.Entrypoints
      Test.Cleveland.Lorentz.Import
      Test.Cleveland.Lorentz.Internal.Entrypoints
      Test.Cleveland.Lorentz.Requester
      Test.Cleveland.Lorentz.Ticketer
      Test.Cleveland.Lorentz.Types
      Test.Cleveland.Michelson
      Test.Cleveland.Michelson.Dummy
      Test.Cleveland.Michelson.Entrypoints
      Test.Cleveland.Michelson.Import
      Test.Cleveland.Michelson.Internal.Entrypoints
      Test.Cleveland.Michelson.Unit
      Test.Cleveland.Tasty
      Test.Cleveland.Tasty.Internal
      Test.Cleveland.Tasty.Internal.Options
      Test.Cleveland.Tasty.Internal.Report
      Test.Cleveland.Util
  other-modules:
      Paths_cleveland
  autogen-modules:
      Paths_cleveland
  hs-source-dirs:
      src
  default-extensions:
      AllowAmbiguousTypes
      ApplicativeDo
      BangPatterns
      BlockArguments
      ConstraintKinds
      DataKinds
      DefaultSignatures
      DeriveAnyClass
      DeriveDataTypeable
      DeriveFoldable
      DeriveFunctor
      DeriveGeneric
      DeriveTraversable
      DerivingStrategies
      DerivingVia
      EmptyCase
      FlexibleContexts
      FlexibleInstances
      GADTs
      GeneralizedNewtypeDeriving
      LambdaCase
      MultiParamTypeClasses
      MultiWayIf
      NamedFieldPuns
      NegativeLiterals
      NumericUnderscores
      NumDecimals
      OverloadedLabels
      OverloadedStrings
      PatternSynonyms
      PolyKinds
      QuasiQuotes
      QuantifiedConstraints
      RankNTypes
      RecordWildCards
      RecursiveDo
      ScopedTypeVariables
      StandaloneDeriving
      StrictData
      TemplateHaskell
      TupleSections
      TypeApplications
      TypeFamilies
      TypeOperators
      UndecidableInstances
      UndecidableSuperClasses
      ViewPatterns
  ghc-options: -Weverything -Wno-missing-exported-signatures -Wno-missing-import-lists -Wno-missed-specialisations -Wno-all-missed-specialisations -Wno-unsafe -Wno-safe -Wno-missing-local-signatures -Wno-monomorphism-restriction -Wno-implicit-prelude -Wno-prepositive-qualified-module -Wno-missing-safe-haskell-mode -Wno-unused-packages
  build-depends:
      HUnit
    , MonadRandom
    , aeson
    , base-noprelude >=4.7 && <5
    , constraints >=0.11
    , containers
    , criterion
    , cryptonite
    , data-default
    , directory
    , either
    , exceptions
    , file-embed
    , fmt
    , hedgehog >=1.0.3
    , hex-text
    , hspec
    , hspec-expectations
    , lens
    , lorentz
    , morley
    , morley-client
    , morley-prelude
    , mtl
    , named
    , o-clock
    , optparse-applicative
    , safe-exceptions
    , servant-client-core
    , singletons
    , statistics
    , tagged
    , tasty >=1.4
    , tasty-ant-xml
    , tasty-hedgehog
    , tasty-hunit-compat
    , template-haskell
    , text
    , time
    , with-utf8
  default-language: Haskell2010

test-suite cleveland-test
  type: exitcode-stdio-1.0
  main-is: Main.hs
  other-modules:
      TestSuite.Cleveland.AddressRevealing
      TestSuite.Cleveland.Assertions
      TestSuite.Cleveland.BalanceCheck
      TestSuite.Cleveland.BatchOperation
      TestSuite.Cleveland.BatchTransferCheck
      TestSuite.Cleveland.BlockIntervalGetter
      TestSuite.Cleveland.BytesSigning
      TestSuite.Cleveland.CallStack
      TestSuite.Cleveland.ChainIdGet
      TestSuite.Cleveland.ContractAllocation
      TestSuite.Cleveland.DFS
      TestSuite.Cleveland.Emulated
      TestSuite.Cleveland.Entrypoints
      TestSuite.Cleveland.ExpectFailure
      TestSuite.Cleveland.FailureLogs
      TestSuite.Cleveland.Import
      TestSuite.Cleveland.InitialState
      TestSuite.Cleveland.Level
      TestSuite.Cleveland.Lorentz.Contracts.ContractAllocator
      TestSuite.Cleveland.Lorentz.Entrypoints
      TestSuite.Cleveland.NewAddressCheck
      TestSuite.Cleveland.OperationReplay
      TestSuite.Cleveland.PrefixNetworkScenario
      TestSuite.Cleveland.PrettyFailWith
      TestSuite.Cleveland.PublicKeyToAddress
      TestSuite.Cleveland.RefillableAddress
      TestSuite.Cleveland.StorageCheck
      TestSuite.Cleveland.StorageWithBigMaps
      TestSuite.Cleveland.Tasty
      TestSuite.Cleveland.Tasty.Report
      TestSuite.Cleveland.Tasty.Report.Examples
      TestSuite.Cleveland.Time
      TestSuite.Cleveland.TransferCheck
      TestSuite.Cleveland.UsedFramework
      TestSuite.Cleveland.Util
      TestSuite.Cleveland.VotingPower
      TestSuite.Cleveland.WithMoneybag
      TestSuite.Cleveland.WithSender
      TestSuite.Util
      Tree
      Test.Util.Contracts
      Paths_cleveland
  hs-source-dirs:
      test
      test-common
  default-extensions:
      AllowAmbiguousTypes
      ApplicativeDo
      BangPatterns
      BlockArguments
      ConstraintKinds
      DataKinds
      DefaultSignatures
      DeriveAnyClass
      DeriveDataTypeable
      DeriveFoldable
      DeriveFunctor
      DeriveGeneric
      DeriveTraversable
      DerivingStrategies
      DerivingVia
      EmptyCase
      FlexibleContexts
      FlexibleInstances
      GADTs
      GeneralizedNewtypeDeriving
      LambdaCase
      MultiParamTypeClasses
      MultiWayIf
      NamedFieldPuns
      NegativeLiterals
      NumericUnderscores
      NumDecimals
      OverloadedLabels
      OverloadedStrings
      PatternSynonyms
      PolyKinds
      QuasiQuotes
      QuantifiedConstraints
      RankNTypes
      RecordWildCards
      RecursiveDo
      ScopedTypeVariables
      StandaloneDeriving
      StrictData
      TemplateHaskell
      TupleSections
      TypeApplications
      TypeFamilies
      TypeOperators
      UndecidableInstances
      UndecidableSuperClasses
      ViewPatterns
  ghc-options: -Weverything -Wno-missing-exported-signatures -Wno-missing-import-lists -Wno-missed-specialisations -Wno-all-missed-specialisations -Wno-unsafe -Wno-safe -Wno-missing-local-signatures -Wno-monomorphism-restriction -Wno-implicit-prelude -Wno-prepositive-qualified-module -Wno-missing-safe-haskell-mode -Wno-unused-packages -threaded -eventlog -rtsopts "-with-rtsopts=-N -A64m -AL256m"
  build-tool-depends:
      tasty-discover:tasty-discover
  build-depends:
      base-noprelude >=4.7 && <5
    , cleveland
    , directory
    , either
    , filepath
    , fmt
    , hedgehog >=1.0.3
    , hspec-expectations
    , lens
    , lorentz
    , morley
    , morley-client
    , morley-prelude
    , named
    , o-clock
    , servant-client
    , tasty
    , tasty-hedgehog
    , tasty-hunit-compat
    , text
    , time
  default-language: Haskell2010

test-suite lorentz-test
  type: exitcode-stdio-1.0
  main-is: Main.hs
  other-modules:
      Test.Doc
      Test.DocTest
      Test.Lorentz.Base
      Test.Lorentz.BLS12381
      Test.Lorentz.Case
      Test.Lorentz.Conditionals
      Test.Lorentz.ContractRegistry
      Test.Lorentz.CustomArith
      Test.Lorentz.CustomValue
      Test.Lorentz.DeadCode
      Test.Lorentz.Doc.Positions
      Test.Lorentz.Entrypoints
      Test.Lorentz.Entrypoints.Doc
      Test.Lorentz.Errors
      Test.Lorentz.Errors.Numeric
      Test.Lorentz.Expr
      Test.Lorentz.Extensible
      Test.Lorentz.Interpreter
      Test.Lorentz.Macro
      Test.Lorentz.MorleyLogs
      Test.Lorentz.Optimizer
      Test.Lorentz.Pack
      Test.Lorentz.Print
      Test.Lorentz.ReferencedByName
      Test.Lorentz.Storage
      Test.Lorentz.StoreClass.ComplexRefs
      Test.Lorentz.StoreClass.SetSubmap
      Test.Lorentz.StoreClass.StorageEntrypoints
      Test.Lorentz.StoreClass.SubmapZoom
      Test.Lorentz.Tickets
      Test.Lorentz.Tickets.Contracts
      Test.Lorentz.Tickets.Helpers
      Test.Lorentz.Timelock
      Test.Lorentz.UParam
      Test.Lorentz.Views
      Test.Lorentz.ViewsImport
      Test.Tasty.TypeSpec
      Test.Util.Annotation
      Test.Util.TypeSpec
      Tree
      Test.Util.Contracts
      Paths_cleveland
  hs-source-dirs:
      lorentz-test
      test-common
  default-extensions:
      AllowAmbiguousTypes
      ApplicativeDo
      BangPatterns
      BlockArguments
      ConstraintKinds
      DataKinds
      DefaultSignatures
      DeriveAnyClass
      DeriveDataTypeable
      DeriveFoldable
      DeriveFunctor
      DeriveGeneric
      DeriveTraversable
      DerivingStrategies
      DerivingVia
      EmptyCase
      FlexibleContexts
      FlexibleInstances
      GADTs
      GeneralizedNewtypeDeriving
      LambdaCase
      MultiParamTypeClasses
      MultiWayIf
      NamedFieldPuns
      NegativeLiterals
      NumericUnderscores
      NumDecimals
      OverloadedLabels
      OverloadedStrings
      PatternSynonyms
      PolyKinds
      QuasiQuotes
      QuantifiedConstraints
      RankNTypes
      RecordWildCards
      RecursiveDo
      ScopedTypeVariables
      StandaloneDeriving
      StrictData
      TemplateHaskell
      TupleSections
      TypeApplications
      TypeFamilies
      TypeOperators
      UndecidableInstances
      UndecidableSuperClasses
      ViewPatterns
  ghc-options: -Weverything -Wno-missing-exported-signatures -Wno-missing-import-lists -Wno-missed-specialisations -Wno-all-missed-specialisations -Wno-unsafe -Wno-safe -Wno-missing-local-signatures -Wno-monomorphism-restriction -Wno-implicit-prelude -Wno-prepositive-qualified-module -Wno-missing-safe-haskell-mode -Wno-unused-packages -threaded -eventlog -rtsopts "-with-rtsopts=-N -A64m -AL256m"
  build-tool-depends:
      tasty-discover:tasty-discover
  build-depends:
      HUnit
    , base-noprelude >=4.7 && <5
    , bimap
    , bytestring
    , cleveland
    , constraints
    , containers
    , directory
    , filepath
    , first-class-families
    , fmt
    , hedgehog >=1.0.3
    , lens
    , lorentz
    , morley
    , morley-prelude
    , singletons
    , spoon
    , tasty
    , tasty-hedgehog
    , tasty-hunit-compat
    , text
    , type-spec
    , unordered-containers
  default-language: Haskell2010

test-suite morley-client-test
  type: exitcode-stdio-1.0
  main-is: Main.hs
  other-modules:
      Test.Fee
      Tree
      Test.Util.Contracts
      Paths_cleveland
  hs-source-dirs:
      morley-client-test
      test-common
  default-extensions:
      AllowAmbiguousTypes
      ApplicativeDo
      BangPatterns
      BlockArguments
      ConstraintKinds
      DataKinds
      DefaultSignatures
      DeriveAnyClass
      DeriveDataTypeable
      DeriveFoldable
      DeriveFunctor
      DeriveGeneric
      DeriveTraversable
      DerivingStrategies
      DerivingVia
      EmptyCase
      FlexibleContexts
      FlexibleInstances
      GADTs
      GeneralizedNewtypeDeriving
      LambdaCase
      MultiParamTypeClasses
      MultiWayIf
      NamedFieldPuns
      NegativeLiterals
      NumericUnderscores
      NumDecimals
      OverloadedLabels
      OverloadedStrings
      PatternSynonyms
      PolyKinds
      QuasiQuotes
      QuantifiedConstraints
      RankNTypes
      RecordWildCards
      RecursiveDo
      ScopedTypeVariables
      StandaloneDeriving
      StrictData
      TemplateHaskell
      TupleSections
      TypeApplications
      TypeFamilies
      TypeOperators
      UndecidableInstances
      UndecidableSuperClasses
      ViewPatterns
  ghc-options: -Weverything -Wno-missing-exported-signatures -Wno-missing-import-lists -Wno-missed-specialisations -Wno-all-missed-specialisations -Wno-unsafe -Wno-safe -Wno-missing-local-signatures -Wno-monomorphism-restriction -Wno-implicit-prelude -Wno-prepositive-qualified-module -Wno-missing-safe-haskell-mode -Wno-unused-packages -threaded -eventlog -rtsopts "-with-rtsopts=-N -A64m -AL256m"
  build-tool-depends:
      tasty-discover:tasty-discover
  build-depends:
      base-noprelude >=4.7 && <5
    , cleveland
    , directory
    , filepath
    , morley
    , morley-client
    , morley-prelude
    , tasty
    , tasty-hunit-compat
  default-language: Haskell2010

test-suite morley-test
  type: exitcode-stdio-1.0
  main-is: Main.hs
  other-modules:
      Test.Analyzer
      Test.Doc.Position
      Test.Entrypoints
      Test.Ext
      Test.Import
      Test.Integrational
      Test.Interpreter
      Test.Interpreter.Annotations
      Test.Interpreter.Apply
      Test.Interpreter.Auction
      Test.Interpreter.Balance
      Test.Interpreter.CallSelf
      Test.Interpreter.CallSelfAddress
      Test.Interpreter.ComparableSet
      Test.Interpreter.Compare
      Test.Interpreter.ComparePairs
      Test.Interpreter.Conditionals
      Test.Interpreter.ContractOp
      Test.Interpreter.CreateAndReverseOps
      Test.Interpreter.CreateAndTransfer
      Test.Interpreter.EnvironmentSpec
      Test.Interpreter.Print
      Test.Interpreter.Reference
      Test.Interpreter.SetDelegate
      Test.Interpreter.StackRef
      Test.Interpreter.StringCaller
      Test.Interpreter.TransferAndCreate
      Test.Interpreter.Views
      Test.Macro
      Test.Michelson.Parser.Value
      Test.Michelson.Runtime
      Test.Michelson.Text
      Test.Michelson.Typed.AnnotatedValue
      Test.Michelson.Typed.Convert
      Test.Michelson.Typed.Util
      Test.Michelson.Typed.Value
      Test.Morley.Expression
      Test.OpSize
      Test.Optimizer
      Test.Parser
      Test.Preprocess
      Test.Printer.Michelson
      Test.Serialization.Aeson
      Test.Serialization.Typed.Michelson
      Test.Serialization.Untyped.Michelson
      Test.Serialization.Util
      Test.Tezos.Address
      Test.Tezos.Core
      Test.Tezos.Crypto
      Test.Tezos.Crypto.BLS12381
      Test.Tezos.Crypto.Hash
      Test.Tezos.Crypto.Timelock
      Test.Typeable
      Test.Typecheck
      Test.Typecheck.Annotation
      Test.Untyped.Instr
      Test.Util.Hedgehog
      Test.Util.HUnit
      Test.Util.Parser
      Test.ValConversion
      Test.Views
      Tree
      Test.Util.Contracts
      Paths_cleveland
  hs-source-dirs:
      morley-test
      test-common
  default-extensions:
      AllowAmbiguousTypes
      ApplicativeDo
      BangPatterns
      BlockArguments
      ConstraintKinds
      DataKinds
      DefaultSignatures
      DeriveAnyClass
      DeriveDataTypeable
      DeriveFoldable
      DeriveFunctor
      DeriveGeneric
      DeriveTraversable
      DerivingStrategies
      DerivingVia
      EmptyCase
      FlexibleContexts
      FlexibleInstances
      GADTs
      GeneralizedNewtypeDeriving
      LambdaCase
      MultiParamTypeClasses
      MultiWayIf
      NamedFieldPuns
      NegativeLiterals
      NumericUnderscores
      NumDecimals
      OverloadedLabels
      OverloadedStrings
      PatternSynonyms
      PolyKinds
      QuasiQuotes
      QuantifiedConstraints
      RankNTypes
      RecordWildCards
      RecursiveDo
      ScopedTypeVariables
      StandaloneDeriving
      StrictData
      TemplateHaskell
      TupleSections
      TypeApplications
      TypeFamilies
      TypeOperators
      UndecidableInstances
      UndecidableSuperClasses
      ViewPatterns
  ghc-options: -Weverything -Wno-missing-exported-signatures -Wno-missing-import-lists -Wno-missed-specialisations -Wno-all-missed-specialisations -Wno-unsafe -Wno-safe -Wno-missing-local-signatures -Wno-monomorphism-restriction -Wno-implicit-prelude -Wno-prepositive-qualified-module -Wno-missing-safe-haskell-mode -Wno-unused-packages -threaded -eventlog -rtsopts "-with-rtsopts=-N -A64m -AL256m"
  build-tool-depends:
      tasty-discover:tasty-discover
  build-depends:
      HUnit
    , aeson
    , aeson-pretty
    , aeson-qq
    , base-noprelude >=4.7 && <5
    , bytestring
    , cleveland
    , constraints
    , containers
    , data-default
    , directory
    , filepath
    , fmt
    , hedgehog >=1.0.3
    , hex-text
    , hspec
    , hspec-expectations
    , lens
    , lorentz
    , megaparsec >=7.0.0
    , morley
    , morley-client
    , morley-prelude
    , mtl
    , named
    , silently
    , singletons
    , syb
    , tasty
    , tasty-hedgehog
    , tasty-hspec
    , tasty-hunit-compat
    , text
    , unordered-containers
    , vinyl
    , with-utf8
  default-language: Haskell2010

benchmark morley-bench
  type: exitcode-stdio-1.0
  main-is: Main.hs
  other-modules:
      Paths_cleveland
  hs-source-dirs:
      morley-bench
  default-extensions:
      AllowAmbiguousTypes
      ApplicativeDo
      BangPatterns
      BlockArguments
      ConstraintKinds
      DataKinds
      DefaultSignatures
      DeriveAnyClass
      DeriveDataTypeable
      DeriveFoldable
      DeriveFunctor
      DeriveGeneric
      DeriveTraversable
      DerivingStrategies
      DerivingVia
      EmptyCase
      FlexibleContexts
      FlexibleInstances
      GADTs
      GeneralizedNewtypeDeriving
      LambdaCase
      MultiParamTypeClasses
      MultiWayIf
      NamedFieldPuns
      NegativeLiterals
      NumericUnderscores
      NumDecimals
      OverloadedLabels
      OverloadedStrings
      PatternSynonyms
      PolyKinds
      QuasiQuotes
      QuantifiedConstraints
      RankNTypes
      RecordWildCards
      RecursiveDo
      ScopedTypeVariables
      StandaloneDeriving
      StrictData
      TemplateHaskell
      TupleSections
      TypeApplications
      TypeFamilies
      TypeOperators
      UndecidableInstances
      UndecidableSuperClasses
      ViewPatterns
  ghc-options: -Weverything -Wno-missing-exported-signatures -Wno-missing-import-lists -Wno-missed-specialisations -Wno-all-missed-specialisations -Wno-unsafe -Wno-safe -Wno-missing-local-signatures -Wno-monomorphism-restriction -Wno-implicit-prelude -Wno-prepositive-qualified-module -Wno-missing-safe-haskell-mode -Wno-unused-packages
  build-depends:
      base-noprelude >=4.7 && <5
    , cleveland
    , data-default
    , gauge
    , megaparsec >=7.0.0
    , morley
    , morley-prelude
    , with-utf8
  default-language: Haskell2010