Merge #3439

3439: WIP Bump to latest ledger. r=nc6 a=JaredCorduan

This should give decent speedups.

Co-authored-by: Nicholas Clarke <[email protected]>

Author: iohk-bors[bot]

cabal.project

@@ -173,8 +173,8 @@ source-repository-package
 source-repository-package
   type: git
   location: https://github.com/input-output-hk/cardano-ledger
-  tag: 4595b73a693d0a78f05ecbcbf631caa568dde5d8
-  --sha256: 022yarx7bqys5fdbnm3wkzrsc3g9hn7pghf53p8bx3xbwx86n47f
+  tag: 1a9ec4ae9e0b09d54e49b2a40c4ead37edadcce5
+  --sha256: 0avzyiqq0m8njd41ck9kpn992yq676b1az9xs77977h7cf85y4wm
   subdir:
     eras/alonzo/impl
     eras/alonzo/test-suite
@@ -191,7 +191,9 @@ source-repository-package
     libs/cardano-ledger-core
     libs/cardano-ledger-pretty
     libs/cardano-protocol-tpraos
+    libs/cardano-data
     libs/compact-map
+    libs/set-algebra
     libs/small-steps
     libs/small-steps-test
     libs/non-integral

cardano-api/cardano-api.cabal

@@ -107,6 +107,7 @@ library
                       , cardano-crypto
                       , cardano-crypto-class
                       , cardano-crypto-wrapper
+                      , cardano-data
                       , cardano-ledger-alonzo
                       , cardano-ledger-byron
                       , cardano-ledger-core
@@ -139,6 +140,7 @@ library
                       , scientific
                       , small-steps
                       , cardano-ledger-shelley
+                      , set-algebra
                       , small-steps
                       , stm
                       , strict-containers

cardano-api/src/Cardano/Api/Orphans.hs

@@ -20,8 +20,9 @@ import           Prelude
 import           Data.Aeson (FromJSON (..), ToJSON (..), object, (.!=), (.:), (.:?), (.=))
 import qualified Data.Aeson as Aeson
 import           Data.Aeson.Types (FromJSONKey (..), ToJSONKey (..), toJSONKeyText)
+import           Data.BiMap (BiMap (..), Bimap)
 import qualified Data.ByteString.Base16 as B16
-import           Data.Compact.VMap (VMap, VB, VP)
+import           Data.Compact.VMap (VB, VMap, VP)
 import qualified Data.Compact.VMap as VMap
 import qualified Data.Map.Strict as Map
 import           Data.Text (Text)
@@ -30,12 +31,11 @@ import qualified Data.Text.Encoding as Text
 import           Data.Word (Word64)
 
 import           Control.Applicative
-import           Control.Iterate.BiMap (BiMap (..), Bimap)
 
 import           Cardano.Api.Json
 import           Cardano.Ledger.BaseTypes (StrictMaybe (..), strictMaybeToMaybe)
 import qualified Cardano.Ledger.BaseTypes as Ledger
-import           Cardano.Ledger.Compactible (Compactible(fromCompact))
+import           Cardano.Ledger.Compactible (Compactible (fromCompact))
 import           Cardano.Ledger.Crypto (StandardCrypto)
 import           Cardano.Slotting.Slot (SlotNo (..))
 import           Cardano.Slotting.Time (SystemStart (..))

cardano-cli/cardano-cli.cabal

@@ -134,6 +134,7 @@ library
                       , parsec
                       , prettyprinter
                       , cardano-ledger-shelley
+                      , set-algebra
                       , small-steps
                       , split
                       , strict-containers