Update BPI (cardano-node 1.35.4)

cabal.project

@@ -1,4 +1,16 @@
-index-state: 2022-05-18T00:00:00Z
+repository cardano-haskell-packages
+  url: https://input-output-hk.github.io/cardano-haskell-packages
+  secure: True
+  root-keys:
+    3e0cce471cf09815f930210f7827266fd09045445d65923e6d0238a6cd15126f
+    443abb7fb497a134c343faf52f0b659bd7999bc06b7f63fa76dc99d631f9bea1
+    a86a1f6ce86c449c46666bda44268677abf29b5b2d2eb5ec7af903ec2f117a82
+    bcec67e8e99cabfa7764d75ad9b158d72bfacf70ca1d0ec8bc6b4406d1bf8413
+    c00aae8461a256275598500ea0e187588c35a5d5d7454fb57eac18d9edb86a56
+    d4a35cd3121aa00d18544bb0ac01c3e1691d618f462c46129271bccf39f7e8ee
+
+index-state: 2022-09-27T00:00:00Z
+index-state: cardano-haskell-packages 2022-10-25T20:00:00Z
 
 packages: ./.
 
@@ -10,7 +22,167 @@ allow-newer:
   , size-based:template-haskell
 
 constraints:
-    aeson >= 2
-  , hedgehog >= 1.1
+  -- cardano-prelude-0.1.0.0 needs
+  , protolude <0.3.1
+
+  -- cardano-ledger-byron-0.1.0.0 needs
+  , cardano-binary <1.5.0.1
+
+  -- plutus-core-1.0.0.1 needs
+  , cardano-crypto-class >2.0.0.0
+  , algebraic-graphs <0.7
+
+  -- cardano-ledger-core-0.1.0.0 needs
+  , cardano-crypto-class <2.0.0.1
+
+  -- cardano-crypto-class-2.0.0.0.1 needs
+  , cardano-prelude <0.1.0.1
+
+  -- dbvar from cardano-wallet needs
+  , io-classes <0.3.0.0
+
+  -- newer typed-protocols need io-classes>=0.3.0.0 which is incompatible with dbvar's constraint above
+  , typed-protocols==0.1.0.0
+
+extra-packages:
+    ouroboros-consensus-cardano-tools == 0.1.0.0
+
+source-repository-package
+  type: git
+  location: https://github.com/input-output-hk/plutus-apps
+  tag: 0951b871d6e1a8ec950d277c1f98920808199b12
+  --sha256: 1zv5qwivfifg6wpnz0l4rkp5dwyl2lv6ljlrx42k0f51zjga8yp5
+  subdir:
+    cardano-streaming
+    doc
+    freer-extras
+    marconi
+    marconi-mamba
+    playground-common
+    pab-blockfrost
+    plutus-chain-index
+    plutus-chain-index-core
+    plutus-contract
+    plutus-contract-certification
+    plutus-example
+    plutus-ledger
+    plutus-ledger-constraints
+    plutus-pab
+    plutus-pab-executables
+    plutus-script-utils
+    plutus-tx-constraints
+    plutus-use-cases
+    rewindable-index
+
+source-repository-package
+  type: git
+  location: https://github.com/gege251/cardano-wallet
+  tag: ee5fd7d201ed7d6b2deaf1557f492d04ded5f1a6
+  --sha256: 14z1n1562bds5wjbzq9bm3wk8b0xma3i8si23l8z7hq8zzrwiql6
+  subdir:
+    lib/cli
+    lib/core
+    lib/core-integration
+    lib/dbvar
+    lib/launcher
+    lib/numeric
+    lib/shelley
+    lib/strict-non-empty-containers
+    lib/test-utils
+    lib/text-class
+
+source-repository-package
+    type: git
+    location: https://github.com/input-output-hk/cardano-addresses
+    tag: b7273a5d3c21f1a003595ebf1e1f79c28cd72513
+    --sha256: 129r5kyiw10n2021bkdvnr270aiiwyq58h472d151ph0r7wpslgp
+    subdir:
+      command-line
+      core
+
+source-repository-package
+   type: git
+   location: https://github.com/input-output-hk/cardano-node
+   tag: 1.35.4
+   --sha256: 1j01m2cp2vdcl26zx9xmipr551v3b2rz9kfn9ik8byfwj1z7652r
+   subdir:
+     cardano-api
+     cardano-cli
+     cardano-client-demo
+     cardano-git-rev
+     cardano-node
+     cardano-node-capi
+     cardano-node-chairman
+     cardano-submit-api
+     cardano-testnet
+     cardano-tracer
+     bench/cardano-topology
+     bench/locli
+     bench/tx-generator
+     trace-dispatcher
+     trace-resources
+     trace-forward
+
+source-repository-package
+  type: git
+  location: https://github.com/denisshevchenko/threepenny-gui
+  tag: 4ec92ded05ccf59ba4a874be4b404ac1b6d666b6
+  --sha256: 00fvvaf4ir4hskq4a6gggbh2wmdvy8j8kn6s4m1p1vlh8m8mq514
+
+-- Direct dependencies of plutus-apps
+
+source-repository-package
+  type: git
+  location: https://github.com/input-output-hk/servant-purescript
+  tag: 44e7cacf109f84984cd99cd3faf185d161826963
+  --sha256: 10pb0yfp80jhb9ryn65a4rha2lxzsn2vlhcc6xphrrkf4x5lhzqc
+
+source-repository-package
+  type: git
+  location: https://github.com/input-output-hk/purescript-bridge
+  tag: 47a1f11825a0f9445e0f98792f79172efef66c00
+  --sha256: 0da1vn2l6iyfxcjk58qal1l4755v92zi6yppmjmqvxf1gacyf9px
+
+source-repository-package
+    type: git
+    location: https://github.com/input-output-hk/quickcheck-dynamic
+    tag: c272906361471d684440f76c297e29ab760f6a1e
+    --sha256: 1b9ppgavqad78a2z1zxv7v4jasjz6zz0mxkr0zx0bbcd0i00jajf
+
+source-repository-package
+    type: git
+    location: https://github.com/mlabs-haskell/bot-plutus-interface
+    tag: e80680777a761109eea6d47c8370aa55d318734d
+    --sha256: 1f3baclrdw56p1rqk02y9mhn498sbh8rj62a33kh85wbg4jqpxz5
 
-test-show-details: direct
+-- This is needed because we rely on an unreleased feature
+-- https://github.com/input-output-hk/cardano-ledger/pull/3111
+source-repository-package
+    type: git
+    location: https://github.com/input-output-hk/cardano-ledger
+    tag: da3e9ae10cf9ef0b805a046c84745f06643583c2
+    --sha256: 1jg1h05gcms119mw7fz798xpj3hr5h426ga934vixmgf88m1jmfx
+    subdir:
+      eras/alonzo/impl
+      eras/alonzo/test-suite
+      eras/babbage/impl
+      eras/babbage/test-suite
+      eras/byron/chain/executable-spec
+      eras/byron/crypto
+      eras/byron/crypto/test
+      eras/byron/ledger/executable-spec
+      eras/byron/ledger/impl
+      eras/byron/ledger/impl/test
+      eras/shelley/impl
+      eras/shelley/test-suite
+      eras/shelley-ma/impl
+      eras/shelley-ma/test-suite
+      libs/cardano-ledger-core
+      libs/cardano-ledger-pretty
+      libs/cardano-protocol-tpraos
+      libs/cardano-data
+      libs/vector-map
+      libs/set-algebra
+      libs/small-steps
+      libs/small-steps-test
+      libs/non-integral

contract-execution/ExampleContracts.hs

@@ -2,34 +2,31 @@ module ExampleContracts (
   ownValueToState,
 ) where
 
+import Control.Lens (view)
+import Data.List.NonEmpty qualified as NonEmpty
+import Data.Map (Map)
+import Data.Monoid (Last (Last))
+import Data.Text (Text)
+import Ledger (
+  DecoratedTxOut,
+  TxOutRef,
+  Value,
+  decoratedTxOutValue,
+ )
 import Plutus.Contract (
   Contract,
   utxosAt,
  )
 import Plutus.Contract qualified as Contract
-
-import Ledger (
-  ChainIndexTxOut,
-  TxOutRef,
-  Value,
-  ciTxOutValue,
- )
-
-import Data.Map (Map)
-
-import Control.Lens ((^.))
-import Data.List.NonEmpty qualified as NonEmpty
-import Data.Monoid (Last (Last))
-import Data.Text (Text)
 import Plutus.PAB.Effects.Contract.Builtin (EmptySchema)
 
-getUtxos :: Monoid m => Contract m EmptySchema Text (Map TxOutRef ChainIndexTxOut)
+getUtxos :: Monoid m => Contract m EmptySchema Text (Map TxOutRef DecoratedTxOut)
 getUtxos = do
   addr <- NonEmpty.head <$> Contract.ownAddresses
   utxosAt addr
 
 ownValue :: Monoid m => Contract m EmptySchema Text Value
-ownValue = foldMap (^. ciTxOutValue) <$> getUtxos
+ownValue = foldMap (view decoratedTxOutValue) <$> getUtxos
 
 -- this Contract fails, but state should change in expected way
 ownValueToState :: Contract (Last Value) EmptySchema Text Value