WIP

Author: qnikst

cabal.project

@@ -101,16 +101,16 @@ source-repository-package
   type: git
   location: https://github.com/tweag/cardano-canonical-ledger.git
   subdir: scls-cbor
-  tag: 09f2b80d6d0c7419053e3f9e70ff57acbcff0eec
+  tag: d622dd31d05006af9220af4cf4b0bf87fae2971b
 
 source-repository-package
   type: git
   location: https://github.com/tweag/cardano-canonical-ledger.git
   subdir: scls-format
-  tag: 09f2b80d6d0c7419053e3f9e70ff57acbcff0eec
+  tag: d622dd31d05006af9220af4cf4b0bf87fae2971b
 
 source-repository-package
   type: git
   location: https://github.com/tweag/cardano-canonical-ledger.git
   subdir: merkle-tree-incremental
-  tag: 09f2b80d6d0c7419053e3f9e70ff57acbcff0eec
+  tag: d622dd31d05006af9220af4cf4b0bf87fae2971b

eras/conway/impl/scls-export/src/Cardano/Ledger/Export/Namespace/UTxO.hs

@@ -189,7 +189,7 @@ instance FromCanonicalCBOR V1 (Babbage.BabbageTxOut MaryEra) where
             t -> fail $ "Unknown BabbageTxOut tag: " <> show t
 
 
-instance Typeable kr => ToCanonicalCBOR V1 (Credential kr) where
+instance ToCanonicalCBOR V1 (Credential kr) where
     toCanonicalCBOR v (ScriptHashObj sh) = toCanonicalCBOR v (0::Word8, sh)
     toCanonicalCBOR v (KeyHashObj kh) = toCanonicalCBOR v (1::Word8, kh)
 
@@ -225,7 +225,7 @@ deriving via (LedgerCBOR v MaryValue) instance ToCanonicalCBOR v MaryValue
 deriving via (LedgerCBOR v MaryValue) instance FromCanonicalCBOR v MaryValue
 
 
-deriving via (LedgerCBOR v (KeyHash kr)) instance Typeable kr => ToCanonicalCBOR v (KeyHash kr)
+deriving via (LedgerCBOR v (KeyHash kr)) instance ToCanonicalCBOR v (KeyHash kr)
 deriving via (LedgerCBOR v (KeyHash kr)) instance Typeable kr => FromCanonicalCBOR v (KeyHash kr)
 deriving via (LedgerCBOR v (ScriptHash)) instance FromCanonicalCBOR v ScriptHash
 deriving via (LedgerCBOR v (ScriptHash)) instance ToCanonicalCBOR v ScriptHash

libs/ledger-state/app-canonical/Main.hs

@@ -15,6 +15,8 @@ module Main where
 import Control.Exception (throwIO)
 import Data.Bifunctor (first)
 import Control.Monad
+import Data.Function ((&))
+import Cardano.SCLS.Internal.Serializer.Dump.Plan
 import qualified Data.ByteString.Lazy as LBS
 import qualified Data.Text as T
 import Cardano.Ledger.Mary (MaryEra)
@@ -112,16 +114,17 @@ main = do
           fileName
           Mainnet
           (SlotNo 1)
-          $ S.each
-              [ "utxo" S.:>
-                  S.each
-                    [ ChunkEntry
-                        (UtxoKeyIn txin)
-                        (RawBytes $ toStrictByteString $ toCanonicalCBOR (Proxy :: Proxy V1) $ txout
-                        )
-                    | (txin, txout) <- Map.toList utxo
-                    ]
-              ]
+          (defaultSerializationPlan & addChunks
+              (S.each
+                [ "utxo" S.:>
+                    S.each
+                      [ ChunkEntry
+                          (UtxoKeyIn txin)
+                          (RawBytes $ toStrictByteString $ toCanonicalCBOR (Proxy :: Proxy V1) $ txout
+                          )
+                      | (txin, txout) <- Map.toList utxo
+                      ]
+                ]))
 
 data TxIn' = TxIn' TxId Word16