{-# LANGUAGE TypeFamilies #-} {-# OPTIONS_GHC -Wno-orphans #-} module Cardano.Ledger.Conway.BlockBody where import Cardano.Ledger.Alonzo.BlockBody import Cardano.Ledger.Conway.Era import Cardano.Ledger.Conway.Tx () import Cardano.Ledger.Core instance EraBlockBody ConwayEra where type BlockBody ConwayEra = AlonzoBlockBody ConwayEra mkBasicBlockBody :: BlockBody ConwayEra mkBasicBlockBody = BlockBody ConwayEra forall era. (SafeToHash (TxWits era), BlockBody era ~ AlonzoBlockBody era, AlonzoEraTx era) => BlockBody era mkBasicBlockBodyAlonzo txSeqBlockBodyL :: Lens' (BlockBody ConwayEra) (StrictSeq (Tx ConwayEra)) txSeqBlockBodyL = (StrictSeq (Tx ConwayEra) -> f (StrictSeq (Tx ConwayEra))) -> BlockBody ConwayEra -> f (BlockBody ConwayEra) forall era. (SafeToHash (TxWits era), BlockBody era ~ AlonzoBlockBody era, AlonzoEraTx era) => Lens' (BlockBody era) (StrictSeq (Tx era)) Lens' (BlockBody ConwayEra) (StrictSeq (Tx ConwayEra)) txSeqBlockBodyAlonzoL hashBlockBody :: BlockBody ConwayEra -> Hash HASH EraIndependentBlockBody hashBlockBody = BlockBody ConwayEra -> Hash HASH EraIndependentBlockBody AlonzoBlockBody ConwayEra -> Hash HASH EraIndependentBlockBody forall era. AlonzoBlockBody era -> Hash HASH EraIndependentBlockBody alonzoBlockBodyHash numSegComponents :: Word64 numSegComponents = Word64 4