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
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 <hi@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