diff --git a/async-components/async-components.cabal b/async-components/async-components.cabal index b5d7c4b77e..f8a9ca1e0d 100644 --- a/async-components/async-components.cabal +++ b/async-components/async-components.cabal @@ -1,26 +1,25 @@ cabal-version: 3.0 -name: async-components -version: 0.1.0.0 -synopsis: - Async components for building concurrent server processes. -bug-reports: https://github.com/input-output-hk/marlowe-cardano/issues -license: Apache-2.0 -author: Jamie Bertram -maintainer: jamie.bertram@iohk.io -stability: experimental -category: Language +name: async-components +version: 0.1.0.0 +synopsis: Async components for building concurrent server processes. +bug-reports: https://github.com/input-output-hk/marlowe-cardano/issues +license: Apache-2.0 +author: Jamie Bertram +maintainer: jamie.bertram@iohk.io +stability: experimental +category: Language license-files: LICENSE NOTICE source-repository head - type: git + type: git location: https://github.com/input-output-hk/marlowe-cardano - subdir: async-components + subdir: async-components library - default-language: Haskell2010 - hs-source-dirs: src + default-language: Haskell2010 + hs-source-dirs: src default-extensions: BlockArguments DeriveAnyClass @@ -40,30 +39,33 @@ library RecordWildCards ScopedTypeVariables StandaloneDeriving - TypeApplications TupleSections + TypeApplications + ghc-options: -Wall -Wnoncanonical-monad-instances -Wunused-packages -Wincomplete-uni-patterns -Wincomplete-record-updates -Wredundant-constraints -Widentities + exposed-modules: Control.Concurrent.Component Control.Concurrent.Component.Probes Control.Concurrent.Component.Run + build-depends: - , base >= 4.9 && < 5 - , co-log >= 0.5.0.0 && < 0.6.0.0 - , eventuo11y ^>= { 0.9, 0.10 } + , base >=4.9 && <5 + , co-log >=0.5.0.0 && <0.6.0.0 + , eventuo11y >=0.9 && <0.11 , eventuo11y-extras ==0.1.0.0 - , eventuo11y-otel ^>= 0.1 - , exceptions >= 0.10 && < 0.11 - , general-allocate ^>= { 0.2 } - , hs-opentelemetry-api >= 0.0.3 && < 0.0.4 - , hs-opentelemetry-sdk >= 0.0.3 && < 0.0.4 - , mtl >= 2.2 && < 3 - , servant >= 0.19 && < 0.20 - , servant-client >= 0.19 && < 0.20 - , servant-server >= 0.19 && < 0.20 - , transformers >= 0.5.6 && < 0.6 - , unliftio >= 0.2.1 && < 0.3 - , warp >= 3.3 && < 4 + , eventuo11y-otel ^>=0.1 + , exceptions ^>=0.10 + , general-allocate ^>=0.2 + , hs-opentelemetry-api >=0.0.3 && <0.0.4 + , hs-opentelemetry-sdk >=0.0.3 && <0.0.4 + , mtl >=2.2 && <3 + , servant ^>=0.19 + , servant-client ^>=0.19 + , servant-server ^>=0.19 + , transformers ^>=0.5.6 + , unliftio ^>=0.2.1 + , warp >=3.3 && <4 diff --git a/cardano-integration/cardano-integration.cabal b/cardano-integration/cardano-integration.cabal index b75ffd1db5..0bd2474f0b 100644 --- a/cardano-integration/cardano-integration.cabal +++ b/cardano-integration/cardano-integration.cabal @@ -1,26 +1,25 @@ cabal-version: 3.0 -name: cardano-integration -version: 0.1.0.0 -synopsis: - Run integration tests in the context of a Cardano network -bug-reports: https://github.com/input-output-hk/marlowe-cardano/issues -license: Apache-2.0 -author: Jamie Bertram -maintainer: jamie.bertram@iohk.io -stability: experimental -category: Language +name: cardano-integration +version: 0.1.0.0 +synopsis: Run integration tests in the context of a Cardano network +bug-reports: https://github.com/input-output-hk/marlowe-cardano/issues +license: Apache-2.0 +author: Jamie Bertram +maintainer: jamie.bertram@iohk.io +stability: experimental +category: Language license-files: LICENSE NOTICE source-repository head - type: git + type: git location: https://github.com/input-output-hk/marlowe-cardano - subdir: cardano-integration + subdir: cardano-integration library - default-language: Haskell2010 - hs-source-dirs: src + default-language: Haskell2010 + hs-source-dirs: src default-extensions: BlockArguments DeriveAnyClass @@ -40,21 +39,24 @@ library RecordWildCards ScopedTypeVariables StandaloneDeriving - TypeApplications TupleSections + TypeApplications + ghc-options: -Wall -Wnoncanonical-monad-instances -Wunused-packages -Wincomplete-uni-patterns -Wincomplete-record-updates -Wredundant-constraints -Widentities + exposed-modules: Test.Integration.Cardano Test.Integration.Cardano.Local Test.Integration.Cardano.Process Test.Integration.Workspace + build-depends: - base >= 4.9 && < 5 , aeson , async + , base >=4.9 && <5 , bytestring , directory , filepath @@ -73,13 +75,10 @@ library , yaml executable create-testnet - hs-source-dirs: create-testnet - main-is: Main.hs - other-modules: - Paths_cardano_integration - autogen-modules: - Paths_cardano_integration + hs-source-dirs: create-testnet + main-is: Main.hs + other-modules: Paths_cardano_integration + autogen-modules: Paths_cardano_integration build-depends: - base >= 4.9 && < 5 + , base >=4.9 && <5 , cardano-integration - diff --git a/eventuo11y-extras/eventuo11y-extras.cabal b/eventuo11y-extras/eventuo11y-extras.cabal index 1701bc20d7..27e5e288ba 100644 --- a/eventuo11y-extras/eventuo11y-extras.cabal +++ b/eventuo11y-extras/eventuo11y-extras.cabal @@ -1,26 +1,25 @@ cabal-version: 3.0 -name: eventuo11y-extras -version: 0.1.0.0 -synopsis: - O11y helpers for Malowe Runtime and other Marlowe processes -bug-reports: https://github.com/input-output-hk/marlowe-cardano/issues -license: Apache-2.0 -author: Jamie Bertram -maintainer: jamie.bertram@iohk.io -stability: experimental -category: Language +name: eventuo11y-extras +version: 0.1.0.0 +synopsis: O11y helpers for Malowe Runtime and other Marlowe processes +bug-reports: https://github.com/input-output-hk/marlowe-cardano/issues +license: Apache-2.0 +author: Jamie Bertram +maintainer: jamie.bertram@iohk.io +stability: experimental +category: Language license-files: LICENSE NOTICE source-repository head - type: git + type: git location: https://github.com/input-output-hk/marlowe-cardano - subdir: eventuo11y-extras + subdir: eventuo11y-extras library - default-language: Haskell2010 - hs-source-dirs: src + default-language: Haskell2010 + hs-source-dirs: src default-extensions: BlockArguments DeriveAnyClass @@ -40,23 +39,26 @@ library RecordWildCards ScopedTypeVariables StandaloneDeriving - TypeApplications TupleSections + TypeApplications + ghc-options: -Wall -Wnoncanonical-monad-instances -Wunused-packages -Wincomplete-uni-patterns -Wincomplete-record-updates -Wredundant-constraints -Widentities + exposed-modules: Control.Monad.Event.Class Observe.Event.Backend.Extra + build-depends: - , base >= 4.9 && < 5 - , eventuo11y ^>= { 0.9, 0.10 } - , exceptions >= 0.10 && < 0.11 - , general-allocate ^>= { 0.2 } - , resourcet >= 1.3 && < 2 - , some >= 1 && < 2 - , stm >= 2.5 && < 2.6 - , time >= 1.9 && < 2 - , transformers >= 0.5.6 && < 0.6 - , unliftio >= 0.2.1 && < 0.3 + , base >=4.9 && <5 + , eventuo11y >=0.9 && <0.11 + , exceptions ^>=0.10 + , general-allocate ^>=0.2 + , resourcet >=1.3 && <2 + , some >=1 && <2 + , stm ^>=2.5 + , time >=1.9 && <2 + , transformers ^>=0.5.6 + , unliftio ^>=0.2.1 diff --git a/libs/aeson-via-serialise/aeson-via-serialise.cabal b/libs/aeson-via-serialise/aeson-via-serialise.cabal index f0496f6847..2bf5548796 100644 --- a/libs/aeson-via-serialise/aeson-via-serialise.cabal +++ b/libs/aeson-via-serialise/aeson-via-serialise.cabal @@ -1,17 +1,16 @@ -cabal-version: 2.4 -name: aeson-via-serialise -version: 0.1.0.0 +cabal-version: 2.4 +name: aeson-via-serialise +version: 0.1.0.0 library - exposed-modules: - Data.Aeson.ViaSerialise + exposed-modules: Data.Aeson.ViaSerialise + build-depends: + , aeson + , base >=4.9 && <5 + , base16-aeson + , bytestring + , cborg + , serialise - build-depends: - , aeson - , base >=4.9 && <5 - , base16-aeson - , bytestring - , cborg - , serialise - hs-source-dirs: src - default-language: Haskell2010 + hs-source-dirs: src + default-language: Haskell2010 diff --git a/libs/base16-aeson/base16-aeson.cabal b/libs/base16-aeson/base16-aeson.cabal index 14d9627df7..164feead70 100644 --- a/libs/base16-aeson/base16-aeson.cabal +++ b/libs/base16-aeson/base16-aeson.cabal @@ -1,18 +1,16 @@ -cabal-version: 2.4 -name: base16-aeson -version: 0.1.0.0 +cabal-version: 2.4 +name: base16-aeson +version: 0.1.0.0 library - exposed-modules: Data.ByteString.Base16.Aeson - - build-depends: - , aeson >= 2 && < 3 - , base16 >= 0.3.2 && < 0.4 - , base >=4.9 && <5 - , bytestring >= 0.10.12 && < 0.12 - , text >= 1.2.4 && < 2 - hs-source-dirs: src - default-language: Haskell2010 - default-extensions: - ImportQualifiedPost + exposed-modules: Data.ByteString.Base16.Aeson + build-depends: + , aeson >=2 && <3 + , base >=4.9 && <5 + , base16 ^>=0.3.2 + , bytestring >=0.10.12 && <0.12 + , text >=1.2.4 && <2 + hs-source-dirs: src + default-language: Haskell2010 + default-extensions: ImportQualifiedPost diff --git a/libs/plutus-ledger-ada/plutus-ledger-ada.cabal b/libs/plutus-ledger-ada/plutus-ledger-ada.cabal index 8abc6da7bc..6387b793c8 100644 --- a/libs/plutus-ledger-ada/plutus-ledger-ada.cabal +++ b/libs/plutus-ledger-ada/plutus-ledger-ada.cabal @@ -1,10 +1,9 @@ -cabal-version: 3.0 -name: plutus-ledger-ada -version: 1.0.0 -license: Apache-2.0 - -author: Michael Peyton Jones, Jann Mueller -build-type: Simple +cabal-version: 3.0 +name: plutus-ledger-ada +version: 1.0.0 +license: Apache-2.0 +author: Michael Peyton Jones, Jann Mueller +build-type: Simple common lang default-language: Haskell2010 @@ -38,30 +37,29 @@ flag defer-plugin-errors manual: True library - import: lang - hs-source-dirs: src - default-language: Haskell2010 - exposed-modules: - Plutus.V1.Ledger.Ada + import: lang + hs-source-dirs: src + default-language: Haskell2010 + exposed-modules: Plutus.V1.Ledger.Ada -------------------------- -- Other IOG dependencies -------------------------- build-depends: - , plutus-core >=1.0.0 - , plutus-ledger-api >=1.0.0 - , plutus-tx >=1.0.0 + , plutus-core >=1.0.0 + , plutus-ledger-api >=1.0.0 + , plutus-tx >=1.0.0 ------------------------ -- Non-IOG dependencies ------------------------ build-depends: , aeson - , base >=4.9 && <5 + , base >=4.9 && <5 , bytestring , cborg , containers - , cryptonite >=0.25 + , cryptonite >=0.25 , flat , hashable , hedgehog @@ -76,8 +74,7 @@ library , time , transformers - ghc-options: -fprint-potential-instances + ghc-options: -fprint-potential-instances if flag(defer-plugin-errors) ghc-options: -fplugin-opt PlutusTx.Plugin:defer-errors - diff --git a/libs/plutus-ledger-aeson/plutus-ledger-aeson.cabal b/libs/plutus-ledger-aeson/plutus-ledger-aeson.cabal index a77c4fa6cc..ec199766b8 100644 --- a/libs/plutus-ledger-aeson/plutus-ledger-aeson.cabal +++ b/libs/plutus-ledger-aeson/plutus-ledger-aeson.cabal @@ -1,9 +1,8 @@ -cabal-version: 3.0 -name: plutus-ledger-aeson -version: 1.0.1 -license: Apache-2.0 - -author: Michael Peyton Jones, Jann Mueller +cabal-version: 3.0 +name: plutus-ledger-aeson +version: 1.0.1 +license: Apache-2.0 +author: Michael Peyton Jones, Jann Mueller common lang default-language: Haskell2010 @@ -33,17 +32,17 @@ library hs-source-dirs: src default-language: Haskell2010 exposed-modules: + Plutus.V1.Ledger.Aeson PlutusCore.Data.Aeson PlutusTx.Builtins.Aeson - Plutus.V1.Ledger.Aeson -------------------------- -- Other IOG dependencies -------------------------- build-depends: - , plutus-tx >=1.0.0 - , plutus-core >=1.0.0 - , plutus-ledger-api >=1.0.0 + , plutus-core >=1.0.0 + , plutus-ledger-api >=1.0.0 + , plutus-tx >=1.0.0 ------------------------ -- Non-IOG dependencies @@ -51,7 +50,7 @@ library build-depends: , aeson , aeson-via-serialise - , base >=4.9 && <5 + , base >=4.9 && <5 , base16-aeson , bytestring , cborg @@ -64,11 +63,9 @@ library , text ghc-options: -fprint-potential-instances - reexported-modules: Plutus.V1.Ledger.Time as Ledger.Time, Plutus.V1.Ledger.Value as Ledger.Value, if flag(defer-plugin-errors) ghc-options: -fplugin-opt PlutusTx.Plugin:defer-errors - diff --git a/libs/plutus-ledger-slot/plutus-ledger-slot.cabal b/libs/plutus-ledger-slot/plutus-ledger-slot.cabal index 5fe360cd8b..36507525ce 100644 --- a/libs/plutus-ledger-slot/plutus-ledger-slot.cabal +++ b/libs/plutus-ledger-slot/plutus-ledger-slot.cabal @@ -1,10 +1,9 @@ -cabal-version: 3.0 -name: plutus-ledger-slot -version: 0.0.1 -license: Apache-2.0 - -author: Michael Peyton Jones, Jann Mueller -build-type: Simple +cabal-version: 3.0 +name: plutus-ledger-slot +version: 0.0.1 +license: Apache-2.0 +author: Michael Peyton Jones, Jann Mueller +build-type: Simple common lang default-language: Haskell2010 @@ -38,9 +37,9 @@ flag defer-plugin-errors manual: True library - import: lang - hs-source-dirs: src - default-language: Haskell2010 + import: lang + hs-source-dirs: src + default-language: Haskell2010 exposed-modules: Plutus.V1.Ledger.Slot Plutus.V1.Ledger.SlotConfig @@ -49,20 +48,20 @@ library -- Other IOG dependencies -------------------------- build-depends: - -- We don't need plutus ledger here but - -- we have orphans collision. - -- , plutus-ledger-aeson + , plutus-core >=1.0.0 , plutus-ledger - , plutus-core >=1.0.0 - , plutus-ledger-api >=1.0.0 - , plutus-tx >=1.0.0 + , plutus-ledger-api >=1.0.0 + , plutus-tx >=1.0.0 + -- We don't need plutus ledger here but + -- we have orphans collision. + -- , plutus-ledger-aeson ------------------------ -- Non-IOG dependencies ------------------------ build-depends: , aeson - , base >=4.9 && <5 + , base >=4.9 && <5 , containers , data-default , deepseq @@ -71,8 +70,7 @@ library , serialise , time - ghc-options: -fprint-potential-instances + ghc-options: -fprint-potential-instances if flag(defer-plugin-errors) ghc-options: -fplugin-opt PlutusTx.Plugin:defer-errors - diff --git a/marlowe-actus/marlowe-actus.cabal b/marlowe-actus/marlowe-actus.cabal index f02ac64e7e..30f938cefb 100644 --- a/marlowe-actus/marlowe-actus.cabal +++ b/marlowe-actus/marlowe-actus.cabal @@ -1,53 +1,60 @@ -cabal-version: 2.2 -name: marlowe-actus -version: 0.1.0.0 -license: Apache-2.0 +cabal-version: 2.2 +name: marlowe-actus +version: 0.1.0.0 +license: Apache-2.0 license-files: LICENSE NOTICE -build-type: Simple -maintainer: Yves Hauser -stability: experimental -author: Dmytro Kondratiuk, Yves Hauser -synopsis: - Marlowe ACTUS + +build-type: Simple +maintainer: Yves Hauser +stability: experimental +author: Dmytro Kondratiuk, Yves Hauser +synopsis: Marlowe ACTUS description: /marlowe-actus/ implements generators of Marlowe contracts based on ACTUS contract terms. -category: Language +category: Language extra-doc-files: README.md source-repository head - type: git - location: https://github.com/input-output-hk/marlowe-cardano/marlowe-actus + type: git + location: + https://github.com/input-output-hk/marlowe-cardano/marlowe-actus flag defer-plugin-errors description: - Defer errors from the plugin, useful for things like Haddock that can't handle it. - default: False - manual: True + Defer errors from the plugin, useful for things like Haddock that can't handle it. + + default: False + manual: True library - hs-source-dirs: src + hs-source-dirs: src build-depends: - actus-core, - base -any, - plutus-tx -any, - plutus-ledger, - marlowe-cardano -any, - mtl -any, - time -any, - validation -any - default-language: Haskell2010 - default-extensions: ExplicitForAll ScopedTypeVariables - DeriveGeneric StandaloneDeriving DeriveLift - DeriveFunctor DeriveFoldable - DeriveTraversable - exposed-modules: - Actus.Marlowe - other-modules: - Actus.Marlowe.Instance + , actus-core + , base + , marlowe-cardano + , mtl + , plutus-ledger + , plutus-tx + , time + , validation + + default-language: Haskell2010 + default-extensions: + DeriveFoldable + DeriveFunctor + DeriveGeneric + DeriveLift + DeriveTraversable + ExplicitForAll + ScopedTypeVariables + StandaloneDeriving + + exposed-modules: Actus.Marlowe + other-modules: Actus.Marlowe.Instance ghc-options: -Wall -Wnoncanonical-monad-instances -Wunused-packages -Wincomplete-uni-patterns -Wincomplete-record-updates @@ -55,32 +62,31 @@ library test-suite marlowe-actus-test default-language: Haskell2010 - hs-source-dirs: test - type: exitcode-stdio-1.0 - main-is: Spec.hs - other-modules: - Spec.Actus.Examples + hs-source-dirs: test + type: exitcode-stdio-1.0 + main-is: Spec.hs + other-modules: Spec.Actus.Examples build-depends: - actus-core, - aeson -any, - base >=4.9 && <5, - bytestring -any, - containers -any, - scientific -any, - marlowe-cardano, - marlowe-actus, - mtl -any, - plutus-ledger -any, - plutus-tx -any, - pretty-simple -any, - sort -any, - tasty -any, - tasty-hunit -any, - tasty-quickcheck -any, - text -any, - time -any, - validation -any, + , actus-core + , aeson + , base >=4.9 && <5 + , bytestring + , containers + , marlowe-actus + , marlowe-cardano + , mtl + , plutus-ledger + , plutus-tx + , pretty-simple + , scientific + , sort + , tasty + , tasty-hunit + , tasty-quickcheck + , text + , time + , validation + ghc-options: - -Wall -Wnoncanonical-monad-instances - -Wincomplete-uni-patterns -Wincomplete-record-updates - -Wredundant-constraints -Widentities + -Wall -Wnoncanonical-monad-instances -Wincomplete-uni-patterns + -Wincomplete-record-updates -Wredundant-constraints -Widentities diff --git a/marlowe-apps/marlowe-apps.cabal b/marlowe-apps/marlowe-apps.cabal index 98316e3c02..83509cb988 100644 --- a/marlowe-apps/marlowe-apps.cabal +++ b/marlowe-apps/marlowe-apps.cabal @@ -1,197 +1,193 @@ -cabal-version : 3.0 -name : marlowe-apps -version : 0.2.4.0 -synopsis : Marlowe Runtimee applications -license : Apache-2.0 -license-file : LICENSE -author : Brian W Bush -maintainer : Brian W Bush -category : Network -build-type : Simple -extra-source-files : ReadMe.md +cabal-version: 3.0 +name: marlowe-apps +version: 0.2.4.0 +synopsis: Marlowe Runtimee applications +license: Apache-2.0 +license-file: LICENSE +author: Brian W Bush +maintainer: Brian W Bush +category: Network +build-type: Simple +extra-source-files: ReadMe.md library - exposed-modules : Language.Marlowe.Runtime.App - Language.Marlowe.Runtime.App.Build - Language.Marlowe.Runtime.App.Channel - Language.Marlowe.Runtime.App.List - Language.Marlowe.Runtime.App.Parser - Language.Marlowe.Runtime.App.Run - Language.Marlowe.Runtime.App.Sign - Language.Marlowe.Runtime.App.Stream - Language.Marlowe.Runtime.App.Submit - Language.Marlowe.Runtime.App.Types - Language.Marlowe.Runtime.App.Transact - hs-source-dirs : src - build-depends : base >= 4.9 && < 5 - , aeson - , async - , bytestring - , cardano-api - , containers - , data-default - , eventuo11y ^>= { 0.9, 0.10 } - , eventuo11y-dsl ^>= { 0.2 } - , eventuo11y-json ^>= { 0.3 } - , general-allocate ^>= { 0.2 } - , marlowe-cardano - , marlowe-chain-sync - , marlowe-client - , marlowe-protocols - , marlowe-runtime:config - , marlowe-runtime:discovery-api - , marlowe-runtime:history-api - , marlowe-runtime:proxy-api - , marlowe-runtime:sync-api - , marlowe-runtime:tx-api - , marlowe-runtime - , monad-control - , mtl - , network - , optparse-applicative - , random - , stm - , text - , time - , time-units - , transformers - , transformers-base - ghc-options : -Wall - -Wnoncanonical-monad-instances - -Wincomplete-uni-patterns - -Wincomplete-record-updates - -Wredundant-constraints - -Widentities - -Wunused-packages - default-language : Haskell2010 + exposed-modules: + Language.Marlowe.Runtime.App + Language.Marlowe.Runtime.App.Build + Language.Marlowe.Runtime.App.Channel + Language.Marlowe.Runtime.App.List + Language.Marlowe.Runtime.App.Parser + Language.Marlowe.Runtime.App.Run + Language.Marlowe.Runtime.App.Sign + Language.Marlowe.Runtime.App.Stream + Language.Marlowe.Runtime.App.Submit + Language.Marlowe.Runtime.App.Transact + Language.Marlowe.Runtime.App.Types + hs-source-dirs: src + build-depends: + , aeson + , async + , base >=4.9 && <5 + , bytestring + , cardano-api + , containers + , data-default + , eventuo11y >=0.9 && <0.11 + , eventuo11y-dsl ^>=0.2 + , eventuo11y-json ^>=0.3 + , general-allocate ^>=0.2 + , marlowe-cardano + , marlowe-chain-sync + , marlowe-client + , marlowe-protocols + , marlowe-runtime:{marlowe-runtime, config, discovery-api, history-api, proxy-api, sync-api, tx-api} + , monad-control + , mtl + , network + , optparse-applicative + , random + , stm + , text + , time + , time-units + , transformers + , transformers-base + + ghc-options: + -Wall -Wnoncanonical-monad-instances -Wincomplete-uni-patterns + -Wincomplete-record-updates -Wredundant-constraints -Widentities + -Wunused-packages + + default-language: Haskell2010 executable marlowe-pipe - main-is : Main.hs - hs-source-dirs : pipe - build-depends : base >= 4.9 && < 5 - , aeson - , bytestring - , eventuo11y ^>= { 0.9, 0.10 } - , eventuo11y-dsl ^>= { 0.2 } - , eventuo11y-json ^>= { 0.3 } - , marlowe-apps - , mtl - , optparse-applicative - , text - ghc-options : -Wall - -Wnoncanonical-monad-instances - -Wincomplete-uni-patterns - -Wincomplete-record-updates - -Wredundant-constraints - -Widentities - -Wunused-packages - default-language : Haskell2010 + main-is: Main.hs + hs-source-dirs: pipe + build-depends: + , aeson + , base >=4.9 && <5 + , bytestring + , eventuo11y >=0.9 && <0.11 + , eventuo11y-dsl ^>=0.2 + , eventuo11y-json ^>=0.3 + , marlowe-apps + , mtl + , optparse-applicative + , text + + ghc-options: + -Wall -Wnoncanonical-monad-instances -Wincomplete-uni-patterns + -Wincomplete-record-updates -Wredundant-constraints -Widentities + -Wunused-packages + default-language: Haskell2010 executable marlowe-scaling - main-is : Main.hs - hs-source-dirs : scaling - build-depends : base >= 4.9 && < 5 - , async - , cardano-api - , eventuo11y ^>= { 0.9, 0.10 } - , eventuo11y-dsl ^>= { 0.2 } - , eventuo11y-json ^>= { 0.3 } - , marlowe-cardano - , marlowe-apps - , marlowe-chain-sync - , marlowe-runtime - , mtl - , optparse-applicative - , plutus-ledger-api - , random - , text - , time - ghc-options : -Wall - -Wnoncanonical-monad-instances - -Wincomplete-uni-patterns - -Wincomplete-record-updates - -Wredundant-constraints - -Widentities - -Wunused-packages - default-language : Haskell2010 + main-is: Main.hs + hs-source-dirs: scaling + build-depends: + , async + , base >=4.9 && <5 + , cardano-api + , eventuo11y >=0.9 && <0.11 + , eventuo11y-dsl ^>=0.2 + , eventuo11y-json ^>=0.3 + , marlowe-apps + , marlowe-cardano + , marlowe-chain-sync + , marlowe-runtime + , mtl + , optparse-applicative + , plutus-ledger-api + , random + , text + , time + + ghc-options: + -Wall -Wnoncanonical-monad-instances -Wincomplete-uni-patterns + -Wincomplete-record-updates -Wredundant-constraints -Widentities + -Wunused-packages + + default-language: Haskell2010 executable marlowe-oracle - main-is : Main.hs - hs-source-dirs : oracle - other-modules : Language.Marlowe.Oracle.Detect - Language.Marlowe.Oracle.Process - Network.Oracle - Network.Oracle.CoinGecko - Network.Oracle.Sofr - build-depends : base >= 4.9 && < 5 - , aeson - , bytestring - , cardano-api - , extra - , eventuo11y ^>= { 0.9, 0.10 } - , eventuo11y-dsl ^>= { 0.2 } - , eventuo11y-json ^>= { 0.3 } - , http-client - , http-client-tls - , marlowe-cardano - , marlowe-apps - , marlowe-chain-sync - , marlowe-runtime - , mtl - , optparse-applicative - , plutus-ledger-api - , servant - , servant-client - , text - , time-units - ghc-options : -Wall - -Wnoncanonical-monad-instances - -Wincomplete-uni-patterns - -Wincomplete-record-updates - -Wredundant-constraints - -Widentities - -Wunused-packages - default-language : Haskell2010 + main-is: Main.hs + hs-source-dirs: oracle + other-modules: + Language.Marlowe.Oracle.Detect + Language.Marlowe.Oracle.Process + Network.Oracle + Network.Oracle.CoinGecko + Network.Oracle.Sofr + + build-depends: + , aeson + , base >=4.9 && <5 + , bytestring + , cardano-api + , eventuo11y >=0.9 && <0.11 + , eventuo11y-dsl ^>=0.2 + , eventuo11y-json ^>=0.3 + , extra + , http-client + , http-client-tls + , marlowe-apps + , marlowe-cardano + , marlowe-chain-sync + , marlowe-runtime + , mtl + , optparse-applicative + , plutus-ledger-api + , servant + , servant-client + , text + , time-units + + ghc-options: + -Wall -Wnoncanonical-monad-instances -Wincomplete-uni-patterns + -Wincomplete-record-updates -Wredundant-constraints -Widentities + -Wunused-packages + + default-language: Haskell2010 executable marlowe-finder - main-is : Main.hs - hs-source-dirs : finder - build-depends : base >= 4.9 && < 5 - , eventuo11y ^>= { 0.9, 0.10 } - , eventuo11y-dsl ^>= { 0.2 } - , eventuo11y-json ^>= { 0.3 } - , marlowe-apps - , marlowe-runtime - , optparse-applicative - , text - , time-units - ghc-options : -Wall - -Wnoncanonical-monad-instances - -Wincomplete-uni-patterns - -Wincomplete-record-updates - -Wredundant-constraints - -Widentities - -Wunused-packages - default-language : Haskell2010 + main-is: Main.hs + hs-source-dirs: finder + build-depends: + , base >=4.9 && <5 + , eventuo11y >=0.9 && <0.11 + , eventuo11y-dsl ^>=0.2 + , eventuo11y-json ^>=0.3 + , marlowe-apps + , marlowe-runtime + , optparse-applicative + , text + , time-units + + ghc-options: + -Wall -Wnoncanonical-monad-instances -Wincomplete-uni-patterns + -Wincomplete-record-updates -Wredundant-constraints -Widentities + -Wunused-packages + + default-language: Haskell2010 executable signing-service - main-is : Main.hs - hs-source-dirs : signing - build-depends : base >= 4.9 && < 5 - , aeson - , cardano-api - , marlowe-apps - , marlowe-chain-sync - , servant-server - , wai - , warp - ghc-options : -Wall - -Wnoncanonical-monad-instances - -Wincomplete-uni-patterns - -Wincomplete-record-updates - -Wredundant-constraints - -Widentities - -Wunused-packages - default-language : Haskell2010 + main-is: Main.hs + hs-source-dirs: signing + build-depends: + , aeson + , base >=4.9 && <5 + , cardano-api + , marlowe-apps + , marlowe-chain-sync + , servant-server + , wai + , warp + + ghc-options: + -Wall -Wnoncanonical-monad-instances -Wincomplete-uni-patterns + -Wincomplete-record-updates -Wredundant-constraints -Widentities + -Wunused-packages + + default-language: Haskell2010 diff --git a/marlowe-chain-sync/marlowe-chain-sync.cabal b/marlowe-chain-sync/marlowe-chain-sync.cabal index 494527fe6b..1cb1c97a0a 100644 --- a/marlowe-chain-sync/marlowe-chain-sync.cabal +++ b/marlowe-chain-sync/marlowe-chain-sync.cabal @@ -1,29 +1,29 @@ cabal-version: 3.0 -name: marlowe-chain-sync -version: 0.0.1 -synopsis: - Cardano chain sync system for thee Marlowe Runtime +name: marlowe-chain-sync +version: 0.0.1 +synopsis: Cardano chain sync system for thee Marlowe Runtime description: Marlowe runtime component for Cardano node synchronization. Communicates with downstream compoents using the Chain Sync protocol, which provides efficient push and pull-based traversal of the cardano blockchain. -bug-reports: https://github.com/input-output-hk/marlowe-cardano/issues -license: Apache-2.0 -author: Jamie Bertram -maintainer: jamie.bertram@iohk.io -stability: experimental -category: Language + +bug-reports: https://github.com/input-output-hk/marlowe-cardano/issues +license: Apache-2.0 +author: Jamie Bertram +maintainer: jamie.bertram@iohk.io +stability: experimental +category: Language license-files: LICENSE NOTICE source-repository head - type: git + type: git location: https://github.com/input-output-hk/marlowe-cardano - subdir: marlowe-chain-sync + subdir: marlowe-chain-sync common lang - default-language: Haskell2010 + default-language: Haskell2010 default-extensions: BlockArguments DeriveAnyClass @@ -43,85 +43,88 @@ common lang RecordWildCards ScopedTypeVariables StandaloneDeriving - TypeApplications TupleSections + TypeApplications + ghc-options: -Wall -Wnoncanonical-monad-instances -Wunused-packages -Wincomplete-uni-patterns -Wincomplete-record-updates -Wredundant-constraints -Widentities library - import: lang - hs-source-dirs: src + import: lang + hs-source-dirs: src exposed-modules: Language.Marlowe.Runtime.Cardano.Api Language.Marlowe.Runtime.Cardano.Feature Language.Marlowe.Runtime.ChainSync.Api + other-modules: build-depends: - , base >= 4.9 && < 5 - , aeson >= 2 && < 3 - , base16 >= 0.3.2 && < 0.4 - , binary >= 0.8.8 && < 0.9 - , bytestring >= 0.10.12 && < 0.12 + , aeson >=2 && <3 + , base >=4.9 && <5 + , base16 ^>=0.3.2 + , binary ^>=0.8.8 + , bytestring >=0.10.12 && <0.12 , cardano-api ==1.35.4 , cardano-ledger-core ==0.1.0.0 - , containers >= 0.6.5 && < 0.7 + , containers ^>=0.6.5 + , hashable >=1.3 && <2 , marlowe-protocols ==0.1.0.0 - , nonempty-containers >= 0.3.4 && < 0.4 + , nonempty-containers ^>=0.3.4 , ouroboros-consensus ==0.1.0.1 , ouroboros-network ==0.1.0.1 - , hashable >= 1.3 && < 2 , plutus-ledger-api ==1.0.0.1 , plutus-tx ==1.0.0.0 - , serialise >= 0.2.6 && < 0.3 - , text >= 1.2.4 && < 2 - , these >= 1.1 && < 2 - , time >= 1.9 && < 2 - , vector >= 0.12.3 && < 0.13 + , serialise ^>=0.2.6 + , text >=1.2.4 && <2 + , these >=1.1 && <2 + , time >=1.9 && <2 + , vector ^>=0.12.3 library libchainsync - import: lang - hs-source-dirs: libchainsync - visibility: public + import: lang + hs-source-dirs: libchainsync + visibility: public exposed-modules: Language.Marlowe.Runtime.ChainSync Language.Marlowe.Runtime.ChainSync.Database Language.Marlowe.Runtime.ChainSync.Database.PostgreSQL Language.Marlowe.Runtime.ChainSync.JobServer Language.Marlowe.Runtime.ChainSync.NodeClient - Language.Marlowe.Runtime.ChainSync.Server Language.Marlowe.Runtime.ChainSync.QueryServer + Language.Marlowe.Runtime.ChainSync.Server + other-modules: build-depends: , async-components ==0.1.0.0 - , base >= 4.9 && < 5 - , bytestring >= 0.10.12 && < 0.12 + , base >=4.9 && <5 + , bytestring >=0.10.12 && <0.12 , cardano-api ==1.35.4 , cardano-binary ==1.5.0 - , co-log >= 0.5.0.0 && < 0.6.0.0 - , containers >= 0.6.5 && < 0.7 - , eventuo11y ^>= { 0.9, 0.10 } + , co-log >=0.5.0.0 && <0.6.0.0 + , containers ^>=0.6.5 + , eventuo11y >=0.9 && <0.11 , eventuo11y-extras ==0.1.0.0 - , foldl >= 1.4 && < 2 - , hasql >= 1.6 && < 2 - , hasql-pool ^>= 0.8 - , hasql-th >= 0.4 && < 0.5 - , hasql-transaction >= 1 && < 1.1 + , foldl >=1.4 && <2 + , hasql >=1.6 && <2 + , hasql-pool ^>=0.8 + , hasql-th ^>=0.4 + , hasql-transaction ^>=1 , marlowe-chain-sync ==0.0.1 , marlowe-protocols ==0.1.0.0 - , nonempty-containers >= 0.3.4 && < 0.4 + , nonempty-containers ^>=0.3.4 , ouroboros-network ==0.1.0.1 - , stm >= 2.5 && < 2.6 - , text >= 1.2.4 && < 2 - , transformers >= 0.5.6 && < 0.6 - , unliftio >= 0.2.1 && < 0.3 - , vector >= 0.12.3 && < 0.13 + , stm ^>=2.5 + , text >=1.2.4 && <2 + , transformers ^>=0.5.6 + , unliftio ^>=0.2.1 + , vector ^>=0.12.3 library chain-indexer - import: lang - hs-source-dirs: chain-indexer - visibility: public + import: lang + hs-source-dirs: chain-indexer + visibility: public exposed-modules: Language.Marlowe.Runtime.ChainIndexer Language.Marlowe.Runtime.ChainIndexer.Database @@ -129,12 +132,13 @@ library chain-indexer Language.Marlowe.Runtime.ChainIndexer.Genesis Language.Marlowe.Runtime.ChainIndexer.NodeClient Language.Marlowe.Runtime.ChainIndexer.Store + other-modules: build-depends: , async-components ==0.1.0.0 - , base >= 4.9 && < 5 - , base16 >= 0.3.2 && < 0.4 - , bytestring >= 0.10.12 && < 0.12 + , base >=4.9 && <5 + , base16 ^>=0.3.2 + , bytestring >=0.10.12 && <0.12 , cardano-api ==1.35.4 , cardano-binary ==1.5.0 , cardano-crypto-wrapper ==1.3.0 @@ -143,149 +147,146 @@ library chain-indexer , cardano-ledger-byron ==0.1.0.0 , cardano-ledger-core ==0.1.0.0 , cardano-ledger-shelley ==0.1.0.0 - , co-log >= 0.5.0.0 && < 0.6.0.0 - , containers >= 0.6.5 && < 0.7 - , eventuo11y ^>= { 0.9, 0.10 } + , co-log >=0.5.0.0 && <0.6.0.0 + , containers ^>=0.6.5 + , eventuo11y >=0.9 && <0.11 , eventuo11y-extras ==0.1.0.0 - , hasql >= 1.6 && < 2 - , hasql-pool ^>= 0.8 - , hasql-th >= 0.4 && < 0.5 - , hasql-transaction >= 1 && < 1.1 + , hasql >=1.6 && <2 + , hasql-pool ^>=0.8 + , hasql-th ^>=0.4 + , hasql-transaction ^>=1 , ouroboros-network ==0.1.0.1 - , profunctors >= 5.6 && < 6 - , stm >= 2.5 && < 2.6 - , stm-delay >= 0.1.1 && < 0.2 - , text >= 1.2.4 && < 2 - , time >= 1.9 && < 2 - , transformers >= 0.5.6 && < 0.6 + , profunctors >=5.6 && <6 + , stm ^>=2.5 + , stm-delay ^>=0.1.1 + , text >=1.2.4 && <2 + , time >=1.9 && <2 + , transformers ^>=0.5.6 , typed-protocols ==0.1.0.0 - , unliftio >= 0.2.1 && < 0.3 - , vector >= 0.12.3 && < 0.13 - , witherable >= 0.4 && < 0.5 + , unliftio ^>=0.2.1 + , vector ^>=0.12.3 + , witherable ^>=0.4 library plutus-compat - import: lang - hs-source-dirs: plutus-compat - visibility: public - exposed-modules: - Language.Marlowe.Runtime.Plutus.V2.Api + import: lang + hs-source-dirs: plutus-compat + visibility: public + exposed-modules: Language.Marlowe.Runtime.Plutus.V2.Api other-modules: build-depends: - , base >= 4.9 && < 5 - , bytestring >= 0.10.12 && < 0.12 + , base >=4.9 && <5 + , bytestring >=0.10.12 && <0.12 , cardano-api ==1.35.4 , cardano-ledger-byron ==0.1.0.0 - , containers >= 0.6.5 && < 0.7 + , containers ^>=0.6.5 , marlowe-chain-sync ==0.0.1 - , plutus-tx ==1.0.0.0 , plutus-ledger-api ==1.0.0.1 - , serialise >= 0.2.6 && < 0.3 + , plutus-tx ==1.0.0.0 + , serialise ^>=0.2.6 library gen - import: lang - hs-source-dirs: gen - visibility: public - exposed-modules: - Language.Marlowe.Runtime.ChainSync.Gen + import: lang + hs-source-dirs: gen + visibility: public + exposed-modules: Language.Marlowe.Runtime.ChainSync.Gen other-modules: build-depends: - , base >= 4.9 && < 5 - , bytestring >= 0.10.12 && < 0.12 - , cardano-api ==1.35.4 - , cardano-api:gen ==1.35.4 - , hedgehog-quickcheck >= 0.1 && < 0.2 + , base >=4.9 && <5 + , bytestring >=0.10.12 && <0.12 + , cardano-api:{cardano-api, gen} ==1.35.4 + , hedgehog-quickcheck ^>=0.1 , marlowe-chain-sync ==0.0.1 , marlowe-protocols ==0.1.0.0 - , nonempty-containers >= 0.3.4 && < 0.4 + , nonempty-containers ^>=0.3.4 , ouroboros-consensus ==0.1.0.1 - , QuickCheck >= 2.14 && < 3 - , text >= 1.2.4 && < 2 - , time >= 1.9 && < 2 + , QuickCheck >=2.14 && <3 + , text >=1.2.4 && <2 + , time >=1.9 && <2 test-suite marlowe-chain-sync-test - import: lang - hs-source-dirs: test - type: exitcode-stdio-1.0 - main-is: Spec.hs + import: lang + hs-source-dirs: test + type: exitcode-stdio-1.0 + main-is: Spec.hs other-modules: Language.Marlowe.Runtime.ChainSync.ApiSpec Paths_marlowe_chain_sync + build-depends: - , base >= 4.9 && < 5 - , hspec >= 2.10 && < 3 - , marlowe-chain-sync ==0.0.1 - , marlowe-chain-sync:gen ==0.0.1 + , base >=4.9 && <5 + , hspec >=2.10 && <3 + , marlowe-chain-sync:{marlowe-chain-sync, gen} ==0.0.1 , marlowe-protocols ==0.1.0.0 + build-tool-depends: hspec-discover:hspec-discover - ghc-options: -threaded + ghc-options: -threaded executable marlowe-chain-indexer - import: lang - ghc-options: -threaded - hs-source-dirs: marlowe-chain-indexer - main-is: Main.hs + import: lang + ghc-options: -threaded + hs-source-dirs: marlowe-chain-indexer + main-is: Main.hs other-modules: Logging Options Paths_marlowe_chain_sync - autogen-modules: - Paths_marlowe_chain_sync + + autogen-modules: Paths_marlowe_chain_sync build-depends: - , aeson >= 2 && < 3 + , aeson >=2 && <3 , async-components ==0.1.0.0 - , base >= 4.9 && < 5 - , bytestring >= 0.10.12 && < 0.12 + , base >=4.9 && <5 + , bytestring >=0.10.12 && <0.12 , cardano-api ==1.35.4 , cardano-crypto-wrapper ==1.3.0 , cardano-ledger-byron ==0.1.0.0 - , eventuo11y ^>= { 0.9, 0.10 } + , eventuo11y >=0.9 && <0.11 , eventuo11y-extras ==0.1.0.0 - , eventuo11y-otel ^>= 0.1 - , hasql >= 1.6 && < 2 - , hasql-pool ^>= 0.8 - , hs-opentelemetry-api >= 0.0.3 && < 0.0.4 - , hs-opentelemetry-sdk >= 0.0.3 && < 0.0.4 + , eventuo11y-otel ^>=0.1 + , hasql >=1.6 && <2 + , hasql-pool ^>=0.8 + , hs-opentelemetry-api >=0.0.3 && <0.0.4 + , hs-opentelemetry-sdk >=0.0.3 && <0.0.4 , marlowe-chain-sync:chain-indexer - , mtl >= 2.2 && < 3 + , mtl >=2.2 && <3 , optparse-applicative , ouroboros-network ==0.1.0.1 - , postgresql-libpq >= 0.9 && < 0.10 - , text >= 1.2.4 && < 2 - , time >= 1.9 && < 2 - , transformers >= 0.5.6 && < 0.6 - , unliftio >= 0.2.1 && < 0.3 + , postgresql-libpq ^>=0.9 + , text >=1.2.4 && <2 + , time >=1.9 && <2 + , transformers ^>=0.5.6 + , unliftio ^>=0.2.1 executable marlowe-chain-sync - import: lang - ghc-options: -threaded - hs-source-dirs: marlowe-chain-sync - main-is: Main.hs + import: lang + ghc-options: -threaded + hs-source-dirs: marlowe-chain-sync + main-is: Main.hs other-modules: Logging Options Paths_marlowe_chain_sync - autogen-modules: - Paths_marlowe_chain_sync + + autogen-modules: Paths_marlowe_chain_sync build-depends: , async-components ==0.1.0.0 - , base >= 4.9 && < 5 - , bytestring >= 0.10.12 && < 0.12 + , base >=4.9 && <5 + , bytestring >=0.10.12 && <0.12 , cardano-api ==1.35.4 , cardano-ledger-byron ==0.1.0.0 - , eventuo11y ^>= { 0.9, 0.10 } + , eventuo11y >=0.9 && <0.11 , eventuo11y-extras ==0.1.0.0 - , eventuo11y-otel ^>= 0.1 - , hasql >= 1.6 && < 2 - , hasql-pool ^>= 0.8 - , hs-opentelemetry-api >= 0.0.3 && < 0.0.4 - , hs-opentelemetry-sdk >= 0.0.3 && < 0.0.4 - , marlowe-chain-sync ==0.0.1 - , marlowe-chain-sync:libchainsync ==0.0.1 + , eventuo11y-otel ^>=0.1 + , hasql >=1.6 && <2 + , hasql-pool ^>=0.8 + , hs-opentelemetry-api >=0.0.3 && <0.0.4 + , hs-opentelemetry-sdk >=0.0.3 && <0.0.4 + , marlowe-chain-sync:{marlowe-chain-sync, libchainsync} ==0.0.1 , marlowe-protocols ==0.1.0.0 - , mtl >= 2.2 && < 3 - , network >= 3.1 && < 4 + , mtl >=2.2 && <3 + , network >=3.1 && <4 , optparse-applicative , ouroboros-network ==0.1.0.1 - , postgresql-libpq >= 0.9 && < 0.10 - , text >= 1.2.4 && < 2 - , unliftio >= 0.2.1 && < 0.3 + , postgresql-libpq ^>=0.9 + , text >=1.2.4 && <2 + , unliftio ^>=0.2.1 diff --git a/marlowe-cli/marlowe-cli.cabal b/marlowe-cli/marlowe-cli.cabal index 04224259ad..1cab92ffe2 100644 --- a/marlowe-cli/marlowe-cli.cabal +++ b/marlowe-cli/marlowe-cli.cabal @@ -1,43 +1,54 @@ -cabal-version: 3.0 -name: marlowe-cli -version: 0.0.10.2 -license: Apache-2.0 +cabal-version: 3.0 +name: marlowe-cli +version: 0.0.10.2 +license: Apache-2.0 license-files: LICENSE NOTICE -build-type: Simple -maintainer: brian.bush@iohk.io -stability: stable -author: Brian W Bush + +build-type: Simple +maintainer: brian.bush@iohk.io +stability: stable +author: Brian W Bush synopsis: Command-line tool for running Marlowe financial contracts on Cardano Computation Layer + description: Command-line tool for the reference implementation of Marlowe, domain-specific language targeted at the execution of financial contracts in the style of Peyton Jones et al on Cardano Computation Layer. -category: Language + +category: Language extra-doc-files: ReadMe.md source-repository head - type: git + type: git location: https://github.com/input-output-hk/marlowe-cardano - subdir: marlowe-cli + subdir: marlowe-cli flag defer-plugin-errors - description: - Defer errors from the plugin, useful for things like Haddock that can't handle it. - default: False - manual: True + description: + Defer errors from the plugin, useful for things like Haddock that can't handle it. + + default: False + manual: True common lang - default-language: Haskell2010 - default-extensions: ExplicitForAll ScopedTypeVariables - DeriveGeneric StandaloneDeriving DeriveLift - DeriveFunctor DeriveFoldable - DeriveTraversable + default-language: Haskell2010 + default-extensions: + DeriveFoldable + DeriveFunctor + DeriveGeneric + DeriveLift + DeriveTraversable + ExplicitForAll + ScopedTypeVariables + StandaloneDeriving + ghc-options: -Wall -Wnoncanonical-monad-instances -Wunused-packages -Wincomplete-uni-patterns -Wincomplete-record-updates -Wredundant-constraints -Widentities + if flag(defer-plugin-errors) ghc-options: -fplugin-opt PlutusTx.Plugin:defer-errors @@ -46,13 +57,13 @@ common lang ImportQualifiedPost library - import: lang - hs-source-dirs: src + import: lang + hs-source-dirs: src exposed-modules: Contrib.Control.Concurrent - Language.Marlowe.CLI.Analyze Language.Marlowe.Cardano Language.Marlowe.Cardano.Thread + Language.Marlowe.CLI.Analyze Language.Marlowe.CLI.Cardano.Api Language.Marlowe.CLI.Cardano.Api.Address Language.Marlowe.CLI.Cardano.Api.Address.ProofOfBurn @@ -72,50 +83,51 @@ library Language.Marlowe.CLI.Transaction Language.Marlowe.CLI.Types Paths_marlowe_cli + build-depends: - aeson, - aeson-pretty, - appendmap -any, - base >= 4.9 && < 5, - base16-bytestring, - bech32, - bytestring, - cardano-api, - cardano-crypto-class, - cardano-ledger-alonzo, - cardano-ledger-core, - cardano-ledger-shelley, - cardano-slotting, - cborg, - cborg-json, - containers, - data-default, - directory, - errors, - extra -any, - marlowe-cardano, - memory, - mtl, - ouroboros-consensus, - ouroboros-network, - plutus-core, - plutus-ledger, - plutus-ledger-ada, - plutus-ledger-api, - plutus-ledger-slot, - plutus-script-utils, - plutus-tx, - prettyprinter, - serialise, - text, - time, - time-units, - transformers, - yaml, + , aeson + , aeson-pretty + , appendmap + , base >=4.9 && <5 + , base16-bytestring + , bech32 + , bytestring + , cardano-api + , cardano-crypto-class + , cardano-ledger-alonzo + , cardano-ledger-core + , cardano-ledger-shelley + , cardano-slotting + , cborg + , cborg-json + , containers + , data-default + , directory + , errors + , extra + , marlowe-cardano + , memory + , mtl + , ouroboros-consensus + , ouroboros-network + , plutus-core + , plutus-ledger + , plutus-ledger-ada + , plutus-ledger-api + , plutus-ledger-slot + , plutus-script-utils + , plutus-tx + , prettyprinter + , serialise + , text + , time + , time-units + , transformers + , yaml library cli-test - import: lang - hs-source-dirs: cli-test + import: lang + hs-source-dirs: cli-test other-modules: Contrib.Cardano.Api Contrib.Control.Concurrent.Async @@ -130,17 +142,18 @@ library cli-test Contrib.Data.Time.Clock Contrib.Data.Time.Units.Aeson Contrib.Monad.Loops - Contrib.UnliftIO.Control.Concurrent Contrib.UnliftIO.Async.Pool + Contrib.UnliftIO.Control.Concurrent + exposed-modules: Language.Marlowe.CLI.Test + Language.Marlowe.CLI.Test.CLI.Interpret + Language.Marlowe.CLI.Test.CLI.Monad + Language.Marlowe.CLI.Test.CLI.Types Language.Marlowe.CLI.Test.Contract Language.Marlowe.CLI.Test.Contract.ContractNickname Language.Marlowe.CLI.Test.Contract.ParametrizedMarloweJSON Language.Marlowe.CLI.Test.Contract.Source - Language.Marlowe.CLI.Test.CLI.Interpret - Language.Marlowe.CLI.Test.CLI.Monad - Language.Marlowe.CLI.Test.CLI.Types Language.Marlowe.CLI.Test.ExecutionMode Language.Marlowe.CLI.Test.Interpret Language.Marlowe.CLI.Test.InterpreterError @@ -151,61 +164,58 @@ library cli-test Language.Marlowe.CLI.Test.Runtime.Monitor Language.Marlowe.CLI.Test.Runtime.Types Language.Marlowe.CLI.Test.TestCase + Language.Marlowe.CLI.Test.Types Language.Marlowe.CLI.Test.Wallet.Interpret Language.Marlowe.CLI.Test.Wallet.Types - Language.Marlowe.CLI.Test.Types + build-depends: - aeson, - aeson-pretty, - async, - async-pool, - base >= 4.9 && < 5, - bytestring, - cardano-api, - containers, - data-default, - data-has, - errors, - eventuo11y, - eventuo11y-json, - extra -any, - indexed-traversable, - lens, - marlowe-apps, - marlowe-cardano, - marlowe-chain-sync, - marlowe-chain-sync:plutus-compat, - marlowe-cli, - marlowe-client, - marlowe-contracts, - marlowe-protocols, - marlowe-runtime, - marlowe-runtime:history-api, - marlowe-runtime:proxy-api, - marlowe-runtime:tx-api, - monad-loops, - mtl, - network, - one-line-aeson-text, - plutus-core, - plutus-ledger, - plutus-ledger-ada, - plutus-ledger-api, - plutus-ledger-slot, - plutus-tx, - random, - stm, - temporary, - text, - time, - time-units, - transformers, - unliftio, - vector, + , aeson + , aeson-pretty + , async + , async-pool + , base >=4.9 && <5 + , bytestring + , cardano-api + , containers + , data-default + , data-has + , errors + , eventuo11y + , eventuo11y-json + , extra + , indexed-traversable + , lens + , marlowe-apps + , marlowe-cardano + , marlowe-chain-sync:{marlowe-chain-sync, plutus-compat} + , marlowe-cli + , marlowe-client + , marlowe-contracts + , marlowe-protocols + , marlowe-runtime:{marlowe-runtime, history-api, proxy-api, tx-api} + , monad-loops + , mtl + , network + , one-line-aeson-text + , plutus-core + , plutus-ledger + , plutus-ledger-ada + , plutus-ledger-api + , plutus-ledger-slot + , plutus-tx + , random + , stm + , temporary + , text + , time + , time-units + , transformers + , unliftio + , vector library command - import: lang - hs-source-dirs: command + import: lang + hs-source-dirs: command exposed-modules: Language.Marlowe.CLI.Command Language.Marlowe.CLI.Command.Contract @@ -217,47 +227,45 @@ library command Language.Marlowe.CLI.Command.Test Language.Marlowe.CLI.Command.Transaction Language.Marlowe.CLI.Command.Util + build-depends: - aeson, - base >= 4.9 && < 5, - base16-bytestring, - bytestring, - cardano-api, - cardano-slotting, - marlowe-actus, - marlowe-cardano, - marlowe-cli, - marlowe-cli:cli-test, - marlowe-contracts, - marlowe-runtime:config, - mtl, - network, - optparse-applicative, - ouroboros-network, - plutus-ledger, - plutus-ledger-ada, - plutus-ledger-api, - plutus-ledger-slot, - plutus-tx, - regex-posix, - servant-client, - split, - text, - time-units, - transformers, + , aeson + , base >=4.9 && <5 + , base16-bytestring + , bytestring + , cardano-api + , cardano-slotting + , marlowe-actus + , marlowe-cardano + , marlowe-cli:{marlowe-cli, cli-test} + , marlowe-contracts + , marlowe-runtime:config + , mtl + , network + , optparse-applicative + , ouroboros-network + , plutus-ledger + , plutus-ledger-ada + , plutus-ledger-api + , plutus-ledger-slot + , plutus-tx + , regex-posix + , servant-client + , split + , text + , time-units + , transformers executable marlowe-cli - import: lang - hs-source-dirs: app - main-is: Main.hs - other-modules: - Paths_marlowe_cli - autogen-modules: - Paths_marlowe_cli + import: lang + hs-source-dirs: app + main-is: Main.hs + other-modules: Paths_marlowe_cli + autogen-modules: Paths_marlowe_cli build-depends: - base >= 4.9 && < 5, - cardano-config, - marlowe-cli:command, - text - ghc-options: - -threaded + , base >=4.9 && <5 + , cardano-config + , marlowe-cli:command + , text + + ghc-options: -threaded diff --git a/marlowe-client/marlowe-client.cabal b/marlowe-client/marlowe-client.cabal index 151e1dc204..bbeeff94ff 100644 --- a/marlowe-client/marlowe-client.cabal +++ b/marlowe-client/marlowe-client.cabal @@ -1,26 +1,25 @@ cabal-version: 3.0 -name: marlowe-client -version: 0.0.1 -synopsis: - A client library for the Marlowe Runtime. -bug-reports: https://github.com/input-output-hk/marlowe-marlowe/issues -license: Apache-2.0 -author: Jamie Bertram -maintainer: jamie.bertram@iohk.io -stability: experimental -category: Language +name: marlowe-client +version: 0.0.1 +synopsis: A client library for the Marlowe Runtime. +bug-reports: https://github.com/input-output-hk/marlowe-marlowe/issues +license: Apache-2.0 +author: Jamie Bertram +maintainer: jamie.bertram@iohk.io +stability: experimental +category: Language license-files: LICENSE NOTICE source-repository head - type: git + type: git location: https://github.com/input-output-hk/marlowe-cardano - subdir: marlowe-client + subdir: marlowe-client library - default-language: Haskell2010 - hs-source-dirs: src + default-language: Haskell2010 + hs-source-dirs: src default-extensions: BlockArguments DeriveAnyClass @@ -40,37 +39,34 @@ library RecordWildCards ScopedTypeVariables StandaloneDeriving - TypeApplications TupleSections + TypeApplications + ghc-options: -Wall -Wnoncanonical-monad-instances -Wunused-packages -Wincomplete-uni-patterns -Wincomplete-record-updates -Wredundant-constraints -Widentities + exposed-modules: Control.Monad.Trans.Marlowe Control.Monad.Trans.Marlowe.Class Language.Marlowe.Runtime.Client + build-depends: - , base >= 4.9 && < 5 + , base >=4.9 && <5 , cardano-api ==1.35.4 - , eventuo11y ^>= { 0.9, 0.10 } + , eventuo11y >=0.9 && <0.11 , eventuo11y-extras ==0.1.0.0 - , exceptions >= 0.10 && < 0.11 - , general-allocate ^>= { 0.2 } + , exceptions ^>=0.10 + , general-allocate ^>=0.2 , marlowe-chain-sync ==0.0.1 , marlowe-protocols ==0.1.0.0 - , marlowe-runtime ==0.0.1 - , marlowe-runtime:contract-api ==0.0.1 - , marlowe-runtime:discovery-api ==0.0.1 - , marlowe-runtime:history-api ==0.0.1 - , marlowe-runtime:proxy-api ==0.0.1 - , marlowe-runtime:sync-api ==0.0.1 - , marlowe-runtime:tx-api ==0.0.1 - , monad-control >= 1 && < 1.1 - , mtl >= 2.2 && < 3 - , network >= 3.1 && < 4 - , resourcet >= 1.3 && < 2 - , time >= 1.9 && < 2 - , transformers >= 0.5.6 && < 0.6 - , transformers-base >= 0.4 && < 0.5 - , unliftio >= 0.2.1 && < 0.3 + , marlowe-runtime:{marlowe-runtime, contract-api, discovery-api, history-api, proxy-api, sync-api, tx-api} ==0.0.1 + , monad-control ^>=1 + , mtl >=2.2 && <3 + , network >=3.1 && <4 + , resourcet >=1.3 && <2 + , time >=1.9 && <2 + , transformers ^>=0.5.6 + , transformers-base ^>=0.4 + , unliftio ^>=0.2.1 diff --git a/marlowe-contracts/marlowe-contracts.cabal b/marlowe-contracts/marlowe-contracts.cabal index 29b50f4520..502d648b83 100644 --- a/marlowe-contracts/marlowe-contracts.cabal +++ b/marlowe-contracts/marlowe-contracts.cabal @@ -1,48 +1,54 @@ -cabal-version: 2.2 -name: marlowe-contracts -version: 0.1.0.0 -license: Apache-2.0 +cabal-version: 2.2 +name: marlowe-contracts +version: 0.1.0.0 +license: Apache-2.0 license-files: LICENSE NOTICE -build-type: Simple -maintainer: yves.hauser@iohk.io -stability: experimental -author: Yves Hauser -synopsis: - Collection of Marlowe contract examples -description: - Collection of Marlowe contract examples -category: Language + +build-type: Simple +maintainer: yves.hauser@iohk.io +stability: experimental +author: Yves Hauser +synopsis: Collection of Marlowe contract examples +description: Collection of Marlowe contract examples +category: Language extra-doc-files: ReadMe.md source-repository head - type: git + type: git location: https://github.com/input-output-hk/marlowe-cardano - subdir: marlowe-contracts + subdir: marlowe-contracts flag defer-plugin-errors - description: - Defer errors from the plugin, useful for things like Haddock that can't handle it. - default: False - manual: True + description: + Defer errors from the plugin, useful for things like Haddock that can't handle it. + + default: False + manual: True common lang - default-language: Haskell2010 - default-extensions: ExplicitForAll ScopedTypeVariables - DeriveGeneric StandaloneDeriving DeriveLift - DeriveFunctor DeriveFoldable - DeriveTraversable + default-language: Haskell2010 + default-extensions: + DeriveFoldable + DeriveFunctor + DeriveGeneric + DeriveLift + DeriveTraversable + ExplicitForAll + ScopedTypeVariables + StandaloneDeriving + ghc-options: - -Wall -Wnoncanonical-monad-instances - -Wincomplete-uni-patterns -Wincomplete-record-updates - -Wredundant-constraints -Widentities + -Wall -Wnoncanonical-monad-instances -Wincomplete-uni-patterns + -Wincomplete-record-updates -Wredundant-constraints -Widentities + if flag(defer-plugin-errors) ghc-options: -fplugin-opt PlutusTx.Plugin:defer-errors library - import: lang - hs-source-dirs: src + import: lang + hs-source-dirs: src exposed-modules: Marlowe.Contracts Marlowe.Contracts.Common @@ -53,7 +59,6 @@ library Marlowe.Contracts.StructuredProducts Marlowe.Contracts.Swap Marlowe.Contracts.Trivial - Marlowe.Contracts.ZeroCouponBond Marlowe.Contracts.UTC.Common Marlowe.Contracts.UTC.CouponBond Marlowe.Contracts.UTC.Forward @@ -62,32 +67,35 @@ library Marlowe.Contracts.UTC.StructuredProducts Marlowe.Contracts.UTC.Swap Marlowe.Contracts.UTC.ZeroCouponBond + Marlowe.Contracts.ZeroCouponBond + other-modules: build-depends: - base >= 4.9 && < 5, - marlowe-cardano -any, - time -any + , base >=4.9 && <5 + , marlowe-cardano + , time test-suite marlowe-contracts-test - import: lang - hs-source-dirs: test - type: exitcode-stdio-1.0 - main-is: Spec.hs - other-modules: - Spec.Marlowe.Analysis - Spec.Marlowe.Contracts - build-depends: - base >=4.9 && <5, - bytestring -any, - tasty -any, - tasty-hunit -any, - tasty-quickcheck, - text -any, - plutus-ledger-api -any, - plutus-ledger-ada, - marlowe-cardano, - marlowe-contracts, - plutus-tx -any, - QuickCheck, - time -any, - uuid -any + import: lang + hs-source-dirs: test + type: exitcode-stdio-1.0 + main-is: Spec.hs + other-modules: + Spec.Marlowe.Analysis + Spec.Marlowe.Contracts + + build-depends: + , base >=4.9 && <5 + , bytestring + , marlowe-cardano + , marlowe-contracts + , plutus-ledger-ada + , plutus-ledger-api + , plutus-tx + , QuickCheck + , tasty + , tasty-hunit + , tasty-quickcheck + , text + , time + , uuid diff --git a/marlowe-integration-tests/marlowe-integration-tests.cabal b/marlowe-integration-tests/marlowe-integration-tests.cabal index 7a032bce1b..48ccbd9c67 100644 --- a/marlowe-integration-tests/marlowe-integration-tests.cabal +++ b/marlowe-integration-tests/marlowe-integration-tests.cabal @@ -1,30 +1,30 @@ cabal-version: 3.0 -name: marlowe-integration-tests -version: 0.1.0.0 -synopsis: - End to end integration tests for the Marlowe Runtime -bug-reports: https://github.com/input-output-hk/marlowe-marlowe/issues -license: Apache-2.0 -author: Jamie Bertram -maintainer: jamie.bertram@iohk.io -category: Language +name: marlowe-integration-tests +version: 0.1.0.0 +synopsis: End to end integration tests for the Marlowe Runtime +bug-reports: https://github.com/input-output-hk/marlowe-marlowe/issues +license: Apache-2.0 +author: Jamie Bertram +maintainer: jamie.bertram@iohk.io +category: Language license-files: LICENSE NOTICE flag defer-plugin-errors - description: - Defer errors from the plugin, useful for things like Haddock that can't handle it. - default: False - manual: True + description: + Defer errors from the plugin, useful for things like Haddock that can't handle it. + + default: False + manual: True source-repository head - type: git + type: git location: https://github.com/input-output-hk/marlowe-cardano - subdir: marlowe-integration-tests + subdir: marlowe-integration-tests executable marlowe-integration-tests - default-language: Haskell2010 + default-language: Haskell2010 default-extensions: BlockArguments DeriveAnyClass @@ -45,16 +45,19 @@ executable marlowe-integration-tests RecordWildCards ScopedTypeVariables StandaloneDeriving - TypeApplications TupleSections + TypeApplications + ghc-options: -Wall -Wnoncanonical-monad-instances -Wunused-packages -Wincomplete-uni-patterns -Wincomplete-record-updates -Wredundant-constraints -Widentities -threaded + if flag(defer-plugin-errors) ghc-options: -fplugin-opt PlutusTx.Plugin:defer-errors - hs-source-dirs: test - main-is: Spec.hs + + hs-source-dirs: test + main-is: Spec.hs other-modules: Language.Marlowe.Runtime.CliSpec Language.Marlowe.Runtime.Integration.ApplyInputs @@ -80,39 +83,32 @@ executable marlowe-integration-tests Language.Marlowe.Runtime.Web.PutWithdrawal Language.Marlowe.Runtime.Web.StandardContract Language.Marlowe.Runtime.WebSpec + build-depends: - , QuickCheck , aeson , async-components - , base >= 4.9 && < 5 + , base >=4.9 && <5 , base16 , bytestring , cardano-api - , co-log >= 0.5.0.0 && < 0.6.0.0 + , co-log >=0.5.0.0 && <0.6.0.0 , containers , eventuo11y-extras , hspec , http-types , marlowe-cardano - , marlowe-chain-sync - , marlowe-chain-sync:plutus-compat + , marlowe-chain-sync:{marlowe-chain-sync, plutus-compat} , marlowe-client , marlowe-integration , marlowe-protocols - , marlowe-runtime - , marlowe-runtime-web - , marlowe-runtime-web:server - , marlowe-runtime:contract - , marlowe-runtime:contract-api - , marlowe-runtime:discovery-api - , marlowe-runtime:history-api - , marlowe-runtime:sync-api - , marlowe-runtime:tx-api + , marlowe-runtime-web:{marlowe-runtime-web, server} + , marlowe-runtime:{marlowe-runtime, contract, contract-api, discovery-api, history-api, sync-api, tx-api} , marlowe-test , mtl , network-uri , plutus-ledger-api , plutus-tx + , QuickCheck , resourcet , servant-client , servant-pagination @@ -121,4 +117,5 @@ executable marlowe-integration-tests , transformers , typed-protocols , unliftio + build-tool-depends: hspec-discover:hspec-discover diff --git a/marlowe-integration/marlowe-integration.cabal b/marlowe-integration/marlowe-integration.cabal index 1a66e6a320..eded4f5f54 100644 --- a/marlowe-integration/marlowe-integration.cabal +++ b/marlowe-integration/marlowe-integration.cabal @@ -1,26 +1,25 @@ cabal-version: 3.0 -name: marlowe-integration -version: 0.1.0.0 -synopsis: - Run integration tests in the context of a marlowe runtime -bug-reports: https://github.com/input-output-hk/marlowe-marlowe/issues -license: Apache-2.0 -author: Jamie Bertram -maintainer: jamie.bertram@iohk.io -stability: experimental -category: Language +name: marlowe-integration +version: 0.1.0.0 +synopsis: Run integration tests in the context of a marlowe runtime +bug-reports: https://github.com/input-output-hk/marlowe-marlowe/issues +license: Apache-2.0 +author: Jamie Bertram +maintainer: jamie.bertram@iohk.io +stability: experimental +category: Language license-files: LICENSE NOTICE source-repository head - type: git + type: git location: https://github.com/input-output-hk/marlowe-cardano - subdir: marlowe-integration + subdir: marlowe-integration library - default-language: Haskell2010 - hs-source-dirs: src + default-language: Haskell2010 + hs-source-dirs: src default-extensions: BlockArguments DeriveAnyClass @@ -40,55 +39,44 @@ library RecordWildCards ScopedTypeVariables StandaloneDeriving - TypeApplications TupleSections + TypeApplications + ghc-options: -Wall -Wnoncanonical-monad-instances -Wunused-packages -Wincomplete-uni-patterns -Wincomplete-record-updates -Wredundant-constraints -Widentities + exposed-modules: Test.Integration.Marlowe Test.Integration.Marlowe.Local + build-depends: , aeson , async , async-components - , base >= 4.9 && < 5 + , base >=4.9 && <5 , bytestring , cardano-api , cardano-crypto-wrapper , cardano-integration , cardano-ledger-byron - , co-log >= 0.5.0.0 && < 0.6.0.0 + , co-log >=0.5.0.0 && <0.6.0.0 , containers - , eventuo11y ^>= { 0.9, 0.10 } + , eventuo11y >=0.9 && <0.11 , eventuo11y-extras , exceptions , general-allocate , hasql , hasql-pool , http-client - , marlowe-chain-sync - , marlowe-chain-sync:chain-indexer - , marlowe-chain-sync:libchainsync + , marlowe-chain-sync:{marlowe-chain-sync, chain-indexer, libchainsync} , marlowe-cli , marlowe-client , marlowe-protocols - , marlowe-runtime - , marlowe-runtime-web - , marlowe-runtime-web:server - , marlowe-runtime:contract - , marlowe-runtime:contract-api - , marlowe-runtime:discovery-api - , marlowe-runtime:history-api - , marlowe-runtime:indexer - , marlowe-runtime:proxy - , marlowe-runtime:proxy-api - , marlowe-runtime:sync - , marlowe-runtime:sync-api - , marlowe-runtime:tx - , marlowe-runtime:tx-api - , mtl >= 2.2 && < 3 + , marlowe-runtime-web:{marlowe-runtime-web, server} + , marlowe-runtime:{marlowe-runtime, contract, contract-api, discovery-api, history-api, indexer, proxy, proxy-api, sync, sync-api, tx, tx-api} + , mtl >=2.2 && <3 , network , nonempty-containers , ouroboros-network @@ -107,8 +95,8 @@ library , warp executable marlowe-integration-example - default-language: Haskell2010 - hs-source-dirs: app + default-language: Haskell2010 + hs-source-dirs: app default-extensions: BlockArguments DeriveAnyClass @@ -128,20 +116,21 @@ executable marlowe-integration-example RecordWildCards ScopedTypeVariables StandaloneDeriving - TypeApplications TupleSections + TypeApplications + ghc-options: -Wall -Wnoncanonical-monad-instances -Wunused-packages -Wincomplete-uni-patterns -Wincomplete-record-updates -Wredundant-constraints -Widentities - main-is: Main.hs + + main-is: Main.hs build-depends: - base >= 4.9 && < 5 , aeson + , base >=4.9 && <5 , cardano-api , marlowe-cardano , marlowe-chain-sync , marlowe-integration , marlowe-runtime-web , text - diff --git a/marlowe-protocols/marlowe-protocols.cabal b/marlowe-protocols/marlowe-protocols.cabal index a4dd85c35b..f5773f0cbf 100644 --- a/marlowe-protocols/marlowe-protocols.cabal +++ b/marlowe-protocols/marlowe-protocols.cabal @@ -1,26 +1,25 @@ cabal-version: 3.0 -name: marlowe-protocols -version: 0.1.0.0 -synopsis: - Protocol definitions for Marlowe -bug-reports: https://github.com/input-output-hk/marlowe-cardano/issues -license: Apache-2.0 -author: Jamie Bertram -maintainer: jamie.bertram@iohk.io -stability: experimental -category: Language +name: marlowe-protocols +version: 0.1.0.0 +synopsis: Protocol definitions for Marlowe +bug-reports: https://github.com/input-output-hk/marlowe-cardano/issues +license: Apache-2.0 +author: Jamie Bertram +maintainer: jamie.bertram@iohk.io +stability: experimental +category: Language license-files: LICENSE NOTICE source-repository head - type: git + type: git location: https://github.com/input-output-hk/marlowe-cardano - subdir: marlowe-protocols + subdir: marlowe-protocols library - default-language: Haskell2010 - hs-source-dirs: src + default-language: Haskell2010 + hs-source-dirs: src default-extensions: BlockArguments DeriveAnyClass @@ -40,13 +39,14 @@ library RecordWildCards ScopedTypeVariables StandaloneDeriving - TypeApplications TupleSections + TypeApplications + ghc-options: -Wall -Wnoncanonical-monad-instances -Wunused-packages -Wincomplete-uni-patterns -Wincomplete-record-updates - -Wredundant-constraints -Widentities - -Wunused-packages + -Wredundant-constraints -Widentities -Wunused-packages + exposed-modules: Network.Channel Network.Channel.Typed @@ -70,29 +70,30 @@ library Network.Protocol.Query.Server Network.Protocol.Query.Types Observe.Event.Network.Protocol + build-depends: - , QuickCheck >= 2.14 && < 3 - , aeson >= 2 && < 3 + , aeson >=2 && <3 , async-components ==0.1.0.0 - , base >= 4.9 && < 5 - , base16 >= 0.3.2 && < 0.4 - , binary >= 0.8.8 && < 0.9 - , bytestring >= 0.10.12 && < 0.12 - , co-log >= 0.5.0.0 && < 0.6.0.0 - , containers >= 0.6.5 && < 0.7 - , eventuo11y ^>= { 0.9, 0.10 } + , base >=4.9 && <5 + , base16 ^>=0.3.2 + , binary ^>=0.8.8 + , bytestring >=0.10.12 && <0.12 + , co-log >=0.5.0.0 && <0.6.0.0 + , containers ^>=0.6.5 + , eventuo11y >=0.9 && <0.11 , eventuo11y-extras ==0.1.0.0 - , eventuo11y-otel ^>= 0.1 - , hs-opentelemetry-api >= 0.0.3 && < 0.0.4 - , hspec >= 2.10 && < 3 - , hspec-golden >= 0.2 && < 0.3 - , network >= 3.1 && < 4 - , network-run >= 0.2.4 && < 0.3 - , nonempty-containers >= 0.3.4 && < 0.4 - , resourcet >= 1.3 && < 2 - , stm >= 2.5 && < 2.6 - , text >= 1.2.4 && < 2 - , time >= 1.9 && < 2 - , transformers >= 0.5.6 && < 0.6 + , eventuo11y-otel ^>=0.1 + , hs-opentelemetry-api >=0.0.3 && <0.0.4 + , hspec >=2.10 && <3 + , hspec-golden ^>=0.2 + , network >=3.1 && <4 + , network-run ^>=0.2.4 + , nonempty-containers ^>=0.3.4 + , QuickCheck >=2.14 && <3 + , resourcet >=1.3 && <2 + , stm ^>=2.5 + , text >=1.2.4 && <2 + , time >=1.9 && <2 + , transformers ^>=0.5.6 , typed-protocols ==0.1.0.0 - , unliftio >= 0.2.1 && < 0.3 + , unliftio ^>=0.2.1 diff --git a/marlowe-runtime-cli/marlowe-runtime-cli.cabal b/marlowe-runtime-cli/marlowe-runtime-cli.cabal index 654b76cfc2..dca86d32f3 100644 --- a/marlowe-runtime-cli/marlowe-runtime-cli.cabal +++ b/marlowe-runtime-cli/marlowe-runtime-cli.cabal @@ -1,25 +1,24 @@ cabal-version: 3.0 -name: marlowe-runtime-cli -version: 0.0.1 -synopsis: - A command line interface for the Marlowe Runtime. -bug-reports: https://github.com/input-output-hk/marlowe-cardano/issues -license: Apache-2.0 -author: Jamie Bertram -maintainer: jamie.bertram@iohk.io -stability: experimental -category: Language +name: marlowe-runtime-cli +version: 0.0.1 +synopsis: A command line interface for the Marlowe Runtime. +bug-reports: https://github.com/input-output-hk/marlowe-cardano/issues +license: Apache-2.0 +author: Jamie Bertram +maintainer: jamie.bertram@iohk.io +stability: experimental +category: Language license-files: LICENSE NOTICE source-repository head - type: git + type: git location: https://github.com/input-output-hk/marlowe-cardano - subdir: marlowe-runtime-cli + subdir: marlowe-runtime-cli common lang - default-language: Haskell2010 + default-language: Haskell2010 default-extensions: BlockArguments DeriveAnyClass @@ -40,17 +39,18 @@ common lang RecordWildCards ScopedTypeVariables StandaloneDeriving - TypeApplications TupleSections + TypeApplications + ghc-options: -Wall -Wnoncanonical-monad-instances -Wunused-packages -Wincomplete-uni-patterns -Wincomplete-record-updates -Wredundant-constraints -Widentities executable marlowe-runtime-cli - import: lang - hs-source-dirs: app - main-is: Main.hs + import: lang + hs-source-dirs: app + main-is: Main.hs other-modules: Language.Marlowe.Runtime.CLI.Command Language.Marlowe.Runtime.CLI.Command.Apply @@ -65,13 +65,13 @@ executable marlowe-runtime-cli Language.Marlowe.Runtime.CLI.Env Language.Marlowe.Runtime.CLI.Monad Paths_marlowe_runtime_cli - autogen-modules: - Paths_marlowe_runtime_cli + + autogen-modules: Paths_marlowe_runtime_cli build-depends: , aeson , aeson-pretty , ansi-terminal - , base >= 4.9 && < 5 + , base >=4.9 && <5 , base16 , bytestring , cardano-api @@ -82,12 +82,7 @@ executable marlowe-runtime-cli , marlowe-chain-sync , marlowe-client , marlowe-protocols - , marlowe-runtime - , marlowe-runtime:config - , marlowe-runtime:contract-api - , marlowe-runtime:history-api - , marlowe-runtime:proxy-api - , marlowe-runtime:tx-api + , marlowe-runtime:{marlowe-runtime, config, contract-api, history-api, proxy-api, tx-api} , monad-control , mtl , network @@ -103,5 +98,6 @@ executable marlowe-runtime-cli , unliftio , wl-pprint , yaml + if !os(windows) build-depends: unix diff --git a/marlowe-runtime-web/marlowe-runtime-web.cabal b/marlowe-runtime-web/marlowe-runtime-web.cabal index 2e7e3ef109..e5dc01d93b 100644 --- a/marlowe-runtime-web/marlowe-runtime-web.cabal +++ b/marlowe-runtime-web/marlowe-runtime-web.cabal @@ -1,25 +1,24 @@ cabal-version: 3.0 -name: marlowe-runtime-web -version: 0.0.1 -synopsis: - Web server for Marlowe Runtime on Cardano. -bug-reports: https://github.com/input-output-hk/marlowe-cardano/issues -license: Apache-2.0 -author: Jamie Bertram -maintainer: jamie.bertram@iohk.io -stability: experimental -category: Language +name: marlowe-runtime-web +version: 0.0.1 +synopsis: Web server for Marlowe Runtime on Cardano. +bug-reports: https://github.com/input-output-hk/marlowe-cardano/issues +license: Apache-2.0 +author: Jamie Bertram +maintainer: jamie.bertram@iohk.io +stability: experimental +category: Language license-files: LICENSE NOTICE source-repository head - type: git + type: git location: https://github.com/input-output-hk/marlowe-cardano - subdir: marlowe-runtime-web + subdir: marlowe-runtime-web common lang - default-language: Haskell2010 + default-language: Haskell2010 default-extensions: BlockArguments DeriveAnyClass @@ -40,53 +39,57 @@ common lang RecordWildCards ScopedTypeVariables StandaloneDeriving - TypeApplications TupleSections + TypeApplications + ghc-options: -Wall -Wnoncanonical-monad-instances -Wunused-packages -Wincomplete-uni-patterns -Wincomplete-record-updates -Wredundant-constraints -Widentities library - import: lang - hs-source-dirs: src - visibility: public + import: lang + hs-source-dirs: src + visibility: public exposed-modules: Language.Marlowe.Runtime.Web Language.Marlowe.Runtime.Web.Client + other-modules: Language.Marlowe.Runtime.Web.API - Language.Marlowe.Runtime.Web.Types Language.Marlowe.Runtime.Web.Orphans + Language.Marlowe.Runtime.Web.Types + build-depends: - , base >= 4.9 && < 5 - , aeson >= 2 && < 3 - , base16 >= 0.3.2 && < 0.4 - , bytestring >= 0.10.12 && < 0.12 - , containers >= 0.6.5 && < 0.7 - , http-media >= 0.8 && < 0.9 - , lens >= 5.2 && < 6 + , aeson >=2 && <3 + , base >=4.9 && <5 + , base16 ^>=0.3.2 + , bytestring >=0.10.12 && <0.12 + , containers ^>=0.6.5 + , http-media ^>=0.8 + , lens >=5.2 && <6 , marlowe-cardano ==0.1.0.3 - , mtl >= 2.2 && < 3 - , network-uri >= 2.6 && < 3 - , openapi3 >= 3.2 && < 4 - , parsec >= 3.1.14 && < 3.2 - , servant >= 0.19 && < 0.20 - , servant-client >= 0.19 && < 0.20 - , servant-pagination >= 2.5 && < 3 - , servant-server >= 0.19 && < 0.20 - , text >= 1.2.4 && < 2 - , time >= 1.9 && < 2 + , mtl >=2.2 && <3 + , network-uri >=2.6 && <3 + , openapi3 >=3.2 && <4 + , parsec ^>=3.1.14 + , servant ^>=0.19 + , servant-client ^>=0.19 + , servant-pagination >=2.5 && <3 + , servant-server ^>=0.19 + , text >=1.2.4 && <2 + , time >=1.9 && <2 library server - import: lang - hs-source-dirs: server - visibility: public + import: lang + hs-source-dirs: server + visibility: public exposed-modules: Language.Marlowe.Runtime.Web.Server Language.Marlowe.Runtime.Web.Server.DTO - Language.Marlowe.Runtime.Web.Server.Util Language.Marlowe.Runtime.Web.Server.Monad + Language.Marlowe.Runtime.Web.Server.Util + other-modules: Language.Marlowe.Runtime.Web.Server.OpenAPI Language.Marlowe.Runtime.Web.Server.REST @@ -96,104 +99,102 @@ library server Language.Marlowe.Runtime.Web.Server.REST.Withdrawals Language.Marlowe.Runtime.Web.Server.SyncClient Language.Marlowe.Runtime.Web.Server.TxClient + build-depends: - , aeson >= 2 && < 3 - , async >= 2.2 && < 3 + , aeson >=2 && <3 + , async >=2.2 && <3 , async-components ==0.1.0.0 - , base >= 4.9 && < 5 - , bytestring >= 0.10.12 && < 0.12 + , base >=4.9 && <5 + , bytestring >=0.10.12 && <0.12 , cardano-api ==1.35.4 , cardano-binary ==1.5.0 , cardano-ledger-alonzo ==0.1.0.0 , cardano-ledger-core ==0.1.0.0 , cardano-ledger-shelley ==0.1.0.0 - , co-log >= 0.5.0.0 && < 0.6.0.0 - , containers >= 0.6.5 && < 0.7 - , errors >= 2.3 && < 3 - , eventuo11y ^>= { 0.9, 0.10 } + , co-log >=0.5.0.0 && <0.6.0.0 + , containers ^>=0.6.5 + , errors >=2.3 && <3 + , eventuo11y >=0.9 && <0.11 , eventuo11y-extras ==0.1.0.0 - , exceptions >= 0.10 && < 0.12 - , general-allocate ^>= { 0.2 } - , http-media >= 0.8 && < 0.9 - , lens >= 5.2 && < 6 + , exceptions >=0.10 && <0.12 + , general-allocate ^>=0.2 + , http-media ^>=0.8 + , lens >=5.2 && <6 , marlowe-cardano ==0.1.0.3 , marlowe-chain-sync ==0.0.1 , marlowe-client ==0.0.1 , marlowe-protocols ==0.1.0.0 - , marlowe-runtime ==0.0.1 , marlowe-runtime-web ==0.0.1 - , marlowe-runtime:discovery-api ==0.0.1 - , marlowe-runtime:proxy-api ==0.0.1 - , marlowe-runtime:sync-api ==0.0.1 - , marlowe-runtime:tx-api ==0.0.1 - , monad-control >= 1 && < 1.1 - , mtl >= 2.2 && < 3 - , openapi3 >= 3.2 && < 4 - , servant >= 0.19 && < 0.20 - , servant-openapi3 >= 2.0 && < 2.1 - , servant-pagination >= 2.5 && < 3 - , servant-server >= 0.19 && < 0.20 - , stm >= 2.5 && < 2.6 - , stm-delay >= 0.1.1 && < 0.2 - , text >= 1.2.4 && < 2 - , time >= 1.9 && < 2 - , transformers >= 0.5.6 && < 0.6 - , transformers-base >= 0.4 && < 0.5 - , unliftio-core ^>= { 0.2 } - , wai >= 3.2 && < 4 - , wai-cors >= 0.2 && < 0.3 + , marlowe-runtime:{marlowe-runtime, discovery-api, proxy-api, sync-api, tx-api} ==0.0.1 + , monad-control ^>=1 + , mtl >=2.2 && <3 + , openapi3 >=3.2 && <4 + , servant ^>=0.19 + , servant-openapi3 ^>=2.0 + , servant-pagination >=2.5 && <3 + , servant-server ^>=0.19 + , stm ^>=2.5 + , stm-delay ^>=0.1.1 + , text >=1.2.4 && <2 + , time >=1.9 && <2 + , transformers ^>=0.5.6 + , transformers-base ^>=0.4 + , unliftio-core ^>=0.2 + , wai >=3.2 && <4 + , wai-cors ^>=0.2 executable marlowe-web-server - import: lang - hs-source-dirs: app - main-is: Main.hs + import: lang + hs-source-dirs: app + main-is: Main.hs other-modules: Options Paths_marlowe_runtime_web - autogen-modules: - Paths_marlowe_runtime_web + + autogen-modules: Paths_marlowe_runtime_web build-depends: , async-components ==0.1.0.0 - , base >= 4.9 && < 5 - , co-log >= 0.5.0.0 && < 0.6.0.0 - , eventuo11y ^>= { 0.9, 0.10 } - , eventuo11y-otel ^>= 0.1 - , hs-opentelemetry-api >= 0.0.3 && < 0.0.4 - , hs-opentelemetry-sdk >= 0.0.3 && < 0.0.4 + , base >=4.9 && <5 + , co-log >=0.5.0.0 && <0.6.0.0 + , eventuo11y >=0.9 && <0.11 + , eventuo11y-otel ^>=0.1 + , hs-opentelemetry-api >=0.0.3 && <0.0.4 + , hs-opentelemetry-sdk >=0.0.3 && <0.0.4 , http-types , marlowe-client , marlowe-protocols , marlowe-runtime-web:server , marlowe-runtime:config - , mtl >= 2.2 && < 3 + , mtl >=2.2 && <3 , network , optparse-applicative - , text >= 1.2.4 && < 2 - , unliftio >= 0.2.1 && < 0.3 - , wai >= 3.2 && < 4 + , text >=1.2.4 && <2 + , unliftio ^>=0.2.1 + , wai >=3.2 && <4 , warp - ghc-options: -threaded + + ghc-options: -threaded test-suite marlowe-runtime-web-test - import: lang + import: lang hs-source-dirs: test - type: exitcode-stdio-1.0 - main-is: Spec.hs - other-modules: - Paths_marlowe_runtime_web + type: exitcode-stdio-1.0 + main-is: Spec.hs + other-modules: Paths_marlowe_runtime_web build-depends: - , base >= 4.9 && < 5 - , QuickCheck - , aeson >= 2 && < 3 - , bytestring >= 0.10.12 && < 0.12 + , aeson >=2 && <3 + , base >=4.9 && <5 + , bytestring >=0.10.12 && <0.12 , hspec , marlowe-cardano ==0.1.0.3 , marlowe-runtime-web , marlowe-test , network-arbitrary - , openapi3 >= 3.2 && < 4 + , openapi3 >=3.2 && <4 + , QuickCheck , quickcheck-instances , regex-posix , servant-openapi3 - , text >= 1.2.4 && < 2 - ghc-options: -threaded + , text >=1.2.4 && <2 + + ghc-options: -threaded diff --git a/marlowe-runtime/marlowe-runtime.cabal b/marlowe-runtime/marlowe-runtime.cabal index e040f92253..b1d8795d6f 100644 --- a/marlowe-runtime/marlowe-runtime.cabal +++ b/marlowe-runtime/marlowe-runtime.cabal @@ -1,40 +1,44 @@ cabal-version: 3.0 -name: marlowe-runtime -version: 0.0.1 +name: marlowe-runtime +version: 0.0.1 synopsis: Runtime system for running Marlowe financial contracts on the Cardano Computation Layer + description: Runtime system for running and monitoring Marlowe financial contracts on Cardano. It provides query access to search for and inspect contracts, command access for creating and interacting with contracts, and streaming access for real-time updates to contracts. -bug-reports: https://github.com/input-output-hk/marlowe-cardano/issues -license: Apache-2.0 -author: Jamie Bertram -maintainer: jamie.bertram@iohk.io -stability: experimental -category: Language + +bug-reports: https://github.com/input-output-hk/marlowe-cardano/issues +license: Apache-2.0 +author: Jamie Bertram +maintainer: jamie.bertram@iohk.io +stability: experimental +category: Language data-files: - .golden/MarloweSync/golden .golden/MarloweHeaderSync/golden .golden/MarloweQuery/golden + .golden/MarloweSync/golden + license-files: LICENSE NOTICE source-repository head - type: git + type: git location: https://github.com/input-output-hk/marlowe-cardano - subdir: marlowe-runtime + subdir: marlowe-runtime flag defer-plugin-errors - description: - Defer errors from the plugin, useful for things like Haddock that can't handle it. - default: False - manual: True + description: + Defer errors from the plugin, useful for things like Haddock that can't handle it. + + default: False + manual: True common lang - default-language: Haskell2010 + default-language: Haskell2010 default-extensions: BlockArguments DeriveAnyClass @@ -55,83 +59,83 @@ common lang RecordWildCards ScopedTypeVariables StandaloneDeriving - TypeApplications TupleSections + TypeApplications + ghc-options: -Wall -Wnoncanonical-monad-instances -Wunused-packages -Wincomplete-uni-patterns -Wincomplete-record-updates -Wredundant-constraints -Widentities + if flag(defer-plugin-errors) ghc-options: -fplugin-opt PlutusTx.Plugin:defer-errors library - import: lang - hs-source-dirs: src + import: lang + hs-source-dirs: src exposed-modules: Language.Marlowe.Runtime.Core.Api Language.Marlowe.Runtime.Core.ScriptRegistry + build-depends: - , base >= 4.9 && < 5 - , aeson >= 2 && < 3 - , base16 >= 0.3.2 && < 0.4 - , binary >= 0.8.8 && < 0.9 + , aeson >=2 && <3 + , base >=4.9 && <5 + , base16 ^>=0.3.2 + , binary ^>=0.8.8 + , bytestring >=0.10.12 && <0.12 , cardano-api ==1.35.4 - , bytestring >= 0.10.12 && < 0.12 - , containers >= 0.6.5 && < 0.7 + , containers ^>=0.6.5 , marlowe-cardano ==0.1.0.3 , marlowe-chain-sync ==0.0.1 , marlowe-protocols ==0.1.0.0 , ouroboros-network ==0.1.0.1 , plutus-ledger-api ==1.0.0.1 , plutus-tx ==1.0.0.0 - , text >= 1.2.4 && < 2 - , time >= 1.9 && < 2 + , text >=1.2.4 && <2 + , time >=1.9 && <2 library gen - import: lang - hs-source-dirs: gen - visibility: public + import: lang + hs-source-dirs: gen + visibility: public exposed-modules: Language.Marlowe.Runtime.Core.Gen - Language.Marlowe.Runtime.History.Gen Language.Marlowe.Runtime.Discovery.Gen + Language.Marlowe.Runtime.History.Gen Language.Marlowe.Runtime.Transaction.Gen + build-depends: - , QuickCheck >= 2.14 && < 3 - , base >= 4.9 && < 5 - , bytestring >= 0.10.12 && < 0.12 - , cardano-api ==1.35.4 - , cardano-api:gen ==1.35.4 - , hedgehog-quickcheck >= 0.1 && < 0.2 - , http-media >= 0.8 && < 0.9 + , base >=4.9 && <5 + , bytestring >=0.10.12 && <0.12 + , cardano-api:{cardano-api, gen} ==1.35.4 + , hedgehog-quickcheck ^>=0.1 + , http-media ^>=0.8 , marlowe-cardano ==0.1.0.3 - , marlowe-chain-sync:gen ==0.0.1 - , marlowe-chain-sync:plutus-compat ==0.0.1 - , marlowe-runtime ==0.0.1 - , marlowe-runtime:discovery-api ==0.0.1 - , marlowe-runtime:history-api ==0.0.1 - , marlowe-runtime:tx-api ==0.0.1 + , marlowe-chain-sync:{gen, plutus-compat} ==0.0.1 + , marlowe-runtime:{marlowe-runtime, discovery-api, history-api, tx-api} ==0.0.1 , marlowe-test ==0.1.1.0 - , network-uri >= 2.6 && < 3 - , quickcheck-instances >= 0.3.29 && < 0.4 + , network-uri >=2.6 && <3 + , QuickCheck >=2.14 && <3 + , quickcheck-instances ^>=0.3.29 library history-api - import: lang - hs-source-dirs: history-api - visibility: public + import: lang + hs-source-dirs: history-api + visibility: public exposed-modules: Language.Marlowe.Protocol.Sync.Client Language.Marlowe.Protocol.Sync.Server Language.Marlowe.Protocol.Sync.Types Language.Marlowe.Runtime.History.Api + build-depends: - , aeson >= 2 && < 3 - , base >= 4.9 && < 5 - , binary >= 0.8.8 && < 0.9 + , aeson >=2 && <3 + , base >=4.9 && <5 + , binary ^>=0.8.8 , cardano-api ==1.35.4 - , containers >= 0.6.5 && < 0.7 - , errors >= 2.3 && < 3 - , hs-opentelemetry-api >= 0.0.3 && < 0.0.4 + , containers ^>=0.6.5 + , errors >=2.3 && <3 + , hs-opentelemetry-api >=0.0.3 && <0.0.4 , marlowe-cardano ==0.1.0.3 , marlowe-chain-sync ==0.0.1 , marlowe-protocols ==0.1.0.0 @@ -139,13 +143,13 @@ library history-api , ouroboros-consensus ==0.1.0.1 , ouroboros-network ==0.1.0.1 , plutus-ledger-api ==1.0.0.1 - , transformers >= 0.5.6 && < 0.6 + , transformers ^>=0.5.6 , typed-protocols ==0.1.0.0 library indexer - import: lang - hs-source-dirs: indexer - visibility: public + import: lang + hs-source-dirs: indexer + visibility: public exposed-modules: Language.Marlowe.Runtime.Indexer Language.Marlowe.Runtime.Indexer.ChainSeekClient @@ -157,121 +161,122 @@ library indexer Language.Marlowe.Runtime.Indexer.Database.PostgreSQL.GetMarloweUTxO Language.Marlowe.Runtime.Indexer.Store Language.Marlowe.Runtime.Indexer.Types + build-depends: - , aeson >= 2 && < 3 + , aeson >=2 && <3 , async-components ==0.1.0.0 - , base >= 4.9 && < 5 - , binary >= 0.8.8 && < 0.9 - , bytestring >= 0.10.12 && < 0.12 + , base >=4.9 && <5 + , binary ^>=0.8.8 + , bytestring >=0.10.12 && <0.12 , cardano-api ==1.35.4 - , co-log >= 0.5.0.0 && < 0.6.0.0 - , containers >= 0.6.5 && < 0.7 - , eventuo11y ^>= { 0.9, 0.10 } + , co-log >=0.5.0.0 && <0.6.0.0 + , containers ^>=0.6.5 + , eventuo11y >=0.9 && <0.11 , eventuo11y-extras ==0.1.0.0 - , hasql >= 1.6 && < 2 - , hasql-pool ^>= 0.8 - , hasql-th >= 0.4 && < 0.5 - , hasql-transaction >= 1 && < 1.1 + , hasql >=1.6 && <2 + , hasql-pool ^>=0.8 + , hasql-th ^>=0.4 + , hasql-transaction ^>=1 , marlowe-cardano ==0.1.0.3 , marlowe-chain-sync ==0.0.1 , marlowe-protocols ==0.1.0.0 - , marlowe-runtime ==0.0.1 - , marlowe-runtime:history-api ==0.0.1 - , mtl >= 2.2 && < 3 - , nonempty-containers >= 0.3.4 && < 0.4 + , marlowe-runtime:{marlowe-runtime, history-api} ==0.0.1 + , mtl >=2.2 && <3 + , nonempty-containers ^>=0.3.4 , plutus-ledger-api ==1.0.0.1 - , stm >= 2.5 && < 2.6 - , text >= 1.2.4 && < 2 - , time >= 1.9 && < 2 - , transformers >= 0.5.6 && < 0.6 - , unliftio >= 0.2.1 && < 0.3 - , vector >= 0.12.3 && < 0.13 - , witherable >= 0.4 && < 0.5 + , stm ^>=2.5 + , text >=1.2.4 && <2 + , time >=1.9 && <2 + , transformers ^>=0.5.6 + , unliftio ^>=0.2.1 + , vector ^>=0.12.3 + , witherable ^>=0.4 library sync-api - import: lang - hs-source-dirs: sync-api - visibility: public + import: lang + hs-source-dirs: sync-api + visibility: public exposed-modules: Language.Marlowe.Protocol.Query.Client Language.Marlowe.Protocol.Query.Server Language.Marlowe.Protocol.Query.Types + build-depends: - , aeson >= 2 && < 3 - , base >= 4.9 && < 5 - , binary >= 0.8.8 && < 0.9 - , containers >= 0.6.5 && < 0.7 + , aeson >=2 && <3 + , base >=4.9 && <5 + , binary ^>=0.8.8 + , containers ^>=0.6.5 , marlowe-chain-sync ==0.0.1 , marlowe-protocols ==0.1.0.0 - , marlowe-runtime ==0.0.1 - , marlowe-runtime:discovery-api ==0.0.1 - , unliftio >= 0.2.1 && < 0.3 + , marlowe-runtime:{marlowe-runtime, discovery-api} ==0.0.1 + , unliftio ^>=0.2.1 library contract-api - import: lang - hs-source-dirs: contract-api - visibility: public + import: lang + hs-source-dirs: contract-api + visibility: public exposed-modules: - Language.Marlowe.Runtime.Contract.Api Language.Marlowe.Protocol.Load.Client Language.Marlowe.Protocol.Load.Server Language.Marlowe.Protocol.Load.Types + Language.Marlowe.Runtime.Contract.Api + build-depends: - , aeson >= 2 && < 3 - , base >= 4.9 && < 5 - , binary >= 0.8.8 && < 0.9 + , aeson >=2 && <3 + , base >=4.9 && <5 + , binary ^>=0.8.8 , cardano-api ==1.35.4 - , containers >= 0.6.5 && < 0.7 - , hs-opentelemetry-api >= 0.0.3 && < 0.0.4 + , containers ^>=0.6.5 + , hs-opentelemetry-api >=0.0.3 && <0.0.4 , marlowe-cardano ==0.1.0.3 , marlowe-chain-sync ==0.0.1 , marlowe-protocols ==0.1.0.0 , marlowe-runtime ==0.0.1 , plutus-ledger-api ==1.0.0.1 - , text >= 1.2.4 && < 2 + , text >=1.2.4 && <2 , typed-protocols ==0.1.0.0 library contract - import: lang - hs-source-dirs: contract - visibility: public + import: lang + hs-source-dirs: contract + visibility: public exposed-modules: Language.Marlowe.Runtime.Contract Language.Marlowe.Runtime.Contract.LoadServer Language.Marlowe.Runtime.Contract.QueryServer Language.Marlowe.Runtime.Contract.Store - Language.Marlowe.Runtime.Contract.Store.Memory Language.Marlowe.Runtime.Contract.Store.File + Language.Marlowe.Runtime.Contract.Store.Memory + build-depends: , async-components ==0.1.0.0 - , base >= 4.9 && < 5 - , binary >= 0.8.8 && < 0.9 - , bytestring >= 0.10.12 && < 0.12 + , base >=4.9 && <5 + , binary ^>=0.8.8 + , bytestring >=0.10.12 && <0.12 , cardano-api ==1.35.4 - , co-log >= 0.5.0.0 && < 0.6.0.0 - , containers >= 0.6.5 && < 0.7 - , eventuo11y ^>= { 0.9, 0.10 } + , co-log >=0.5.0.0 && <0.6.0.0 + , containers ^>=0.6.5 + , eventuo11y >=0.9 && <0.11 , eventuo11y-extras ==0.1.0.0 - , exceptions >= 0.10 && < 0.11 - , filepath >= 1.4 && < 1.5 - , lock-file >= 0.7 && < 0.8 + , exceptions ^>=0.10 + , filepath ^>=1.4 + , lock-file ^>=0.7 , marlowe-cardano ==0.1.0.3 , marlowe-chain-sync ==0.0.1 , marlowe-protocols ==0.1.0.0 - , marlowe-runtime ==0.0.1 - , marlowe-runtime:contract-api ==0.0.1 + , marlowe-runtime:{marlowe-runtime, contract-api} ==0.0.1 , plutus-ledger-api ==1.0.0.1 - , transformers >= 0.5.6 && < 0.6 + , transformers ^>=0.5.6 , typed-protocols ==0.1.0.0 - , unliftio >= 0.2.1 && < 0.3 - , unordered-containers >= 0.2.19 && < 0.3 - , uuid >= 1.3 && < 2 - , zlib >= 0.6.3 && < 0.7 + , unliftio ^>=0.2.1 + , unordered-containers ^>=0.2.19 + , uuid >=1.3 && <2 + , zlib ^>=0.6.3 library sync - import: lang - hs-source-dirs: sync - visibility: public + import: lang + hs-source-dirs: sync + visibility: public exposed-modules: Language.Marlowe.Runtime.Sync Language.Marlowe.Runtime.Sync.Database @@ -292,79 +297,76 @@ library sync Language.Marlowe.Runtime.Sync.MarloweHeaderSyncServer Language.Marlowe.Runtime.Sync.MarloweSyncServer Language.Marlowe.Runtime.Sync.QueryServer + build-depends: - , aeson >= 2 && < 3 + , aeson >=2 && <3 , async-components ==0.1.0.0 - , base >= 4.9 && < 5 - , binary >= 0.8.8 && < 0.9 - , bytestring >= 0.10.12 && < 0.12 - , co-log >= 0.5.0.0 && < 0.6.0.0 - , containers >= 0.6.5 && < 0.7 - , eventuo11y ^>= { 0.9, 0.10 } + , base >=4.9 && <5 + , binary ^>=0.8.8 + , bytestring >=0.10.12 && <0.12 + , co-log >=0.5.0.0 && <0.6.0.0 + , containers ^>=0.6.5 + , eventuo11y >=0.9 && <0.11 , eventuo11y-extras ==0.1.0.0 - , foldl >= 1.4 && < 2 - , hasql >= 1.6 && < 2 - , hasql-th >= 0.4 && < 0.5 - , hasql-transaction >= 1 && < 1.1 + , foldl >=1.4 && <2 + , hasql >=1.6 && <2 + , hasql-th ^>=0.4 + , hasql-transaction ^>=1 , marlowe-cardano ==0.1.0.3 , marlowe-chain-sync ==0.0.1 , marlowe-protocols ==0.1.0.0 - , marlowe-runtime ==0.0.1 - , marlowe-runtime:discovery-api ==0.0.1 - , marlowe-runtime:history-api ==0.0.1 - , marlowe-runtime:sync-api ==0.0.1 + , marlowe-runtime:{marlowe-runtime, discovery-api, history-api, sync-api} ==0.0.1 , plutus-ledger-api ==1.0.0.1 - , time >= 1.9 && < 2 - , transformers >= 0.5.6 && < 0.6 - , unliftio >= 0.2.1 && < 0.3 - , vector >= 0.12.3 && < 0.13 - , witherable >= 0.4 && < 0.5 + , time >=1.9 && <2 + , transformers ^>=0.5.6 + , unliftio ^>=0.2.1 + , vector ^>=0.12.3 + , witherable ^>=0.4 library discovery-api - import: lang - hs-source-dirs: discovery-api - visibility: public + import: lang + hs-source-dirs: discovery-api + visibility: public exposed-modules: Language.Marlowe.Protocol.HeaderSync.Client Language.Marlowe.Protocol.HeaderSync.Server Language.Marlowe.Protocol.HeaderSync.Types Language.Marlowe.Runtime.Discovery.Api + build-depends: - , aeson >= 2 && < 3 - , base >= 4.9 && < 5 - , binary >= 0.8.8 && < 0.9 + , aeson >=2 && <3 + , base >=4.9 && <5 + , binary ^>=0.8.8 + , hs-opentelemetry-api >=0.0.3 && <0.0.4 , marlowe-chain-sync ==0.0.1 , marlowe-protocols ==0.1.0.0 , marlowe-runtime ==0.0.1 - , hs-opentelemetry-api >= 0.0.3 && < 0.0.4 , typed-protocols ==0.1.0.0 library tx-api - import: lang - hs-source-dirs: tx-api - visibility: public - exposed-modules: - Language.Marlowe.Runtime.Transaction.Api + import: lang + hs-source-dirs: tx-api + visibility: public + exposed-modules: Language.Marlowe.Runtime.Transaction.Api build-depends: - , aeson >= 2 && < 3 - , base >= 4.9 && < 5 - , binary >= 0.8.8 && < 0.9 - , bytestring >= 0.10.12 && < 0.12 + , aeson >=2 && <3 + , base >=4.9 && <5 + , binary ^>=0.8.8 + , bytestring >=0.10.12 && <0.12 , cardano-api ==1.35.4 - , containers >= 0.6.5 && < 0.7 - , http-media >= 0.8 && < 0.9 + , containers ^>=0.6.5 + , http-media ^>=0.8 , marlowe-chain-sync ==0.0.1 , marlowe-protocols ==0.1.0.0 - , marlowe-runtime ==0.0.1 - , marlowe-runtime:history-api ==0.0.1 - , network-uri >= 2.6 && < 3 - , text >= 1.2.4 && < 2 - , time >= 1.9 && < 2 + , marlowe-runtime:{marlowe-runtime, history-api} ==0.0.1 + , network-uri >=2.6 && <3 + , text >=1.2.4 && <2 + , time >=1.9 && <2 library tx - import: lang - hs-source-dirs: tx - visibility: public + import: lang + hs-source-dirs: tx + visibility: public exposed-modules: Language.Marlowe.Runtime.Transaction Language.Marlowe.Runtime.Transaction.BuildConstraints @@ -374,273 +376,250 @@ library tx Language.Marlowe.Runtime.Transaction.Safety Language.Marlowe.Runtime.Transaction.Server Language.Marlowe.Runtime.Transaction.Submit + build-depends: - , aeson >= 2 && < 3 + , aeson >=2 && <3 , async-components ==0.1.0.0 - , base >= 4.9 && < 5 + , base >=4.9 && <5 , cardano-api ==1.35.4 , cardano-ledger-core ==0.1.0.0 - , co-log >= 0.5.0.0 && < 0.6.0.0 - , containers >= 0.6.5 && < 0.7 - , errors >= 2.3 && < 3 - , eventuo11y ^>= { 0.9, 0.10 } + , co-log >=0.5.0.0 && <0.6.0.0 + , containers ^>=0.6.5 + , errors >=2.3 && <3 + , eventuo11y >=0.9 && <0.11 , eventuo11y-extras ==0.1.0.0 , marlowe-cardano ==0.1.0.3 - , marlowe-chain-sync ==0.0.1 - , marlowe-chain-sync:plutus-compat ==0.0.1 + , marlowe-chain-sync:{marlowe-chain-sync, plutus-compat} ==0.0.1 , marlowe-protocols ==0.1.0.0 - , marlowe-runtime ==0.0.1 - , marlowe-runtime:contract-api ==0.0.1 - , marlowe-runtime:history-api ==0.0.1 - , marlowe-runtime:plutus-scripts ==0.0.1 - , marlowe-runtime:tx-api ==0.0.1 + , marlowe-runtime:{marlowe-runtime, contract-api, history-api, plutus-scripts, tx-api} ==0.0.1 , ouroboros-consensus ==0.1.0.1 , ouroboros-network ==0.1.0.1 , plutus-ledger-api ==1.0.0.1 , plutus-tx ==1.0.0.0 - , semialign >= 1.2 && < 2 - , stm >= 2.5 && < 2.6 - , time >= 1.9 && < 2 - , transformers >= 0.5.6 && < 0.6 - , unliftio >= 0.2.1 && < 0.3 - , witherable >= 0.4 && < 0.5 + , semialign >=1.2 && <2 + , stm ^>=2.5 + , time >=1.9 && <2 + , transformers ^>=0.5.6 + , unliftio ^>=0.2.1 + , witherable ^>=0.4 library proxy-api - import: lang - hs-source-dirs: proxy-api - visibility: public + import: lang + hs-source-dirs: proxy-api + visibility: public exposed-modules: Language.Marlowe.Protocol.Client Language.Marlowe.Protocol.Server Language.Marlowe.Protocol.Types + build-depends: - , base >= 4.9 && < 5 - , binary >= 0.8.8 && < 0.9 + , base >=4.9 && <5 + , binary ^>=0.8.8 , marlowe-protocols ==0.1.0.0 - , marlowe-runtime:contract-api ==0.0.1 - , marlowe-runtime:discovery-api ==0.0.1 - , marlowe-runtime:history-api ==0.0.1 - , marlowe-runtime:sync-api ==0.0.1 - , marlowe-runtime:tx-api ==0.0.1 + , marlowe-runtime:{contract-api, discovery-api, history-api, sync-api, tx-api} ==0.0.1 , typed-protocols ==0.1.0.0 library proxy - import: lang - hs-source-dirs: proxy - visibility: public - exposed-modules: - Language.Marlowe.Runtime.Proxy + import: lang + hs-source-dirs: proxy + visibility: public + exposed-modules: Language.Marlowe.Runtime.Proxy build-depends: , async-components ==0.1.0.0 - , base >= 4.9 && < 5 - , co-log >= 0.5.0.0 && < 0.6.0.0 - , eventuo11y ^>= { 0.9, 0.10 } + , base >=4.9 && <5 + , co-log >=0.5.0.0 && <0.6.0.0 + , eventuo11y >=0.9 && <0.11 , eventuo11y-extras ==0.1.0.0 , marlowe-protocols ==0.1.0.0 - , marlowe-runtime:contract-api ==0.0.1 - , marlowe-runtime:discovery-api ==0.0.1 - , marlowe-runtime:history-api ==0.0.1 - , marlowe-runtime:proxy-api ==0.0.1 - , marlowe-runtime:sync-api ==0.0.1 - , marlowe-runtime:tx-api ==0.0.1 - , resourcet >= 1.3 && < 2 + , marlowe-runtime:{contract-api, discovery-api, history-api, proxy-api, sync-api, tx-api} ==0.0.1 + , resourcet >=1.3 && <2 , typed-protocols ==0.1.0.0 - , unliftio >= 0.2.1 && < 0.3 + , unliftio ^>=0.2.1 library plutus-scripts - import: lang - hs-source-dirs: plutus-scripts - visibility: public + import: lang + hs-source-dirs: plutus-scripts + visibility: public + -- Needed to suppress the erroneous warning about plutus-tx-plugin not being -- needed. - ghc-options: -Wno-unused-packages + ghc-options: -Wno-unused-packages exposed-modules: Language.Marlowe.Runtime.Plutus.V2.Scripts.MarloweV1.RoleTokensPolicy Language.Marlowe.Runtime.Plutus.V2.Scripts.MarloweV1.RoleTokensPolicy.Types + build-depends: - , base >= 4.9 && < 5 - , newtype-generics >= 0.6.2 && < 0.7 + , base >=4.9 && <5 + , newtype-generics ^>=0.6.2 , plutus-ledger-api ==1.0.0.1 , plutus-tx ==1.0.0.0 , plutus-tx-plugin ==1.0.0.0 library config - import: lang - hs-source-dirs: config - visibility: public - exposed-modules: - Language.Marlowe.Runtime.CLI.Option + import: lang + hs-source-dirs: config + visibility: public + exposed-modules: Language.Marlowe.Runtime.CLI.Option build-depends: - , base >= 4.9 && < 5 + , base >=4.9 && <5 , marlowe-chain-sync ==0.0.1 - , network >= 3.1 && < 4 , marlowe-runtime ==0.0.1 - , optparse-applicative >= 0.17 && < 0.18 - , text >= 1.2.4 && < 2 - , split >= 0.2.3 && < 0.3 + , network >=3.1 && <4 + , optparse-applicative ^>=0.17 + , split ^>=0.2.3 + , text >=1.2.4 && <2 executable marlowe-indexer - import: lang - hs-source-dirs: marlowe-indexer - main-is: Main.hs + import: lang + hs-source-dirs: marlowe-indexer + main-is: Main.hs other-modules: Logging Paths_marlowe_runtime - autogen-modules: - Paths_marlowe_runtime + + autogen-modules: Paths_marlowe_runtime build-depends: , async-components ==0.1.0.0 - , base >= 4.9 && < 5 - , bytestring >= 0.10.12 && < 0.12 - , containers >= 0.6.5 && < 0.7 - , eventuo11y ^>= { 0.9, 0.10 } + , base >=4.9 && <5 + , bytestring >=0.10.12 && <0.12 + , containers ^>=0.6.5 + , eventuo11y >=0.9 && <0.11 , eventuo11y-extras ==0.1.0.0 - , eventuo11y-otel ^>= 0.1 - , hasql >= 1.6 && < 2 - , hasql-pool ^>= 0.8 - , hs-opentelemetry-api >= 0.0.3 && < 0.0.4 - , hs-opentelemetry-sdk >= 0.0.3 && < 0.0.4 + , eventuo11y-otel ^>=0.1 + , hasql >=1.6 && <2 + , hasql-pool ^>=0.8 + , hs-opentelemetry-api >=0.0.3 && <0.0.4 + , hs-opentelemetry-sdk >=0.0.3 && <0.0.4 , marlowe-chain-sync ==0.0.1 , marlowe-protocols ==0.1.0.0 - , marlowe-runtime ==0.0.1 - , marlowe-runtime:indexer ==0.0.1 - , mtl >= 2.2 && < 3 - , network >= 3.1 && < 4 - , nonempty-containers >= 0.3.4 && < 0.4 - , optparse-applicative >= 0.17 && < 0.18 - , postgresql-libpq >= 0.9 && < 0.10 - , text >= 1.2.4 && < 2 - , unliftio >= 0.2.1 && < 0.3 - ghc-options: -threaded + , marlowe-runtime:{marlowe-runtime, indexer} ==0.0.1 + , mtl >=2.2 && <3 + , network >=3.1 && <4 + , nonempty-containers ^>=0.3.4 + , optparse-applicative ^>=0.17 + , postgresql-libpq ^>=0.9 + , text >=1.2.4 && <2 + , unliftio ^>=0.2.1 + + ghc-options: -threaded executable marlowe-sync - import: lang - hs-source-dirs: marlowe-sync - main-is: Main.hs + import: lang + hs-source-dirs: marlowe-sync + main-is: Main.hs other-modules: Logging Paths_marlowe_runtime - autogen-modules: - Paths_marlowe_runtime + + autogen-modules: Paths_marlowe_runtime build-depends: , async-components ==0.1.0.0 - , base >= 4.9 && < 5 - , bytestring >= 0.10.12 && < 0.12 - , eventuo11y ^>= { 0.9, 0.10 } + , base >=4.9 && <5 + , bytestring >=0.10.12 && <0.12 + , eventuo11y >=0.9 && <0.11 , eventuo11y-extras ==0.1.0.0 - , eventuo11y-otel ^>= 0.1 - , hasql >= 1.6 && < 2 - , hasql-pool ^>= 0.8 - , hs-opentelemetry-api >= 0.0.3 && < 0.0.4 - , hs-opentelemetry-sdk >= 0.0.3 && < 0.0.4 + , eventuo11y-otel ^>=0.1 + , hasql >=1.6 && <2 + , hasql-pool ^>=0.8 + , hs-opentelemetry-api >=0.0.3 && <0.0.4 + , hs-opentelemetry-sdk >=0.0.3 && <0.0.4 , marlowe-protocols ==0.1.0.0 - , marlowe-runtime ==0.0.1 - , marlowe-runtime:discovery-api ==0.0.1 - , marlowe-runtime:history-api ==0.0.1 - , marlowe-runtime:sync ==0.0.1 - , marlowe-runtime:sync-api ==0.0.1 - , mtl >= 2.2 && < 3 - , network >= 3.1 && < 4 - , optparse-applicative >= 0.17 && < 0.18 - , postgresql-libpq >= 0.9 && < 0.10 - , text >= 1.2.4 && < 2 - , unliftio >= 0.2.1 && < 0.3 - ghc-options: -threaded + , marlowe-runtime:{marlowe-runtime, discovery-api, history-api, sync, sync-api} ==0.0.1 + , mtl >=2.2 && <3 + , network >=3.1 && <4 + , optparse-applicative ^>=0.17 + , postgresql-libpq ^>=0.9 + , text >=1.2.4 && <2 + , unliftio ^>=0.2.1 + + ghc-options: -threaded executable marlowe-tx - import: lang - hs-source-dirs: marlowe-tx - main-is: Main.hs + import: lang + hs-source-dirs: marlowe-tx + main-is: Main.hs other-modules: Logging Paths_marlowe_runtime - autogen-modules: - Paths_marlowe_runtime + + autogen-modules: Paths_marlowe_runtime build-depends: , async-components ==0.1.0.0 - , base >= 4.9 && < 5 + , base >=4.9 && <5 , cardano-api ==1.35.4 - , containers >= 0.6.5 && < 0.7 - , eventuo11y ^>= { 0.9, 0.10 } + , containers ^>=0.6.5 + , eventuo11y >=0.9 && <0.11 , eventuo11y-extras ==0.1.0.0 - , eventuo11y-otel ^>= 0.1 - , hs-opentelemetry-api >= 0.0.3 && < 0.0.4 - , hs-opentelemetry-sdk >= 0.0.3 && < 0.0.4 + , eventuo11y-otel ^>=0.1 + , hs-opentelemetry-api >=0.0.3 && <0.0.4 + , hs-opentelemetry-sdk >=0.0.3 && <0.0.4 , marlowe-chain-sync ==0.0.1 , marlowe-protocols ==0.1.0.0 - , marlowe-runtime ==0.0.1 - , marlowe-runtime:contract-api ==0.0.1 - , marlowe-runtime:tx ==0.0.1 - , marlowe-runtime:tx-api ==0.0.1 - , network >= 3.1 && < 4 - , optparse-applicative >= 0.17 && < 0.18 - , text >= 1.2.4 && < 2 - ghc-options: -threaded + , marlowe-runtime:{marlowe-runtime, contract-api, tx, tx-api} ==0.0.1 + , network >=3.1 && <4 + , optparse-applicative ^>=0.17 + , text >=1.2.4 && <2 + + ghc-options: -threaded executable marlowe-contract - import: lang - hs-source-dirs: marlowe-contract - main-is: Main.hs + import: lang + hs-source-dirs: marlowe-contract + main-is: Main.hs other-modules: Logging Paths_marlowe_runtime - autogen-modules: - Paths_marlowe_runtime + + autogen-modules: Paths_marlowe_runtime build-depends: - , aeson >= 2 && < 3 + , aeson >=2 && <3 , async-components ==0.1.0.0 - , base >= 4.9 && < 5 - , eventuo11y ^>= { 0.9, 0.10 } + , base >=4.9 && <5 + , eventuo11y >=0.9 && <0.11 , eventuo11y-extras ==0.1.0.0 - , eventuo11y-otel ^>= 0.1 - , hs-opentelemetry-api >= 0.0.3 && < 0.0.4 - , hs-opentelemetry-sdk >= 0.0.3 && < 0.0.4 + , eventuo11y-otel ^>=0.1 + , hs-opentelemetry-api >=0.0.3 && <0.0.4 + , hs-opentelemetry-sdk >=0.0.3 && <0.0.4 , marlowe-cardano ==0.1.0.3 , marlowe-protocols ==0.1.0.0 - , marlowe-runtime:contract ==0.0.1 - , marlowe-runtime:contract-api ==0.0.1 - , network >= 3.1 && < 4 - , optparse-applicative >= 0.17 && < 0.18 - , text >= 1.2.4 && < 2 + , marlowe-runtime:{contract, contract-api} ==0.0.1 + , network >=3.1 && <4 + , optparse-applicative ^>=0.17 + , text >=1.2.4 && <2 , typed-protocols ==0.1.0.0 - ghc-options: -threaded + + ghc-options: -threaded executable marlowe-proxy - import: lang - hs-source-dirs: marlowe-proxy - main-is: Main.hs + import: lang + hs-source-dirs: marlowe-proxy + main-is: Main.hs other-modules: Logging Paths_marlowe_runtime - autogen-modules: - Paths_marlowe_runtime + + autogen-modules: Paths_marlowe_runtime build-depends: , async-components ==0.1.0.0 - , base >= 4.9 && < 5 - , eventuo11y ^>= { 0.9, 0.10 } + , base >=4.9 && <5 + , eventuo11y >=0.9 && <0.11 , eventuo11y-extras ==0.1.0.0 - , eventuo11y-otel ^>= 0.1 - , hs-opentelemetry-api >= 0.0.3 && < 0.0.4 - , hs-opentelemetry-sdk >= 0.0.3 && < 0.0.4 + , eventuo11y-otel ^>=0.1 + , hs-opentelemetry-api >=0.0.3 && <0.0.4 + , hs-opentelemetry-sdk >=0.0.3 && <0.0.4 , marlowe-protocols ==0.1.0.0 - , marlowe-runtime:config ==0.0.1 - , marlowe-runtime:contract-api ==0.0.1 - , marlowe-runtime:discovery-api ==0.0.1 - , marlowe-runtime:history-api ==0.0.1 - , marlowe-runtime:proxy ==0.0.1 - , marlowe-runtime:proxy-api ==0.0.1 - , marlowe-runtime:sync-api ==0.0.1 - , marlowe-runtime:tx-api ==0.0.1 - , network >= 3.1 && < 4 - , optparse-applicative >= 0.17 && < 0.18 - , text >= 1.2.4 && < 2 - ghc-options: -threaded + , marlowe-runtime:{config, contract-api, discovery-api, history-api, proxy, proxy-api, sync-api, tx-api} ==0.0.1 + , network >=3.1 && <4 + , optparse-applicative ^>=0.17 + , text >=1.2.4 && <2 + + ghc-options: -threaded test-suite marlowe-runtime-test - import: lang - hs-source-dirs: test - type: exitcode-stdio-1.0 - main-is: Spec.hs + import: lang + hs-source-dirs: test + type: exitcode-stdio-1.0 + main-is: Spec.hs other-modules: Language.Marlowe.Protocol.HeaderSyncSpec Language.Marlowe.Protocol.LoadSpec @@ -654,71 +633,61 @@ test-suite marlowe-runtime-test Language.Marlowe.Runtime.Transaction.ConstraintsSpec Language.Marlowe.Runtime.Transaction.SafetySpec Paths_marlowe_runtime + build-depends: - , QuickCheck >= 2.14 && < 3 - , aeson >= 2 && < 3 - , base >= 4.9 && < 5 - , bytestring >= 0.10.12 && < 0.12 - , cardano-api ==1.35.4 - , cardano-api:gen ==1.35.4 + , aeson >=2 && <3 + , base >=4.9 && <5 + , bytestring >=0.10.12 && <0.12 + , cardano-api:{cardano-api, gen} ==1.35.4 , cardano-slotting - , containers >= 0.6.5 && < 0.7 - , errors >= 2.3 && < 3 - , hedgehog-quickcheck >= 0.1 && < 0.2 + , containers ^>=0.6.5 + , errors >=2.3 && <3 + , hedgehog-quickcheck ^>=0.1 , hspec - , http-media >= 0.8 && < 0.9 + , http-media ^>=0.8 , marlowe-cardano ==0.1.0.3 - , marlowe-chain-sync ==0.0.1 - , marlowe-chain-sync:gen ==0.0.1 - , marlowe-chain-sync:plutus-compat ==0.0.1 + , marlowe-chain-sync:{marlowe-chain-sync, gen, plutus-compat} ==0.0.1 , marlowe-protocols ==0.1.0.0 - , marlowe-runtime ==0.0.1 - , marlowe-runtime:contract-api ==0.0.1 - , marlowe-runtime:discovery-api ==0.0.1 - , marlowe-runtime:gen ==0.0.1 - , marlowe-runtime:history-api ==0.0.1 - , marlowe-runtime:sync-api ==0.0.1 - , marlowe-runtime:tx ==0.0.1 - , marlowe-runtime:tx-api ==0.0.1 + , marlowe-runtime:{marlowe-runtime, contract-api, discovery-api, gen, history-api, sync-api, tx, tx-api} ==0.0.1 , marlowe-test ==0.1.1.0 - , network-uri >= 2.6 && < 3 + , network-uri >=2.6 && <3 , ouroboros-consensus ==0.1.0.1 , plutus-ledger-api ==1.0.0.1 , plutus-tx ==1.0.0.0 - , quickcheck-instances >= 0.3.29 && < 0.4 - , text >= 1.2.4 && < 2 - , time >= 1.9 && < 2 - , transformers >= 0.5.6 && < 0.6 + , QuickCheck >=2.14 && <3 + , quickcheck-instances ^>=0.3.29 + , text >=1.2.4 && <2 + , time >=1.9 && <2 + , transformers ^>=0.5.6 , typed-protocols ==0.1.0.0 - , vector >= 0.12.3 && < 0.13 + , vector ^>=0.12.3 + build-tool-depends: hspec-discover:hspec-discover - ghc-options: -threaded + ghc-options: -threaded test-suite indexer-test - import: lang - hs-source-dirs: indexer-test - type: exitcode-stdio-1.0 - main-is: Spec.hs + import: lang + hs-source-dirs: indexer-test + type: exitcode-stdio-1.0 + main-is: Spec.hs other-modules: Language.Marlowe.Runtime.Indexer.MarloweUTxOSpec Paths_marlowe_runtime + build-depends: - , base >= 4.9 && < 5 + , base >=4.9 && <5 , cardano-api ==1.35.4 - , containers >= 0.6.5 && < 0.7 + , containers ^>=0.6.5 , hspec , marlowe-cardano ==0.1.0.3 - , marlowe-chain-sync ==0.0.1 - , marlowe-chain-sync:plutus-compat ==0.0.1 - , marlowe-runtime ==0.0.1 - , marlowe-runtime:gen ==0.0.1 - , marlowe-runtime:history-api ==0.0.1 - , marlowe-runtime:indexer ==0.0.1 + , marlowe-chain-sync:{marlowe-chain-sync, plutus-compat} ==0.0.1 + , marlowe-runtime:{marlowe-runtime, gen, history-api, indexer} ==0.0.1 , marlowe-test ==0.1.1.0 , ouroboros-consensus ==0.1.0.1 , plutus-tx ==1.0.0.0 - , QuickCheck >= 2.14 && < 3 - , time >= 1.9 && < 2 - , transformers >= 0.5.6 && < 0.6 + , QuickCheck >=2.14 && <3 + , time >=1.9 && <2 + , transformers ^>=0.5.6 + build-tool-depends: hspec-discover:hspec-discover - ghc-options: -threaded + ghc-options: -threaded diff --git a/marlowe-test/marlowe-test.cabal b/marlowe-test/marlowe-test.cabal index aacf68381b..95d7b1918e 100644 --- a/marlowe-test/marlowe-test.cabal +++ b/marlowe-test/marlowe-test.cabal @@ -1,43 +1,38 @@ cabal-version: 2.2 -name: marlowe-test -version: 0.1.1.0 -license: Apache-2.0 +name: marlowe-test +version: 0.1.1.0 +license: Apache-2.0 license-files: LICENSE NOTICE -build-type: Simple -maintainer: B W Bush -stability: experimental -author: B W Bush -synopsis: - Tests for Marlowe semantics and validators on Cardano + +build-type: Simple +maintainer: B W Bush +stability: experimental +author: B W Bush +synopsis: Tests for Marlowe semantics and validators on Cardano description: Unit and integration tests for Marlowe semantics, serialization, and Plutus validators on the Cardano blockchain. -category: Language +category: Language data-files: - test/contract.json - test/input.json - test/state.json - test/Spec/Marlowe/Serialization/golden/swap-contract.json - test/Spec/Marlowe/Serialization/golden/swap-module.json reference/data/actus-pam.contract reference/data/actus-pam.paths reference/data/cardano-beam.contract reference/data/cardano-beam.paths - reference/data/contract-for-differences.contract - reference/data/contract-for-differences.paths reference/data/contract-for-differences-with-oracle.contract reference/data/contract-for-differences-with-oracle.paths + reference/data/contract-for-differences.contract + reference/data/contract-for-differences.paths reference/data/coupon-bond-guaranteed.contract reference/data/coupon-bond-guaranteed.paths reference/data/covered-call.contract reference/data/covered-call.paths - reference/data/escrow.contract - reference/data/escrow.paths reference/data/escrow-with-collateral.contract reference/data/escrow-with-collateral.paths + reference/data/escrow.contract + reference/data/escrow.paths reference/data/guessing-game.contract reference/data/guessing-game.paths reference/data/loan-with-nft-collateral.contract @@ -70,53 +65,60 @@ data-files: reference/data/swap-of-ada-and-dollar-token.paths reference/data/zero-coupon-bond.contract reference/data/zero-coupon-bond.paths + test/contract.json + test/input.json + test/Spec/Marlowe/Serialization/golden/swap-contract.json + test/Spec/Marlowe/Serialization/golden/swap-module.json + test/state.json source-repository head - type: git + type: git location: https://github.com/input-output-hk/marlowe-cardano - flag defer-plugin-errors - description: - Defer errors from the plugin, useful for things like Haddock that can't handle it. - default: False - manual: True + description: + Defer errors from the plugin, useful for things like Haddock that can't handle it. + + default: False + manual: True flag limit-static-analysis-time description: This flag sets the timeout seconds for static analysis testing of arbitrary contracts, which can take so much time on a complex contract that it exceeds hydra/CI resource limits, see SCP-4267. - default: True -flag trace-plutus - description: - Enable Plutus trace log for Marlowe validators. - default: False - manual: True + default: True +flag trace-plutus + description: Enable Plutus trace log for Marlowe validators. + default: False + manual: True common lang - default-language: Haskell2010 - default-extensions: ExplicitForAll ScopedTypeVariables - DeriveGeneric StandaloneDeriving DeriveLift - DeriveFunctor DeriveFoldable - DeriveTraversable + default-language: Haskell2010 + default-extensions: + DeriveFoldable + DeriveFunctor + DeriveGeneric + DeriveLift + DeriveTraversable + ExplicitForAll + ScopedTypeVariables + StandaloneDeriving + ghc-options: - -Wall -Wnoncanonical-monad-instances - -Wincomplete-uni-patterns -Wincomplete-record-updates - -Wredundant-constraints -Widentities + -Wall -Wnoncanonical-monad-instances -Wincomplete-uni-patterns + -Wincomplete-record-updates -Wredundant-constraints -Widentities -Wunused-packages - library - import: lang - hs-source-dirs: src + import: lang + hs-source-dirs: src exposed-modules: Data.Jsonable Spec.Marlowe.Common Spec.Marlowe.Marlowe - Spec.Marlowe.Semantics Spec.Marlowe.Plutus Spec.Marlowe.Plutus.Arbitrary Spec.Marlowe.Plutus.AssocMap @@ -130,7 +132,7 @@ library Spec.Marlowe.Plutus.Types Spec.Marlowe.Plutus.Value Spec.Marlowe.Reference - Spec.Marlowe.Semantics.Path + Spec.Marlowe.Semantics Spec.Marlowe.Semantics.Arbitrary Spec.Marlowe.Semantics.AssocMap Spec.Marlowe.Semantics.Compute @@ -145,6 +147,7 @@ library Spec.Marlowe.Semantics.Golden.ZeroCouponBond Spec.Marlowe.Semantics.Merkle Spec.Marlowe.Semantics.Orphans + Spec.Marlowe.Semantics.Path Spec.Marlowe.Semantics.Util Spec.Marlowe.Serialization Spec.Marlowe.Serialization.CoreJson @@ -154,69 +157,67 @@ library Spec.Marlowe.Service.Random Spec.Marlowe.Service.Serialization Spec.Marlowe.Service.Types - other-modules: - Paths_marlowe_test + + other-modules: Paths_marlowe_test build-depends: + , aeson >=2 && <3 , base >=4.9 && <5 - , aeson >= 2 && < 3 - , bytestring >= 0.10.12 && < 0.12 + , bytestring >=0.10.12 && <0.12 , cardano-api ==1.35.4 - , containers >= 0.6.5 && < 0.7 - , data-default >= 0.7.1 && < 0.8 - , directory >= 1.3 && < 1.4 - , filepath >= 1.4 && < 1.5 - , hint >= 0.9 && < 0.10 - , lens >= 5.2 && < 6 + , containers ^>=0.6.5 + , data-default ^>=0.7.1 + , directory ^>=1.3 + , filepath ^>=1.4 + , hint ^>=0.9 + , lens >=5.2 && <6 , marlowe-cardano ==0.1.0.3 , marlowe-spec-test ==0.1.0.0 - , mtl >= 2.2 && < 3 - , plutus-ledger ^>= 1.2 + , mtl >=2.2 && <3 + , plutus-ledger ^>=1.2 , plutus-ledger-api ==1.0.0.1 , plutus-script-utils ==1.2.0.0 , plutus-tx ==1.0.0.0 - , QuickCheck >= 2.14 && < 3 - , quickcheck-instances >= 0.3.29 && < 0.4 + , QuickCheck >=2.14 && <3 + , quickcheck-instances ^>=0.3.29 , sbv >=8.4 - , serialise >= 0.2.6 && < 0.3 - , tasty >= 1.4.2 && < 1.5 - , tasty-hunit >= 0.10 && < 0.11 - , tasty-quickcheck >= 0.10 && < 0.11 - , text >= 1.2.4 && < 2 - , these >= 1.1 && < 2 - if flag(trace-plutus) - cpp-options: -DTRACE_PLUTUS + , serialise ^>=0.2.6 + , tasty ^>=1.4.2 + , tasty-hunit ^>=0.10 + , tasty-quickcheck ^>=0.10 + , text >=1.2.4 && <2 + , these >=1.1 && <2 + if flag(trace-plutus) + cpp-options: -DTRACE_PLUTUS test-suite marlowe-test - import: lang + import: lang hs-source-dirs: test - type: exitcode-stdio-1.0 - main-is: Spec.hs + type: exitcode-stdio-1.0 + main-is: Spec.hs build-depends: - base >=4.9 && <5 + , base >=4.9 && <5 , marlowe-test , tasty , tasty-quickcheck - executable marlowe-spec-client - import: lang + import: lang hs-source-dirs: spec-client - main-is: Main.hs + main-is: Main.hs build-depends: - base >=4.9 && <5 , aeson + , base >=4.9 && <5 , bytestring , marlowe-test , split - executable marlowe-reference - import: lang + import: lang hs-source-dirs: reference - main-is: Main.hs + main-is: Main.hs build-depends: - base >=4.9 && <5 + , base >=4.9 && <5 , directory , filepath , marlowe-test diff --git a/marlowe/marlowe-cardano.cabal b/marlowe/marlowe-cardano.cabal index ecf15dc8b0..1ef37d5822 100644 --- a/marlowe/marlowe-cardano.cabal +++ b/marlowe/marlowe-cardano.cabal @@ -1,23 +1,25 @@ -cabal-version: 2.2 -name: marlowe-cardano -version: 0.1.0.3 -license: Apache-2.0 +cabal-version: 2.2 +name: marlowe-cardano +version: 0.1.0.3 +license: Apache-2.0 license-files: LICENSE NOTICE -build-type: Simple -maintainer: alexander.nemish@iohk.io -stability: experimental -author: Alexander Nemish -synopsis: - Marlowe: financial contracts on Cardano Computation Layer + +build-type: Simple +maintainer: alexander.nemish@iohk.io +stability: experimental +author: Alexander Nemish +synopsis: Marlowe: financial contracts on Cardano Computation Layer description: A reference implementation of Marlowe, domain-specific language targeted at the execution of financial contracts in the style of Peyton Jones et al on Cardano Computation Layer. -category: Language -extra-doc-files: README.md - CHANGELOG.md + +category: Language +extra-doc-files: + CHANGELOG.md + README.md data-dir: benchmarks data-files: @@ -25,64 +27,69 @@ data-files: semantics/*.benchmark source-repository head - type: git + type: git location: https://github.com/input-output-hk/marlowe-cardano flag defer-plugin-errors - description: - Defer errors from the plugin, useful for things like Haddock that can't handle it. - default: False - manual: True + description: + Defer errors from the plugin, useful for things like Haddock that can't handle it. + + default: False + manual: True flag trace-plutus - description: - Enable Plutus trace log for Marlowe validators. - default: False - manual: True + description: Enable Plutus trace log for Marlowe validators. + default: False + manual: True common lang - default-language: Haskell2010 - default-extensions: ExplicitForAll ScopedTypeVariables - DeriveGeneric StandaloneDeriving DeriveLift - DeriveFunctor DeriveFoldable - DeriveTraversable + default-language: Haskell2010 + default-extensions: + DeriveFoldable + DeriveFunctor + DeriveGeneric + DeriveLift + DeriveTraversable + ExplicitForAll + ScopedTypeVariables + StandaloneDeriving + ghc-options: - -Wall -Wnoncanonical-monad-instances - -Wincomplete-uni-patterns -Wincomplete-record-updates - -Wredundant-constraints -Widentities + -Wall -Wnoncanonical-monad-instances -Wincomplete-uni-patterns + -Wincomplete-record-updates -Wredundant-constraints -Widentities -Wunused-packages -Werror library - import: lang - hs-source-dirs: src + import: lang + hs-source-dirs: src if !(impl(ghcjs) || os(ghcjs)) build-depends: plutus-tx-plugin ==1.0.0.0 build-depends: - base >= 4.9 && < 5, - aeson >= 2 && < 3, - base16-aeson == 0.1.0.0, - base16-bytestring >= 1 && < 2, - bech32 >= 1.1 && < 2, - bytestring >= 0.10.12 && < 0.12, - containers >= 0.6.5 && < 0.7, - deriving-aeson >= 0.2.9 && < 0.3, - mtl >= 2.2 && < 3, - multiplate ==0.0.3, - newtype-generics >= 0.6.2 && < 0.7, - ordered-containers >= 0.2 && < 0.3, - plutus-ledger ^>= 1.2, - plutus-ledger-api ==1.0.0.1, - plutus-script-utils ==1.2.0.0, - plutus-tx ==1.0.0.0, - sbv >=8.4, - scientific >= 0.3.7 && < 0.4, - serialise >= 0.2.6 && < 0.3, - template-haskell >= 2.16 && < 3, - text >= 1.2.4 && < 2, - transformers >= 0.5.6 && < 0.6, - wl-pprint >= 1.2 && < 2, + , aeson >=2 && <3 + , base >=4.9 && <5 + , base16-aeson ==0.1.0.0 + , base16-bytestring >=1 && <2 + , bech32 >=1.1 && <2 + , bytestring >=0.10.12 && <0.12 + , containers ^>=0.6.5 + , deriving-aeson ^>=0.2.9 + , mtl >=2.2 && <3 + , multiplate ==0.0.3 + , newtype-generics ^>=0.6.2 + , ordered-containers ^>=0.2 + , plutus-ledger ^>=1.2 + , plutus-ledger-api ==1.0.0.1 + , plutus-script-utils ==1.2.0.0 + , plutus-tx ==1.0.0.0 + , sbv >=8.4 + , scientific ^>=0.3.7 + , serialise ^>=0.2.6 + , template-haskell >=2.16 && <3 + , text >=1.2.4 && <2 + , transformers ^>=0.5.6 + , wl-pprint >=1.2 && <2 exposed-modules: Language.Marlowe @@ -108,7 +115,7 @@ library Plutus.Debug if flag(trace-plutus) - cpp-options: -DTRACE_PLUTUS + cpp-options: -DTRACE_PLUTUS executable marlowe-validators import: lang @@ -121,6 +128,7 @@ executable marlowe-validators Benchmark.Marlowe.Types Benchmark.Marlowe.Util Paths_marlowe_cardano + build-depends: , base , base16-bytestring