simplify Inject WrapGenTxId and make it match Inject WrapHeaderHash

IntersectMBO · Jan 6, 2025 · 6b0701b · 6b0701b
1 parent 7665aa0
commit 6b0701b
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/...s-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Embed/Nary.hs b/...s-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Embed/Nary.hs
@@ -137,8 +137,14 @@ instance Inject GenTx where
   inject _ = injectNS' (Proxy @GenTx)
 
 instance Inject WrapGenTxId where
-  inject _ ix w = WrapGenTxId $ HardForkGenTxId $ OneEraGenTxId $
-    hcollapse $ hcmap proxySingle (K . toRawTxIdHash . unwrapGenTxId) $ injectNS ix w
+  inject _ (idx :: Index xs x) =
+    case dictIndexAll (Proxy @SingleEraBlock) idx of
+      Dict ->
+          WrapGenTxId
+        . HardForkGenTxId
+        . OneEraGenTxId
+        . toRawTxIdHash
+        . unwrapGenTxId
 
 instance Inject WrapApplyTxErr where
   inject _ =