cabal-version: 2.2

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

name:           morley-upgradeable
version:        0.3
x-revision: 1
synopsis:       Upgradeability infrastructure based on Morley.
description:    Basic infrastructure for writing upgradeable contracts in Morley-based eDSL.
category:       Language
homepage:       https://gitlab.com/morley-framework/morley-upgradeable
bug-reports:    https://gitlab.com/morley-framework/morley-upgradeable/-/issues
author:         Serokell, Tocqueville Group
maintainer:     Serokell <libraries@serokell.io>
copyright:      2019-2021 Tocqueville Group
license:        MIT
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    README.md
    CHANGES.md
    docs/upgradeableContracts.md

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

library
  exposed-modules:
      Hedgehog.Gen.Lorentz.UStore
      Lorentz.Contracts.Upgradeable.Client
      Lorentz.Contracts.Upgradeable.Common
      Lorentz.Contracts.Upgradeable.Common.Base
      Lorentz.Contracts.Upgradeable.Common.Contract
      Lorentz.Contracts.Upgradeable.Common.Doc
      Lorentz.Contracts.Upgradeable.Common.Interface
      Lorentz.Contracts.Upgradeable.EntrypointWise
      Lorentz.Contracts.Upgradeable.StorageDriven
      Lorentz.Contracts.Upgradeable.Test
      Lorentz.Contracts.UpgradeableCounter
      Lorentz.Contracts.UpgradeableCounter.V1
      Lorentz.Contracts.UpgradeableCounter.V2
      Lorentz.Contracts.UpgradeableCounterSdu
      Lorentz.Contracts.UpgradeableCounterSdu.V1
      Lorentz.Contracts.UpgradeableCounterSdu.V2
      Lorentz.Contracts.UpgradeableUnsafeLedger
      Lorentz.Contracts.UpgradeableUnsafeLedger.V1
      Lorentz.Contracts.UpgradeableUnsafeLedger.V2
      Lorentz.Contracts.UserUpgradeable.Migrations
      Lorentz.Contracts.UserUpgradeable.V1
      Lorentz.Contracts.UserUpgradeable.V2
      Lorentz.UStore
      Lorentz.UStore.Doc
      Lorentz.UStore.Haskell
      Lorentz.UStore.Instances
      Lorentz.UStore.Instr
      Lorentz.UStore.Lift
      Lorentz.UStore.Migration
      Lorentz.UStore.Migration.Base
      Lorentz.UStore.Migration.Batching
      Lorentz.UStore.Migration.Blocks
      Lorentz.UStore.Migration.Diff
      Lorentz.UStore.Traversal
      Lorentz.UStore.Types
  other-modules:
      Paths_morley_upgradeable
  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 NumDecimals OverloadedLabels OverloadedStrings PatternSynonyms PolyKinds QuasiQuotes RankNTypes RecordWildCards RecursiveDo ScopedTypeVariables StandaloneDeriving StrictData TemplateHaskell TupleSections TypeApplications TypeFamilies TypeOperators UndecidableInstances UndecidableSuperClasses ViewPatterns NoApplicativeDo RebindableSyntax
  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 -Wno-unused-do-bind
  build-depends:
      HUnit
    , base-noprelude >=4.7 && <5
    , cleveland
    , colourista
    , constraints
    , containers
    , first-class-families >=0.5.0.0
    , fmt
    , hedgehog
    , hex-text
    , lens
    , lorentz
    , morley
    , morley-client
    , morley-prelude
    , mtl
    , singletons
    , text
    , vinyl
  default-language: Haskell2010

executable morley-ustore-reader
  main-is: Main.hs
  other-modules:
      Paths_morley_upgradeable
  autogen-modules:
      Paths_morley_upgradeable
  hs-source-dirs:
      app
  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 NumDecimals OverloadedLabels OverloadedStrings PatternSynonyms PolyKinds QuasiQuotes 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
    , constraints
    , fmt
    , lorentz
    , morley
    , morley-client
    , morley-prelude
    , morley-upgradeable
    , optparse-applicative
    , with-utf8
  default-language: Haskell2010

test-suite morley-upgradeable-test
  type: exitcode-stdio-1.0
  main-is: Main.hs
  other-modules:
      Test.Doc.Positions
      Test.Lorentz.Contracts.UpgradeableCounter
      Test.Lorentz.Contracts.UpgradeableCounterSdu
      Test.Lorentz.Contracts.UserUpgradeable
      Test.Lorentz.UStore.Behaviour
      Test.Lorentz.UStore.Migration.Batched
      Test.Lorentz.UStore.Migration.Batched.V1
      Test.Lorentz.UStore.Migration.Batched.V2
      Test.Lorentz.UStore.Migration.FillInParts
      Test.Lorentz.UStore.Migration.Simple
      Test.Lorentz.UStore.Migration.Simple.V1
      Test.Lorentz.UStore.Migration.Simple.V2
      Test.Lorentz.UStore.SafeLift
      Test.Lorentz.UStore.SafeLift.Helpers
      Test.Lorentz.UStore.StoreClass
      Tree
      Paths_morley_upgradeable
  hs-source-dirs:
      test
  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 NumDecimals OverloadedLabels OverloadedStrings PatternSynonyms PolyKinds QuasiQuotes 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
    , cleveland
    , containers
    , hedgehog
    , hspec
    , lorentz
    , morley
    , morley-prelude
    , morley-upgradeable
    , tasty
    , tasty-hspec
    , tasty-hunit-compat
  default-language: Haskell2010