module Cardano.Ledger.Alonzo.BlockBody (
  AlonzoBlockBody (AlonzoBlockBody),
  alonzoBlockBodyHash,
  alonzoBlockBodyTxs,
) where

import Cardano.Crypto.Hash (Hash)
import Cardano.Ledger.Alonzo.BlockBody.Internal
import Cardano.Ledger.Core (EraIndependentBlockBody, HASH, Tx)
import Data.Sequence.Strict (StrictSeq)

alonzoBlockBodyHash :: AlonzoBlockBody era -> Hash HASH EraIndependentBlockBody
alonzoBlockBodyHash :: forall era.
AlonzoBlockBody era -> Hash HASH EraIndependentBlockBody
alonzoBlockBodyHash = AlonzoBlockBody era -> Hash HASH EraIndependentBlockBody
forall era.
AlonzoBlockBody era -> Hash HASH EraIndependentBlockBody
abbHash

alonzoBlockBodyTxs :: AlonzoBlockBody era -> StrictSeq (Tx era)
alonzoBlockBodyTxs :: forall era. AlonzoBlockBody era -> StrictSeq (Tx era)
alonzoBlockBodyTxs = AlonzoBlockBody era -> StrictSeq (Tx era)
forall era. AlonzoBlockBody era -> StrictSeq (Tx era)
abbTxs